Primero tenemos que hacer dos preguntas:
1. ¿Qué es una esfera?
2. Qué es una entrada y salida (y más específicamente – partes internas y externas)
Por lo general, una esfera d-dimensional con un radio [matemática] r [/ matemática] (en el origen) es un subconjunto de [matemática] \ matemática {R} ^ {d + 1} [/ matemática] definida como [matemática] S = \ {x: | x | = r \} [/ math].
- ¿Qué pasaría si Internet desapareciera?
- ¿Qué pasaría si Cascadia se independizara?
- ¿Qué pasaría si juntamos toda la basura en la tierra y la lanzamos hacia el sol?
- ¿Qué pasaría si el centro de la tierra se transformara en una albóndiga gigante?
- ¿Qué pasaría si Google monetiza todos sus servicios?
Podemos definir su parte interna como [math] I_S = \ {x \ in \ mathbb {R}: | x | r \} [/ math].
En ese caso [math] I_S \ cap O_S = \ emptyset [/ math] y, por lo tanto, no hay puntos en ambos conjuntos.
Lo que Joe Cardoso probablemente quiere decir es que [matemáticas] r \ rightarrow \ infty [/ matemáticas] puede pensar que, en cierto sentido, estos dos conjuntos coinciden (cuando la curvatura de la esfera también se acerca a cero y se obtiene un plano). Pero incluso en este caso límite, los lados superior e inferior del plano son los lados interno y externo de la esfera, respectivamente (o viceversa, dependiendo de la forma en que tomó el límite).
Puede cambiar la definición de posada y nuestra o de una esfera para obtener resultados diferentes (puede trabajar en una topología diferente y obtener algo análogo a la botella de Klein, por ejemplo).