Según la RAE,
Cuando cogemos una bola de plastilina y metemos el dedo, formando un bollo, decimos que ambas figuras son homeomorfas. Podemos 'casi' escribir explícitamente el homeomorfismo. Para ello, tomamos el conjunto X=\{(x,y,z)\in{\mathbb R}^3: x^2+y^2+z^2\leq 1\}
y abollamos por arriba con el dedo, concretamente, el casquete esférico
A=X\cap\{(x,y,z): z\geq \frac{1}{2}\}. Si B=X\cap\{(x,y,z): z\leq \frac{1}{2}\}, entonces cambiamos A por su simetría respecto del plano P de ecuación z=1/2 y B lo dejamos tal como está. Esta simetría es \phi(x,y,z)=(x,y,1-z) y llamamos C=\phi(A).
Probamos que X\cong B\cup C. Definimos f:X\cup B\cup C como
f(x,y,z)=\left\{\begin{array}{ll} (x,y,z) & (x,y,z)\in B\\ (x,y,1-z) & (x,y,z)\in A\end{array}\right.
Es evidente que f es biyectiva y que la restricción de f a B y C es continua. Por otro lado, como B y C son cerrados en X, se deduce que f es continua. Del mismo modo se prueba que también lo es f^{-1}, probando por tanto, que f es un homeomorfismo.
No hay comentarios:
Publicar un comentario