Se va a probar que la esfera $\mathbb{S}^n$ menos un conjunto $A$ numerable de puntos es conexa: en verdad se demostrará que es arcoconexa.
Antes de la prueba, comentar que la demostración se puede hacer si sabemos ya que $\mathbb{R}^n-B$ es arcoconexo donde $B$ es un conjunto numerable de puntos. En tal caso, se usaría que $\mathbb{S}^n-\{p\}\cong \mathbb{R}^n$. Para aquellas personas que conozcan ese resultado sobre $\mathbb{R}^n-B$, recomiendo que hagan la demostración.
Probamos que $\mathbb{S}^n-A$ es conexo probando que dados dos puntos del conjunto existe un conjunto conexo de $\mathbb{S}^n-A$ que los contiene. Concretamente, ese conjunto va a ser un círculo máximo que pasa por ambos. Un círculo máximo es la intersección de un hiperplano vectorial de $\mathbb{R}^{n+1}$ con $\mathbb{S}^n$ (si alguien se ha perdido aquí, que considere $n=2$). Un círculo máximo es arcoconexo pues es homeomorfo a $\mathbb{S}^{n-1}$.
Tomamos dos puntos antípodas de $\mathbb{S}^n$ que no pertenecen a $A$: esto es posible, pues en caso contrario $\mathbb{S}^n\subset A$. Después de un movimiento rígido (que no cambia el problema), podemos suponer que ambos son el polo norte $N=(0,\ldots,1)$ y el polo sur $S=(0,\ldots,-1)$.
Consideramos el conjunto $D$ de círculos máximos que resultan de intersecar $\mathbb{S}^n$ con todos los hiperplanos que contienen al eje $x_{n+1}$. El conjunto $D$ es infinito no numerable ya que es biyectivo con el conjunto de rotaciones respecto del eje $x_{n+1}$. Además todos ellos se intersecan sólamente en dos puntos, a saber, $N$ y $S$.
Sean $p,q\in \mathbb{S}^n-A$. Afirmamos que existe $C\in D$ tal que $C\subset \mathbb{S}^n-A$ y $p,q\in C$. Si no fuera así, es porque cada círculo $C\in D$ interseca a $A$. Tomamos $a_C\in C\cap A$ un punto de la intersección (usamos para ello el axioma de elección). Entonces la aplicación $f:D\rightarrow A$ dada por $f(C)=a_C$ es inyectiva, ya que si se tienen dos círculos diferentes $C_1$ y $C_2$, los únicos puntos de intersección de ambos son $N$ y $S$, que no son $f(C_1)$ y $f(C_2)$. Finalmente, si $f$ es inyectiva, esto diría que $A$ es no numerable, llegando a una contradicción.
Antes de la prueba, comentar que la demostración se puede hacer si sabemos ya que $\mathbb{R}^n-B$ es arcoconexo donde $B$ es un conjunto numerable de puntos. En tal caso, se usaría que $\mathbb{S}^n-\{p\}\cong \mathbb{R}^n$. Para aquellas personas que conozcan ese resultado sobre $\mathbb{R}^n-B$, recomiendo que hagan la demostración.
Probamos que $\mathbb{S}^n-A$ es conexo probando que dados dos puntos del conjunto existe un conjunto conexo de $\mathbb{S}^n-A$ que los contiene. Concretamente, ese conjunto va a ser un círculo máximo que pasa por ambos. Un círculo máximo es la intersección de un hiperplano vectorial de $\mathbb{R}^{n+1}$ con $\mathbb{S}^n$ (si alguien se ha perdido aquí, que considere $n=2$). Un círculo máximo es arcoconexo pues es homeomorfo a $\mathbb{S}^{n-1}$.
Tomamos dos puntos antípodas de $\mathbb{S}^n$ que no pertenecen a $A$: esto es posible, pues en caso contrario $\mathbb{S}^n\subset A$. Después de un movimiento rígido (que no cambia el problema), podemos suponer que ambos son el polo norte $N=(0,\ldots,1)$ y el polo sur $S=(0,\ldots,-1)$.
Consideramos el conjunto $D$ de círculos máximos que resultan de intersecar $\mathbb{S}^n$ con todos los hiperplanos que contienen al eje $x_{n+1}$. El conjunto $D$ es infinito no numerable ya que es biyectivo con el conjunto de rotaciones respecto del eje $x_{n+1}$. Además todos ellos se intersecan sólamente en dos puntos, a saber, $N$ y $S$.
Sean $p,q\in \mathbb{S}^n-A$. Afirmamos que existe $C\in D$ tal que $C\subset \mathbb{S}^n-A$ y $p,q\in C$. Si no fuera así, es porque cada círculo $C\in D$ interseca a $A$. Tomamos $a_C\in C\cap A$ un punto de la intersección (usamos para ello el axioma de elección). Entonces la aplicación $f:D\rightarrow A$ dada por $f(C)=a_C$ es inyectiva, ya que si se tienen dos círculos diferentes $C_1$ y $C_2$, los únicos puntos de intersección de ambos son $N$ y $S$, que no son $f(C_1)$ y $f(C_2)$. Finalmente, si $f$ es inyectiva, esto diría que $A$ es no numerable, llegando a una contradicción.
No hay comentarios:
Publicar un comentario