Closed set in topological space generated by sets of the form [a, b).Exhaustion of open sets by closed...

How do you funnel food off a cutting board?

What's the oldest plausible frozen specimen for a Jurassic Park style story-line?

How are the system health extended events files rolling over?

Can we "borrow" our answers to populate our own websites?

Why is 'diphthong' pronounced the way it is?

Cat is tipping over bed-side lamps during the night

Why is it that Bernie Sanders is always called a "socialist"?

Plausible reason for gold-digging ant

What's after EXPSPACE?

How does Leonard in "Memento" remember reading and writing?

How can I have probability increase linearly with more dice?

What species should be used for storage of human minds?

Categorical Unification of Jordan Holder Theorems

Eww, those bytes are gross

How is this property called for mod?

Has any human ever had the choice to leave Earth permanently?

How much mayhem could I cause as a fish?

Why avoid shared user accounts?

Is `Object` a function in javascript?

Microtypography protrusion with Polish quotation marks

Potential client has a problematic employee I can't work with

Reading Mishnayos without understanding

How do I prevent a homebrew Grappling Hook feature from trivializing Tomb of Annihilation?

What is the difference between `"..."`, `'...'`, `$'...'`, and `$"..."` quotes?



Closed set in topological space generated by sets of the form [a, b).


Exhaustion of open sets by closed setszero dimensional topological spaceTopological proof that the interval $[a,b)subset mathbb{R}$ is not closedTopology on a finite set with closed singletons is discreteHow to find closed sets in a given topological subspaceGiven two topologies on a set , prove that the set is finite.Topological embedding on adjunction spaceBasis of topological space and topological subspacePreimage under $f$ of any closed set is closed.A set is compact in complement topology iff closed in standard topology













2












$begingroup$


Let $tau$ be the topology on $mathbb{R}$ generated by $B = {[a, b)subset mathbb{R}: -infty<a<b<infty}$. Then the set ${xin mathbb{R}: 4sin^2xleq 1}cup big{frac{pi}{2}big}$ is closed in $(mathbb{R}, tau)$.



My effort:



We know that $4sin^2xleq 1$ whenever $-frac{1}{2}leq sin x leq frac{1}{2}$, i.e. $x in big[-frac{pi}{6}, frac{pi}{6}big]cup big[-frac{11pi}{6}, frac{13pi}{6}big]cupcdots$. How to proceed further?






real-analysis general-topology







share|cite|improve this question









$endgroup$

















    2












    $begingroup$


    Let $tau$ be the topology on $mathbb{R}$ generated by $B = {[a, b)subset mathbb{R}: -infty<a<b<infty}$. Then the set ${xin mathbb{R}: 4sin^2xleq 1}cup big{frac{pi}{2}big}$ is closed in $(mathbb{R}, tau)$.



    My effort:



    We know that $4sin^2xleq 1$ whenever $-frac{1}{2}leq sin x leq frac{1}{2}$, i.e. $x in big[-frac{pi}{6}, frac{pi}{6}big]cup big[-frac{11pi}{6}, frac{13pi}{6}big]cupcdots$. How to proceed further?






    real-analysis general-topology







    share|cite|improve this question









    $endgroup$















      2












      2








      2





      $begingroup$


      Let $tau$ be the topology on $mathbb{R}$ generated by $B = {[a, b)subset mathbb{R}: -infty<a<b<infty}$. Then the set ${xin mathbb{R}: 4sin^2xleq 1}cup big{frac{pi}{2}big}$ is closed in $(mathbb{R}, tau)$.



      My effort:



      We know that $4sin^2xleq 1$ whenever $-frac{1}{2}leq sin x leq frac{1}{2}$, i.e. $x in big[-frac{pi}{6}, frac{pi}{6}big]cup big[-frac{11pi}{6}, frac{13pi}{6}big]cupcdots$. How to proceed further?






      real-analysis general-topology







      share|cite|improve this question









      $endgroup$




      Let $tau$ be the topology on $mathbb{R}$ generated by $B = {[a, b)subset mathbb{R}: -infty<a<b<infty}$. Then the set ${xin mathbb{R}: 4sin^2xleq 1}cup big{frac{pi}{2}big}$ is closed in $(mathbb{R}, tau)$.



      My effort:



      We know that $4sin^2xleq 1$ whenever $-frac{1}{2}leq sin x leq frac{1}{2}$, i.e. $x in big[-frac{pi}{6}, frac{pi}{6}big]cup big[-frac{11pi}{6}, frac{13pi}{6}big]cupcdots$. How to proceed further?






      real-analysis general-topology




      real-analysis general-topology






      share|cite|improve this question













      share|cite|improve this question











      share|cite|improve this question




      share|cite|improve this question










      asked 6 hours ago









      Mittal GMittal G

      1,250516




      1,250516






















          2 Answers
          2






          active

          oldest

          votes


















          6












          $begingroup$

          Since $left{fracpi2right}$ is closed in $(mathbb{R},tau)$, all you need to do is to prove that$$cdotscupleft[-fracpi6,fracpi6right]cupleft[-frac{11pi}{6}, frac{13pi}{6}right]cupcdots$$is closed there. But its complement is an union of intervals of the type $(a,b)$, and these intervals are open in $(mathbb{R},tau)$.






          share|cite|improve this answer









          $endgroup$













          • $begingroup$
            I know it! And…?
            $endgroup$
            – José Carlos Santos
            6 hours ago










          • $begingroup$
            Sorry! I got it! $(a,b)$ is open in the above topology also.
            $endgroup$
            – Ajay Kumar Nair
            6 hours ago










          • $begingroup$
            Indeed. That's important.
            $endgroup$
            – José Carlos Santos
            6 hours ago



















          2












          $begingroup$

          One way to show that a set is closed in a topology is to show that its complement is open. In this particular topology, any open interval is open:



          $$(a, b) = cup_{n in Bbb N} [a-frac{1}{n}, b).$$



          And it's easy to see that your set is the complement of a union of open intervals, which we now know are open in $tau$, so we're done.






          share|cite|improve this answer









          $endgroup$













            Your Answer





            StackExchange.ifUsing("editor", function () {
            return StackExchange.using("mathjaxEditing", function () {
            StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
            StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
            });
            });
            }, "mathjax-editing");

            StackExchange.ready(function() {
            var channelOptions = {
            tags: "".split(" "),
            id: "69"
            };
            initTagRenderer("".split(" "), "".split(" "), channelOptions);

            StackExchange.using("externalEditor", function() {
            // Have to fire editor after snippets, if snippets enabled
            if (StackExchange.settings.snippets.snippetsEnabled) {
            StackExchange.using("snippets", function() {
            createEditor();
            });
            }
            else {
            createEditor();
            }
            });

            function createEditor() {
            StackExchange.prepareEditor({
            heartbeatType: 'answer',
            autoActivateHeartbeat: false,
            convertImagesToLinks: true,
            noModals: true,
            showLowRepImageUploadWarning: true,
            reputationToPostImages: 10,
            bindNavPrevention: true,
            postfix: "",
            imageUploader: {
            brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
            contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
            allowUrls: true
            },
            noCode: true, onDemand: true,
            discardSelector: ".discard-answer"
            ,immediatelyShowMarkdownHelp:true
            });


            }
            });














            draft saved

            draft discarded


















            StackExchange.ready(
            function () {
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3126350%2fclosed-set-in-topological-space-generated-by-sets-of-the-form-a-b%23new-answer', 'question_page');
            }
            );

            Post as a guest















            Required, but never shown

























            2 Answers
            2






            active

            oldest

            votes








            2 Answers
            2






            active

            oldest

            votes









            active

            oldest

            votes






            active

            oldest

            votes









            6












            $begingroup$

            Since $left{fracpi2right}$ is closed in $(mathbb{R},tau)$, all you need to do is to prove that$$cdotscupleft[-fracpi6,fracpi6right]cupleft[-frac{11pi}{6}, frac{13pi}{6}right]cupcdots$$is closed there. But its complement is an union of intervals of the type $(a,b)$, and these intervals are open in $(mathbb{R},tau)$.






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              I know it! And…?
              $endgroup$
              – José Carlos Santos
              6 hours ago










            • $begingroup$
              Sorry! I got it! $(a,b)$ is open in the above topology also.
              $endgroup$
              – Ajay Kumar Nair
              6 hours ago










            • $begingroup$
              Indeed. That's important.
              $endgroup$
              – José Carlos Santos
              6 hours ago
















            6












            $begingroup$

            Since $left{fracpi2right}$ is closed in $(mathbb{R},tau)$, all you need to do is to prove that$$cdotscupleft[-fracpi6,fracpi6right]cupleft[-frac{11pi}{6}, frac{13pi}{6}right]cupcdots$$is closed there. But its complement is an union of intervals of the type $(a,b)$, and these intervals are open in $(mathbb{R},tau)$.






            share|cite|improve this answer









            $endgroup$













            • $begingroup$
              I know it! And…?
              $endgroup$
              – José Carlos Santos
              6 hours ago










            • $begingroup$
              Sorry! I got it! $(a,b)$ is open in the above topology also.
              $endgroup$
              – Ajay Kumar Nair
              6 hours ago










            • $begingroup$
              Indeed. That's important.
              $endgroup$
              – José Carlos Santos
              6 hours ago














            6












            6








            6





            $begingroup$

            Since $left{fracpi2right}$ is closed in $(mathbb{R},tau)$, all you need to do is to prove that$$cdotscupleft[-fracpi6,fracpi6right]cupleft[-frac{11pi}{6}, frac{13pi}{6}right]cupcdots$$is closed there. But its complement is an union of intervals of the type $(a,b)$, and these intervals are open in $(mathbb{R},tau)$.






            share|cite|improve this answer









            $endgroup$



            Since $left{fracpi2right}$ is closed in $(mathbb{R},tau)$, all you need to do is to prove that$$cdotscupleft[-fracpi6,fracpi6right]cupleft[-frac{11pi}{6}, frac{13pi}{6}right]cupcdots$$is closed there. But its complement is an union of intervals of the type $(a,b)$, and these intervals are open in $(mathbb{R},tau)$.







            share|cite|improve this answer












            share|cite|improve this answer



            share|cite|improve this answer










            answered 6 hours ago









            José Carlos SantosJosé Carlos Santos

            164k22131234




            164k22131234












            • $begingroup$
              I know it! And…?
              $endgroup$
              – José Carlos Santos
              6 hours ago










            • $begingroup$
              Sorry! I got it! $(a,b)$ is open in the above topology also.
              $endgroup$
              – Ajay Kumar Nair
              6 hours ago










            • $begingroup$
              Indeed. That's important.
              $endgroup$
              – José Carlos Santos
              6 hours ago


















            • $begingroup$
              I know it! And…?
              $endgroup$
              – José Carlos Santos
              6 hours ago










            • $begingroup$
              Sorry! I got it! $(a,b)$ is open in the above topology also.
              $endgroup$
              – Ajay Kumar Nair
              6 hours ago










            • $begingroup$
              Indeed. That's important.
              $endgroup$
              – José Carlos Santos
              6 hours ago
















            $begingroup$
            I know it! And…?
            $endgroup$
            – José Carlos Santos
            6 hours ago




            $begingroup$
            I know it! And…?
            $endgroup$
            – José Carlos Santos
            6 hours ago












            $begingroup$
            Sorry! I got it! $(a,b)$ is open in the above topology also.
            $endgroup$
            – Ajay Kumar Nair
            6 hours ago




            $begingroup$
            Sorry! I got it! $(a,b)$ is open in the above topology also.
            $endgroup$
            – Ajay Kumar Nair
            6 hours ago












            $begingroup$
            Indeed. That's important.
            $endgroup$
            – José Carlos Santos
            6 hours ago




            $begingroup$
            Indeed. That's important.
            $endgroup$
            – José Carlos Santos
            6 hours ago











            2












            $begingroup$

            One way to show that a set is closed in a topology is to show that its complement is open. In this particular topology, any open interval is open:



            $$(a, b) = cup_{n in Bbb N} [a-frac{1}{n}, b).$$



            And it's easy to see that your set is the complement of a union of open intervals, which we now know are open in $tau$, so we're done.






            share|cite|improve this answer









            $endgroup$


















              2












              $begingroup$

              One way to show that a set is closed in a topology is to show that its complement is open. In this particular topology, any open interval is open:



              $$(a, b) = cup_{n in Bbb N} [a-frac{1}{n}, b).$$



              And it's easy to see that your set is the complement of a union of open intervals, which we now know are open in $tau$, so we're done.






              share|cite|improve this answer









              $endgroup$
















                2












                2








                2





                $begingroup$

                One way to show that a set is closed in a topology is to show that its complement is open. In this particular topology, any open interval is open:



                $$(a, b) = cup_{n in Bbb N} [a-frac{1}{n}, b).$$



                And it's easy to see that your set is the complement of a union of open intervals, which we now know are open in $tau$, so we're done.






                share|cite|improve this answer









                $endgroup$



                One way to show that a set is closed in a topology is to show that its complement is open. In this particular topology, any open interval is open:



                $$(a, b) = cup_{n in Bbb N} [a-frac{1}{n}, b).$$



                And it's easy to see that your set is the complement of a union of open intervals, which we now know are open in $tau$, so we're done.







                share|cite|improve this answer












                share|cite|improve this answer



                share|cite|improve this answer










                answered 6 hours ago









                Robert ShoreRobert Shore

                1,55615




                1,55615






























                    draft saved

                    draft discarded




















































                    Thanks for contributing an answer to Mathematics Stack Exchange!


                    • Please be sure to answer the question. Provide details and share your research!

                    But avoid …



                    • Asking for help, clarification, or responding to other answers.

                    • Making statements based on opinion; back them up with references or personal experience.


                    Use MathJax to format equations. MathJax reference.


                    To learn more, see our tips on writing great answers.




                    draft saved


                    draft discarded














                    StackExchange.ready(
                    function () {
                    StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3126350%2fclosed-set-in-topological-space-generated-by-sets-of-the-form-a-b%23new-answer', 'question_page');
                    }
                    );

                    Post as a guest















                    Required, but never shown





















































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown

































                    Required, but never shown














                    Required, but never shown












                    Required, but never shown







                    Required, but never shown







                    -

                    Popular posts from this blog

                    Why do type traits not work with types in namespace scope?What are POD types in C++?Why can templates only be...

                    Image
                    What does it mean to express a gate in Dirac notation? A Strange Latex Symbol How can Republicans who favour free markets, consistently express anger when they don't like the outcome of that choice? What happened to Captain America in Endgame? How to solve constants out of the internal energy equation? How can I place the product on a social media post better? Will tsunami waves travel forever if there was no land? Unexpected email from Yorkshire Bank What is the relationship between spectral sequences and obstruction theory? How can I practically buy stocks? Will a top journal at least re...
                    Read more

                    Will tsunami waves travel forever if there was no land?Why do tsunami waves begin with the water flowing away...

                    Image
                    How much cash can I safely carry into the USA and avoid civil forfeiture? Is there really no use for MD5 anymore? Is contacting this expert in the field something acceptable or would it be discourteous? How to pronounce 'C++' in Spanish How to creep the reader out with what seems like a normal person? Critique of timeline aesthetic Sci fi novel series with instant travel between planets through gates. A river runs through the gates How did Captain America manage to do this? Are Boeing 737-800’s grounded? Error message with tabularx How to make a pipeline wait for end-of-file or stop af...
                    Read more

                    Simple Scan not detecting my scanner (Brother DCP-7055W)Brother MFC-L2700DW printer can print, can't...

                    Image
                    Can someone publish a story that happened to you? Will tsunami waves travel forever if there was no land? What is the strongest case that can be made in favour of the UK regaining some control over fishing policy after Brexit? Controversial area of mathematics Packing rectangles: Does rotation ever help? Is there a way to get a compiler for the original B programming language? Using a Lyapunov function to classify stability and sketching a phase portrait Do I have an "anti-research" personality? Reducing vertical space in stackrel What does KSP mean? Pulling the rope with one hand is...
                    Read more