1

FORMULARIO GEOMETRA (Primer Parcial)

Sea X espacio topolgico, se dice que X es:
(T0) Si x,ye X, - V
x
entorno de x con yeV
x
v - V
y
entorno de y con xeV
y

(T1) Si x,ye X, - V
x
entorno de x con yeV
x
. - V
y
entorno de y con xeV
y

(T2) Si x,ye X, - V
x
entorno de x . - V
y
entorno de y con V
x
V
y
= |
(T3) Si es (T1) y regular
(T4) Si es (T1) y normal
Definicin: Se dice que un espacio topolgico X es regular si xe X y C cerrado en X
con xeC, - V
X
abierto con xe X\C y otro abierto V
C
C de modo que V
C
V
X
= |.
Definicin: Se dice que un espacio topolgico X es normal si C,D cerrados en X tales que
CD = |, - V
C
,V
D
abiertos con Cc V
C
, Dc V
D
tales que V
C
V
D
= |.
Primer axioma de numerabilidad (1AN): Se dice que un espacio topolgico verifica el
primer axioma de numerabilidad si xe X tiene una base de entornos numerable.
Segundo axioma de numerabilidad (2AN): Se dice que un espacio topolgico verifica el
segundo axioma de numerabilidad si existe una base de abiertos numerable.
Espacio de Lindelf: Se dice que un espacio topolgico verifica ser espacio Lindelf si de
todo cubrimiento abierto se puede extraer un subcubrimiento numerable.
Espacio separable: Se dice que un espacio topolgico es separable si existe un subconjunto
denso numerable.
(2AN) Espacio de Lindelf
(2AN) Espacio separable
(2AN) (1AN)
Localmente euclideo + Compacto 2 Axioma de numerabilidad
Teorema de metrizacin de Uryshon: Sea X espacio topolgico que cumple (T1):
Regular + (2AN) Separable + Metrizable.
Loc. euclideo loc. compacto
+ regular (por el t Uryshon)
T2 + El esp. topol. es metrizable
(2AN)

Teorema de Brower: Sea Uc

abierto, si f: U

continua e inyectiva entonces f(U) es

abierto en

.
Lema: Si X es un espacio topolgico metrizable, compacto, conexo y localmente eucldeo
entonces es n-variedad topolgica para algn ne

.
2


Definicin: Sea M una superficie compacta y

es una triangulacin de M,
la caracterstica de Euler-Poincar es: (M) = F-E+V
Proposicin: Si M
1
y M
2
son dos superficies compactas y conexas entonces:
(M
1
#M
2
)= (M
1
)+ (M
2
) 2
Teorema: Sea M superficie compacta triangulada con una triangulacin que tiene V vrtices,
E aristas y F caras. Entonces:
3F=2E
E=3(V-(M))
V >

( () )
Definicin: Sea X un espacio topolgico donde se define una relacin ~ de equivalencia. Al
conjunto de clases de equivalencia {X
a
}
aeA
se le denomina espacio cociente mdulo ~. Esto
es, X/~, y es posible construir H: X X/~ donde a cada xeX le hace corresponder su clase.
Al par X/~ con la topologa inducida (ms fina que hace que H sea continua) tiene estructura
de esp. topol. y se le denomina espacio topolgico cociente.
X compacto X/~ compacto
X conexo X/~ conexo
Definicin: Se dice que una aplicacin f: XY respeta ~ si f(x)~f(y) siempre que x~y.
Entonces la aplicacin inducida f: X/~ Y est bien definida por f(H(x))=f(x).
Proposicin: Sean X e Y espacios topolgicos y sea ~ una relacin de equivalencia en X con
f: XY respetando ~. Entonces f es continua sii la aplicacin inducida f lo es.
f (continua + inyectiva) en un (T2) f
-1
continua
Definicin: Se dice que G es un grupo topolgico cuando (G,T) es un espacio topolgico,
(G, ) constituye un grupo y se verifica que GxG

G es continua.
Definicin: Si G es un grupo topolgico y HcG es un subgrupo normal de G, entonces G/H
se llama espacio cociente mdulo H. G/H={[z]} z~z z-zeH.
Definicin: Se dice que una familia C = {C
a
}
aeA
de subconjuntos de un espacio topolgico X
es localmente finita si para cada xeX admite un abierto V
X
tal que V
X
C
a
=| solo para una
cantidad finita de ndices aeA.
(T2) + Compacto Paracompacto
(T2) + (2AN) + Localmente compacto Paracompacto


3

Definicin (Particiones de la Unidad): Sea U = {U
a
}
aeA
un cubrimiento abierto de un
espacio topolgico X. Una particin de la unidad subordinada es una coleccin ={
a
}
aeA
de
funciones continuas
a
: X [0,1] tales que:
i. sop (
a
) c U
a
oeA.
ii. xeX, - W
x
de x :
a
|w
x
no es idnticamente nula solo para una cantidad finita de
ndices oeA.
iii. la suma

, que est bien definida y es continua, es la funcin constante 1.
Lema: Si X es paracompacto y U={U
o
}
oeA
es un cubrimiento abierto de X, existe
refinamiento localmente finito V={V
o
}
oeA
indexado sobre el mismo conjunto de ndices tal
que
o
cU
o
.
paracompacto normal
Lema de Uryshon: Si X espacio topolgico normal, y si A, B son subconjuntos cerrados
disjuntos, entonces - f: X[0,1] continua tal que f|
A
1 con sop(f) c X \ B.
Teorema: Si X es un espacio paracompacto y U = {U
o
}
oeA
es un cubrimiento abierto de X,
entonces existe una particin de la unidad subordinada a U.
Definicin: Sean N, M dos variedades topolgicas de dimensin n s m respectivamente. Un
embebimiento topolgico de N en M es una aplicacin continua i: NM que aplica N
homeomorficamente sobre i(N) c M.
Definicin: Sean N, M dos variedades topolgicas de dimensin n s m respectivamente. Una
inmersin topolgica de N en M es una aplicacin continua i: NM de modo que xeN
existe un entorno abierto Wx e(x) tal que i|
Wx
: W
x
M es embebimiento topolgico.
Embebimiento Inmersin
Definicin: La imagen de una inmersin inyectiva se llama subvariedad inmersa.
Caracterstica de Euler-Poincar generalizada:
(X) = (-1)
n
|caras n-dimensionales de X| + (-1)
n-1
|caras (n-1)-dimen.| ++ |caras 2-dimen.| -
- |caras 1-dimensionales| + |caras 0-dimen.|
Definicin: Si gA
p
es una p-cadena elemental con p>1, la frontera de gA
p
se define por:
o(gA
p
) = [A A ]A

para todo (p-1)-smplice de K.

Teorema (de clasificacin de las superficies topolgicas compactas y conexas):
H
0
(K)=
{0} sii |K| ~

H
1
(K)= 2g = ..
2g
.. sii |K| es una superficie orientable de gnero g
(g-1)

sii |K| es una superficie topol. no-orientable de gnero g

H
2
(K)= sii |K| es orientable
{0} sii |K| es no orientable
Con g=
()