Definition of Connected Subspace - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-20T21:20:15Z http://mathoverflow.net/feeds/question/30509 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/30509/definition-of-connected-subspace Definition of Connected Subspace David Corwin 2010-07-04T12:16:04Z 2010-07-05T23:19:33Z <p>In Munkres (Chapter 3, Section 23, p. 148), Munkres shows that if a subspace \$Y\$ of a space \$X\$ is not connected, then there are two disjoint open subsets \$A,B\$ such that the union of \$A\$ and \$B\$ contains \$Y\$. What doesn't make sense is that a separation of \$Y\$ only requires two open subsets of \$Y\$ which are disjoint, <em>as subsets of \$Y\$</em>. That is, \$A\$ and \$B\$ certainly can't intersect anywhere in \$Y\$, but who says they have to be disjoint? Or is asking whether a subset \$Y\$ of \$X\$ is connected <em>as a subset of \$X\$</em> a different question than saying "okay, here is the topology on \$Y\$ as a subset of \$X\$ - now is \$Y\$ connected under that topology?"</p> http://mathoverflow.net/questions/30509/definition-of-connected-subspace/30510#30510 Answer by Willie Wong for Definition of Connected Subspace Willie Wong 2010-07-04T12:58:28Z 2010-07-04T13:19:14Z <p>Per your comment, I think you misunderstood what Munkres is trying to say. </p> <blockquote> <p>If Y is subspace of X, a separation of Y is a pair of disjoint nonempty sets A and B whose union is Y, neither of which contains a limit point of the other. The space Y is connected if there exists no separation of Y.</p> </blockquote> <p>I read it to mean two definitions are given. Firstly, that he defines what it means to have a separation of a subspace \$Y\$ inside of the space \$X\$. Then he defines a space \$Y\$ as connected if it cannot be separated within itself. (\$Y\$ is trivially a subspace of itself, so the first definition of a separation can be used.)</p> <p>Now, in the example I gave where <code>\$X = \{a,b,c\}\$</code>, <code>\$Y = \{a,c\}\$</code>, with topology on \$X\$ generated by <code>\$\{a,b\}, \{b,c\}\$</code>, the subspace \$Y\$ is not a connected set in \$X\$, as it is not a connected space in its subspace topology. But the space \$X\$ is connected, so the connected component of <code>\$\{a\}\$</code> in \$X\$ is the whole space. (Whereas the connected component in \$Y\$ is itself.)</p> <p>This shouldn't be so strange if you consider a more intuitive example: Let \$X\$ be the open interval \$(0,1)\$, and \$Y\$ be the subset \$(0,1/4)\cup (3/4,1)\$. Then \$Y\$ is not connected. The connected component containing the point \$1/8\$ in \$X\$ is the whole space, whereas the connected component when considered in \$Y\$ is just the interval \$(0,1/4)\$. </p> <p>In other words, the connected component of a point in \$X\$ is a subspace \$Y\$ such that \$Y\$ is connected in the subspace topology and such that \$Y\$ and \$X\setminus Y\$ are both open. (And \$Y\$ of course contains the point in question.)</p> http://mathoverflow.net/questions/30509/definition-of-connected-subspace/30513#30513 Answer by Abhishek Parab for Definition of Connected Subspace Abhishek Parab 2010-07-04T13:09:32Z 2010-07-04T16:41:34Z <ul> <li>A subset of a topological space is naturally endowed with a topology, namely, the subspace topology. </li> </ul> <p>NOTE: Whenever we speak of a topology on a subspace, unless specified otherwise, we mean this subspace topology. It seems natural to assume the following definition of a connected topological space (and Munkres does so) :</p> <ul> <li>A topological space X is connected if whenever any two nonempty open sets A and B of X cover X, then A \cap B is nonempty. </li> </ul> <p>It follows that any subspace of X is connected if it is connected with respect to the induced (subspace) topology on it.</p> <ul> <li>A connected subspace is a subset which is a connected space wrt the induced topology. (A connected component is a maximal (wrt to inclusion) connected subset of X. )</li> </ul> <p>Now, Munkres gives a characterization of connectedness of a subspace:</p> <blockquote> <p>If Y is subspace of X, a separation of Y is a pair of disjoint nonempty sets A and B whose union is Y, neither of which contains a limit point of the other. The space Y is connected if there exists no separation of Y.</p> </blockquote> <p>The proof given there is clear. One point to note is that the following are equivalent for subsets A and B <strong>of X</strong>:</p> <ol> <li>...A and B whose union is Y and neither of which contains a limit point of other.</li> <li>A and B are both closed and open <strong>in Y</strong> and their union (in Y) is Y.</li> </ol> http://mathoverflow.net/questions/30509/definition-of-connected-subspace/30519#30519 Answer by Tom Goodwillie for Definition of Connected Subspace Tom Goodwillie 2010-07-04T14:12:46Z 2010-07-05T23:19:33Z <p>Two sets are called disjoint if they have no element in common. Thus for two subsets of \$Y\subset X\$ there is no distinction to be made between "disjoint in \$Y\$ and "disjoint in \$X\$".</p> <p>Call two sets in a space <i>separated</i> if (they are disjoint and) neither one contains a limit point of the other. By the nature of the subspace topology, for two subsets of the subspace \$Y\subset X\$ there is no distinction between "separated in \$Y\$" and "separated in \$X\$". That is, a point of \$Y\$ in in the closure of a subset of \$Y\$ from the point of view of \$X\$ if and only if this is true from the point of view of \$Y\$. So there is no ambiguity in asking whether \$Y\$ can be expressed as the union of two nonempty separated sets. </p> <p>But note that "having disjoint closures" is a stronger condition on two subsets of \$Y\$, for which there would be ambiguity.</p> <p>(My parenthesis above was to ward off a real ambiguity of language: some people use "limit point of \$A\$" to mean any point in the closure of \$A\$; others do not include isolated points of \$A\$ as limit points.) </p> <p>I wonder if the questioner was giving "disjoint" some topological meaning. I have noticed that topology students sometimes get the idea that it has such a meaning. This may be suggested by topologists' habit of using the expression "the disjoint union of spaces" for what is sometimes called the topological disjoint union or topological sum, i.e. the coproduct of objects in the category of spaces.</p>