show if A and B are connected in (M,d) with AnB!=empty set, AUB is also connected.

that just seems obvious.....how would I go about proving this one?

thanks

Printable View

- Apr 21st 2010, 07:33 AMcp05connectedness
show if A and B are connected in (M,d) with AnB!=empty set, AUB is also connected.

that just seems obvious.....how would I go about proving this one?

thanks - Apr 21st 2010, 03:33 PMDrexel28
Let's prove it in general. Let $\displaystyle X$ be a topological space and $\displaystyle \left\{U_\alpha\right\}_{\alpha\in\mathcal{A}}$ be a collection of connected subspaces of $\displaystyle X$ such that $\displaystyle \bigcap_{\alpha\in\mathcal{A}}U_\alpha\ne\varnothi ng$. Then, $\displaystyle \bigcup_{\alpha\in\mathcal{A}}U_\alpha=\Omega$ is connected. To see this, suppose not and that $\displaystyle (E\cap \Omega)\cup (G\cap\Omega)=\Omega$ is a separation with $\displaystyle E,G\subseteq X$ open. Then, since each $\displaystyle E\cap \Omega,G\cap \Omega\ne\varnothing$ we must have that a part of some $\displaystyle U_{\alpha_1}$ and $\displaystyle U_{\alpha_2}$ are in each. But, $\displaystyle U_{\alpha_1}\cap U_{\alpha_2}\ne \varnothing$ this in particular implies that $\displaystyle E\cap U_{\alpha_1},E\cap U_{\alpha_2}\ne\varnothing$ they are open in $\displaystyle U_{\alpha_1}$ and evidently $\displaystyle (E\cap U_{\alpha_1})\cup (G\cap U_{\alpha_1})=U_{\alpha_1}$ but this clearly contradicts that $\displaystyle U_{\alpha_1}$ is connected. The conclusion follows.

- Apr 21st 2010, 05:58 PMcp05
I don't quite understand the proof, sorry

Why is http://www.mathhelpforum.com/math-he...156f55fd-1.gif a separation?

Do we get http://www.mathhelpforum.com/math-he...fd3b22c8-1.gif since any intersection of connected sets in X aren't empty? - Apr 21st 2010, 06:29 PMDrexel28
Yes, if it were to be a separation $\displaystyle E\cap \Omega,G\cap \Omega$ they must be non-empy open and disjoint. I forgot to mention disjointness but since $\displaystyle E\cap \Omega,G\cap \Omega$ are disjoint evidently so are $\displaystyle E\cap U_{\alpha_1},G\cap U_{\alpha_1}$

- Apr 21st 2010, 06:53 PMDrexel28
Here, I think I can say it so you'll better understand.

Let $\displaystyle E,G\subseteq X$ be open and be such that $\displaystyle \left(E\cap \Omega \right)\cap\left(G\cap \Omega\right)=\varnothing$ and $\displaystyle \left(E\cup \Omega\right)\cup\left(E\cap\Omega\right)=\Omega$. We claim that at least one of $\displaystyle E,G$ must be empty. Since the union of their intersections with $\displaystyle \Omega$ is non-empty (assuming $\displaystyle \Omega$ is

non-empty, but then the conclusion is immediate) we must have that at least one of them is non-empty, assume WLOG that it's $\displaystyle E$. Then, we have that $\displaystyle U_{\alpha_1}\cap E\ne\varnothing$

for some $\displaystyle \alpha_1\in\mathcal{A}$. But, it must be true that $\displaystyle U_{\alpha_1}\subseteq E\cap\Omega$ otherwise we'd have that some point of $\displaystyle U_{\alpha_1}$ is not in $\displaystyle E\cap\Omega$ and since $\displaystyle E\cap\Omega,G\cap\Omega$ cover $\displaystyle \Omega$ it must be that that point is in $\displaystyle G\cap\Omega$. In other

words, $\displaystyle G\cap U_{\alpha_1}$ and $\displaystyle E\cap U_{\alpha_1}$ are both non-empty. But, they are apparently disjoint, open in $\displaystyle U_{\alpha_1}$ and their union is $\displaystyle U_{\alpha_1}$. This clearly contradicts that $\displaystyle U_{\alpha_1}$ from where it follows that $\displaystyle U_{\alpha_1}\subseteq E\cap \Omega$.

Now, the rest is easy. For, suppose that $\displaystyle G\cap \Omega$ is non-empty. Then, by the previous analysis it follows that $\displaystyle U_{\alpha_2}\cap (G\cap \Omega)\ne\varnothing$ and so $\displaystyle U_{\alpha_2}\subseteq G\cap \Omega$. But, this is a contradiction since $\displaystyle G\cap\Omega$ and

$\displaystyle E\cap\Omega$ are disjoint and $\displaystyle U_{\alpha_1}\cap U_{\alpha_2}$ is non-empty. It follows that $\displaystyle G\cap\Omega$ must be empty and thus no separation of $\displaystyle \Omega$ is possible. The conclusion follows. - Apr 21st 2010, 06:57 PMcp05
I think I kind of get it....

But if I just had 2 sets, like A and B, I would say suppose AUB is disconnected.

So there exist sets X and Y such that

XnAUB != YnAUB != empty

XnAUB U YnAUB = AUB

XnAUB n YnAUB = empty

so some part of A, B is in X, and also some other part of A, B is in Y since XnAUB, YnAUB is not empty and their intersection is empty (so the same part of A, B can't be in both Y and X)

so XnA, YnA is not empty

so XnA U YnA = A??

So A is disconnected because XnA and YnA are disjoint?

And same goes for B

Is this correct? :) - Apr 21st 2010, 06:59 PMDrexel28
- Apr 23rd 2010, 08:30 AMcp05
would the intersection or A and B be connected?

I'm kind of stuck on this because I don't know if the empty set is connected or not. For example, if A=(0,1) and B=(2,3) then their intersection would be empty....but is that connected? - Apr 23rd 2010, 11:20 AMDrexel28
The empty set is sometimes connected sometimes not depending on the author.

But, we can prove a nice little theorem.

Theorem: Let $\displaystyle E,G\subseteq\mathbb{R}$ be connected and $\displaystyle E\cap G\ne\varnothing$ then $\displaystyle E\cap G$ is connected.

Proof:This follows since the intersection of two intervals is an interval.

In fact this is true in any linear continuum. But, this is a very special case.

Permit me if you will to describe a picture for you.

Imagine two crescent rolls (look here) it is easy to think of their general shape projected into $\displaystyle \mathbb{R}^2$, right? Now, think about taking two of them and having the concave sides face each other. Now, move them until just their tips are touching. Clearly each crescent roll is connected but their intersection will be the area in the overlapping tips, but this is clearly disconnected. - Apr 24th 2010, 08:15 PMcp05
But if we did not have the condition that http://www.mathhelpforum.com/math-he...2c2570a0-1.gif, then the intersection of E and G would not be connected, correct?

I'm looking at your crescent roll example for that: the intersection of the crescent rolls is empty....kind of like the intersection of two open sets, so the empty set in this case would be disconnected. - Apr 25th 2010, 07:06 PMDrexel28