Is a connected set always an uncountably infinite set?












6












$begingroup$


I'm trying to understand the concept of a connected set. The classic example which is presented is that of $Bbb R$ or any interval of $Bbb R$ with the usual topology.

Moreover, I heard that to a certain extent connected sets can be considered opposite to discrete sets. They are sometimes indicated as representing the idea of a continuum. So, intuitively, shouldn't they always be uncountable sets?










share|cite|improve this question











$endgroup$








  • 6




    $begingroup$
    It's plainly false that every subset of $mathbb{R}$ is connected. The connected subsets of $mathbb{R}$ are the empty set, the singletons and all intervals. But $[0,1]cup[2,3]$ is obviously disconnected.
    $endgroup$
    – egreg
    Feb 3 at 19:14












  • $begingroup$
    @egreg You're right. I meant any interval :)
    $endgroup$
    – Gabriele Scarlatti
    Feb 3 at 23:21






  • 1




    $begingroup$
    @GabrieleScarlatti You might want to edit your question accordingly.
    $endgroup$
    – Luke
    Feb 5 at 19:08










  • $begingroup$
    @Luke I"ve edited it :)
    $endgroup$
    – Gabriele Scarlatti
    Feb 6 at 12:03


















6












$begingroup$


I'm trying to understand the concept of a connected set. The classic example which is presented is that of $Bbb R$ or any interval of $Bbb R$ with the usual topology.

Moreover, I heard that to a certain extent connected sets can be considered opposite to discrete sets. They are sometimes indicated as representing the idea of a continuum. So, intuitively, shouldn't they always be uncountable sets?










share|cite|improve this question











$endgroup$








  • 6




    $begingroup$
    It's plainly false that every subset of $mathbb{R}$ is connected. The connected subsets of $mathbb{R}$ are the empty set, the singletons and all intervals. But $[0,1]cup[2,3]$ is obviously disconnected.
    $endgroup$
    – egreg
    Feb 3 at 19:14












  • $begingroup$
    @egreg You're right. I meant any interval :)
    $endgroup$
    – Gabriele Scarlatti
    Feb 3 at 23:21






  • 1




    $begingroup$
    @GabrieleScarlatti You might want to edit your question accordingly.
    $endgroup$
    – Luke
    Feb 5 at 19:08










  • $begingroup$
    @Luke I"ve edited it :)
    $endgroup$
    – Gabriele Scarlatti
    Feb 6 at 12:03
















6












6








6





$begingroup$


I'm trying to understand the concept of a connected set. The classic example which is presented is that of $Bbb R$ or any interval of $Bbb R$ with the usual topology.

Moreover, I heard that to a certain extent connected sets can be considered opposite to discrete sets. They are sometimes indicated as representing the idea of a continuum. So, intuitively, shouldn't they always be uncountable sets?










share|cite|improve this question











$endgroup$




I'm trying to understand the concept of a connected set. The classic example which is presented is that of $Bbb R$ or any interval of $Bbb R$ with the usual topology.

Moreover, I heard that to a certain extent connected sets can be considered opposite to discrete sets. They are sometimes indicated as representing the idea of a continuum. So, intuitively, shouldn't they always be uncountable sets?







real-analysis general-topology connectedness






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Feb 6 at 11:59







Gabriele Scarlatti

















asked Feb 3 at 17:58









Gabriele ScarlattiGabriele Scarlatti

380212




380212








  • 6




    $begingroup$
    It's plainly false that every subset of $mathbb{R}$ is connected. The connected subsets of $mathbb{R}$ are the empty set, the singletons and all intervals. But $[0,1]cup[2,3]$ is obviously disconnected.
    $endgroup$
    – egreg
    Feb 3 at 19:14












  • $begingroup$
    @egreg You're right. I meant any interval :)
    $endgroup$
    – Gabriele Scarlatti
    Feb 3 at 23:21






  • 1




    $begingroup$
    @GabrieleScarlatti You might want to edit your question accordingly.
    $endgroup$
    – Luke
    Feb 5 at 19:08










  • $begingroup$
    @Luke I"ve edited it :)
    $endgroup$
    – Gabriele Scarlatti
    Feb 6 at 12:03
















  • 6




    $begingroup$
    It's plainly false that every subset of $mathbb{R}$ is connected. The connected subsets of $mathbb{R}$ are the empty set, the singletons and all intervals. But $[0,1]cup[2,3]$ is obviously disconnected.
    $endgroup$
    – egreg
    Feb 3 at 19:14












  • $begingroup$
    @egreg You're right. I meant any interval :)
    $endgroup$
    – Gabriele Scarlatti
    Feb 3 at 23:21






  • 1




    $begingroup$
    @GabrieleScarlatti You might want to edit your question accordingly.
    $endgroup$
    – Luke
    Feb 5 at 19:08










  • $begingroup$
    @Luke I"ve edited it :)
    $endgroup$
    – Gabriele Scarlatti
    Feb 6 at 12:03










6




6




$begingroup$
It's plainly false that every subset of $mathbb{R}$ is connected. The connected subsets of $mathbb{R}$ are the empty set, the singletons and all intervals. But $[0,1]cup[2,3]$ is obviously disconnected.
$endgroup$
– egreg
Feb 3 at 19:14






$begingroup$
It's plainly false that every subset of $mathbb{R}$ is connected. The connected subsets of $mathbb{R}$ are the empty set, the singletons and all intervals. But $[0,1]cup[2,3]$ is obviously disconnected.
$endgroup$
– egreg
Feb 3 at 19:14














$begingroup$
@egreg You're right. I meant any interval :)
$endgroup$
– Gabriele Scarlatti
Feb 3 at 23:21




$begingroup$
@egreg You're right. I meant any interval :)
$endgroup$
– Gabriele Scarlatti
Feb 3 at 23:21




1




1




$begingroup$
@GabrieleScarlatti You might want to edit your question accordingly.
$endgroup$
– Luke
Feb 5 at 19:08




$begingroup$
@GabrieleScarlatti You might want to edit your question accordingly.
$endgroup$
– Luke
Feb 5 at 19:08












$begingroup$
@Luke I"ve edited it :)
$endgroup$
– Gabriele Scarlatti
Feb 6 at 12:03






$begingroup$
@Luke I"ve edited it :)
$endgroup$
– Gabriele Scarlatti
Feb 6 at 12:03












3 Answers
3






active

oldest

votes


















18












$begingroup$

First of all, $emptyset$ is connected. And so is every singleton.



On the other hand, it is true that every connected metric space with more than one point is uncountable. But there are countable connected topological spaces.






share|cite|improve this answer









$endgroup$













  • $begingroup$
    I've heard some argue that the empty set is not connected, in a similar sense to 1 not being a prime number. See ncatlab.org/nlab/show/too+simple+to+be+simple for related thoughts.
    $endgroup$
    – Ben Millwood
    Feb 4 at 12:54










  • $begingroup$
    @BenMillwood, to me, the empty set is probably connected, but not $0$-connected (because $0$-connected implies $(-1)$-connected, and the latter is equivalent to being non-empty).
    $endgroup$
    – Carsten S
    Feb 4 at 14:14



















10












$begingroup$

Consider the space $X = {a, b}$ equipped with the trivial topology (i.e. the only open sets are $X$ and $varnothing$). Then, the space is connected, but there are only a finite number of points in this example.






share|cite|improve this answer









$endgroup$









  • 9




    $begingroup$
    Even cooler is the pseudocircle. It's the smallest multiconnected space.
    $endgroup$
    – PyRulez
    Feb 3 at 23:10



















5












$begingroup$

Well, there's the empty set, as others have noted. Also, every singleton is connected. But you can say a bit more if you assume some separation.




  • Any finite $T_1$ space is discrete, so it is connected if and only if it has only one point, so if you assume $T_1$, there are no nontrivial connected finite sets or spaces.

  • There are also connected $T_0$ spaces of any size you want (including any finite): if you take a nonempty set $X$ and fix $xin X$, then if you declare open sets to be exactly those containing $x$, then the resulting topology is $T_0$ and connected (all points except for $x$ are closed).

  • On any infinite set (possibly countable), the cofinite topology is $T_1$ and connected.

  • There are connected countably infinite Hausdorff spaces. (and even $T_{2frac{1}{2}}$-spaces).

  • A connected $T_4$ space with more than one point is necessarily uncountable. This follows easily from Urysohn's lemma (in fact, it follows that a nontrivial connected $T_4$ space has at least the cardinality of the continuum).

  • One can show that a countable $T_3$ space is $T_4$, so by the preceding point, a connected $T_3$ space cannot be countably infinite.


Incidentally, in topology, a continuum is a kind of connected set (namely one which is compact Hausdorff, or even metrisable, depending on the author).






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%2f3098870%2fis-a-connected-set-always-an-uncountably-infinite-set%23new-answer', 'question_page');
    }
    );

    Post as a guest















    Required, but never shown

























    3 Answers
    3






    active

    oldest

    votes








    3 Answers
    3






    active

    oldest

    votes









    active

    oldest

    votes






    active

    oldest

    votes









    18












    $begingroup$

    First of all, $emptyset$ is connected. And so is every singleton.



    On the other hand, it is true that every connected metric space with more than one point is uncountable. But there are countable connected topological spaces.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      I've heard some argue that the empty set is not connected, in a similar sense to 1 not being a prime number. See ncatlab.org/nlab/show/too+simple+to+be+simple for related thoughts.
      $endgroup$
      – Ben Millwood
      Feb 4 at 12:54










    • $begingroup$
      @BenMillwood, to me, the empty set is probably connected, but not $0$-connected (because $0$-connected implies $(-1)$-connected, and the latter is equivalent to being non-empty).
      $endgroup$
      – Carsten S
      Feb 4 at 14:14
















    18












    $begingroup$

    First of all, $emptyset$ is connected. And so is every singleton.



    On the other hand, it is true that every connected metric space with more than one point is uncountable. But there are countable connected topological spaces.






    share|cite|improve this answer









    $endgroup$













    • $begingroup$
      I've heard some argue that the empty set is not connected, in a similar sense to 1 not being a prime number. See ncatlab.org/nlab/show/too+simple+to+be+simple for related thoughts.
      $endgroup$
      – Ben Millwood
      Feb 4 at 12:54










    • $begingroup$
      @BenMillwood, to me, the empty set is probably connected, but not $0$-connected (because $0$-connected implies $(-1)$-connected, and the latter is equivalent to being non-empty).
      $endgroup$
      – Carsten S
      Feb 4 at 14:14














    18












    18








    18





    $begingroup$

    First of all, $emptyset$ is connected. And so is every singleton.



    On the other hand, it is true that every connected metric space with more than one point is uncountable. But there are countable connected topological spaces.






    share|cite|improve this answer









    $endgroup$



    First of all, $emptyset$ is connected. And so is every singleton.



    On the other hand, it is true that every connected metric space with more than one point is uncountable. But there are countable connected topological spaces.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Feb 3 at 18:02









    José Carlos SantosJosé Carlos Santos

    169k23132237




    169k23132237












    • $begingroup$
      I've heard some argue that the empty set is not connected, in a similar sense to 1 not being a prime number. See ncatlab.org/nlab/show/too+simple+to+be+simple for related thoughts.
      $endgroup$
      – Ben Millwood
      Feb 4 at 12:54










    • $begingroup$
      @BenMillwood, to me, the empty set is probably connected, but not $0$-connected (because $0$-connected implies $(-1)$-connected, and the latter is equivalent to being non-empty).
      $endgroup$
      – Carsten S
      Feb 4 at 14:14


















    • $begingroup$
      I've heard some argue that the empty set is not connected, in a similar sense to 1 not being a prime number. See ncatlab.org/nlab/show/too+simple+to+be+simple for related thoughts.
      $endgroup$
      – Ben Millwood
      Feb 4 at 12:54










    • $begingroup$
      @BenMillwood, to me, the empty set is probably connected, but not $0$-connected (because $0$-connected implies $(-1)$-connected, and the latter is equivalent to being non-empty).
      $endgroup$
      – Carsten S
      Feb 4 at 14:14
















    $begingroup$
    I've heard some argue that the empty set is not connected, in a similar sense to 1 not being a prime number. See ncatlab.org/nlab/show/too+simple+to+be+simple for related thoughts.
    $endgroup$
    – Ben Millwood
    Feb 4 at 12:54




    $begingroup$
    I've heard some argue that the empty set is not connected, in a similar sense to 1 not being a prime number. See ncatlab.org/nlab/show/too+simple+to+be+simple for related thoughts.
    $endgroup$
    – Ben Millwood
    Feb 4 at 12:54












    $begingroup$
    @BenMillwood, to me, the empty set is probably connected, but not $0$-connected (because $0$-connected implies $(-1)$-connected, and the latter is equivalent to being non-empty).
    $endgroup$
    – Carsten S
    Feb 4 at 14:14




    $begingroup$
    @BenMillwood, to me, the empty set is probably connected, but not $0$-connected (because $0$-connected implies $(-1)$-connected, and the latter is equivalent to being non-empty).
    $endgroup$
    – Carsten S
    Feb 4 at 14:14











    10












    $begingroup$

    Consider the space $X = {a, b}$ equipped with the trivial topology (i.e. the only open sets are $X$ and $varnothing$). Then, the space is connected, but there are only a finite number of points in this example.






    share|cite|improve this answer









    $endgroup$









    • 9




      $begingroup$
      Even cooler is the pseudocircle. It's the smallest multiconnected space.
      $endgroup$
      – PyRulez
      Feb 3 at 23:10
















    10












    $begingroup$

    Consider the space $X = {a, b}$ equipped with the trivial topology (i.e. the only open sets are $X$ and $varnothing$). Then, the space is connected, but there are only a finite number of points in this example.






    share|cite|improve this answer









    $endgroup$









    • 9




      $begingroup$
      Even cooler is the pseudocircle. It's the smallest multiconnected space.
      $endgroup$
      – PyRulez
      Feb 3 at 23:10














    10












    10








    10





    $begingroup$

    Consider the space $X = {a, b}$ equipped with the trivial topology (i.e. the only open sets are $X$ and $varnothing$). Then, the space is connected, but there are only a finite number of points in this example.






    share|cite|improve this answer









    $endgroup$



    Consider the space $X = {a, b}$ equipped with the trivial topology (i.e. the only open sets are $X$ and $varnothing$). Then, the space is connected, but there are only a finite number of points in this example.







    share|cite|improve this answer












    share|cite|improve this answer



    share|cite|improve this answer










    answered Feb 3 at 18:01









    Kurtland ChuaKurtland Chua

    3541212




    3541212








    • 9




      $begingroup$
      Even cooler is the pseudocircle. It's the smallest multiconnected space.
      $endgroup$
      – PyRulez
      Feb 3 at 23:10














    • 9




      $begingroup$
      Even cooler is the pseudocircle. It's the smallest multiconnected space.
      $endgroup$
      – PyRulez
      Feb 3 at 23:10








    9




    9




    $begingroup$
    Even cooler is the pseudocircle. It's the smallest multiconnected space.
    $endgroup$
    – PyRulez
    Feb 3 at 23:10




    $begingroup$
    Even cooler is the pseudocircle. It's the smallest multiconnected space.
    $endgroup$
    – PyRulez
    Feb 3 at 23:10











    5












    $begingroup$

    Well, there's the empty set, as others have noted. Also, every singleton is connected. But you can say a bit more if you assume some separation.




    • Any finite $T_1$ space is discrete, so it is connected if and only if it has only one point, so if you assume $T_1$, there are no nontrivial connected finite sets or spaces.

    • There are also connected $T_0$ spaces of any size you want (including any finite): if you take a nonempty set $X$ and fix $xin X$, then if you declare open sets to be exactly those containing $x$, then the resulting topology is $T_0$ and connected (all points except for $x$ are closed).

    • On any infinite set (possibly countable), the cofinite topology is $T_1$ and connected.

    • There are connected countably infinite Hausdorff spaces. (and even $T_{2frac{1}{2}}$-spaces).

    • A connected $T_4$ space with more than one point is necessarily uncountable. This follows easily from Urysohn's lemma (in fact, it follows that a nontrivial connected $T_4$ space has at least the cardinality of the continuum).

    • One can show that a countable $T_3$ space is $T_4$, so by the preceding point, a connected $T_3$ space cannot be countably infinite.


    Incidentally, in topology, a continuum is a kind of connected set (namely one which is compact Hausdorff, or even metrisable, depending on the author).






    share|cite|improve this answer











    $endgroup$


















      5












      $begingroup$

      Well, there's the empty set, as others have noted. Also, every singleton is connected. But you can say a bit more if you assume some separation.




      • Any finite $T_1$ space is discrete, so it is connected if and only if it has only one point, so if you assume $T_1$, there are no nontrivial connected finite sets or spaces.

      • There are also connected $T_0$ spaces of any size you want (including any finite): if you take a nonempty set $X$ and fix $xin X$, then if you declare open sets to be exactly those containing $x$, then the resulting topology is $T_0$ and connected (all points except for $x$ are closed).

      • On any infinite set (possibly countable), the cofinite topology is $T_1$ and connected.

      • There are connected countably infinite Hausdorff spaces. (and even $T_{2frac{1}{2}}$-spaces).

      • A connected $T_4$ space with more than one point is necessarily uncountable. This follows easily from Urysohn's lemma (in fact, it follows that a nontrivial connected $T_4$ space has at least the cardinality of the continuum).

      • One can show that a countable $T_3$ space is $T_4$, so by the preceding point, a connected $T_3$ space cannot be countably infinite.


      Incidentally, in topology, a continuum is a kind of connected set (namely one which is compact Hausdorff, or even metrisable, depending on the author).






      share|cite|improve this answer











      $endgroup$
















        5












        5








        5





        $begingroup$

        Well, there's the empty set, as others have noted. Also, every singleton is connected. But you can say a bit more if you assume some separation.




        • Any finite $T_1$ space is discrete, so it is connected if and only if it has only one point, so if you assume $T_1$, there are no nontrivial connected finite sets or spaces.

        • There are also connected $T_0$ spaces of any size you want (including any finite): if you take a nonempty set $X$ and fix $xin X$, then if you declare open sets to be exactly those containing $x$, then the resulting topology is $T_0$ and connected (all points except for $x$ are closed).

        • On any infinite set (possibly countable), the cofinite topology is $T_1$ and connected.

        • There are connected countably infinite Hausdorff spaces. (and even $T_{2frac{1}{2}}$-spaces).

        • A connected $T_4$ space with more than one point is necessarily uncountable. This follows easily from Urysohn's lemma (in fact, it follows that a nontrivial connected $T_4$ space has at least the cardinality of the continuum).

        • One can show that a countable $T_3$ space is $T_4$, so by the preceding point, a connected $T_3$ space cannot be countably infinite.


        Incidentally, in topology, a continuum is a kind of connected set (namely one which is compact Hausdorff, or even metrisable, depending on the author).






        share|cite|improve this answer











        $endgroup$



        Well, there's the empty set, as others have noted. Also, every singleton is connected. But you can say a bit more if you assume some separation.




        • Any finite $T_1$ space is discrete, so it is connected if and only if it has only one point, so if you assume $T_1$, there are no nontrivial connected finite sets or spaces.

        • There are also connected $T_0$ spaces of any size you want (including any finite): if you take a nonempty set $X$ and fix $xin X$, then if you declare open sets to be exactly those containing $x$, then the resulting topology is $T_0$ and connected (all points except for $x$ are closed).

        • On any infinite set (possibly countable), the cofinite topology is $T_1$ and connected.

        • There are connected countably infinite Hausdorff spaces. (and even $T_{2frac{1}{2}}$-spaces).

        • A connected $T_4$ space with more than one point is necessarily uncountable. This follows easily from Urysohn's lemma (in fact, it follows that a nontrivial connected $T_4$ space has at least the cardinality of the continuum).

        • One can show that a countable $T_3$ space is $T_4$, so by the preceding point, a connected $T_3$ space cannot be countably infinite.


        Incidentally, in topology, a continuum is a kind of connected set (namely one which is compact Hausdorff, or even metrisable, depending on the author).







        share|cite|improve this answer














        share|cite|improve this answer



        share|cite|improve this answer








        edited Feb 4 at 1:39

























        answered Feb 4 at 1:19









        tomasztomasz

        23.9k23482




        23.9k23482






























            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%2f3098870%2fis-a-connected-set-always-an-uncountably-infinite-set%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

            Human spaceflight

            Can not write log (Is /dev/pts mounted?) - openpty in Ubuntu-on-Windows?

            File:DeusFollowingSea.jpg