Willard's very extreme example of topological space











up vote
1
down vote

favorite












In Willard's General Topology, page 32, he says:




"If $y$ is close to $x$ in a metric space, then $x$ is close to $y$; but it can happen in a topological space that $y$ is in every neighborhood of $x$ while $x$ is in no neighborhood of $y$ (a very extreme example; this doesn't happen in useful topological spaces, although many useful spaces lack symmetry in some degree)"




But I do not get how could this be possible. How can such extreme example of topological space exist if the whole space contains itself and then it is a neighborhood of any point, so there cannot be a point that is in no neighborhood of the other?



Any clarification on what he meant would be accepted, or even an explicit example of such very extreme topological space.



Thanks.










share|cite|improve this question






















  • Would they be so extreme that they don't even exist?
    – dude3221
    Dec 2 at 3:22






  • 1




    Since a neighborhood is just an open set, a neighborhood of $x$ containing $y$ is also a neighborhood of $y$ containing $x.$ It's hard to understand what he means. Still, a terrific textbook, in my view.
    – saulspatz
    Dec 2 at 3:24










  • I agree, it is a great book. I really like the comments he makes in every section, making abstract concepts more clear and sometimes foreshadowing the usefulness of it for mathematicians. And also there's a lot of nice examples and counterxamples.
    – dude3221
    Dec 3 at 12:13















up vote
1
down vote

favorite












In Willard's General Topology, page 32, he says:




"If $y$ is close to $x$ in a metric space, then $x$ is close to $y$; but it can happen in a topological space that $y$ is in every neighborhood of $x$ while $x$ is in no neighborhood of $y$ (a very extreme example; this doesn't happen in useful topological spaces, although many useful spaces lack symmetry in some degree)"




But I do not get how could this be possible. How can such extreme example of topological space exist if the whole space contains itself and then it is a neighborhood of any point, so there cannot be a point that is in no neighborhood of the other?



Any clarification on what he meant would be accepted, or even an explicit example of such very extreme topological space.



Thanks.










share|cite|improve this question






















  • Would they be so extreme that they don't even exist?
    – dude3221
    Dec 2 at 3:22






  • 1




    Since a neighborhood is just an open set, a neighborhood of $x$ containing $y$ is also a neighborhood of $y$ containing $x.$ It's hard to understand what he means. Still, a terrific textbook, in my view.
    – saulspatz
    Dec 2 at 3:24










  • I agree, it is a great book. I really like the comments he makes in every section, making abstract concepts more clear and sometimes foreshadowing the usefulness of it for mathematicians. And also there's a lot of nice examples and counterxamples.
    – dude3221
    Dec 3 at 12:13













up vote
1
down vote

favorite









up vote
1
down vote

favorite











In Willard's General Topology, page 32, he says:




"If $y$ is close to $x$ in a metric space, then $x$ is close to $y$; but it can happen in a topological space that $y$ is in every neighborhood of $x$ while $x$ is in no neighborhood of $y$ (a very extreme example; this doesn't happen in useful topological spaces, although many useful spaces lack symmetry in some degree)"




But I do not get how could this be possible. How can such extreme example of topological space exist if the whole space contains itself and then it is a neighborhood of any point, so there cannot be a point that is in no neighborhood of the other?



Any clarification on what he meant would be accepted, or even an explicit example of such very extreme topological space.



Thanks.










share|cite|improve this question













In Willard's General Topology, page 32, he says:




"If $y$ is close to $x$ in a metric space, then $x$ is close to $y$; but it can happen in a topological space that $y$ is in every neighborhood of $x$ while $x$ is in no neighborhood of $y$ (a very extreme example; this doesn't happen in useful topological spaces, although many useful spaces lack symmetry in some degree)"




But I do not get how could this be possible. How can such extreme example of topological space exist if the whole space contains itself and then it is a neighborhood of any point, so there cannot be a point that is in no neighborhood of the other?



Any clarification on what he meant would be accepted, or even an explicit example of such very extreme topological space.



Thanks.







general-topology






share|cite|improve this question













share|cite|improve this question











share|cite|improve this question




share|cite|improve this question










asked Dec 2 at 3:15









dude3221

48613




48613












  • Would they be so extreme that they don't even exist?
    – dude3221
    Dec 2 at 3:22






  • 1




    Since a neighborhood is just an open set, a neighborhood of $x$ containing $y$ is also a neighborhood of $y$ containing $x.$ It's hard to understand what he means. Still, a terrific textbook, in my view.
    – saulspatz
    Dec 2 at 3:24










  • I agree, it is a great book. I really like the comments he makes in every section, making abstract concepts more clear and sometimes foreshadowing the usefulness of it for mathematicians. And also there's a lot of nice examples and counterxamples.
    – dude3221
    Dec 3 at 12:13


















  • Would they be so extreme that they don't even exist?
    – dude3221
    Dec 2 at 3:22






  • 1




    Since a neighborhood is just an open set, a neighborhood of $x$ containing $y$ is also a neighborhood of $y$ containing $x.$ It's hard to understand what he means. Still, a terrific textbook, in my view.
    – saulspatz
    Dec 2 at 3:24










  • I agree, it is a great book. I really like the comments he makes in every section, making abstract concepts more clear and sometimes foreshadowing the usefulness of it for mathematicians. And also there's a lot of nice examples and counterxamples.
    – dude3221
    Dec 3 at 12:13
















Would they be so extreme that they don't even exist?
– dude3221
Dec 2 at 3:22




Would they be so extreme that they don't even exist?
– dude3221
Dec 2 at 3:22




1




1




Since a neighborhood is just an open set, a neighborhood of $x$ containing $y$ is also a neighborhood of $y$ containing $x.$ It's hard to understand what he means. Still, a terrific textbook, in my view.
– saulspatz
Dec 2 at 3:24




Since a neighborhood is just an open set, a neighborhood of $x$ containing $y$ is also a neighborhood of $y$ containing $x.$ It's hard to understand what he means. Still, a terrific textbook, in my view.
– saulspatz
Dec 2 at 3:24












I agree, it is a great book. I really like the comments he makes in every section, making abstract concepts more clear and sometimes foreshadowing the usefulness of it for mathematicians. And also there's a lot of nice examples and counterxamples.
– dude3221
Dec 3 at 12:13




I agree, it is a great book. I really like the comments he makes in every section, making abstract concepts more clear and sometimes foreshadowing the usefulness of it for mathematicians. And also there's a lot of nice examples and counterxamples.
– dude3221
Dec 3 at 12:13










1 Answer
1






active

oldest

votes

















up vote
2
down vote



accepted










You are correct: the entire space will always be a neighborhood of $y$ which contains $x$. (I'm assuming $x neq y$.) I'm guessing he wanted to exclude that neighborhood as a trivial example, and to say that no other neighborhoods of $y$ contain $x$.



In the Sierpiński space, for example, $1$ has a neighborhood that does not contain $0$, but $0$ has a single neighborhood, which does contain $1$. More generally, the "excluded point topology" will give you more examples.






share|cite|improve this answer





















    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',
    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%2f3022183%2fwillards-very-extreme-example-of-topological-space%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    2
    down vote



    accepted










    You are correct: the entire space will always be a neighborhood of $y$ which contains $x$. (I'm assuming $x neq y$.) I'm guessing he wanted to exclude that neighborhood as a trivial example, and to say that no other neighborhoods of $y$ contain $x$.



    In the Sierpiński space, for example, $1$ has a neighborhood that does not contain $0$, but $0$ has a single neighborhood, which does contain $1$. More generally, the "excluded point topology" will give you more examples.






    share|cite|improve this answer

























      up vote
      2
      down vote



      accepted










      You are correct: the entire space will always be a neighborhood of $y$ which contains $x$. (I'm assuming $x neq y$.) I'm guessing he wanted to exclude that neighborhood as a trivial example, and to say that no other neighborhoods of $y$ contain $x$.



      In the Sierpiński space, for example, $1$ has a neighborhood that does not contain $0$, but $0$ has a single neighborhood, which does contain $1$. More generally, the "excluded point topology" will give you more examples.






      share|cite|improve this answer























        up vote
        2
        down vote



        accepted







        up vote
        2
        down vote



        accepted






        You are correct: the entire space will always be a neighborhood of $y$ which contains $x$. (I'm assuming $x neq y$.) I'm guessing he wanted to exclude that neighborhood as a trivial example, and to say that no other neighborhoods of $y$ contain $x$.



        In the Sierpiński space, for example, $1$ has a neighborhood that does not contain $0$, but $0$ has a single neighborhood, which does contain $1$. More generally, the "excluded point topology" will give you more examples.






        share|cite|improve this answer












        You are correct: the entire space will always be a neighborhood of $y$ which contains $x$. (I'm assuming $x neq y$.) I'm guessing he wanted to exclude that neighborhood as a trivial example, and to say that no other neighborhoods of $y$ contain $x$.



        In the Sierpiński space, for example, $1$ has a neighborhood that does not contain $0$, but $0$ has a single neighborhood, which does contain $1$. More generally, the "excluded point topology" will give you more examples.







        share|cite|improve this answer












        share|cite|improve this answer



        share|cite|improve this answer










        answered Dec 2 at 3:29









        Hew Wolff

        2,050716




        2,050716






























            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.





            Some of your past answers have not been well-received, and you're in danger of being blocked from answering.


            Please pay close attention to the following guidance:


            • 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.


            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%2f3022183%2fwillards-very-extreme-example-of-topological-space%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

            Bressuire

            Cabo Verde

            Gyllenstierna