SOBRE LAS VARIEDADES BIDIMENSIONALES

IMMERSAS EN UN ESPACIO EUCLIDIANO ORDINARIO

Por Carmen SÁNCHEZ DÍEZ

1. Subvariedades. Métrica y ecuaciones de descripción.

2. Variedades bidimensionales clásicas: plano, cilindro y esfera.

1. Subvariedades. Métrica y ecuaciones de descripción:

1.1. Subvariedades y métrica:

Una variedad es un par constituido por un conjunto de variables y una matriz

métrica.

Dada la variedad de n dimensiones

(
∑ n ≡ {x r }n , (h pq )n )
consideremos una subvariedad de n-1 dimensiones:

(
Γn −1 ≡ {u k }n −1 , (g ij )n −1 )
La distancia o intervalo, ds, entre dos puntos infinitamente próximos de la
subvariedad puede expresarse tanto en las variables de la subvariedad Γn −1 como
en las variables de la variedad ∑ n

ds 2 = g ij .du i du j = h pq .dx p dx q

La subvariedad Γn −1 viene descrita dentro de la variedad ∑ n por ecuaciones de la

forma
x1 = x1 (u1 ,..., u n −1 )
x 2 = x 2 (u1 ,..., u n −1 )
.... .... ....
... .... ....
x n = x n (u1 ,..., u n −1 )

1
1.2. Equivalencia entre la métrica y las ecuaciones de la variedad:

Conociendo la expresión del intervalo entre dos puntos infinitamente próximos de la

variedad, ds, es posible determinar las ecuaciones que describen la subvariedad
Γn −1 dentro de la variedad ∑ n :

g ij dxi dx j = h pq du p duq ⇒ xr = xr (u1 ,..., un ), r = 1,..., n

Asimismo, conociendo las ecuaciones que describen la subvariedad Γn −1 dentro de la

variedad ∑ n es posible obtener la expresión del intervalo medido en la subvariedad
y, por consiguiente, la métrica de la subvariedad:

x r = x r (u1 ,..., u r )
 ⇒ ds = g ij du i du j
2
ds = h pq dx p dx q 
2

1.3. El caso euclidiano

El caso en el que la variedad de dimensión n es un espacio euclidano nos indicaría
que

 1 0 ... 0  
  
 0 1 ... 0  
∑ n ≡  {x1 ,..., xn }n , (h pq )n = 
... ... ... ...  
  
 0 0 ... 1  
 

y si se trata de un espacio euclidiano tridimensional, las variedades descritas dentro

del mismo serán obviamente bidimensionales:

 1 0 0
  
∑ 3 ≡  {x1 , x 2 , x3 }, (h pq )3 =  0 1 0  
 0 0 1
  

 g g12  
Γ2 ≡  {u1 , u 2 }, (g ij )2 =  11 
  g 21 g 22  

2
1.4. Las variedades bidimensionales:

Consideremos una variedad bidimensional, esto es, un conjunto de dos variables

independientes y una métrica de orden 2:

Variables: (v1 , v 2 )
g g12 
Métrica: (g )ij 2 =  11 
g 22 
 g 21

Donde las variables pueden ser ángulos o longitudes lineales, y la matriz métrica es
en general simétrica.

La longitud del intervalo infinitesimal entre dos puntos infinitamente próximos viene
dada por

ds 2 = g ij dvi dv j

esa misma longitud infinitesimal, medida en un sistema de coordenadas cartesiano

dentro de un espacio euclidiano tridimensional, se expresaría por:

ds 2 = dx 2 + dy 2 + dz 2

matricialmente se tendría para la variedad:

g g12   dv1 
ds 2 = (dv1 , dv 2 ). 11 . 
 g 21 g 22   dv 2 

y para el espacio euclidiano:

3
  1 0 0   dx 
  
ds 2 = (dx, dy, dz ). 0 1 0 . dy 
 0 0 1   dz 
  

Puesto que la medida del intervalo es la misma en ambos espacios, se tiene que

 1 0 0   dx 
   g g12   dv1 
ds = (dx, dy, dz ). 0 1 0 . dy  = (dv1 , dv 2 ). 11
2
. 
 0 0 1   dz   g 21 g 22   dv 2 
  

lo cual permitirá obtener un conjunto de tres relaciones que caracterizarán la

variedad:

 x = f g1 (v1 , v 2 )
 ij

 y = f 2
g ij (v1 , v 2 )
 z = f 3 (v , v )
 g ij 1 2

Análogamente, desde el sistema de ecuaciones que describen o caracterizan la

variedad bidimensional dentro del espacio euclidiano podremos obtener la métrica
correspondiente a la variedad.

4
2. Variedades bidimensionales clásicas: plano, cilindro y esfera:

2.1. La longitud del intervalo y las ecuaciones de la variedad

a) Longitud del intervalo infinitesimal:

La longitud del intervalo infinitesimal, distancia entre dos puntos infinitamente

próximos, se expresa de forma diferente según la curvatura de la variedad en
donde se mida. Veamos los tres ejemplos más simples, variedad bidimensional
plana, variedad bidimensional sobre una superficie cilíndrica y variedad
bidimensional sobre una superficie esférica.

Para ello aproximamos los lados sobre la dirección de las coordenadas por
longitudes rectilíneas habida cuenta del carácter infinitesimal, a fin de hacer el
cálculo mediante el Teorema de Pitágoras:

La expresión del cuadrado del intervalo infinitesimal es inmediata en cada variedad:

En la variedad plana: ds 2 = dx12 + dx 22

5
En la variedad cilíndrica: ds 2 = r 2 .dφ 2 + dh 2

En la variedad esférica: ds 2 = r 2 . cos 2 ϕ .dφ 2 + r 2 .dϕ 2

6
 b) Ecuaciones que describen la variedad:
En la variedad plana (plano de la figura, es decir, coincidiendo con el plano
coordenado x,y):

 x = x1

 y = x2
z = 0


En la variedad cilíndrica (cilindro de radio r, cuyo eje de simetría es coincidente con

el eje z):

 x = r. cos φ

 y = [Link]φ
z = h


7
En la variedad esférica (esfera de radio r, cuyo centro coincide con el origen del
sistema de referencia tridimensional):

 x = r. cos ϕ .senφ

 y = r. cos ϕ . cos φ
 z = [Link]ϕ


2.2. La equivalencia entre la métrica y las ecuaciones de la variedad:

a) Obtención de la métrica de la variedad desde las ecuaciones que la describen:

- En la variedad plana:

 x = x1
  1 0  dx1 
 y = x2 ⇒ ds = dx + dy + dz = dx1 + dx2 = (dx1 , dx2 )  
2 2 2 2 2 2

z =0  0 1  dx2 

1 0
Matriz métrica de la variedad: (g ij ) =  
0 1
2

8
 - En la variedad cilíndrica:

 x = r. cos φ

 y = [Link]φ ⇒ ds = dx + dy + dz = [d (r. cos φ )] + [d ([Link]φ )] + dh = r sen φ .dφ +
2 2 2 2 2 2 2 2 2 2

z = h

r2 0  dφ 
+ r 2 cos 2 φ .dφ 2 + dh 2 = r 2 .dφ 2 + dh 2 = (dφ , dh )  
1 1  dh 

r2 0
Matriz métrica de la variedad: g ij ( ) =  
2
0 1 

- En la variedad esférica:

 x = r. cos ϕ .senφ

 y = r. cos ϕ . cos φ ⇒ ds = [d (r. cos ϕ .senφ )] + [d (r. cos ϕ . cos φ )] + [d ([Link]ϕ )] =
2 2 2 2

 z = [Link]ϕ

= [r.d (cos ϕ ).senφ + r. cos ϕ .d ( senφ )] + [r.d (cos ϕ ). cos φ + r. cos ϕ .d (cos φ )] + [r.d ( senϕ )] =
2 2 2

= (− rsenϕ .senφ .dϕ + r cos ϕ cos φ .dφ ) + (− rsenϕ cos φ .dϕ − r cos ϕsenφ .dφ ) + (r. cos ϕ .dϕ ) =
2 2 2

 r 2 cos 2 ϕ 0  dφ 
= r 2 . cos 2 ϕ .dφ 2 + r 2 .dϕ 2 = (dφ , dϕ )  
 0 r 2  dϕ 
 r 2 . cos 2 ϕ 0
Matriz métrica de la variedad: g ij ( ) =  
2
 0 r 2 

b) Obtención de las ecuaciones de descripción de la variedad desde la métrica:

- La variedad bidimensional plana:

Longitud del intervalo en la métrica de la variedad bidimensional (sea una variedad

plana perpendicular a uno de los ejes –eje z- del sistema de referencia
tridimensional):

 1 0  dx1 
ds 2 = (dx1 , dx 2 ).   = dx12 + dx 22
 0 1 dx
 2 

9
Así, pues, las variables son longitudes lineales y la matriz métrica es la matriz
escalar unitaria:

1 0  a ≤ x1 ≤ b1
(v1 , v 2 ) ≡ ( x1 , x 2 ) (g )
ij 2 =   x1 , x 2 longitudes,  1
0 1 a 2 ≤ x 2 ≤ b2

Longitud del intervalo en un sistema del espacio tridimensional:

 1 0 0   dx 
  
ds = (dx, dy, dz ). 0 1 0 . dy  = dx 2 + dy 2 + dz 2
2

 0 0 1   dz 
  

Puesto que el intervalo es el mismo medido en la variedad que medido en el

espacio tridimensional:

dx12 + dx 22 = dx 2 + dy 2 + dz 2
de lo cual, tenemos:

dx12 ≡ dx 2 , dx22 ≡ dy 2 , 0 = dz 2

Ecuaciones de caracterización de la variedad:

 dx 2 = dx12

 dy = dx 2
2 2

 dz 2 = 0


o bien, prescindiendo de constantes de integración:

 x = x1

 y = x2
 z=0


- La variedad bidimensional cilíndrica:

Longitud del intervalo en la métrica de la variedad bidimensional (supongamos una

variedad cilíndrica cuyo eje de simetría coincide con el eje z del sistema de
referencia tridimensional)

r2 0  dφ  2 2
ds 2 = (dφ , dh).   = r .dφ + dh 2
0 1  dh 

Por consiguiente, las variables son un ángulo y una longitud y la matriz métrica es
una matriz diagonal muy simple:

10
 r2 0
(v1 , v 2 ) ≡ (φ , h) (g ) =   φ ángulo, h longitud
1 
ij 2
0
Longitud del intervalo en un sistema del espacio tridimensional:

 1 0 0   dx 
  
ds = (dx, dy, dz ). 0 1 0 . dy  = dx 2 + dy 2 + dz 2
2

 0 0 1   dz 
  

Puesto que el intervalo es el mismo medido en la variedad que medido en el

espacio tridimensional:

r 2 .dφ 2 + dh 2 = dx 2 + dy 2 + dz 2

de lo cual podemos obtener las relaciones que definen la variedad:

r 2 .sen 2φ .dφ 2 + r 2 . cos 2 φ .dφ 2 + dh 2 = dx 2 + dy 2 + dz 2

y se tiene:

 dx 2 = r 2 .sen 2φ .dφ 2 = [d (r. cos φ )]2

 2
 dy = r . cos φ .dφ = [d ([Link]φ )]
2 2 2 2

dz 2 = dh 2

por tanto:

 x = r. cos φ

 y = [Link]φ
z = h


- La variedad bidimensional esférica:

Longitud del intervalo en la métrica de la variedad bidimensional (supongamos una

variedad esférica centrada en el origen del sistema de referencia tridimensional)

 r 2 . cos 2 ϕ 0  dφ 
ds = (dφ , dϕ ).
2
  = r 2 . cos 2 ϕ .dφ 2 + r 2 .dϕ 2
2 
 0 r  dϕ 

Por consiguiente, las variables son dos ángulos y la matriz métrica es también muy
sencilla:

 r 2 . cos 2 ϕ 0
(v1 , v2 ) ≡ (φ , ϕ ) (g ) =   φ , ϕ ángulos
r 2 
ij 2
 0

11
Igualando intervalos:

r 2 . cos 2 ϕ .dφ 2 + r 2 .dϕ 2 = dx 2 + dy 2 + dz 2

y siendo:

r 2 . cos 2 ϕ .dφ 2 + r 2 .dϕ 2 = r 2 . cos 2 ϕ .dφ 2 + r 2 ( sen 2ϕ + cos 2 ϕ ).dϕ 2 =

= r 2 sen 2ϕ .dϕ 2 + r 2 . cos 2 ϕ .dϕ 2 + r 2 . cos 2 ϕ .dφ 2 =
= r 2 sen 2ϕ .( sen 2φ + cos 2 φ )dϕ 2 + r 2 . cos 2 ϕ .dϕ 2 + r 2 . cos 2 ϕ .( sen 2φ + cos 2 φ )dφ 2 =
= r 2 sen 2ϕ .sen 2φdϕ 2 + r 2 sen 2ϕ . cos 2 φdϕ 2 + r 2 . cos 2 ϕ .dϕ 2 + r 2 . cos 2 ϕ .sen 2φdφ 2 +
+ r 2 . cos 2 ϕ . cos 2 φdφ 2 =
= r 2 sen 2ϕ .sen 2φdϕ 2 + r 2 . cos 2 ϕ . cos 2 φdφ 2 − [Link]ϕ . cos ϕ .senφ . cos φ .dϕdφ +
+ r 2 sen 2ϕ . cos 2 φdϕ 2 + r 2 . cos 2 ϕ .sen 2φdφ 2 + [Link]ϕ . cos ϕ .senφ . cos φ .dϕdφ +
+ r 2 . cos 2 ϕ .dϕ 2 = (r. cos ϕ . cos φdφ − [Link]ϕ .senφdϕ ) 2 + ([Link]ϕ . cos φdϕ + r. cos ϕ .senφdφ ) 2 +
+ r 2 . cos 2 ϕ .dϕ 2 = [d (r. cos ϕ .senφ )] + [d (r. cos ϕ cos φ )] + [d ([Link]ϕ )]
2 2 2

Se tiene, al identificar:
 dx = d (r. cos ϕsenφ )

dy = d (r. cos ϕ cos φ )
 dz = d ([Link]ϕ )


 x = r. cos ϕsenφ

 y = r. cos ϕ cos φ
 z = [Link]ϕ


Documentación:
[Link] Carlos S. Chinea
[Link] Carlos S. Chinea

Carmen SANCHEZ DIEZ

titakrmen@[Link]

12