Set separation problem

41 Views Asked by At

PROBLEM: Let $Y\subset X$, suppose both $X$ and $Y$ are connected and $X-Y=A*\cup* B $ where ($*\cup*$ is the set separation). Show that $Y\cup A$ is connected.

My attempt: Let $U\subset Y \cup A$ be an open and closed subset in $Y\cup A$. Then $U\cap Y$ is clopen subset of $Y.$ Since $Y$ is connected , we get either $U\cap Y=\emptyset$ or $U\cap Y=Y$. Now assume that $U\cap Y = \emptyset,$ then $U \subset A$. Since $A, B$ is a separation (given in the problem) of $X-Y$, $A$ is an open and closed subset of $X-Y$.

Now using the fact that if any subset of $Z$ that is open in $Y\cup Z$ must be open in $X$ for $Y\subset X$ and $Z$ an open subset of $X-Y$, we have applying this fact to $X, Y, A$, for both cases (open and closed), we conclude that $U\subset A$ that is assumed to be open and closed in $Y \cup A$ must be open and closed in $X$. Since $X$ is connected and $U$ is not the whole space, we conclude that $U = \emptyset$.

Where I am stuck: Now the part where I am stuck is the part where we have to assume the case for when $U\cap Y=Y$. I can not seem to rigorously argue for this case. I would appreciate some help on writing this part.