Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Prove metric space $X$ is connected iff $\forall A\subset X,$ $\partial A\neq\emptyset$.

Attempt at a proof:
$\rightarrow$ $X$ connected $\implies$ $\forall A\subset X$, $A$ is connected. Then, intuitively there should be no "space" between the sets because if there were, $X$ would not be connected. Not sure how to formalize it, though.

$\leftarrow$ If the boundary is nonempty $\forall A\subset X$, then suppose there exist $U, V$ open in $X$ such that $U,V$ disconnect $X$. Then, (1) $U\cap X\neq\emptyset$ and $V\cap X\neq\emptyset$, while (2) $(U\cap X)\cap (V\cap X)=\emptyset$ and (3) $(U\cap X)\cup (V\cap X)=X$. Then, let $U\cap X= A$. Clearly $A\subset X$ but by (2) $\partial A\cap A^c=\emptyset$. This is a contradiction. .

share|improve this question
    
I would probably try to prove the contrapositive and the inverse: $X$ is not connected if and only if there exists $A \subset X$ with $\partial A = \emptyset$. "Not connected" means there are disjoint nonempty open sets whose union is $X$, and it is not too hard to move from there to a set with empty boundary (and vice versa). –  Nate Eldredge Mar 10 '12 at 4:03
    
By the way, your statement should exclude $A=X$ and $A=\emptyset$, which always have empty boundary even in a connected space. –  Nate Eldredge Mar 10 '12 at 4:04
add comment

2 Answers

up vote 5 down vote accepted

First, you of course need to assume that $A\neq\emptyset, X$.

Now, the $(\Rightarrow)$ direction in your proof attempt is not correct. Take, for example, the closed interval $[a,b]\subset\mathbb{R}$, which is (as you know ...) path-connected, therefore connected. Put $A=\{a\}\cup\{b\}\subset [a,b]$. Then $A$ is not connected, although $[a,b]$ is connected.

Instead, try to think about what it means for a boundary to be empty. Your intuition is on the right path. Here's how you formalize the $(\Rightarrow)$ direction. Suppose toward contradiction $X$ is connected, but some (nonempty) $A\subset X$ has empty boundary. Then $A$ is closed, because $A = A\cup \partial A$ is its own closure, hence $X-A$ is open. Observe that in $X$, $\partial(X-A) = \partial A$, so we must have that $\partial(X-A) = \emptyset$, hence by the same argument as for $A$ we have $X-A$ is closed, so that $A$ is open. Therefore, $X = A\cup (X-A)$ for two open sets $A$ and $X-A$, and $A\cap (X-A) = \emptyset$, so $A$ and $X-A$ form a disconnect of $X$, contradicting the hypothesis that $X$ is connected.

For the ($\Leftarrow$) direction, how does (2) justify that $\partial A\cap A^c = \emptyset$? Instead, you need to use the hypothesis that $X$ is a metric space, since this direction is not true for a general topological space (take, e.g., the disjoint union of two intervals). Prove the contrapositive: if $X$ is disconnected, then there is some nonempty set $A\subset X$ with $\partial A = \emptyset$. Your intuition is again correct that $A$ will be one of the disconnecting sets. By the argument above, $X = A\cup B$ for two disjoint clopen sets $A$ and $B$. But now you're done: $A \supset \partial A = \partial B \subset B$, which tells you that $\partial A = \partial B = \emptyset.$

share|improve this answer
    
very clear, thanks Neal! –  Emir Mar 10 '12 at 6:08
    
You're very welcome! –  Neal Mar 10 '12 at 13:04
add comment

Observe that $\partial A=\emptyset$ iff $A$ is clopen (open and closed) iff $A$, $A^c$ disconnect $X$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.