Is there a proof that $\mathbb{R}^2\setminus \lbrace 0\rbrace$ is connected without using the idea of path-connected sets ( i.e. using the definition of connected sets only ).
|
|
$\Bbb R$ is connected, isn't it ? So $\Bbb R^2$ is as well, as a product of connected spaces. Consider the following lemma (proof below) :
And now consider $\Bbb R^2\setminus \{0\}$ as the union of four open halfplanes $\{ x>0 \}\cup\{x<0\}\cup\{y<0\}\cup\{y>0\}$. Each one is connected, being homeomorphic to $\Bbb R^2$. Using the lemma, you see that $\Bbb R^2\setminus \{0\}$ is connected. Proof of the lemma — If $A\cup B \subset U\cup V$, with $U$ and $V$ open sets of $X$, with $U\cap V \cap (A\cup B) = \varnothing$. Then $A \subset U\cup V$ and since $A$ is connected, with have either $A\subset U$ or $A\subset V$. Similarly $B\subset U$ of $B\subset V$. If $A\subset U$ and $B\subset V$ — or $A\subset V$ and $B\subset V$ —, then $A\cap B \subset U\cap V$, which is a contradiction. So $A\cup B\subset U$ or $A\cup B\subset V$, what we wanted. |
|||
|
|
HINT Suppose that $A$ and $B$ are two disjoint open sets s.t. $A \cup B$ is $\mathbb{R}^2 \setminus \{0\}$, s.t. $A$ is nonempty. Then if $x \in A$, show that $B$ is empty, or alternatively that any $y$ is in $A$ as well. You might choose progresively larger open disks, or something similar. |
|||||
|