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
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.
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}$
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.
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?
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.
But if we did not have the condition that , 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.