Demostracion formal de que S ⊆ E4 es una superficie
Katy Pasapera Orozco
June 3, 2025
Definimos el conjunto T² ⊂ R⁴ como:
T2={(x,y,z,w)∈R4:f(x,y,z)=(x2+y2−R2)2+z2−r2=0, w=0}T^2 = \left\{ (x, y, z, w) \in \
mathbb{R}^4 : f(x, y, z) = (x^2 + y^2 - R^2)^2 + z^2 - r^2 = 0,\ w = 0 \
right\}T2={(x,y,z,w)∈R4:f(x,y,z)=(x2+y2−R2)2+z2−r2=0, w=0}
Este conjunto es la intersección de dos superficies:
• La superficie f(x,y,z)=0f(x, y, z) = 0f(x,y,z)=0 describe un toroide en R3\mathbb{R}^3R3.
• La condición w=0w = 0w=0 lo embebe en R4\mathbb{R}^4R4.
. Parametrización de T2T^2T2
Usamos coordenadas polares para (x,y)(x,y)(x,y) y ángulo circular para "girar" alrededor del eje
central del toro.
Definimos:
• θ∈[0,2π)\theta \in [0, 2\pi)θ∈[0,2π): ángulo que recorre el círculo base del toroide.
• ϕ∈[0,2π)\phi \in [0, 2\pi)ϕ∈[0,2π): ángulo que recorre la sección circular del toroide.
Sea:
{x=(R+rcosϕ)cosθy=(R+rcosϕ)sinθz=rsinϕw=0\begin{cases} x = (R + r \cos \phi) \cos \theta \\ y =
(R + r \cos \phi) \sin \theta \\ z = r \sin \phi \\ w = 0 \end{cases}⎩⎨⎧
x=(R+rcosϕ)cosθy=(R+rcosϕ)sinθz=rsinϕw=0
Entonces definimos el mapa:
Φ:[0,2π)×[0,2π)→T2⊂R4\Phi: [0, 2\pi) \times [0, 2\pi) \rightarrow T^2 \subset \mathbb{R}^4Φ:
[0,2π)×[0,2π)→T2⊂R4 Φ(θ,ϕ)=((R+rcosϕ)cosθ, (R+rcosϕ)sinθ, rsinϕ, 0)\Phi(\theta, \phi) = \left( (R
+ r \cos \phi) \cos \theta,\ (R + r \cos \phi) \sin \theta,\ r \sin \phi,\ 0 \
right)Φ(θ,ϕ)=((R+rcosϕ)cosθ, (R+rcosϕ)sinθ, rsinϕ, 0)
¿Φ\PhiΦ así definida es un mapeo?
Sí, porque las funciones coordenadas son composiciones de funciones suaves como seno, coseno,
suma y multiplicación.
∂Φ∂u=(−(R+rcosv)sinu, (R+rcosv)cosu, 0, 0)∂Φ∂v=(−rsinvcosu, −rsinvsinu, rcosv, 0)\
begin{aligned} \frac{\partial \Phi}{\partial u} &= \left( - (R + r \cos v) \sin u,\ (R + r \cos v) \cos u,\
0,\ 0 \right) \\ \frac{\partial \Phi}{\partial v} &= \left( - r \sin v \cos u,\ - r \sin v \sin u,\ r \cos v,\ 0 \
right) \end{aligned}∂u∂Φ∂v∂Φ=(−
(R+rcosv)sinu, (R+rcosv)cosu, 0, 0)=(−rsinvcosu, −rsinvsinu, rcosv, 0)
Estas derivadas existen y son continuas para todo (u,v)∈(0,2π)2(u, v) \in (0, 2\pi)^2(u,v)∈(0,2π)2,
por lo que las funciones coordenadas de Φ\PhiΦ son diferenciables.
Por lo tanto, Φ\PhiΦ es un mapeo diferenciable en su dominio.
. ¿Φ\PhiΦ es regular?
Consideramos la matriz jacobiana de Φ\PhiΦ:
Calculamos la matriz Jacobiana de Φ\PhiΦ:
JΦ(θ,ϕ)=(∂x∂θ∂x∂ϕ∂y∂θ∂y∂ϕ∂z∂θ∂z∂ϕ∂w∂θ∂w∂ϕ)J_\Phi(\theta, \phi) = \begin{pmatrix} \frac{\
partial x}{\partial \theta} & \frac{\partial x}{\partial \phi} \\ \frac{\partial y}{\partial \theta} & \
frac{\partial y}{\partial \phi} \\ \frac{\partial z}{\partial \theta} & \frac{\partial z}{\partial \phi} \\ \
frac{\partial w}{\partial \theta} & \frac{\partial w}{\partial \phi} \end{pmatrix}JΦ(θ,ϕ)=∂θ∂x∂θ∂y
∂θ∂z∂θ∂w∂ϕ∂x∂ϕ∂y∂ϕ∂z∂ϕ∂w
Donde:
∂x∂θ=−
(R+rcosϕ)sinθ,∂x∂ϕ=−rsinϕcosθ∂y∂θ=(R+rcosϕ)cosθ,∂y∂ϕ=−rsinϕsinθ∂z∂θ=0,∂z∂ϕ=rcosϕ∂w∂θ=0,
∂w∂ϕ=0\begin{aligned} \frac{\partial x}{\partial \theta} &= - (R + r \cos \phi) \sin \theta, & \frac{\
partial x}{\partial \phi} &= - r \sin \phi \cos \theta \\ \frac{\partial y}{\partial \theta} &= (R + r \
cos \phi) \cos \theta, & \frac{\partial y}{\partial \phi} &= - r \sin \phi \sin \theta \\ \frac{\partial z}{\
partial \theta} &= 0, & \frac{\partial z}{\partial \phi} &= r \cos \phi \\ \frac{\partial w}{\partial \
theta} &= 0, & \frac{\partial w}{\partial \phi} &= 0 \end{aligned}∂θ∂x∂θ∂y∂θ∂z∂θ∂w=−
(R+rcosϕ)sinθ,=(R+rcosϕ)cosθ,=0,=0,∂ϕ∂x∂ϕ∂y∂ϕ∂z∂ϕ∂w=−rsinϕcosθ=−rsinϕsinθ=rcosϕ=0
Como las primeras tres filas representan vectores linealmente independientes casi en todo punto
(excepto en singularidades tipo r=0r = 0r=0), entonces el rango del Jacobiano es 2. Por tanto, Φ\
PhiΦ es una inmersión regular.
Consideramos la matriz jacobiana de Φ:
∂Φ1 ∂Φ1
∂u ∂v
∂Φ ∂Φ
2 2
JΦ (u, v) = ∂v .
3 ∂Φ 3
∂ ∂u
u
∂
Φ
4
∂v
∂Φ4 ∂v
Los valores de las derivadas parciales son:
∂
= 1, = 0,
Φ
1
∂Φ1
∂
u ∂v
∂Φ2 = 2u ∂Φ2 = 2v
∂u q ∂v , q ,
1− 1 − r2 − u2 − v2 2
r2 − u2 − v2
2
∂ Φ3
∂u
∂Φ3
= 0,
∂v