Tópicos de Topología

Variedades Diferenciables

Presentado Por

Mairol Jose Verbel Naissir

Instructor

Danilo Andres Garcia Hernandez

Universidad de Córdoba

Facultad de Ciencias Básicas

Departamento de Matemáticas y Estadística

Programa de Matemáticas

Montería, Colombia

14 de julio de 2022
Variedades

Primero recordamos algunas deniciones de la topología. Un espacio topológico es segundo

contable si tiene una base contable. Una vecindad de un punto p en un espacio topológico
M es cualquier conjunto abierto que contiene p. Una cubierta abierta
[ de M es una colección
{Uα }α∈A de conjuntos abiertos en M cuya unión es M , es decir Uα = M .
α∈A

Denición 0.1. Un espacio topológico M es localmente euclidiano de dimensión n si todo

punto p en M tiene una vecindad U tal que existe un homeomorsmo φ de U sobre un
subconjunto abierto de Rn . Llamamos al par (U, φ : U −→ Rn ) una carta o un gráco, U una
vecindad de coordenadas o un conjunto abierto de coordenadas, y φ un mapa de coordenadas
o un sistema de coordenadas en U . Decimos que una carta (U, φ) está centrado en p ∈ U si
φ(p) = 0.

Denición 0.2. Una variedad topológica de dimensión n, es un espacio topológico M que

es Hausdor, segundo contable y localmente euclidiano de dimensión n.

Observación: Supongamos que (U, ϕ : U −→ Rn ) y (V, ψ : V −→ Rn ) son dos cartas de una

variedad topológica. Entonces U ∩V es un abaierto de U y ϕ : U −→ Rn es un homeomorsmo
sobre un abierto de Rn , por tanto ϕ(U ∩ V ) sera un abierto de Rn . Similarmente ψ(U ∩ V )
es un abierto de Rn .
Denición 0.3. Dos cartas (U, ϕ : U −→ Rn ) y (V, ψ : V −→ Rn ) de una variedad topológica
son C ∞ − compatibles si las funciones

ϕ ◦ ψ −1 : ψ(U ∩ V ) −→ ϕ(U ∩ V ), ψ ◦ ϕ−1 : ϕ(U ∩ V ) −→ ψ(U ∩ V )

son C ∞ .
Las funciones anteriores son llamadas funcines de transición y escribimos Uαβ para señalar
Uα ∩ Vβ , es decir que Uαβ = Uα ∩ Vβ .

Denición 0.4. Un atlas C ∞ o simplemente un atlas en un espacio localmente euclidiano M

es una colección A = {(Uα , φα ) : α ∈ Λ} de cartas C ∞ − compatibles por pares que cubren
M , es decir, que se cumplen lo siguiente:

1. Uα = M .
[

α∈Λ

2. Dados dos cualesquiera α, β ∈ Λ ha de ocurrir que las funciones de transición

β : φβ (Uα ∩ Uβ ) −→ φα (Uα ∩ Uβ ) y φβ ◦ φα : φα (Uα ∩ Uβ ) −→ φβ (Uα ∩ Uβ )

φα ◦ φ−1 −1

son C ∞ .

2
Variedades Diferenciables

Denición 0.5. Se dice que un atlas A en un espacio localmente euclidiano es máximal si

no está contenido en un atlas más grande; en otras palabras, si M es cualquier otro atlas que
contenga A, entonces A = M.
Denición 0.6. Una variedad diferenciable o C ∞ es una variedad topológica M junto con
un atlas máximal. El atlas máximal también se denomina estructura diferenciable en M . Se
dice que una variedad tiene dimensión n si todos sus componentes conecxas tienen dimensión
n. Una variedad unidimensional también se denomina curva, una variedad bidimensional una
supercie y una variedad n-dimensional una variedad n.
Proposición 0.7. Cualquier atlas A = {(Uα , φα ) : α ∈ Λ} en un espacio localmente eucli-
diano está contenido en un único atlas maximal.
Proposición 0.8. Si (U, ϕ) es una carta en una variedad M de dimensión n, entonces el
mapa de coordenadas ϕ : U −→ ϕ(U ) ⊂ Rn es un difeomorsmo.
Proposición 0.9. Sea U un subconjunto abierto de una variedad M de dimensión n, si
F : U −→ F (U ) ⊂ R es un difeomorsmo sobre un subconjunto abierto de Rn , entonces
n

(U, F ) es una carta en la estructura diferenciable de M.

Topología cociente

Recuérdese que una relación de equivalencia sobre un conjunto S es una relación reexiva,
simétrica y transitiva. La clase de equivalencia [x] de x ∈ S es el conjunto de todos los
elementos de S equivalentes(relacionados) a x. Una relación de equivalencia en S divide a
S en clases de equivalencia disjuntas. Denotamos el conjunto de clases de equivalencia por
S/ ∼ y llame a este conjunto el cociente de S por la relación de equivalencia ∼. Existe un
mapa de proyección natural π : S −→ S/ ∼ que envía x ∈ S a su clase de equivalencia [x].
Suponga ahora que S es un espacio topológico. Denimos una topología en S/ ∼ declarando
que un conjunto U en S/ ∼ está abierto si y solo si π −1 (U ) está abierto en S . Claramente,
tanto el conjunto vacío ∅ como el cociente completo S/ ∼ son abiertos. Además,
!
[ [
π −1 Uα = π −1 (Uα )
α∈Λ α∈Λ

y
n
! n
\ \
−1
π Ui = π −1 (Ui )
i=1 i=1

3
la colección de conjuntos abiertos en S/ ∼ es cerrada bajo uniones arbitrarias e intersecciones
nitas y, por lo tanto, es una topología. Se llama la topología del cociente en S/ ∼. Con esta
topología, S/ ∼ se llama el espacio cociente de S por la relación de equivalencia ∼. Con
la topología cociente en S/ ∼, el mapa de proyección π : S −→ S/ ∼ es automáticamente
continuo, porque la imagen inversa de un espacio abierto establecido en S/ ∼ es por denición
abierto en s.

Continuidad de funciones cociente

Sea ∼ una relación de equivalencia sobre el espacio topológico S y considere sobre S/ ∼
la topología del cociente. Supongamos que una función f : S −→ Y de S a otro espacio
topológico Y es constante en cada clase de equivalencia. Entonces f induce una función
f : S/ ∼ −→ Y dada por f ([p]) = f (p) para p ∈ S y f = f ◦ π .

Proposición 0.10. La función inducida f : S/ ∼ −→ Y es continua si y sólo si la función

f : S −→ Y es continua.

Observación: La construcción del cociente en general no preserva la propiedad de Hausdor

o la segunda contabilidad. De hecho, dado que todo conjunto singleton en un espacio de
Hausdor es cerrado, si π : S −→ S/ ∼ es la proyección y el cociente S/ ∼ es Hausdor,
entonces para cualquier p ∈ S , su imagen {π(p)} es cerrada en S/ ∼. Por la continuidad de
π , la imagen inversa π −1 ({π(p)}) = [p] es cerrada en S . Esto da una condición necesaria para
que un espacio cociente sea Hausdor.
Proposición 0.11. Si el espacio cociente S/ ∼ es Hausdor, entonces la clase de equivalen-
cia [p] de cualquier punto p en S es cerrada en S .
Denición 0.12. Se dice que una relación de equivalencia ∼ en un espacio topológico S es
abierta si la función proyección π : S −→ S/ ∼ es abierta.
En otras palabras, la relación de equivalencia ∼ en S es abierta si y sólo si para todo conjunto
abierto U en S , el conjunto [
π −1 (π(U )) = [p]
p∈U

de todos los puntos equivalentes a algún punto de U es abierto en S .

Teorema 0.13. Supongamos que ∼ es una relación de equivalencia abierta en un espacio
topológico S . Entonces el espacio cociente S/ ∼ es Hausdor si y solo si la gráca R =
{(x, y) ∈ S × S | x ∼ y} de ∼ es cerrada en S × S .

Teorema 0.14. Sea ∼ una relación de equivalencia abierta sobre un espacio topológico S con
proyección π : S −→ S/ ∼. Si B = {Bα } es una base para S , entonces su imagen {π(Bα )}
bajo π es una base para S/ ∼.

4
Corolario 0.15. Si ∼ es una relación de equivalencia abierta en un espacio S segundo
contable , entonces el espacio cociente S/ ∼ es segundo contable.

Espacio real proyectivo

Denición 0.16. Se dene una relación de equivalencia en Rn+1 −{0} de la siguiente manera.
Para x, y ∈ Rn+1 − {0} decimos que:
x ∼ y ⇔ y = λx para algún número real λ distinto de cero.

Denición 0.17. Se dene el espacio real proyectivo RP n como el espacio cociente de Rn+1 −
{0} por la relacion de equivalencia denida en 0.16, es decir que RP n = Rn+1 − {0}/ ∼ . Para
un punto (x1 , ..., xn +1) ∈ Rn+1 −{0}, se dene la clase de equivalencia por [x1 , ..., xn +1] y π :
Rn+1 − {0} −→ RP n como la proyección. Llamamos [x1 , ..., xn + 1] coordenadas homogéneas
en RP n .

Observación: Geométricamente, dos puntos distintos de cero en Rn+1 son equivalentes si

y solo si se encuentran en la misma línea que pasa por el origen, por lo que RP n puede
interpretarse como el conjunto de todas las líneas que pasan por el origen en Rn+1 . Cada
línea que pasa por el origen en Rn+1 intersecta la esfera unitaria S n en un par de puntos
antípodas y, viedo esto de forma inversa un par de puntos antípodas en S n determina una
línea única a través del origen. Esto sugiere que denamos una relación de equivalencia ∼ en
S n identicando puntos antípodas.

Ejercicio
Proposición 0.18. El espacio real prorectivo RP n es una variedad diferenciable.

Demostración. Armación1: La relación de equivalencia ∼ en Rn+1 − {0} en la denición

de RP n es una relación de equivalencia abierta.

Demostración. Sea U ⊂ Rn+1 − {0} un conjunto abierto, entonces la imagen π(U ) es abierta
en RP n si y solo si π −1 (π(U )) es abierta en Rn+1 − {0}. Pero π −1 (π(U )) consta de todos los
múltiplos escalares distintos de cero de los puntos de U ; es decir,
[ [
π −1 (π(U )) = λU = {λp : p ∈ U }
λ∈R−{0} λ∈R−{0}

como la multiplicación por λ ∈ R − {0} es un homeomorsmo de Rn+1 − {0}, el conjunto λU

es abierto para cualquier λ.Así λ∈R−{0} λU es abierta en Rn+1 − {0}.
S

5
1. El espacio real proyectivo RP n es segundo contable.
Del curso de topología basica se sabe que R tiene una base numerable para su topología,
dicha base consiste en la colección de todos los intervalos abiertos (a, b) tal que a, b ∈ Q,
por tanto R es segundo contable. Luego note que

Rn+1 = |R × R...
{z × R}
n+1−veces

como Rn+1 es un producto numerable de espacios dos contables , por el teorema

30.2(Munkres) se tiene que Rn+1 es segundo contable y dado que Rn+1 −{0} lo podemos
ver como subespacio de Rn+1 , entonces por el mismo teorema mencionado anteriormen-
te se sigue que Rn+1 − {0} es segundo contable. De lo anterior y la armación1 nos
queda que ∼ es una relación de equivalencia abierta en el espacio segundo contable
Rn+1 − {0}. Así por corolario (0.15) se concluye que RP n es sugundo contable.

2. El espacio real proyectivo RP n es Hausdor.

Se tiene que R es Hausdor , lo cual implica que Rn+1 sea Hausdor por ser producto
numerable de espacios de Hausdor y por tanto Rn+1 −{0} ⊂ Rn+1 es Hausdor. Ahora
sean [x1 ], [x2 ] ∈ RP n puntos distintos, para x1 = (x11 , ..., xn+1
1 ) y x2 = (x12 , ..., xn+1
2 ) en
R − {0} tal que x1 ≁ x2 , entonces en particular x1 , x2 ∈ R − {0} no son multiplos
n+1 n+1

y por tanto x1 ̸= x2 . Dado que Rn+1 − {0} es Hausdor, existen vecindades disjuntas V
de x1 y W de x2 en Rn+1 − {0} tales que π(V ) y π(W ) son vecindades disjuntas de [x1 ]
y [x2 ], respectivamente en RP n y en consecuencia se tiene que RP n es de Hausdor.
3. El espacio real proyectivo RP n es localmente Euclideano.
Debemos probar que para todo punto (clase de equivalencia) [x1 , ..., xn+1 ] ∈ RP n tiene
una vecindad U tal que existe un homeomorsmo ϕ de U sobre un subconjunto abierto
de Rn . En efecto
Sea [x1 , ..., xn+1 ] con xi ̸= 0 para algún i = 1, ..., n + 1 un elemento en el espacio
proyectivo RP n . Luego observe que un punto (clase de equivalencia) [x1 , ..., xn+1 ] tal
que xi ̸= 0 satisface
x1 xi−1 xi+1 xn+1
 
1 n+1
[x , ..., x ]= , ..., , 1, , ...,
xi xi xi xi

. Así se dene la vecindad para [x1 , ..., xn+1 ] ∈ RP n con xi ̸= 0 , como el conjunto

Ui = {[x1 , ..., xn+1 ] ∈ RP n : xi ̸= 0}

formado por las rectas de Rn+1 que pasan por el origen pero no pertenecen al hiperplano
xi = 0.
Nota: Aunque xi no es una función bien denida en RP n , la condición xi ̸= 0 es inde-
pendiente de la elección de un representante para [x1 , ..., xn+1 ]. Por tanto, la condición
xi ̸= 0 tiene sentido en RP n .

6
Denimos la carta (Ui , ϕi : Ui −→ Rn ), con ϕi : Ui −→ Rn la función de coordenadas
dada por
x1 xi−1 xi+1 xn+1
 
1 n+1


ϕi [x , ..., x ] = , ..., i , i , ..., i
xi x x x
Veamos que la función de coordenadas esta bien denida y es un homeoformismo.En
efecto
Si x = (x1 , ..., xn+1 ), y = (y 1 , ..., y n+1 ) ∈ Rn+1 − {0} son tales que x ∼ y , entonces
[x] = [y]
[x1 , ..., xn+1 ] = [y 1 , ..., y n+1 ]
x1 xi−1 xi+1 xn+1
  1
y i−1 y i+1 y n+1
 
y
, ..., i , 1, i , ..., i = i , ..., i , 1, i , ..., i
xi x x x y y y y
 1 i−1 i+1 n+1
  1 i−1 i+1 n+1

x x x x y y y y
, ..., i , i , ..., i = , ..., i , i , ..., i
xi x x x yi y y y
ϕi ([x]) = ϕi ([y])
por tanto ϕi : Ui −→ Rn esta bien denida.
Ahora probaremos que ϕi : Ui −→ Rn es un homeomorsmo. Así note que ϕi es continua
porque ϕi ◦ π es continua.
Luego dena la inversa de ϕi : Ui −→ Rn como la función ϕ−1
i : R −→ Ui ⊂ RP dada
n n

por.
ϕ−1 x1 , ...xn = x1 , ..., xi−1 , 1, xi , ..., xn ∈ Ui

 
i

la cual es continua por que π ◦ (ϕi ◦ π)−1 es continua.

Por ultimo probaremos la biyectividad de ϕi mostrando que efectivamente ϕ−1
i es la
inversa de ϕi . Entonces note que
ϕi ◦ ϕ−1 1 n1 −1 1 n1


i (x , ..., x ) = ϕi ϕ i (x , ..., x )
= ϕi x1 , ..., xi1 −1 , 1, xi1 , ..., xn1
 

xi1 −1 xi1
 1
xn 1

x
= , ..., i , i , ..., i
xi x x x
i1 −1
 1 i1
xn 1

x x x
= , ..., , , ...,
1 1 1 1
= (x1 , ..., xn1 )

ϕ−1 1 n+1
]) = ϕ−1 ϕi ([x1 , ..., xn+1 ])


i ◦ ϕi ([x , ..., x i
 1
xi−1 xi+1 xn+1

−1 x
= ϕi , ..., i , i , ..., i
xi x x x
 1 i−1 i+1 n+1

x x x x
= i
, ..., i , 1, i , ..., i
x x x x
= [x1 , ..., xn+1 ]

7
4. Un atlas maximal para RP n .
Si I = {1, ..., n + 1}. Considere la colección de cartas

A := {(Ui , ϕi ) : i ∈ I}
y veamos que cumple las siguientes condiciones de atlas
a)
[
Ui = RP n
i∈I
b ) Dados dos cualesquiera i, j ∈ I ha de ocurrir que las funciones de transición
j : ϕj (Ui ∩ Uj ) −→ ϕi (Ui ∩ Uj ) y ϕj ◦ ϕi : ϕi (Ui ∩ Uj ) −→ ϕj (Ui ∩ Uj )
ϕi ◦ ϕ−1 −1

son C ∞ .
a ) Demostración. Realizaremos la prueba haciendo la doble contenecia. En efecto, si
I = {1, ..., n + 1}
"⊆". i∈ISUi ⊆ RP n .
S

Sea P ∈ i∈I Ui , entonces P ∈ Ui0 para algún i0 ∈ I . luego si P ∈ Ui0 , se sigue

que P ∈ {[x1 , ..., xn+1 ] ∈ RP n : xi0 ̸= 0} y por tanto P = [x1 , ..., xn+1 ] con xi0 ̸= 0,
es decir que P es una clase de equivalencia, lo cual implica que P ∈ RP n . Así se
tiene que i∈I Ui ⊆ RP n .
S

"⊇". RP n ⊆ i∈I Ui .
S

Sea [x1 , ..., xn+1 ] ∈ RP n con xi ̸= 0 para algún i ∈ I y para algún (x1 , ..., xn + 1) ∈
Rn+1 −{0}. Luego observe que [x1 , ..., xn+1 ] ∈ Ui = {[x1 , ..., xn+1 ] ∈ RP n : xi0 ̸= 0}
para algún i ∈ I . Lo anterior implica que [x1 , ..., xn+1 ] ∈ i∈I Ui y en consecuencia
S

se tenga que RP n ⊆ i∈I Ui . [

S

Concluimos de lo anterior que Ui = RP n .

i∈I
b ) Demostración. Sean (Ui , ϕi : Ui −→ Rn ) y (Uj , ψj : Uj −→ Rn ) para i, j ∈ I , dos
cartas de RP n . Luego considere el abierto Ui ∩ Uj de Ui e Uj denido como
Ui ∩ Uj := {[x1 , ..., xn+1 ] ∈ RP n : xi ̸= 0 y xj ̸= 0}

sin perdida de generalidad sea i < j y observe que las funciones de transición

j : ϕj (Ui ∩ Uj ) −→ ϕi (Ui ∩ Uj ) y ϕj ◦ ϕi : ϕi (Ui ∩ Uj ) −→ ϕj (Ui ∩ Uj )

ϕi ◦ ϕ−1 −1

dadas por
x1 xi−1 xi+1 xj−1 1 xj xn
 
ϕ−1 1 n


ϕi ◦ j x , ..., x = , ..., , , ..., , , , ...,
xi xi xi xi xi xi xi
y
x1 xi−1 xi+1 xj−1 1 xn
 
ϕ−1 1 n


ϕj ◦ i x , ..., x = , ..., , , ..., , , 1, ...,
xj xj xj xj xj xj

8
 son C ∞ . Ya que por las denicines de ϕj ◦ ϕ−1i y ϕi ◦ ϕ−1
j se tiene que son C ∞ en
cada coordenada.
Se concluye de lo anterior que A := {(Ui , ϕi ) : i ∈ I} es un atlas para RP n . Ahora
por la proposición 0.7 existe un atlas m maximal de RP n . Así (RP n , m) es una
estructura diferenciable.

Finalmente de (1), (2), (3) y (4) se concluye que RP n es una variedad diferenciable.