Is there a name for this type of topology?

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
4
down vote

favorite












Let $tau$ be a topology on $X$ such that for every $a, b$ in $X$ there exists a bijective function $f$ that is continuous and has a continuous inverse such that $f(a) = b$.



Examples of such a topology:

the topology induced by the euclidean metric on $mathbb R^n$

the discrete topology, the trivial topology



non examples:
$tau = emptyset,a,b,c,X$ where $X = a,b,c$



Is there a name for these type of topologies?










share|cite|improve this question



















  • 3




    It seems that such spaces are called homogeneous.
    – Sangchul Lee
    Dec 28 '17 at 20:56










  • yes that appears to be what I want, thank you, feel free to write that as an answer to the question
    – mathew
    Dec 28 '17 at 21:00














up vote
4
down vote

favorite












Let $tau$ be a topology on $X$ such that for every $a, b$ in $X$ there exists a bijective function $f$ that is continuous and has a continuous inverse such that $f(a) = b$.



Examples of such a topology:

the topology induced by the euclidean metric on $mathbb R^n$

the discrete topology, the trivial topology



non examples:
$tau = emptyset,a,b,c,X$ where $X = a,b,c$



Is there a name for these type of topologies?










share|cite|improve this question



















  • 3




    It seems that such spaces are called homogeneous.
    – Sangchul Lee
    Dec 28 '17 at 20:56










  • yes that appears to be what I want, thank you, feel free to write that as an answer to the question
    – mathew
    Dec 28 '17 at 21:00












up vote
4
down vote

favorite









up vote
4
down vote

favorite











Let $tau$ be a topology on $X$ such that for every $a, b$ in $X$ there exists a bijective function $f$ that is continuous and has a continuous inverse such that $f(a) = b$.



Examples of such a topology:

the topology induced by the euclidean metric on $mathbb R^n$

the discrete topology, the trivial topology



non examples:
$tau = emptyset,a,b,c,X$ where $X = a,b,c$



Is there a name for these type of topologies?










share|cite|improve this question















Let $tau$ be a topology on $X$ such that for every $a, b$ in $X$ there exists a bijective function $f$ that is continuous and has a continuous inverse such that $f(a) = b$.



Examples of such a topology:

the topology induced by the euclidean metric on $mathbb R^n$

the discrete topology, the trivial topology



non examples:
$tau = emptyset,a,b,c,X$ where $X = a,b,c$



Is there a name for these type of topologies?







general-topology






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Dec 30 '17 at 0:24









Theoretical Economist

3,6032730




3,6032730










asked Dec 28 '17 at 20:41









mathew

400115




400115







  • 3




    It seems that such spaces are called homogeneous.
    – Sangchul Lee
    Dec 28 '17 at 20:56










  • yes that appears to be what I want, thank you, feel free to write that as an answer to the question
    – mathew
    Dec 28 '17 at 21:00












  • 3




    It seems that such spaces are called homogeneous.
    – Sangchul Lee
    Dec 28 '17 at 20:56










  • yes that appears to be what I want, thank you, feel free to write that as an answer to the question
    – mathew
    Dec 28 '17 at 21:00







3




3




It seems that such spaces are called homogeneous.
– Sangchul Lee
Dec 28 '17 at 20:56




It seems that such spaces are called homogeneous.
– Sangchul Lee
Dec 28 '17 at 20:56












yes that appears to be what I want, thank you, feel free to write that as an answer to the question
– mathew
Dec 28 '17 at 21:00




yes that appears to be what I want, thank you, feel free to write that as an answer to the question
– mathew
Dec 28 '17 at 21:00










1 Answer
1






active

oldest

votes

















up vote
6
down vote



accepted










As Sangchul says in the comments, such spaces are called homogeneous. An equivalent way to phrase the definition is that the group of homeomorphisms $X to X$ acts transitively on $X$. Important examples include



  • any connected manifold (this is not obvious)

  • any topological group $G$

  • any quotient $G/H$ of a topological group by a subgroup.

The term "homogeneous space" is also used for something more specific, namely a pair consisting of a space $X$ and a topological (sometimes Lie) group $G$ acting transitively on it.






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: false,
    showLowRepImageUploadWarning: true,
    reputationToPostImages: 10,
    bindNavPrevention: true,
    postfix: "",
    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%2f2583484%2fis-there-a-name-for-this-type-of-topology%23new-answer', 'question_page');

    );

    Post as a guest






























    1 Answer
    1






    active

    oldest

    votes








    1 Answer
    1






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes








    up vote
    6
    down vote



    accepted










    As Sangchul says in the comments, such spaces are called homogeneous. An equivalent way to phrase the definition is that the group of homeomorphisms $X to X$ acts transitively on $X$. Important examples include



    • any connected manifold (this is not obvious)

    • any topological group $G$

    • any quotient $G/H$ of a topological group by a subgroup.

    The term "homogeneous space" is also used for something more specific, namely a pair consisting of a space $X$ and a topological (sometimes Lie) group $G$ acting transitively on it.






    share|cite|improve this answer


























      up vote
      6
      down vote



      accepted










      As Sangchul says in the comments, such spaces are called homogeneous. An equivalent way to phrase the definition is that the group of homeomorphisms $X to X$ acts transitively on $X$. Important examples include



      • any connected manifold (this is not obvious)

      • any topological group $G$

      • any quotient $G/H$ of a topological group by a subgroup.

      The term "homogeneous space" is also used for something more specific, namely a pair consisting of a space $X$ and a topological (sometimes Lie) group $G$ acting transitively on it.






      share|cite|improve this answer
























        up vote
        6
        down vote



        accepted







        up vote
        6
        down vote



        accepted






        As Sangchul says in the comments, such spaces are called homogeneous. An equivalent way to phrase the definition is that the group of homeomorphisms $X to X$ acts transitively on $X$. Important examples include



        • any connected manifold (this is not obvious)

        • any topological group $G$

        • any quotient $G/H$ of a topological group by a subgroup.

        The term "homogeneous space" is also used for something more specific, namely a pair consisting of a space $X$ and a topological (sometimes Lie) group $G$ acting transitively on it.






        share|cite|improve this answer














        As Sangchul says in the comments, such spaces are called homogeneous. An equivalent way to phrase the definition is that the group of homeomorphisms $X to X$ acts transitively on $X$. Important examples include



        • any connected manifold (this is not obvious)

        • any topological group $G$

        • any quotient $G/H$ of a topological group by a subgroup.

        The term "homogeneous space" is also used for something more specific, namely a pair consisting of a space $X$ and a topological (sometimes Lie) group $G$ acting transitively on it.







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Sep 8 at 5:29

























        answered Dec 28 '17 at 23:28









        Qiaochu Yuan

        270k32567904




        270k32567904



























             

            draft saved


            draft discarded















































             


            draft saved


            draft discarded














            StackExchange.ready(
            function ()
            StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2583484%2fis-there-a-name-for-this-type-of-topology%23new-answer', 'question_page');

            );

            Post as a guest













































































            這個網誌中的熱門文章

            tkz-euclide: tkzDrawCircle[R] not working

            How to combine Bézier curves to a surface?

            1st Magritte Awards