Topologia Diferencial y Variedades Con Borde

TOPOLOG
IA DIFERENCIAL
VARIEDADES CON BORDE.
TRANSVERSALIDAD. APROXIMACI
ON.
Enrique Outerelo
Jes us M. Ruiz
Universidad Complutense de Madrid
Edicion revisada, 2012
Primera edicion ya agotada
publicada en 1998 por ADDISON-WESLEY.
v
Prefacio
Estas notas estan basadas en la experiencia obtenida al impartir diversos cur-
sos de topologa diferencial durante los ultimos diez a nos en el Departamento de
Geometra y Topologa de la Facultad de Ciencias Matematicas de la Universidad
Complutense de Madrid. Se han recogido aqu los elementos basicos necesarios para
poder abordar a continuacion cualquiera de las atractivas aplicaciones de los metodos
diferenciales: grado, multiplicidad de interseccion, ndice de Lefschetz. Como ilustra-
cion de esto, obtenemos varios resultados notables (teoremas de Brouwer, Jordan,
Hopf) que muestran la importancia de las tecnicas desarrolladas. El contenido de
este libro pretende cubrir lo mas necesario de los temas citados para un semestre de
dos horas semanales. Asmismo quiere ser, con los aligeramientos convenientes, una
primera parte adecuada para un curso de geometra diferencial.
Es conveniente insistir en que este es un texto y no un tratado. Por ello la
exposicion esta simplicada al maximo para alcanzar los resultados importantes de
la forma mas directa posible. Asmismo, se elige una presentacion que pueda seguirse
linealmente al impartir la materia, dejando poco espacio a comentarios marginales
que en un libro de otra naturaleza pareceran imprescindibles. En la misma lnea, las
referencias se reducen para ser lo mas autocontenido posible, y no hay demasiados
comentarios historicos, que se encuentran facilmente en otras obras. Gracias a todo
esto, por otra parte, conseguimos un libro ligero, lo que esperamos sea un atractivo
adicional de nuestro trabajo.
En todo caso, cuatro obras deben ser citadas como fuente de nuestro trabajo:
J. Milnor: Topology from the dierentiable viewpoint, University Press of Virginia,
Charlottesville 1965.
V. Guillemin, S. Pollack: Dierential topology, Prentice Hall, New Jersey 1974.
R. Abraham, J. Robbin: Transversal mappings and ows, Benjamin, New York
1967.
vi Prefacio
E. Lima: Introdu cao a topologia diferencial, IMPA, Rio de Janeiro 1961.
Finalmente, hemos incluido una seleccion de problemas de dicultad y proceden-
cia variadas, que permitan al lector contrastar los conocimientos adquiridos.
Madrid, Majadahonda Enrique Outerelo, Jes us M. Ruiz
Noviembre 1997
vii
Contenido
viii Contenido
1
Captulo I
Variedades con borde
Las variedades son el medio en el que se desenvuelve hoy la Matematica. Esto es as, en
gran medida, por la inuencia de la Fsica y en particular de la Mecanica. En efecto, estas
disciplinas proponen los problemas clasicos del Analisis y de la Geometra (resolucion de
ecuaciones diferenciales o en derivadas parciales, calculo de longitudes y vol umenes, rigidez
e isometras) para espacios de parametros sujetos a ligaduras. Es claro que esta presentacion
conduce de modo natural a las variedades, y hace necesario, primero, denirlas rigurosa-
mente y, segundo, extender a ellas el calculo diferencial clasico. Empezamos este captulo
deniendo en la seccion 1 las aplicaciones de clase r 0 en subconjuntos arbitrarios del
espacio afn R
m
, as como la nocion de difeomorsmo. Sin embargo, para el estudio de es-
tas aplicaciones es preciso restringirse a una clase especial de subconjuntos: las variedades.
Estas se denen en la seccion 2, en donde se describe con cuidado la nocion de interior

y borde de una variedad y su invarianza por difeomorsmos; tambien se denen la dimen-
sion y la codimension y se ven algunos ejemplos bien conocidos de variedades. La seccion
3 esta dedicada a uno de los utiles basicos de la materia: las particiones diferenciables de
la unidad. Para construirlas empezamos obteniendo las denominadas funciones separantes
de Urysohn. El brado tangente de una variedad se dene en la seccion 4, para desarrollar
en variedades el calculo diferencial conocido en abiertos del espacio afn. El resultado nal
de esta seccion es el teorema de inversion local para variedades con borde. En la seccion 5
se describe brevemente el producto de variedades. En la seccion 6 se demuestra que cual-
quier punto de una variedad puede desplazarse a voluntad hasta coincidir con otro dado:
es el teorema de existencia de difeotopas. La seccion 7 esta dedicada a la orientacion de
variedades, mediante familias consistentes de orientaciones locales. Ademas se describe la
orientacion inducida en el borde de la variedad dada. Las dos ultimas secciones analizan
las nociones duales de inmersion y sumersion. La primera se estudia en la seccion 8, que
incluye su denicion y su forma local canonica de inclusion lineal. La de inmersion es pues
2 I. Variedades con borde
una nocion local, cuya contrapartida global es la de inmersion difeomorca, que aparece
al nal de la seccion. Finalmente, las sumersiones se denen en la seccion 9, en la que se
obtiene su forma local canonica de proyeccion lineal.
1. Calculo diferencial en subconjuntos del espacio afn
Se supone conocido el calculo diferencial en abiertos de espacios anes, del que
brevemente recordamos terminologa y notaciones:
Aplicaciones diferenciables en abiertos anes. Sea r un entero 0. Dado un
abierto U de R
m
, una aplicacion f = (f
1
, . . . , f
n
) : U R
n
es de clase r si cada
aplicacion
k
f
i
x
j
1
x
j
k
: U R, 1 k r,
esta denida y es continua; si esto ocurre para todo r, entonces f es de clase , y
para abreviar los enunciados se admite el valor para r. Decir que f es de clase
0 signica simplemente que es continua. Si f es de clase r 1, su derivada en un
punto x U es la aplicacion lineal
Df(x) =
_
f
i
x
j
_
1in
1jm
: R
m
R
n
.
Se verica ademas que
Df(x)(u) = lm
t0
f(x +tu) f(x)
t
(que se llama derivada direccional ) para cada u R
m
.
El concepto de aplicacion de clase r se extiende a subconjuntos arbitrarios del
espacio afn del modo que se expone a continuacion. Como se acaba de explicar, y
como se supone ya en lo sucesivo, r es un entero 0 o r = .
Denicion 1.1 Sea X R
m
un conjunto arbitrario. Se dice que una aplicacion f :
X R
n
es de clase r si para cada x X existe una aplicacion

f : U R
n
de clase
r denida en un entorno abierto U de x en R
m
, de manera que

f[X U = f[X U.
Diremos que

f es una extension local de f.
Observacion. Si el interior de X en R
m
es denso en X, entonces la derivada
en un punto x X de una aplicacion f de clase r 1 es una aplicacion lineal
1. C alculo diferencial en subconjuntos del espacio afn 3
Df(x) : R
m
R
n
bien denida. En efecto, si

f
1
y

f
2
son dos extensiones de f a un
entorno abierto U de x, se tiene D

f
1
(y) = D

f
2
(y) para todo y en el interior de X,
luego por continuidad y la hipotesis de densidad, D

f
1
(x) = D

f
2
(x) y esta aplicacion
lineal es Df(x).
Esto interesa especialmente para los abiertos de los semiespacios
H
p
= x R
p
: (x) 0,
donde : R
p
R es una forma lineal no nula: estos son los modelos locales de las
variedades. De hecho, al razonar con semiespacios lo habitual es reducirse al caso
en que es la proyeccion coordenada (x
1
, . . . , x
p
) x
1
, con lo que H
p
esta denido
por la desigualdad x
1
0.
En lo sucesivo, diremos aplicacion diferenciable para referirnos a una aplicacion
de clase r 1. Destaquemos aqu que una aplicacion de clase 0 es continua, pero
no recprocamente en general. En efecto, de clase 0 signica continua y localmente
extensible con continuidad. Esta extensibilidad local no se da para subconjuntos
arbitrarios de R
m
, aunque s para subconjuntos localmente cerrados (teorema de
extension de Tietze), y mas adelante veremos que las variedades lo son.
Propiedades. Las propiedades elementales en el caso habitual en que X es un
abierto de R
m
se extienden sin dicultad al caso general:
(1) Una aplicacion lineal (restringida a X) es diferenciable, y ella misma es su
propia derivada en cualquier punto.
(2) La composicion de aplicaciones de clase r es de clase r, y si r 1, la derivada
se calcula por la regla de la cadena:
D(g f)(x) = Dg(f(x)) Df(x),
cuando ambas derivadas estan denidas.
(3) Una aplicacion de clase r se puede denir por recubrimientos abiertos: si
f
i
: X
i
R
n
son aplicaciones de clase r denidas en abiertos X
i
de X que lo
recubren, de manera que cualesquiera dos f
i
coinciden en la interseccion de sus
dominios, entonces la aplicacion f : X R
n
dada por f
i
= f[X
i
es de clase r.
(4) La restriccion de una aplicacion de clase r es de clase r.
(5) Si f : X R
n
es diferenciable, su derivada direccional en x X seg un
u R
m
se calcula por la formula
Df(x)(u) = lm
t0
f(x +tu) f(x)
t
,
cuando el lmite del segundo miembro tenga sentido.
Denicion 1.2 Sean X R
m
, Y R
n
.
(1) Una aplicacion biyectiva f : X Y es un difeomorsmo de clase r si tanto
f : X R
n
como f
1
: Y R
m
son de clase r.
(2) Una aplicacion f : X Y es un difeomorsmo local de clase r en x X si
existen entornos abiertos U de x en X y V de f(x) en Y de modo que la restriccion
f[U : U V es un difeomorsmo de clase r.
Un difeomorsmo local entre abiertos de R
m
se caracteriza innitesimalmente
mediante la derivada:
Teorema 1.3 Sea U R
m
un abierto, f : U R
m
una aplicacion de clase r 1 y
x U. Entonces f es un difeomorsmo local de clase r en x si y solo si la derivada
Df(x) es un isomorsmo lineal.
Demostracion. La condicion necesaria es una consecuencia inmediata de la regla de
la cadena, y la suciente es el conocido teorema de inversion local.
2. Variedades con borde diferenciable
Denicion 2.1 Un subconjunto X de R
m
es una variedad de clase r si para cada
punto x X existe un difeomorsmo : A U de clase r de un abierto A de un
semiespacio H
p
sobre un entorno abierto U de x en X. Un tal difeomorsmo se
llama parametrizacion (local) de la variedad.
Si una variedad es de clase 0 se llama variedad topologica, y si es de clase r 1
se llama variedad diferenciable.
Observaciones. (1) Una variedad es localmente homeomorfa a un semiespacio
afn. En consecuencia, una variedad es localmente compacta y localmente conexa
2. Variedades con borde diferenciable 5
por caminos. Por lo ultimo, ademas, las componentes conexas de una variedad son
conjuntos abiertos y cerrados de la variedad.
(2) Un subconjunto abierto de una variedad es una variedad a su vez. En parti-
cular, las componentes conexas de una variedad son variedades.
Si : A U es una parametrizacion de la variedad X con x U y
1
(x)
esta en el interior del semiespacio H
p
, se puede reducir A para que sea un abierto
de R
p
. En otro caso, esto no es posible. Para analizar esta cuestion rigurosamente,
necesitamos el siguiente resultado elemental:
Lema 2.2 Sea W un abierto de R
p
, : R
q
R una forma lineal no nula, y
f : W R
q
una aplicacion diferenciable cuya imagen esta totalmente contenida en
el semiespacio H
q
= 0 R
q
. Si x W es tal que (f(x)) = 0, entonces
Df(x) 0.
Demostracion. Sea u R
p
. Como Df(x)(u) = lm
t0
f(x+tu)f(x)
t
, para cada > 0
existe > 0 tal que
_
_
_
_
Df(x)(u)
f(x +tu) f(x)
t
_
_
_
_
<
para 0 < [t[ < . Ahora escribimos la identidad
t(Df(x)(u) u
t
) = f(x +tu) f(x),
donde
u
t
=
1
_
Df(x)(u)
f(x +tu) f(x)
t
_
es un vector de norma 1. Aplicando resulta:
t ((Df(x)(u)) (u
t
)) = (f(x +tu)) 0,
por las hipotesis. Por tanto,
si t < 0, (Df(x)(u)) (u
t
) ||,
si t > 0, (Df(x)(u)) (u
t
) ||.
En consecuencia, [(Df(x)(u))[ ||, lo que siendo valido para arbitrario, im-
plica que (Df(x)(u)) = 0.
Notese que la frontera de un semiespacio H
p
= 0 es simplemente el
espacio lineal H
p
= = 0, que tiene dimension p 1 y es pues isomorfo a R
p1
.
As, el enunciado anterior compara esa frontera con las imagenes de una aplicacion
diferenciable y de su derivada. De esta comparacion se deduce ya el teorema de
invarianza del borde para variedades diferenciables:
Teorema 2.3 Sean X R
m
una variedad diferenciable, : A U, A H
p
,
: B V , B H
d
parametrizaciones de X, y a U V . Entonces
1
(a) esta en
la frontera de H
p
si y solo si
1
(a) esta en la de H
d
.
Demostracion. Aplicando la regla de la cadena al difeomorsmo
f =
1
: A
=
1
(U V ) U V
1
(U V ) = B
vemos que Df(

1
(a)) : R
p
R
d
es un isomorsmo, con lo que p = d. Es claro
ademas que mediante un cambio lineal de coordenadas podemos suponer que las
dos aplicaciones lineales que denen los semiespacios son la misma proyeccion coor-
denada : (x
1
, . . . , x
p
) x
1
. Ahora, supongamos que
1
(a) / 0 R
p1
, pero
f(
1
(a)) =
1
(a) 0 R
p1
. Sea W = x
1
> 0 A
, que es abierto en R
p
y
contiene a
1
(a). Resulta
f(W) f(A
) B
H
p
= x
1
0, (f(
1
(a)) = (
1
(a)) = 0,
y concluimos seg un el lema anterior que la derivada Df(
1
(a)) tiene su imagen
contenida en el n ucleo de , que es el hiperplano x
1
= 0. Esto signica que esa
derivada no es un isomorsmo, contra lo que antes se se nalo.
Por simetra se concluye la equivalencia.
En virtud de este resultado, la siguiente denicion no depende de parametriza-
ciones y es consistente:
m
una variedad diferenciable. Se dice que un punto
x X esta en el interior (resp. borde) de X si para alguna parametrizacion :
A U, A H
p
con x U,
1
(x) no esta (resp.
1
(x) esta) en la frontera de
H
p
; el conjunto de esos puntos se denota Int(X) (resp. X). Diremos que X es una
variedad sin borde si X = ; en caso contrario diremos que es una variedad con
borde.
Corolario 2.5 Sea X R
m
una variedad de clase r 1.
(1) Int(X) es abierto en X y X = X Int(X) es cerrado en X.
(2) Int(X) y X son variedades de clase r, ambas sin borde.
2. Variedades con borde diferenciable 7
Demostracion. Sea : A U, A H
p
una parametrizacion de clase r. El conjunto
Int(A) = A H
p
=
1
(U Int(X)) es abierto en R
p
y la restriccion [ : Int(A)
U Int(X) es un difeomorsmo de clase r. Asmismo A = AH
p
=
1
(U X)
es abierto en H
p
R
p1
y [ : A U X es un difeomorsmo de clase r. Todo
esto implica las armaciones del enunciado.
Es por lo anterior que a veces se emplea el termino variedad con borde diferen-
ciable. En n, tenemos:
Corolario 2.6 Sean X R
m
e Y R
n
variedades diferenciables y f : X Y un
difeomorsmo. Entonces f(X) = Y .
Demostracion. Si : A U X es una parametrizacion de X, entonces f :
A f(U) Y lo es de Y .
Observacion. Nuestra denicion de aplicacion f : X Y de clase r 1 depende
de las inclusiones X R
m
, Y R
n
. Para variedades esto es solo aparente: f es
de clase r 1 si y solo si para cada x X existen parametrizaciones de clase r,
: A U de X y : B V de Y con x U, f(x) V y f(U) V , de manera
que la localizacion
1
f : A B sea de clase r.
El comportamiento del borde es muy relevante para la manipulacion de aplica-
ciones entre variedades. Para simplicar la exposicion de muchos resultados, intro-
ducimos la terminologa siguiente:
Denicion 2.7 Una aplicacion f : X Y entre variedades conserva el borde en
T X si todo punto x T tiene un entorno U tal que f(UX) Y . Convenimos
que esto se cumple trivialmente si T Int(X).
Se nalemos tambien que los resultados anteriores para el borde son asmismo vali-
dos para variedades topologicas, sabiendo que el teorema 2.3 resulta en ese contexto
del denominado teorema de invarianza del dominio: un homeomorsmo entre dos
subconjuntos de R
n
transforma el interior del uno en el interior del otro.
Dimension. (1) Sea X R
m
una variedad diferenciable, x X y
: A U, A H
p
; : B V, B H
d
,
parametrizaciones con x U V . Ya sabemos que debe ser p = d: este n umero se
llama dimension de X en x, y se denota dim
x
X. Notese que si x esta en el interior de
la variedad, es dim
x
Int(X) = dim
x
X, y si x esta en el borde, dim
x
X = dim
x
X1.
Se llama dimension de X y se denota dimX, al maximo de las dimensiones
dim
x
X, x X.
Destaquemos que, de nuevo por el teorema de invarianza del dominio, esta de-
nicion de dimension sirve tambien para variedades topologicas.
(2) Por la propia consistencia de la denicion, la dimension es localmente cons-
tante, y por el argumento tpico de conexion, constante en cada componente conexa
de X. En general, si la dimension es constante en todo X, decimos que X es de
dimension pura. Es habitual reducirse a este caso, considerando separadamente cada
componente conexa de la variedad dada.
Una variedad de dimension pura 1 se llama curva, y una de dimension pura 2 se
llama supercie.
(3) Si X Y son dos variedades de dimensiones p y q en un punto x X,
denominamos codimension de X en Y en el punto x al n umero codim
x
(Y, X) = qp.
Si esta codimension es constante se dice que la codimension es pura, y se denota
codim(Y, X).
Una variedad contenida en otra y de codimension pura 1 en ella se denomina
hipersupercie.
Ejemplos. (1) El espacio afn R
p
es una variedad diferenciable sin borde, de dimen-
sion pura p.
(2) Un semiespacio H
p
es una variedad diferenciable de dimension pura p, con
borde el hiperplano H
p
, que es difeomorfo a R
p1
, y con interior difeomorfo a R
p
.
(3) La esfera S
p
= |x| = 1 R
p+1
es una variedad diferenciable sin borde, de
dimension pura p. Esto se puede ver utilizando dos proyecciones estereogracas, y,
por ser la esfera compacta, es imposible hacerlo con menos de dos parametrizaciones.
(4) El disco cerrado D
p+1
= |x| 1 R
p+1
es una variedad diferenciable de
dimension pura p + 1, con borde la esfera S
p
e interior difeomorfo a R
p+1
.
(5) El espacio proyectivo real P
n
(R), considerado como subconjunto de R
N
via
(x
0
: . . . : x
n
) (x
i
x
j
/
x
2
k
) es una variedad diferenciable con parametrizaciones
i
: R
n
P
n
(R) : (t
j
)
j=i
(t
0
: . . . : 1 : . . . : t
n
).
3. Particiones diferenciables de la unidad 9
Espacio tangente. Sean X R
m
una variedad de clase r 1, : A U una
parametrizacion, y x U; sera A H
p
, p = dim
x
X. Como =
1
es de clase r, tal
vez reduciendo U, existe un abierto W de R
m
tal que WX = U y una aplicacion

:
W R
p
de clase r tal que

[U = . En consecuencia la composicion

: A R
p
es la inclusion canonica, y derivando resulta Id = D
(x) D(
1
(x)) : R
p
R
p
.
Esto signica que D(
1
(x)) es una aplicacion lineal inyectiva. Consideremos ahora
una segunda parametrizacion : B V con x V y la composicion
f = :
1
(U V ) U V
1
(U V ),
que es un difeomorsmo y cuya derivada Df(
1
(x)) es por tanto un isomorsmo
lineal. Tenemos el diagrama:
>
>
>
R
p
R
p
R
m
Df(
1
(x))
D(
1
(x))
D(
1
(x))
Como f = por la regla de la cadena tenemos
D(
1
(x)) Df(
1
(x)) = D(
1
(x)),
y las dos aplicaciones lineales inyectivas D(
1
(x)) y D(
1
(x)) tienen la misma
imagen, que es un subespacio lineal de dimension p de R
m
.
La ultima observacion justica la siguiente denicion:
m
una variedad de clase r 1 y x X. Para cualquier
parametrizacion : A U de X, A H
p
, con x U, la imagen de la aplicacion
lineal D(
1
(x)) : R
p
R
m
se denomina espacio tangente a X en x y se denota
T
x
X.
Por lo anterior sabemos ademas que dim
x
X = dimT
x
X, y que D(
1
(x)) es
un isomorsmo de R
p
sobre T
x
X.
3. Particiones diferenciables de la unidad
Las particiones continuas de la unidad tienen su version diferenciable, de uso
imprescindible en muchas construcciones.
Funciones meseta. Utilizaremos las siguientes funciones de clase innito de una
variable R [0, 1], cuyas gracas representamos junto a su denicion:
0
1
(1) f(t) =
_
0 si t 0
exp(1/t) si t > 0
Observese que f
(t) > 0 para t > 0 y f es creciente.
0
1
(2) g
(t) =
f(t)
f(t) +f( t)
para > 0
Aqu f
(t) > 0 para 0 < t < , y f es creciente.

`
`
`
0
1
(3) h
(t) = g
(t) para > 0

En este caso f
(t) < 0 para < t < 0, y f es decreciente.

La funcion meseta de la recta real es:
(4)
1
= g
(1 +t) g
(1 t)
para 0 < < 1.

`
`
`
1 1
1
0
1 + 1
En n, la funcion meseta general en R
p
es:
(5) : R
p
[0, 1] : x
1
(|x a|
2
/
2
)
`
0 1
a
> 0
r
donde 0 < =
1 < . De esta manera, 0 < < se pueden jar arbitraria-

mente a priori.
Proposicion 3.1 (Funciones de Urysohn) Sea X R
m
una variedad de clase r 0.
Para cualesquiera subconjuntos cerrados disjuntos no vacos C, D de X existe una
funcion f : X [0, 1] de clase r tal que f[C 0 y f[D 1. Una funcion as se
denomina funcion separante.
Demostracion. Sea W
k
un recubrimiento numerable de X por abiertos cuya adhe-
rencia en X es compacta (que existe por ser X un subconjunto localmente compacto
de R
m
), y denamos por recurrencia:
V
0
= ; V
1
= W
1
, K
1
= V
1
, n
1
= 1,
V
2
= W
1
W
n
2
con n
2
> n
1
tal que K
1
V
2
, K
2
= V
2
,
V
3
= W
1
W
n
3
con n
3
> n
2
tal que K
2
V
3
, K
3
= V
3
, etc.
As obtenemos una sucesion de abiertos V
y otra de compactos K
de modo
que la primera recubre X y V
V
+1
.
V
1
V
V
+1
V
+2
-
K
+1
V
i
.
.
.
.
.
.,
U
i
Ahora, puesto que K

+1
V
es compacto, se puede construir una coleccion nita

de parametrizaciones
i
: A
i
U
i
de modo que
(1) U
i
V
+2
K
1
es abierto en X,
(2) A
i
= B
2
(0) R
p
o A
i
= B
2
(0) H
p
, siendo H
p
= x
1
0,
(3) los subconjuntos U
i
=
i
(A
i
|x| < 1) recubren K
+1
V
,
(4) U
i
C = o U
i
D = .
(Es con los abiertos de (3) con los que se aplica la compacidad, y la ultima condicion
resulta de ser los cerrados disjuntos.) Ahora denimos
g
i
: X [0, 1] : x
_

1
i
(x) si x U
i
,
0 si x / U
i
con la funcion meseta 1 en |x| 1, 0 en |x| 3/2.
Hecha esta construccion para todos los , obtenemos la funcion separante si-
guiente:
f =
U
i
C=
g
i
_
g
i
.
En efecto, la suma es localmente nita por serlo la familia de los U
i
por (1), y por
tanto numerador y denominador son de clase r como las parametrizaciones. Co-
mo por (3) los U
i
recubren X, y vista la eleccion de , el denominador nunca se
anula. Es claro, tambien por la eleccion de , que el numerador se anula en C. Fi-
nalmente, por (4), en D numerador y denominador coinciden, luego f 1 en D.
Pasamos ya a la existencia de particiones de la unidad:
Teorema 3.2 Sea X R
m
una variedad de clase r 0 y sea U
i
un recubri-
miento abierto de X. Entonces existe una particion de la unidad
i
de clase r
subordinada a U
i
, es decir:
(1) Cada
i
: X [0, 1] es una funcion de clase r.
(2) Los soportes abiertos
i
,= 0 X (y por tanto sus adherencias) son una
familia localmente nita en X, y esta bien denida la suma
i
que es 1.
(3)
i
,= 0 U
i
para cada i.
Demostracion. Empezamos tomando un renamiento abierto localmente nito V
k
de U
j
. A continuacion tomamos dos contracciones sucesivas W
k
de V
k
y W
de W
k
. En suma, tenemos dos recubrimientos abiertos de X W
k
y W
k
tales
que
W
k
W
k
W
k
V
k
U
i(k)
.
Todas estas construcciones son de naturaleza puramente topologica y posibles por
ser X un subconjunto de R
m
.
En esta situacion, los cerrados C
k
= X W
k
y D
k
= W
k
son disjuntos, y por la
proposicion anterior, existe una funcion separante g
k
: X [0, 1] de clase r, que es
0 sobre X W
k
y 1 sobre W
k
. En particular, g
k
,= 0 W
k
y esos soportes
son una familia localmente nita. Por tanto, g =
k
g
k
es de clase r, y, al ser los
D
k
un recubrimiento, siempre 1. Finalmente, para cada i, sea
i
=
k : i(k)=i
g
k
/g : X R.
Las propiedades que debemos comprobar ahora son de naturaleza local, as que
jamos x X y un entorno abierto W de x que corta exactamente a V
k
1
, . . . , V
k
s
.
En ese entorno tenemos
i
[W =
: i(k
)=i
g
k
/g : W R
que es una suma nita, luego de clase r. Asmismo en W
i
=
g
k
/g 1,
pues los restantes g
k
se anulan identicamente en W. Ademas
i
,= 0 W g
k
1
,= 0 g
k
s
,= 0 V
k
1
V
k
s
,
y los
i
,= 0 son una familia localmente nita. Por ultimo,
i
,= 0 W
_
: i(k
)=i
g
k
,= 0
_
: i(k
)=i
W
k
,
y por ser W abierto
i
,= 0 W
_
: i(k
)=i
W
k

_
: i(k
)=i
U
i(k
)
= U
i
.
Una propiedad interesante que resulta facilmente de la existencia de particiones
de la unidad es el siguiente teorema de extension de Tietze para funciones de clase:
Proposicion 3.3 Sea X R
m
un conjunto arbitrario y f : X R
n
una aplicacion
de clase r 0. Entonces existe una aplicacion

f : U R
n
de clase r que esta de-
nida en un abierto U de R
m
que contiene a X y que extiende a f, esto es, tal que
f[X = f.
Demostracion. Por denicion de aplicacion de clase r, podemos recubrir X por
abiertos U
i
de R
m
en cada uno de los cuales esta denida una extension

f
i
de clase r
de f[U
i
X. Tenemos as un recubrimiento abierto de U =
i
U
i
, que es un abierto
de R
m
, y existe una particion de la unidad
i
: U [0, 1] de clase r subordinada
a U
i
. La extension global buscada es

f =
f
i
.
Observese que si en la demostracion anterior a nadimos un abierto mas a los U
i
,
a saber, R
m
X con cualquier funcion como extension, se consigue que U contenga
todo R
m
excepto tal vez algunos puntos adherentes a X. De este modo, f se extiende
a cualquier abierto que contenga a X y en el que X sea cerrado.
4. Calculo diferencial en variedades
Veremos a continuacion como formar una variedad diferenciable con todos los
espacios tangentes a una dada. Esta nueva variedad juega un papel importante en
la construccion de invariantes.
m
una variedad de clase r 1 y dimension pura p.
Ponemos
TX = (x, u) X R
m
: u T
x
X X R
m
R
m
R
m
y denotamos : TX X la restriccion de la proyeccion lineal
R
m
R
m
R
m
: (x, u) x.
El par (TX, ), denotado simplemente TX, se denomina brado tangente de X.
Resulta claro que es una aplicacion diferenciable, cuya bra sobre un punto de
X se identica con el espacio tangente a X en ese punto. Ademas tiene una inversa
por la derecha, denominada seccion nula del brado: x (x, 0). Esta seccion nula
es claramente diferenciable, y un difeomorsmo sobre su imagen X 0 TX.
Proposicion 4.2 En la situacion anterior, TX R
2m
es una variedad de clase
r 1, dimension pura 2p, y borde TX =
1
(X).
Demostracion. Consideremos una parametrizacion : A U y =
1
. Entonces
: AR
p
U
= (U R
m
) TX : (a, t) ((a), D(a)(t))
es una parametrizacion de TX.
En efecto, claramente U
es abierto en TX X R
m
. Ademas,
es biyectiva
por serlo y cada derivada D(a) : R
p
T
(a)
X. Asmismo es claro que
es de
clase r 1, que es la clase de la aplicacion D. En n, veamos que
=
1
es
tambien de clase r 1. Para ello elegimos

: W R
p
de manera que:

es una
aplicacion de clase r en el abierto W R
m
de modo que W X = U y

[U =
1
.
Se sigue que la composicion

: A R
p
es la inclusion canonica, y derivando por
la regla de la cadena queda
Id = D
((a)) D(a) : R
p
R
p
4. C alculo diferencial en variedades 15
para cada a A. En consecuencia, si z = D(a)(t) T
(a)
X R
m
resulta t =
D
((a))(z), lo que muestra que la aplicacion
: W R
m
R
p
R
p
: (x, u) (
(x), D
(x)(u))
es una extension de clase r 1 de
.
De todo lo anterior resulta el enunciado, observando para la armacion relativa
al borde que (AR
p
) = (A) R
p
.
Sean X R
m
e Y R
n
dos variedades de clase r 1 y f : X Y una
aplicacion de clase r, es decir, que para cada punto x X existe una aplicacion
f : U R
n
de clase r denida en un entorno abierto U de x en R
m
y tal que
f[U X = f[U X. Sea y = f(x).

Proposicion 4.3 En la situacion anterior:
(1) D

f(x)(T
x
X) T
y
Y .
(2) La restriccion d
x
f : T
x
X T
y
Y de D

f(x) : R
m
R
n
solo depende de f y no
de la extension

f elegida.
Demostracion. Despues de una eleccion adecuada de entornos U de x en R
m
y V
de y en R
n
, existen parametrizaciones : A U X, : B V Y de modo que
f(U) V , y consideramos la localizacion

U
f
V

U X V Y
f

H
p
A
g
B H
q
` `
a
x
x
b
y
y
`
|
`
|
donde g =
1
f es de clase r y x = (a). Ahora si z T
x
X, sera z = D(a)(t)
con t R
p
, y se tiene
D

f(x)(z) = D

f((a))D(a)(t) = D(b)Dg(a)(t) T
y
Y,
lo que muestra (1). Pero adem as, el segundo miembro no depende de la extension
f, y se sigue (2).
Denicion 4.4 De nuevo en la situacion anterior:
(1) La aplicacion lineal d
x
f : T
x
X T
y
Y se llama derivada de f en x.
(2) La aplicacion df : TX TY : (x, z) (f(x), d
x
f(z)) se llama derivada de f.
Observaciones. (1) La demostracion anterior muestra como calcular la derivada
via localizaciones (en lugar de extensiones), a saber
d
x
f = D(
1
(f(x))) D(
1
f)(
1
(x)) D(
1
(x))
1
.
(2) La derivada es una aplicacion de clase r 1, pues es la restriccion de (x, z)
(

f(x), D

f(x)(z)).
(3) La derivada de la identidad es la identidad: d(Id
X
) = Id
TX
.
(4) La derivada de una aplicacion constante f : x y
0
es nula: df(x, z) = (y
0
, 0).
(5) Regla de la cadena: d(g f) = dg df.
El teorema de inversion local para variedades con borde tiene la siguiente forma:
Teorema 4.5 Una aplicacion f : X Y de clase r 1 es un difeomorsmo local
de clase r en x X si y s olo si la derivada d
x
f : T
x
X T
f(x)
Y es un isomorsmo
lineal y f conserva el borde en x.
Demostracion. Supongamos primero que f es un difeomorsmo local en x: existen
entornos abiertos U de x y V de f(x) de manera que la restriccion h = f[U : U V
es un difeomorsmo. Por el teorema de invarianza del borde, f(U) = V . Ademas,
por la regla de la cadena, y denotando g = h
1
, resulta
Id
T
x
X
= d
f(x)
g d
x
h, Id
T
f(x)
Y
= d
x
h d
f(x)
g,
luego d
x
f = d
x
h es un isomorsmo lineal.
Veamos a continuacion la otra implicacion. Primero localizamos como antes y
obtenemos un diagrama
X
f
Y

U V
f[

H
p
A
g
B H
q
` `
a
x
x
b
y
y
`
|
`
|
4. C alculo diferencial en variedades 17

donde U es un entorno abierto de x en X y V uno de y = f(x) en Y tales que
f(U) V , f(U X) Y , y son parametrizaciones, y g =
1
(f[U) ;
ademas, denotamos a =
1
(x) y b =
1
(y). Las hipotesis signican:
(1) Dg(a) : R
p
R
q
es un isomorsmo lineal (luego p = q), y
(2) g(A H
p
) H
p
.
Distinguiremos dos casos:
Caso en que x / X, o sea, a / H
p
. Entonces W = A H
p
es un entorno
abierto de a en R
p
y g[W : W R
p
es una aplicacion diferenciable cuya derivada en
a W es un isomorsmo lineal. Por el teorema de inversion local para abiertos del
espacio afn, existen entornos abiertos A
A y B
B de a y b en R
p
de modo que
g[A
: A
es un difeomorsmo. Resulta que la restriccion de f a U
= (A
)
es un difeomorsmo sobre f(U
) = (B
), y f es un difeomorsmo local en x.
Caso en que x X, o sea, a H
p
. Podemos suponer que H
p
es el semiespacio
t
1
0 de modo que su borde es t
1
= 0. Reduciendo A, encontramos un entorno
abierto W de a en R
p
y una extension diferenciable g : W R
p
de g. Entonces
D g(a) = Dg(a) es isomorsmo y de nuevo por el teorema de inversion local para
abiertos anes, reduciendo W, g es un difeomorsmo sobre un entorno abierto de b
en R
p
. Reduciendo mas, podemos suponer que g(W) es una bola eucldea abierta D
de centro b y radio > 0. Por (2), se cumple
g(W t
1
= 0) = g(A t
1
= 0) t
1
= 0,
y queremos demostrar que
g(W t
1
< 0) t
1
< 0,
pues esto implica que g[ : A
= W H
p
B
= D H
p
es un difeomorsmo y
f[U
: U
= (A
) (B
) otro.
s
s
s
s
s s
s
s
W
g
D
t
t
(s)
A
g(t
)
g(t)?
/
/
/`
Supongamos pues que existe t W t
1
< 0 tal que g(t) t
1
0. Elegimos
t
W t
1
> 0, y sabemos que g(t
) t
1
0. Pero por el caso ya demostrado,
g(t
) / t
1
= 0. Ahora denimos un arco continuo
: [0, 1] [ g(t), g(t
)] W : s ( g[W)
1
_
(1 s) g(t) +s g(t
)
_
(esta denicion es viable porque Dt
1
0 es convexo y g[W es un difeomorsmo).
Se tiene (0) = t t
1
< 0, (1) = t
t
1
> 0, y por conexion, existe s ,= 0, 1
tal que (s) t
1
= 0. Por (2) se deduce
g((s)) t
1
= 0 [ g(t), g(t
)],
conjunto que como mucho consiste en el punto g(t). Concluimos (s) = t y s = 0 lo
que es una contradiccion.
Ejemplo. Sean X R
2
el disco cerrado de centro (1, 0) y radio 1, Y el semiespacio
(x, y) R
2
: x 0 y f : X Y la inclusion canonica. Entonces d
(0,0)
f = Id,
pero f(X) / Y . No se cumplen pues las condiciones del teorema, ni la conclusion:
f no transforma ning un entorno del origen en X en uno del origen en Y .
R
2
Y
X
U
Observacion. Sea f : X Y un difeomorsmo local en x X. Entonces existen
parametrizaciones : A X y : A Y con igual dominio A, x (A), f(x)
(A), de manera que la localizacion g =
1
f es la identidad en A.
En efecto, sea U un entorno de x en X tal que f[U sea un difeomorsmo sobre
un entorno V de f(x) en Y , y elijamos cualquier parametrizacion : A X con
x (A) U. Entonces = f : A Y es una parametrizacion de Y que
cumple lo dicho.
5. Producto de variedades
Sean X R
m
, Y R
n
dos variedades de clase r 0, una sin borde (que
podemos suponer es Y , ya que la permutacion de coordenadas R
m
R
n
R
n
R
m
5. Producto de variedades 19
es un difeomorsmo). Entonces X Y R
m
R
n
es una variedad de clase r, con
borde (X Y ) = (X) Y . Ademas, si (x, y) X Y
dim
(x,y)
(X Y ) = dim
x
X + dim
y
Y,
y si r 1
T
(x,y)
(X Y ) = T
x
X T
y
Y.
En efecto, sean : A U, A H
p
, una parametrizacion de X con x U y
: B V , B R
q
, una de Y con y V . Resulta que : A B U V es
una parametrizacion de X Y con (x, y) U V . Como se tiene D()(x, y) =
D(x) D(y) : R
p
R
q
R
m
R
n
, se sigue la armacion sobre los espacios
tangentes.
Se comprueba inmediatamente que una aplicacion
h = (f, g) : Z X Y : z (f(z), g(z))
es de clase r 0, si y solo si lo son f : Z X y g : Z Y . Ademas, si r 1, se
verica
d
z
h = (d
z
f, d
z
g) : T
z
Z T
f(z)
X T
g(z)
Y : u (d
z
f(u), d
z
g(u)).
Derivadas parciales. Sea f : X Y Z una aplicacion. Para cada x X
denotamos por f
x
: Y Z la aplicacion parcial y f(x, y); asmismo se dene
para cada y Y la aplicacion parcial f
y
: X Z : x f(x, y). Ahora supongamos
que f es de clase r 1. Entonces, todas las f
x
, x X, y f
y
, y Y , son de clase
r, y las aplicaciones lineales d
x
f
y
: T
x
X T
f(x,y)
Z y d
y
f
x
: T
y
Y T
f(x,y)
Z se
denominan derivadas parciales, y se denotan respectivamente
f
x
(x, y),
f
y
(x, y).
De este modo, se tiene la formula:
d
(x,y)
f(u, v) =
f
x
(x, y)(u) +
f
y
(x, y)(v),
para (u, v) T
x
X T
y
Y = T
(x,y)
(X Y ).
Ejemplo. El producto S
1
S
1
R
4
es una supercie diferenciable sin borde, difeo-
morfa al toro T R
3
de ecuacion 16(x
2
+y
2
) =(x
2
+y
2
+z
2
+ 3)
2
obtenido rotando
alrededor del eje z la circunferencia unidad del plano (y, z) de centro (2, 0).
6. Difeotopas
Las variedades diferenciables son objetos homogeneos, lo que, sin entrar en ma-
yores tecnicismos, signica que sus puntos son globalmente indistinguibles. Haremos
rigurosa esta idea mediante la nocion siguiente:
Denicion 6.1 Sea X una variedad de clase r 1. Se llama difeotopa de clase r
de X a una aplicacion F : [0, 1] X X de clase r tal que:
(1) F(0, x) = x para todo x X.
(2) Todas las aplicaciones parciales F
t
: X X, 0 t 1, son difeomorsmos.
Si F es una difeotopa, se dice que F es la identidad fuera de un conjunto K X
si para x / K y 0 t 1 se tiene F
t
(x) = x.
Observacion. Dada una difeotopa F : [0, 1] X X, todos los difeomorsmos
F
t
conservan las componentes conexas. En efecto, si Z es una componente conexa,
la imagen T = F
t
(Z) es otra; veamos que T = Z. Fijado a Z, el camino conexo
= F([0, t] a) conecta al punto a = F(0, a) Z con el punto F(t, a) T. Por
tanto, Z T es conexo, y como Z y T son componentes conexas, coinciden.
Ahora, la homogeneidad mencionada antes se expresa as:
Teorema 6.2 Sea X una variedad de clase r 1, sin borde y conexa, y sean x, y
dos puntos de X. Entonces existe una difeotopa F : [0, 1] X X tal que:
(1) F
1
(x) = y,
(2) F es la identidad fuera de un conjunto compacto.
Resumiremos esto diciendo que el punto x esta conectado al punto y por la di-
feotopa F. Observese que, en particular, x se transforma en y por un difeomorsmo
homotopo a la identidad.
Demostracion. En primer lugar demostramos una version local del enunciado:
(a) Cada punto a X tiene un entorno U cuyos puntos estan todos conectados
con a por una difeotopa que es la identidad fuera de un compacto.
Fijemos a X y un entorno suyo V . Vamos a demostrar que a se puede conectar
con todos los puntos de cierto U V mediante una difeotopa del propio V que
6. Difeotopas 21
es la identidad fuera de un compacto K V . Tal difeotopa se podra extender
por la identidad a todo X, y habremos terminado. As planteado, mediante una
parametrizacion de X podemos suponer simplemente que V = R
p
y a R
p
es el
origen. Sea : R [0, 1] una funcion meseta como la de la gura.
`
`
`

1
0
Consideramos el maximo M = max
y
[
(y)[ > 0, y el U que buscamos es la bola de

centro el origen a = 0 y radio 1/M. Para probarlo, sea b U; claramente, despues
de un giro en R
p
= R R
p1
, podemos suponer b = (c, 0, . . . , 0), 0 < c < 1/M.
Tomamos ahora una funcion meseta : R
p1
[0, 1] que es 1 en la bola de radio
y 0 fuera de la bola de radio , y la difeotopa que conecta a y b es:
H : [0, 1] R R
p1
R R
p1
: (t, x) = (t, y, z) (y +t(y)(z)c, z).
En efecto, es inmediato que H
0
es la identidad y que H
1
transforma a = 0 en
b = (c, 0). Ademas, se verica:
(i) Si x = (y, z) R
p
cumple |x|
2
+
2
, entonces [y[ o |z| , con lo
que (y)(z) = 0 y H(t, x) = x.
De esto deducimos que H es la identidad fuera del conjunto compacto K = |x|
2
+
2
V . Por otra parte:
(ii) Para cualesquiera t, z jos, la aplicacion h
t,z
: R R dada por: y y +
t(y)(z)c es biyectiva.
En efecto, h
t,z
es estrictamente creciente, pues su derivada es
1 +t
(y)(z)c 1 Mc > 0,
y h
t,z
no esta acotada superior ni inferiormente, pues
[y[ [t(y)(z)c[ [y[ 1/M
cuando [y[ .
De esto resulta que cada aplicacion parcial H
t
: (y, z) (h
t,z
(y), z) es biyectiva,
y para concluir que es un difeomorsmo es suciente ver que lo es localmente. Por
el teorema de inversion local, esto se sigue de que
det
_
DH
t
(y, z)
_
=
1 +t
(y)(z)c
0
1 0
.
.
.
0 1
= 1 +t
(y)(z)c > 0.
Una vez probado el resultado local (a), necesitamos el siguiente lema que permite
la globalizacion:
(b) Dos difeotopas que conectan a con b y b con c dan lugar a una tercera que
conecta a con c. Si las dos primeras eran la identidad fuera de sendos com-
pactos, la tercera lo es tambien fuera de otro.
Sean F
(1)
, F
(2)
: [0, 1] X X dos difeotopas de clase r, tales que F
(1)
1
(a) = b,
F
(2)
1
(b) = c. Suponemos que F
(1)
es la identidad fuera del compacto K
(1)
y que
F
(2)
lo es fuera del compacto K
(2)
. Consideramos una funcion diferenciable meseta
: [0, 1] [0, 1] seg un el dibujo
0
1
3
2
3
1
1
(t) = g1
3
(t
1
3
)
y denimos
F : [0, 1] X X : (t, x)
_
F
(1)
((2t), x) para 0 t
1
2
F
(2)
((2t 1), F
(1)
1
(x)) para
1
2
t 1
Se tiene:
(i) F
0
= F
(1)
0
= Id
X
, F
1
(a) = F
(2)
1
(F
(1)
1
(a)) = c,
(ii) F
t
= F
(1)
1
para
2
3
2t 1, esto es,
1
3
t
1
2
, y
(iii) F
t
= F
(2)
0
F
(1)
1
= F
(1)
1
para 0 2t 1
1
3
, esto es,
1
2
t
2
3
.
(iv) Si x / K = K
(1)
K
(2)
, entonces F
(1)
(t, x) = F
(2)
(t, x) = x, y distinguiendo
los posibles valores de t resulta de inmediato que F(t, x) = x.
As pues, F es una difeotopa de clase r que conecta a con c y es la identidad fuera
del compacto K. Hemos concluido (b).
6. Difeotopas 23
Podemos ya completar la demostracion del teorema. Sean a, b dos puntos cua-
lesquiera de X. Por (a), podemos recubrir X con abiertos U en cada uno de los
cuales dos puntos pueden siempre conectarse por una difeotopa de clase r que es la
identidad fuera de un compacto. Por ser la variedad X conexa, extraemos de esos
U una cadena U
1
, . . . , U
s
con a U
1
, b U
s
, y puntos x
i
U
i
U
i+1
,= . Ahora
aplicando (b) sucesivamente a las ternas a, x
1
, x
2
; a, x
2
, x
3
; a, x
3
, x
4
, etc., obtenemos
una difeotopa de clase r que conecta a con b y cumple (2).
Observaciones. (1) La demostracion muestra de hecho que el compacto fuera del
cual la difeotopa es la identidad esta contenido en cualquier conjunto abierto conexo
jado previamente que contenga los dos puntos x e y.
(2) Claramente, el resultado se extiende al caso en que X tenga borde, si los
dos puntos x e y no estan en ese borde. Por otra parte, por la invarianza del borde
por difeomorsmos, el resultado no se cumple si uno de los puntos esta en el borde
y el otro no. De hecho, como las difeotopas conservan las componentes conexas, el
resultado falla si estando los dos puntos en el borde, estan en componentes distintas.
(3) Si tenemos dos puntos en la misma componente conexa del borde de X la
demostracion anterior se adapta sin dicultad. En la parte local observamos que:
(i) La difeotopa H de R
p
ja la ultima componente x
p
de todos los puntos
x R
p
, luego deja invariante el semiespacio H
p
: x
p
0 y su borde x
p
= 0, y
(ii) Es suciente hacer el giro preparatorio en las variables x
1
, . . . , x
p1
dejando
ja la variable x
p
, pues para un punto b del borde la ultima coordenada ya es nula.
As se obtiene una version local para conectar puntos del borde. La demostracion
se concluye con una cadena U
1
, . . . , U
s
obtenida usando la conexion de la compo-
nente conexa del borde que contiene los dos puntos iniciales.
Corolario 6.3 Sea X una variedad conexa sin borde de clase r 1 y dimension
2, y sean x
1
, . . . , x
n
, y
1
, . . . , y
n
puntos distintos de X. Entonces existe una difeotopa
F de clase r que conecta x
i
con y
i
para i = 1, . . . , n, y que es la identidad fuera de
un conjunto compacto.
Demostracion. El abierto W = X x
n
, y
n
es conexo por la hipotesis sobre la
dimension, y por induccion, existe una difeotopa F
(1)
: [0, 1] W W que
conecta x
i
con y
i
para i = 1, . . . , n 1, y es la identidad fuera de un conjun-
to compacto K W. Por esto ultimo, podemos extender F
(1)
a una difeotopa
de todo X mediante F
(1)
(t, x
n
) = x
n
, F
(1)
(t, y
n
) = y
n
. De modo similar, para
X x
1
, . . . , x
n1
, y
1
, . . . , y
n1
encontramos otra difeotopa F
(2)
de X que conecta
x
n
con y
n
y es la identidad fuera de un compacto L que no contiene ninguno de los
puntos x
1
, . . . , x
n1
, y
1
, . . . , y
n1
. Finalmente, componemos F
(1)
y F
(2)
como en el
apartado (b) de la demostracion del teorema anterior.
Observaciones. (1) Por el corolario anterior, dados una cantidad nita de puntos
x
i
en una variedad conexa sin borde X de dimension 2 y una parametrizacion
: R
p
U X, existe un difeomorsmo f de X tal que las imagenes f(x
i
) estan
todas en U. En consecuencia, = f
1
: R
p
f
1
(U) es una parametrizacion
en cuya imagen estan todos los x
i
.
(2) Si la dimension es 1, el corolario es falso: no hay ning un difeomorsmo h
de la recta real R que transforme t = 0, 1, 2 en h(t) = 5, 3, 4 pues tal h debe ser
monotono. En realidad esta es la unica obstruccion: dadas dos colecciones ordenadas
x
1
< < x
n
, y
1
< < y
n
de puntos de R, existe una difeotopa que conecta x
i
con y
i
y es la identidad fuera de un compacto. Dejamos al lector la tarea de deducir
esto de I.6.2.
(3) Igual que se indico en las observaciones tras la demostracion de I.6.2, el co-
rolario se extiende a variedades con borde: (i) si los puntos involucrados son todos
interiores o (ii) si cada dos puntos x
i
, y
i
que esten en el borde estan en una misma
componente del borde. En este ultimo caso, si el borde tiene dimension 1 debe te-
nerse en cuenta la observacion (2) anterior. No explicitamos los detalles.
7. Orientaci on
Orientacion de espacios vectoriales. (1) Una orientacion en un espacio vectorial
E de dimension p 1 es una clase de equivalencia de bases ordenadas para la
relacion: B B
si det
B
B
> 0, donde, como es habitual, denotamos por det

B
B
el
determinante cuyas columnas son las coordenadas respecto de B de los vectores de
B
. Con esta denicion hay exactamente dos orientaciones posibles, y la eleccion de

una de ellas determina para cada base B un signo sign
B = +1 o 1 seg un B
o B / . Si es conveniente hacer referencia explcita al espacio E, denotaremos
E
.
Dada la otra posible orientaci on se denota .
La orientacion canonica de E = R
p
es la que da signo positivo a la base canonica
(1, 0, . . . , 0), . . . , (0, . . . , 0, 1). Se denotara por
p
Si E = 0 convenimos tambien la existencia de dos orientaciones, +1 y 1.
7. Orientaci on 25
(2) Para manipular cambios de coordenadas necesitaremos el siguiente hecho,
que es un sencillo ejercicio de algebra lineal. Sean : E E
un isomorsmo lineal,
y
orientaciones de E y E
respectivamente, B , B
, y M la matriz de
respecto de esas dos bases. Entonces son equivalentes:
(i) det M > 0, (ii) (B)
, (iii) (B
1
)
para cualquier B
1

Si se cumplen esas condiciones decimos que conserva la orientacion, si no, que
la invierte. Escribiremos respectivamente () =
y () =
.
(3) (Suma de orientaciones) Si E es la suma directa E = E
1
E
2
de dos
subespacios, dos orientaciones
(1)
,
(2)
de esos subespacios determinan una uni-
ca =
(1)
(2)
de E como sigue: se toman bases B
i

(i)
, i = 1, 2, y B = B
1
B
2
es una base de E que determina .
(4) (Producto de orientaciones) Si E es el producto E = E
1
E
2
de otros dos
espacios vectoriales, dos orientaciones
(1)
,
(2)
de esos espacios determinan una
unica =
(1)

(2)
de E. Para construirla se eligen bases u
1
, . . . , u
p
de E
1
y
v
1
, . . . , v
q
de E
2
positivas para las orientaciones respectivas
(1)
y
(2)
. Entonces
(u
1
, 0), . . . , (u
p
, 0), (0, v
1
), . . . , (0, v
q
) es una base de E
1
E
2
y la orientacion corres-
pondiente a esa base es .
m
una variedad diferenciable.
(1) Una orientacion de X en un punto x X es una orientacion
x
del espacio
vectorial T
x
X.
(2) Una orientacion de X es una familia consistente =
x
xX
de orientaciones
de X en todos sus puntos, lo que signica que para cada z X existe una
parametrizacion : A U, A H
p
, con z U, tal que para todo x U es
d
x
1
(
x
) =
p
. Diremos que es compatible con .
Si existe una orientacion de X diremos que X es orientable, y una vez realizada
una eleccion de diremos que X esta orientada; a veces, cuando sea conveniente
hacer referencia explcita a la variedad X, escribiremos
X
.
En la practica, las variedades se orientan mediante recubrimientos abiertos como
se describe a continuacion.
Construccion de orientaciones. Sea X una variedad diferenciable. Se comprueba
inmediatamente que si X es orientable existe una familia de parametrizaciones :
A U cuyas imagenes U recubren X y tal que d
t
(
1

)(
p
) =
p
si
(t
)
U U
. Recprocamente, dada una tal familia de parametrizaciones, la eleccion de

una orientacion
a
en un punto a X se extiende a toda la componente conexa que
lo contiene, mediante
x
= d
t
(
p
)
para x = (t) U, con = +1 o 1 de modo que para x = a se obtenga
a
. Esta
denicion de es posible por la hipotesis sobre las parametrizaciones. Ademas la
construccion es consistente, pues si tomamos otra parametrizacion
: A
con
(t
) = x es
x
= d
t

(
p
) = d
t
d
t
(
1

)(
p
) = d
t
(
p
) =
x
.
De este modo, X es orientable y hemos construido dos orientaciones diferentes por
cada componente conexa. De hecho esas son todas las que hay.
Claramente, basta probar que jado a X,
x
esta determinado por
a
para
x sucientemente proximo a a. Para ello jemos una parametrizacion cualquiera
: A U con a U. Sea por otra parte : B V una parametrizacion con
a V y tal que
x
= d
1
(x)
(
p
) para todo x V . Reduciendo los abiertos U y V
podemos suponer que son iguales y conexos. Tenemos:
x
= d
1
(x)
(
p
) = d
1
(x)
d
1
(x)
(
1
)(
p
) = d
1
(x)
(
(x)
p
),
siendo
(x) el signo del determinante de d
1
(x)
(
1
). Como
: U +1, 1
es continua y U conexo, el signo de ese determinante es constante, digamos igual a
, y resulta:
x
= d
1
(x)
(
p
).
En particular,
a
= d
1
(a)
(
p
),
lo que determina en funcion de
a
y . En suma,
a
y determinan
x
para todo
x U, lo que concluye el argumento.
De esta manera, una variedad orientable conexa tiene exactamente dos orienta-
ciones, que de modo natural se denominan opuestas. Si consideramos una variedad
orientada X, entonces denotaremos por X la misma variedad con la orientacion
opuesta.
A un podemos reformular la construccion anterior de un modo que sera util mas
adelante:
7. Orientaci on 27
m
una variedad diferenciable. Son equivalentes:
(1) X es orientable.
(2) Para cualesquiera dos abiertos U, V X difeomorfos a R
p
, si dos orientacion-
es
U
y
V
coinciden en un punto de ambos, entonces coinciden en toda su
interseccion U V .
En particular, X es orientable si y solo si lo es su interior Int(X).
Demostracion. Supongamos primero X orientable. Observamos entonces para pro-
bar (2) que si
U
y
V
coinciden en a U V , podemos elegir una orientacion
de X que asmismo coincida con las anteriores en ese punto. En consecuencia,
restringiendo del modo evidente, como U y V son conexos obtenemos [U =
U
y
[V =
V
, luego
U
y
V
coinciden con , y por tanto entre s, en cada punto de
U V .
U,
U
V,
V
U
=
V

U
=
V
?
A continuacion, supongamos (2). Fijemos un punto a Int(X) y una orientacion
a
en el espacio tangente T
a
X. Ahora, para cada entorno abierto U de a difeomorfo a
R
p
, elegimos la orientacion
U
que en a coincide con
a
. Por la hipotesis, esto dene
bien una orientacion
W
en el abierto W union de todos los U. Pero W es la compo-
nente conexa de Int(X) que contiene al punto a: seg un vimos utilizando difeotopas,
cualesquiera dos puntos de esa componente estan contenidos en la imagen de una
parametrizacion cuyo dominio es R
p
. As, jado un punto a en cada componente co-
nexa de Int(X), determinamos una orientacion
x
en cada punto x Int(X). Ahora,
para cada z X se elige una parametrizacion : A U X con A H
p
y z U,
tal que d
x
1
(
x
) =
p
para x U X, y se dene
z
=d
1
(z)
(
p
). Esto dene
consistentemente una orientacion en X.
Observaciones y ejemplos. (1) Los espacios anes, las esferas, el toro, son varie-
dades orientables. El lector puede construir orientaciones de modo explcito, aunque
mas adelante veremos metodos mejores para hacerlo.
(2) La ultima proposicion proporciona el criterio de no orientabilidad mas intui-
tivo posible, a saber, que existan dos abiertos (difeomorfos a R
p
) U y V , dos orien-
taciones
U
y
V
, y dos puntos a, b U V de modo que
U,a
=
V,a
y
U,b
,=
V,b
.
Este es el argumento tpico para ver que la banda de Moebius no es orientable.
(3) El plano proyectivo no es orientable. En efecto, se puede aplicar el criterio
anterior a los complementos de dos rectas proyectivas distintas. En realidad esto
se debe a que el plano proyectivo menos el punto de interseccion de las dos rectas
elegidas es una banda de Moebius.
A continuacion estudiaremos la relacion entre las posibles orientaciones de una
variedad y de su borde. Para ello introducimos una nocion nueva:
Proposicion y Denicion 7.3 Sean X una variedad diferenciable, x X y
dim
x
X = p+1 2. Sea u T
x
X. Si para alguna parametrizacion : [0, )A U
con x U se tiene u = d
1
(x)
(t, t
1
, . . . , t
p
) con t < 0, entonces esto se tiene para
cualquier otra. En ese caso u T
x
XT
x
(X), y decimos que u es un vector tangente
exterior.
Demostracion. Empecemos por observar que
1
(x) = (0, a), con a A R
p
,
y por ello T
x
(X) = d
(0,a)
(0 R
p
). Se deduce que ning un vector tangente
u = d
1
(x)
(t, t
1
, . . . , t
p
) con t ,= 0 puede ser tangente al borde. La situacion esta
reejada en la gura.
>
>.
s
X
x
u
X
T
x
X
Pasemos ahora a analizar si el signo de t depende de la parametrizacion .
Sea : [0, ) B V otra parametrizacion con x V . Derivando
1
en
(0, a) =
1
(x) resulta
d
(0,a)
(
1
)(t, t
1
, . . . , t
p
) = d
x
1
(u) = (s, s
1
, . . . , s
p
).
Ahora escribimos
1
(z, z
1
, . . . , z
p
) = ((z, z
1
, . . . , z
p
), . . . ) y obtenemos
s =

z
(0, a) t +
1ip
z
i
(0, a) t
i
.
7. Orientaci on 29
Como
1
conserva el borde, (0, z
1
, . . . , z
p
) 0, con lo que

z
i
(0, a) = 0 para
1 i p. Ademas, como d
(0,a)
(
1
) es isomorsmo, 0 y (0, a) = 0, es
z
(0, a) > 0. Por todo esto concluimos que t > 0 si y solo si s > 0.
Proposicion 7.4 Sea X una variedad orientable de dimension p +1 2, pura,
con borde diferenciable X ,= . Fijemos una orientacion de X. Se elige para cada
x X un vector tangente exterior u
x
T
x
X y otros p vectores u
1
, . . . , u
p
T
x
(X)
que formen una base u
x
, u
1
, . . . , u
p
de T
x
X positiva para la orientacion
x
. Sea
entonces
x
la orientacion de T
x
(X) denida por la base ordenada u
1
, . . . , u
p
.
La familia de todas esas orientaciones
x
es una orientacion bien denida en
X.
Demostracion. Basta ver que si : [0, ) A U es una parametrizacion de X
compatible con , entonces la parametrizacion del borde [ : 0 A U X
es compatible con . Consideremos la base u
x
, u
1
, . . . , u
p
usada para denir
x
,
y denotemos
d
1
(x)
: (t, t
), (0, z
1
), . . . , (0, z
p
) u
x
, u
1
, . . . , u
p
.
Como es compatible con resulta que la base (t, t
), (0, z
1
), . . . , (0, z
p
) es negati-
va en
p+1
y como t < 0 por ser u
x
exterior, calculando el determinante concluimos
que la base z
1
, . . . , z
p
es positiva en
p
.
Ejemplos. (1) Sea X = x
1
0 R
p+1
, que es orientable y orientamos con
=
p+1
[X. Entonces la orientacion inducida en X = 0 R
p
es =
p
.
En efecto, un vector tangente exterior es (1, 0, . . . , 0), y para obtener una
base positiva de la orientacion canonica le a nadimos los vectores (0, 1, 0, . . . , 0),
(0, 0, 1, 0, . . . , 0), etc. Se sigue nuestra armacion.
(2) El disco cerrado D
p+1
= |x| 1 R
p+1
es una variedad orientable, cuyo
borde es la esfera S
p
. Esto da una forma comoda de describir una orientacion de
esa esfera. En efecto, un vector tangente exterior en el punto x S
p
es el propio x,
luego u
1
, . . . , u
p
T
x
S
p
denen
x
si det(x, u
1
, . . . , u
p
) > 0. Siempre supondremos la
esfera orientada de esta manera. En particular, si consideramos un punto a S
p
y su
antipodal a, los espacios tangentes T
a
S
p
y T
a
S
p
coinciden ambos con el hiperplano
H ortogonal a la recta que une a con a. Entonces
a
y
a
son dos orientaciones
de ese mismo espacio vectorial H, y de modo bastante natural se tiene
a
=
a
.
En efecto, u
1
, u
2
, . . . , u
p
H denen
a
si det(a, u
1
, u
2
, . . . , u
p
) > 0, lo que equi-
vale a det(a, u
1
, u
2
, . . . , u
p
) > 0, con lo que u
1
, u
2
, . . . , u
p
denen
a
.
Convenio. Cuando p = 0, orientamos el borde seg un la siguiente gura:
s s s
+
Orientacion de un producto de variedades orientadas. Si X e Y estan
orientadas podemos orientar el producto Z = X Y mediante
z
=
x

y
. para
cada z = (x, y) Z.
Para comprobar que esta denicion es viable basta multiplicar dos parame-
trizaciones de X y de Y compatibles con las orientaciones respectivas. Sean
u
1
, . . . , u
p
una base de T
x
X que dena
x
y v
1
, . . . , v
q
una de T
y
Y que dena
y
.
Entonces la orientacion
z
esta denida por (u
1
, 0), . . . , (u
p
, 0), (0, v
1
), . . . , (0, v
q
)
y se tiene:
d
z
( )
1
:
_
(u
i
, 0) (d
x
1
(u
i
), 0) = w
i
(0, v
j
) (0, d
y
1
(v
j
)) = w
j
y puesto que los d
x
1
(u
i
) son una base positiva de
p
y los d
y
1
(v
j
) una de
q
,
concluimos que los w
i
, w
j
son una de
p+q
.
Ejemplo. Una situacion interesante se presenta al aplicar lo que hemos visto hasta
aqu al caso particular de un cilindro, esto es, a una variedad producto Z = [0, 1]X,
(orientamos Y = [0, 1] para que la orientacion inducida en los dos puntos 0, 1 del
borde Y sea 1,+1 respectivamente, vease la gura). Calculemos la orientacion
inducida en Z. Denotamos X
0
= 0 X y X
1
= 1 X, de modo que Z =
X
0
X
1
.
En primer lugar, para cada z = (t, x) Z tenemos T
z
Z = T
t
[0, 1] T
x
X =
R T
x
X y tomando una base u
1
, . . . , u
p
positiva para
x
construimos la base
(1, 0), (0, u
1
), . . . , (0, u
p
) que dene la orientacion
z
. Ahora para un punto (0, x)
X
0
consideramos una parametrizacion : A U de X con x U, y la aplicacion
0
: [0, ) A [0, ) U : (t, a) (t, (a))
es una parametrizacion de Z. Un vector tangente exterior de Z es entonces v
0
=
(1, 0), y comparando con la descripcion anterior de la orientacion producto con-
cluimos que
(0,x)
=
x
. Ahora, para (1, x) X
1
y como antes, denimos
1
: [0, ) A (1 , 1] U : (t, a) (1 t, (a)),
7. Orientaci on 31
con lo que un vector tangente exterior es v
1
= (1, 0) y se tiene
(1,x)
=
x
.
` ` `

0 t 1
Y
Y
x
X
X
(0, x)
v
0
Z
(t, x)
(t)
(1, x)
Z
v
1
Z
s s s s
s s s

Por otra parte, j
t
: X Z : x (t, x) es un difeomorsmo de X sobre el nivel
X
t
= t X Z, y obtenemos una orientacion (t) para X
t
. En particular, para
X
0
e X
1
obtenemos (0) y (1), y el calculo precedente muestra que
[X
0
= (0), [X
1
= (1).
Representamos este resultado del modo mas intuitivo
([0, 1] X) = X
1
X
0
.
Terminamos esta seccion describiendo sucintamente como afecta un difeomors-
mo a la orientacion.
Denicion 7.5 Sean X e Y dos variedades orientadas mediante
X
y
Y
respecti-
vamente, y sea f : X Y un difeomorsmo local en a X. Decimos que f conserva
la orientacion en a si lo hace su derivada, es decir, si d
a
f(
X,a
) =
Y,f(a)
; en caso
contario decimos que f invierte la orientacion en a.
Para determinar el comportamiento de f seg un la denicion anterior basta to-
mar dos parametrizaciones : A X y : B Y , a (A), (A) f
1
((B)),
compatibles con
X
y
Y
respectivamente y estudiar el signo del determinante jaco-
biano det D(
1
f )(
1
(a)): si es positivo, f conserva la orientacion en a, y si
es negativo la invierte. Vemos ademas que lo que pase en a pasa en todo un entorno
de a (donde el signo de ese determinante permanezca constante). En particular, si
f es un difeomorsmo de un entorno abierto conexo U de a sobre otro V de f(a),
f conserva (resp. invierte) la orientacion en todos los puntos de U si y solo si la
conserva (resp. invierte) en a.
Como ejemplo sencillo de lo anterior, el lector puede comprobar que cualquier
proyeccion estereograca de una esfera S
p
sobre el espacio afn R
p
conserva la orien-
tacion.
Mas adelante utilizaremos el siguiente hecho:
Proposicion 7.6 Sea F : [0, 1] X X una difeotopa de una variedad orientada
X. Entonces, todos los difeomorsmos F
t
conservan la orientacion.
Demostracion. Como las difeotopas conservan las componentes conexas, podemos
suponer X conexa, en cuyo caso, los F
t
conservan la orientacion si y solo si la
conservan en un punto cualquiera a X que jamos en lo que sigue. Ahora, sea t
[0, 1]; elegimos una parametrizacion : B V X compatible con la orientacion
de X, tal que (0) = F
t
(a). Entonces F
1
(V ) es un entorno de (t, a), y existen una
parametrizacion : A U X con a = (0) y un entorno J I de t, de modo
que F(J U) V . Con estas condiciones, la aplicacion
: J R : s det D(
1
F
s
)(0)
esta bien denida y es continua. Como , y los F
s
son difeomorsmos, no se anula
nunca, y tiene signo constante en un entorno de t. En suma, para s sucientemente
cerca de t, el difeomorsmo F
s
conserva o invierte la orientacion seg un lo haga F
t
.
Se deduce de esto por conexion que todos los F
t
conservan o invierten la orientacion
simultaneamente. Como F
0
es la identidad, F
0
la conserva, luego todos la conservan.
8. Inmersiones
La denicion de variedad que hemos adoptado es por naturaleza sumergida, lo
que evita los problemas relacionados con la nocion de subvariedad, que aqu no
hemos introducido de modo tecnico. Sin embargo, es muy importante analizar los
distintos modos en que una variedad dada se representa dentro de otras. De eso nos
ocupamos en esta seccion.
Denicion 8.1 Una aplicacion diferenciable f : X Y es una inmersion en x X
si su derivada d
x
f : T
x
X T
f(x)
Y es inyectiva. Si esto ocurre para todo x X
decimos que f es una inmersion.
8. Inmersiones 33
Un caso sencillo pero util que conviene se nalar aqu: si f tiene inversa por la
izquierda, entonces tambien la tiene su derivada en cualquier punto, que es por
tanto inyectiva, y f es inmersion.
Proposicion 8.2 Sea f : X Y una aplicacion diferenciable. Los puntos de X en
los que f es una inmersion forman un conjunto abierto.
Demostracion. Como es una armacion de naturaleza local, podemos suponer
X = A abierto en H
p
e Y = B abierto en H
q
. Entonces f es una inmersion en
x A si y solo si el rango de la matriz jacobiana (f
i
(x)/x
j
)
i,j
es p q. Como p
es el mayor rango posible, esta es una condicion abierta.
Para el estudio de las inmersiones es basico disponer de las denominadas formas
canonicas.
Teorema 8.3 (Forma local canonica de una inmersion con valor interior) Sea f :
X Y una aplicacion diferenciable, y a X tal que f(a) Int(Y ). Entonces, f
es inmersi on en a si y solo si existen parametrizaciones : A H
p
U X, :
B H
q
V Y de manera que a U, f(U) V y la localizacion correspondiente
tiene la forma
1
f(x
1
, . . . , x
p
) = (x
1
, . . . , x
p
, 0, . . . , 0).
Demostracion. La condicion suciente es trivial. Veamos la necesaria. Es claro que
para demostrarla podemos suponer X = A
1
abierto de H
p
, Y = B
1
abierto de R
q
con
p q, y elegida una extension diferenciable

f : U
1
B
1
de f con U
1
abierto en R
p
y U
1
H
p
= A
1
. Entonces D

f(a) = d
a
f : R
p
R
q
es inyectiva, y un menor de orden
p de la matriz jacobiana
_

f
i
(a)/x
j
_
i,j
es no nulo. Permutando las coordenadas de
R
q
, lo que es admisible en este caso por ser B
1
abierto de R
q
, podemos suponer
0 ,= = det
_
_
_
_

f
1
x
1
(a)

f
1
x
p
(a)
.
.
.
.
.
.

f
p
x
1
(a)

f
p
x
p
(a)
_
_
_
_
Consideramos ahora la aplicacion diferenciable
h : U
1
R
qp
R
q
: (x, x
)

f(x) + (0, x
)
cuyo determinante jacobiano en a es
det
_
_
_
_
_
_
_
_
_
_
_
_

f
1
x
1
(a)

f
1
x
p
(a)
.
.
.
.
.
.

f
p
x
1
(a)

f
p
x
p
(a)
0
1
.
.
.
1
_
_
_
_
_
_
_
_
_
_
_
_
= ,= 0.
Por el teorema de inversion local, obtenemos el siguiente diagrama:
R
p
H
p
U
A
loc
.
.
.
.
.
.
.
f[
=A
1
U

f[
U W
`
V
= h[
h
1
(B
1
)
B
1

U
1
R
qp
`
h
R
q
donde U, W y V son abiertos sucientemente peque nos. As, = h[U W es una
parametrizacion, y para x A se tiene
h(x, 0) =

f(x) si y solo si (x, 0) = h
1

f(x) = h
1
f(x)
como se pretenda.
Ejemplo. La aplicacion f : X = R Y = H
2
: t (t
2
, t) es diferenciable, y su
derivada en t = 0 es d
0
f : R R
2
: x (0, x), con lo que f es una inmersion.
X = R
r
t
f
Y = x 0
r
(t
2
, t)
Sin embargo, no puede tener la forma canonica del teorema. Supongamos que la
tuviera:
R
0
A
U
`
`
f[
g
loc
B
V
: s g(s)
H
2
8. Inmersiones 35
siendo A un intervalo abierto y g(s) = (s, 0) o (0, s). En el primer caso, como es
difeomorsmo, conserva el borde, y se tendra (g(A) H
2
) = f(U) H
2
. Pero
esto es imposible, pues g(A) H
2
= A 0 es conexo y f(U) H
2
no lo es. En
el otro caso, f(U) = (g(A)) = (0 A) H
2
, lo que no se cumple.
Corolario 8.4 Sea f : X Y una aplicacion diferenciable, y a X tal que
f(a) Int(Y ). Entonces, f es inmersion en a si y solo si a tiene un entorno abierto
U X tal que la restriccion f[U : U f(U) es un difeomorsmo.
Demostracion. Supongamos dado U tal que f[U : U f(U) es un difeomorsmo.
Entonces f(U) es una variedad y la derivada d
a
(f[U) : T
a
U T
f(a)
f(U) es un
isomorsmo lineal. Pero T
a
U = T
a
X, y d
a
f : T
a
X T
f(a)
Y es la composicion del
isomorsmo lineal anterior y la inclusion T
f(a)
f(U) T
f(a)
Y . Por tanto, d
a
f es
inyectiva y f es una inmersion en a.
Recprocamente, si f es inmersion en a, elegimos una localizacion como en el
teorema, y el corolario se sigue de que la aplicacion lineal x (x, 0) es un difeomor-
smo de R
p
sobre R
p
0 R
q
.
Ejemplos. El resultado anterior es de naturaleza exclusivamente local.
(1) La lemniscata f : R R
2
: t
_
t
1 +t
4
,
t
3
1 +t
4
_
es el contraejemplo habitual.
La imagen es como se ve en la gura:
lm
t
f
1
(t) = lm
t+
f
2
(t) = 0
lm
t
f
1
(t)
f
2
(t)
= 0
+
lm
t+
f
1
(t)
f
2
(t)
= 0
+
Es claro que f no es homeomorsmo de ning un entorno de t = 0 sobre uno de
f(t) = (0, 0) en f(R): la rama vertical siempre falta.
(2) Otro ejemplo interesante lo constituyen los solenoides. Empezamos por pa-
rametrizar el toro T = S
1
S
1
mediante
f : R
2
T : (s, t) (cos 2s, sen 2s, cos 2t, sen 2t).
Luego elegimos una recta R
2
de pendiente irracional, y consideramos la res-
triccion f[ : T. Obtenemos as una inmersion cuya imagen es densa, de lo
que resulta facilmente que f() no es una variedad. La siguiente gura visualiza la
construccion identicando el toro con el espacio cociente de R
2
por el subgrupo Z
2
.
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
>
Los ejemplos anteriores conducen al siguiente concepto:

Denicion 8.5 Una inmersion f : X Y se llama difeomorca cuando es un
homeomorsmo sobre su imagen f(X).
Por ejemplo, dos puntos interiores cualesquiera y
0
, y
1
de una variedad conexa Y se
pueden conectar por un arco diferenciable, esto es, existe una inmersion difeomorca
: [0, 1] Y tal que (0) = y
0
y (1) = y
1
. (En efecto, esto es claro para Y = R
q
,
al que nos reduce una difeotopa, seg un la observacion (2) del corolario 6.3.)
En realidad se tiene:
Teorema 8.6 Una aplicacion diferenciable f : X Y es una inmersion difeomor-
ca si y solo si f : X f(X) es un difeomorsmo.
Demostracion. La suciencia es evidente, pues si f : X f(X) es un difeomorsmo,
es por supuesto homeomorsmo, y f : X Y es inmersion por el corolario 8.4.
Supongamos ahora que f : X Y es una inmersion y un homeomorsmo sobre la
imagen. En particular, f : X R
n
es tambien inmersion, y por la forma canonica
tenemos, dado a X
x

(x, 0)
difeo sobre la imagen
H
p
A

B R
q
difeo
`
`
difeo
a U V f(X) V Y V R
n
f[
8. Inmersiones 37
donde A es abierto de H
p
, U de X, B de R
q
y V de R
n
. Ahora, como f : X f(X)
es homeomorsmo, f(U) es abierto de f(X), y reduciendo los abiertos involucrados
podemos suponer f(U) = V f(X). En consecuencia, f : U f(U) es un difeo-
morsmo. Como f : X f(X) es biyectiva, de esta conclusion local se sigue que es
un difeomorsmo.
Corolario 8.7 Sea f : X Y una aplicacion de clase r 1, y supongamos que Y
no tiene borde. Entonces:
(1) La aplicacion
f
: X X Y : x (x, f(x)) es una inmersion difeomorca,
y su imagen, el grafo G
f
= (x, f(x)) : x X, es una variedad de clase r
con borde G
f
= (x, f(x)) : x X.
(2) La derivada de
f
es la aplicacion
d
x
f
: T
x
X T
x
X T
f(x)
Y : u (u, d
x
f(u)).
(3) El espacio tangente al grafo de f es el grafo de la derivada, esto es, la imagen
de la aplicacion anterior:
T
(x,f(x))
G
f
= G
d
x
f
= (u, d
x
f(u)) : u T
x
X T
x
X T
f(x)
Y.
Corolario 8.8 (Parametrizaciones adaptadas) Sean X Y R
n
variedades de
clase r 1, x XY , dim
x
X = d. Existe entonces una parametrizacion : B
V de Y de clase r con x V , tal que X V =
_
B (H
d
0)
_
.
Demostracion. La inclusion j : X Y es una inmersion: por la regla de la cadena,
d
x
j : T
x
X T
x
Y es simplemente la inclusion entre dos subespacios lineales de R
n
,
luego es inyectiva. Por tanto su forma local canonica es
H
p
A

g
B : x (x, 0)
` `
X V = U V Y
donde V es abierto de Y . En conclusion
X V = (g(A)), g(A) = B (H
p
0)
tal vez reduciendo A y B.
Observaciones. (1) Una variedad X R
m
es un conjunto localmente cerrado en
R
m
.
En efecto, X se puede recubrir con abiertos V de R
m
imagen de parametriza-
ciones adaptadas (tomese Y = R
m
en el corolario anterior), con lo que X V es
cerrado en V , y en consecuencia X es cerrado en el abierto
V .
(2) Como se nalamos en su momento, por el teorema de extension de Tietze,
una funcion continua es de clase 0 (o sea, localmente extensible con continuidad)
si su dominio es localmente cerrado. En particular, si su dominio es una varie-
dad diferenciable. Esto ultimo resulta inmediatamente usando cartas adaptadas:
cualquier funcion continua H
p
0 R
m
se extiende componiendo con
(x
1
, . . . , x
p
, x
p+1
, . . . , x
m
) ([x
1
[, x
2
, . . . , x
p
, 0, . . . , 0).
Corolario 8.9 Sean X Y R
n
variedades diferenciables. Supongamos que X
Int(Y ), y dim
x
X = dim
x
Y para cada x X. Entonces, si Y es orientable, lo es X.
Demostracion. Por la condicion sobre las dimensiones, resulta que T
x
X = T
x
Y para
cada x X. En consecuencia una orientacion de X es una familia de orientaciones
para los espacios vectoriales T
x
Y , x X, que cumplen la condicion de compatibili-
dad con parametrizaciones de X. Usando parametrizaciones adaptadas, basta tomar
una orientacion de Y y restringirla a X.
Observese que si en este corolario X no tiene borde, entonces X es abierto en Y .
9. Sumersiones
El concepto dual de inmersi on es el siguiente:
Denicion 9.1 Una aplicacion diferenciable f : X Y es una sumersion en x X
si su derivada d
x
f : T
x
X T
f(x)
Y es suprayectiva. Si esto es as para cada punto
x de un conjunto C X, decimos que f es una sumersion en C; si C = X decimos
simplemente que f es una sumersion.
Hacemos aqu una observacion analoga a la que se hizo para inmersiones. Si f
tiene una inversa por la derecha g, entonces su derivada en cada punto de C = g(Y )
9. Sumersiones 39
tambien la tiene, y es por tanto suprayectiva. En consecuencia, f es sumersion en
C.
De nuevo, tenemos una condicion abierta.
Proposicion 9.2 Sea f : X Y una aplicacion diferenciable. Los puntos de X en
los que f es una sumersion forman un conjunto abierto.
Demostracion. Localizando, podemos suponer X = A abierto en H
p
e Y = B abier-
to en H
q
. Entonces f es una sumersion en x A si y solo si el rango de la matriz
jacobiana (f
i
(x)/x
j
)
i,j
es q p, que es una condicion abierta por ser q el maximo
rango posible.
Asmismo, tenemos la siguiente forma canonica:
Teorema 9.3 (Forma local canonica de una sumersion que conserva el borde) Sea
f : X Y una aplicacion diferenciable y a un punto de X en el que f conserva el
borde (lo que siempre se cumple si a Int(X)). Entonces f es sumersion en a si y
solo si existen parametrizaciones : A U X, : B V Y de manera que
a U, f(U) V y la localizacion correspondiente tiene la forma
1
f(x
1
, . . . , x
p
) = (x
1
, . . . , x
q
)
con p q.
Demostracion. La suciencia es obvia. Para probar la necesidad, podemos suponer
X = A
1
H
p
, Y = B
1
H
q
con q p, y elegida una extension diferenciable
f : U
1
V
1
, donde U
1
H
p
= A
1
y V
1
H
q
= B
1
. Ademas, por la conservacion local
del borde que se asume en el enunciado, tendremos

f(U
1
x
1
= 0) x
1
= 0.
Ahora D

f(a) = d
a
f : R
p
R
q
es sobre, y la matriz jacobiana tiene un menor de
orden q no nulo, que podemos suponer consiste en las primeras q columnas:
0 ,= = det
_
_
_
_

f
1
x
1
(a)

f
1
x
q
(a)
.
.
.
.
.
.

f
q
x
1
(a)

f
q
x
q
(a)
_
_
_
_
Esto se justica como sigue. Si a Int(X), el borde es irrelevante, y no hay coordena-
da privilegiada, con lo que se permutan las coordenadas en R
p
y hemos terminado. Si
a X, se observa que por la invarianza del borde es

f
1
(0, x
) = 0, luego derivando
en a = (0, a
) para obtener la primera la de la matriz jacobiana queda:

_

f
1
x
1
(a), 0, . . . , 0
_
,
luego si prescindimos de la primera columna el rango es < q. As, para conseguir
solo deben permutarse las variables x
2
, . . . , x
p
de R
p
, y obtenemos lo que queremos.
Ahora consideramos la aplicacion diferenciable
h : A
1
B
1
R
pq
: x (

f(x), x
q+1
, . . . , x
p
)
cuya derivada Dh(a) : R
p
R
q
tiene determinante jacobiano
det
_
_
_
_
_
_
_
_
_
_
_
_

f
1
x
1
(a)

f
1
x
q
(a)
.
.
.
.
.
.

f
q
x
1
(a)

f
q
x
p
(a)
0
1
.
.
.
1
_
_
_
_
_
_
_
_
_
_
_
_
= ,= 0,
y es por tanto un isomorsmo lineal. Ademas, h(0, x
) = (0, y
) y podemos aplicar el
teorema de inversion local para variedades con borde. El punto a tiene un entorno
abierto A A
1
y h(a) otro B W B
1
R
pq
de modo que h[A : A B W es
un difeomorsmo. As hemos construido el siguiente diagrama conmutativo:
(f(a), a
)=h(a)
B W
h[A
a A
A
1
f[A
f
: x (x
1
, . . . , x
q
)
B
B
1
Como h[A es difeomorsmo, = (h[A)
1
: B W A es una parametrizacion de
A
1
= X, y hemos terminado.
Por ejemplo, la aplicacion : TX X, que es una sumersion en la imagen
C de la seccion cero (por ser esa seccion cero inversa por la derecha de ), tiene
la forma local de una proyeccion lineal (como resulta inmediatamente de como se
demostro que TX es una variedad).
9. Sumersiones 41
Corolario 9.4 Una sumersion que conserva el borde es una aplicacion abierta.
Demostracion. Como ser abierta es una cuestion local, basta observar que la apli-
cacion lineal : x (x
1
, . . . , x
q
) de la forma local anterior es abierta, tanto de R
p
sobre R
q
como de H
p
sobre H
q
.
Corolario 9.5 (Forma local producto de una sumersion que conserva el borde) Sean
f : X Y una aplicacion diferenciable y a un punto de X en el que f conserva el
borde. Entonces f es sumersion en a si y solo si existe una aplicacion diferenciable
g : U M de un entorno abierto U de a en una variedad sin borde M, y un entorno
abierto V de f(a) de manera que f(U) V y el par (f[U, g) : U V M es un
difeomorsmo.
Demostracion. Que es una condicion suciente es claro, pues si la aplicacion (f[U, g) :
U V M es difeomorsmo la derivada d
a
(f[U, g) = (d
a
f, d
a
g) es isomorsmo,
luego d
a
f debe ser suprayectiva. La necesidad es tambien facil, una vez probada la
forma local canonica, pues para una proyeccion lineal
f = : B W B : (x
1
, . . . , x
p
) (x
1
, . . . , x
q
)
basta tomar g : B W W : (x
1
, . . . , x
p
) (x
q+1
, . . . , x
p
).
A continuacion consideramos el caso en que no hay conservacion del borde:
Proposicion 9.6 Sean f : X Y una aplicacion diferenciable y a X de modo
que f(a) Int(Y ) y la restriccion f[X : X Y es sumersion en a. Entonces
existen parametrizaciones : A U X, : B V Y tales que:
(1) a U, f(U) V .
(2) B es un abierto de R
q
, y A = A
B H
p
= H
pq
R
q
para cierto abierto
A
de H
pq
.
(3)
1
f(x
1
, . . . , x
p
) = (x
pq+1
, . . . , x
p
).
Demostracion. Como es habitual, podemos suponer X = A
1
abierto en H
p
, a
0R
p1
, Y = B
1
abierto en R
q
, y elegida una extension diferenciable

f : U
1
R
q
de f, donde U
1
es un abierto de R
p
con U
1
H
p
= A
1
. En esa situacion, la hipotesis
signica que
Df(a)(0 R
p1
) = R
q
.
(En particular, d
a
f es suprayectiva, y f es tambien sumersion en a.) En consecuencia
p 1 q y la matriz jacobiana
_

f
i
x
j
(a)
_
1iq
2jp
tiene un menor de orden q no nulo. Permutando x
2
, . . . , x
p
podemos suponer que es
0 ,= =
_

f
i
x
j
(a)
_
1iq
pq+1jp
Ahora, la aplicacion
h : A
1
H
p
: x (x
1
, . . . , x
pq
,

f
1
(x), . . . ,

f
q
(x)) = (x
,

f(x))
es diferenciable, su derivada d
a
h tiene por determinante el menor anterior, y es
pues un isomorsmo lineal; ademas, h conserva el borde. Por todo ello, el teorema de
inversion local proporciona entornos U de a en A
1
y A = A
B de h(a) = (a
, f(a))
en H
p
con B B
1
, de manera que h[U es un difeomorsmo sobre A. En n, las
parametrizaciones buscadas son = (h[U)
1
: A U y la inclusion : B = V
B
1
. En efecto:
(a) f(U) V : si x U, es (x
, f(x)) = h(x) A, luego f(x) B.

(b)
1
f(x) = f((x)) = f(y), con x = h(y) = (y
, f(y)), luego f(y) =

(x
pq+1
, . . . , x
p
) como se quera.
De nuevo, se deduce de inmediato una version producto:
Corolario 9.7 Sean f : X Y una aplicacion diferenciable y a X tales que
f(a) Int(Y ) y la restriccion f[X : X Y es sumersion en a. Entonces existe
una aplicacion diferenciable h : U M de un entorno abierto U de a en una
variedad con borde M, y un entorno abierto V de f(a) de manera que f(U) V y
el par (h, f[U) : U M V es un difeomorsmo.
Problemas
N umero 1. Sea f : R
n
R
n
un difeomorsmo local de clase p de la forma
f(x
1
, . . . , x
n
) = ( . . . , f
i
(x
1
, . . . , x
i
), . . . ).
Problemas 43
Probar que f es un difeomorsmo sobre un abierto de R
n
.
N umero 2. Demostrar que una aplicacion f : R
n
R
n
es un difeomorsmo si y solo si
es un difeomorsmo local propio. Construir un difeomorsmo local f : R
n
R
n
que no sea
propio.
N umero 3. Demostrar que la ecuacion x
2k
+ y
2
+ z
2m
= 1 dene en R
3
una variedad
diferenciable difeomorfa a la esfera S
2
.
N umero 4. Sea X R
m
una variedad de clase r 1 y dimension p. Dado a X
denotamos por la coleccion de todas las aplicaciones : [0, ) X de clase 1 tales que
(0) = a. Sea ademas : A X una parametrizacion de X con (0) = a.
(1) Si a Int(X) entonces D(0)(R
p
) =
(0) : .
(2) Si a X entonces D(0)(H
p
) =
(0) : .
N umero 5. Probar que el conjunto X = R
n
(1/n, . . . , 1/n) : n N no es una variedad
diferenciable.
N umero 6. Probar que el conjunto X R
3
de ecuacion xyz = 0 no es una variedad
topologica. Probar que el conjunto X R
2
de ecuacion x
2
= y
3
es una variedad topologica,
pero no una diferenciable.
N umero 7. Demostrar que si dos variedades X
1
, X
2
son difeomorfas, respectivamente,
a Y
1
, Y
2
, entonces el producto X
1
X
2
es difeomorfo al producto Y
1
Y
2
. Es cierto el
recproco?
N umero 8. Se consideran en P
2
(R) coordenadas homogeneas (x
0
: x
1
: x
2
), y se dene la
aplicacion f : P
2
(R) R
4
por la formula:
f(x
0
: x
1
: x
2
) =
_
x
2
1
x
2
2
x
2
0
+x
2
1
+x
2
2
,
x
0
x
1
x
2
0
+x
2
1
+x
2
2
,
x
0
x
2
x
2
0
+x
2
1
+x
2
2
,
x
1
x
2
x
2
0
+x
2
1
+x
2
2
_
.
Demostrar que f es una inmersion difeomorca. Es posible denir una inmersion difeomor-
ca P
2
(R) R
3
?
N umero 9. Sea X R
3
el hiperboloide reglado
x
2
a
2
+
y
2
b
2
=
z
2
c
2
+ 1, y (TX, ) su brado
tangente. Demostrar que existe un difeomorsmo : XR
2
TX tal que : (x, z) x,
utilizando las rectas que X contiene seg un las indicaciones siguientes:
(1) Simplicar la situacion con un cambio lineal, para que a = b = c = 1.
(2) Calcular la interseccion del hiperboloide con cada plano afn tangente suyo, para
obtener siempre dos rectas secantes en el punto de tangencia.
(3) Obtener a partir de las rectas anteriores dos aplicaciones diferenciables
, : X TX : x
x
,
x
de modo que
x
,
x
sea una base de T
x
X para cada x X.
(4) Expresar cada vector tangente u
x
T
x
X en la forma u
x
= f(x)
x
+g(x)
x
, y denir
mediante las dos funciones f, g.
N umero 10. Se considera la aplicacion f : R (
1
2
,
1
2
) R
3
de ecuaciones
f(x, y) =
_
_
cos x
sen x
0
_
_
+y
_
_
cos x sen x 0
sen x cos x 0
0 0 1
_
_
_
_
cos(x/2)
0
sen(x/2)
_
_
Comprobar que la imagen de f es una banda de Moebius, y que no es orientable.
N umero 11. Sea M una variedad diferenciable con borde no vaco. Construir una ecua-
cion global de M, esto es, una funcion diferenciable f : M R tal que: (i) f 0, (ii)
M = f
1
(0), y (iii) d
x
f es suprayectiva para cada x M sucientemente proximo a M.
N umero 12. Sea X una variedad diferenciable de clase r +1, (TX, ) su brado tangente
y C X un conjunto cerrado. Demostrar que cualquier aplicacion : C TX de clase r
tal que = Id tiene una extension de la misma clase

: X TX que tambien cumple

= Id.
n
R
n
un difeomorsmo. Pruebese que existe una difeotopa
F : [0, 1] R
n
R
n
tal que F
1
f = Df(0).
N umero 14. Demostrar que si el producto de dos variedades diferenciables es orientable,
entonces lo es cada factor.
N umero 15. Demostrar que el brado tangente de una variedad diferenciable es siempre
orientable, sealo o no la variedad inicial.
N umero 16. Dado el toro T = S
1
S
1
y cualquier punto a T, muestrese que existe una
inmersion diferenciable f : T a R
2
.
N umero 17. Sean f : X Y , g : Y X dos aplicaciones diferenciables tales que
f g = Id. Probar que la imagen T de g es una variedad diferenciable, y que la restriccion
de f a un entorno abierto U de T es una sumersion.
45
Captulo II
Transversalidad
En la resolucion de muchos problemas importantes de la Matematica se descubre una
idea universal, casi obvia, que consiste en perturbar razonablemente las hipotesis dadas pa-
ra simplicar el problema hasta hacerlo asequible. Es el recurso a la posicion general en
Geometra o al caso no degenerado en Analisis. Pues bien, esta idea argumental encuen-
tra su expresion mas estricta y fructfera en la nocion de transversalidad. Dedicamos este
captulo a esta nocion clave, con cuyo hallazgo en los a nos cincuenta R. Thom dio nacimien-
to a la Topologa Diferencial como rama autonoma de la Matematica. Aqu hemos elegido
como motivacion la descripcion de variedades mediante imagenes inversas, o dicho mas in-
tuitivamente, mediante ecuaciones implcitas globales. En la primera seccion se dan varios
resultados al respecto utilizando sumersiones. En la segunda se adopta directamente el enfo-
que por ecuaciones globales, que sirve para denir las denominadas intersecciones completas.
Ademas de las deniciones y diversos ejemplos se demuestra un resultado importante para
hipersupercies, caracterizando las que tienen una ecuacion global por la manera en que
desconectan el ambiente que las contiene. Ademas se muestra la relacion de esto con la
orientabilidad. Ya en la seccion 3 se dene formalmente la transversalidad de una aplicacion
y una variedad, de dos variedades, de dos aplicaciones, y se ilustra con ejemplos la propiedad
fundamental seg un la cual la transversalidad es la situacion generica. Esta genericidad se
explica rigurosamente en las secciones 4 y 5 siguientes, dedicadas al teorema de Sard-Brown
y al teorema parametrizado de densidad de la transversalidad. Como aplicacion del teorema
de Sard demostramos en la seccion 6 el teorema de inmersi on de Whitney, cuya informacion
signicativa es la menor codimension posible de una inmersion difeomorca cerrada.
46 II.Transversalidad
1. Construcci on de variedades mediante sumersiones
Empezamos con el siguiente resultado:
Teorema 1.1 Sea f : X Y una aplicaci on diferenciable y Z Y una tercera
variedad, de manera que f conserva el borde en f
1
(Z) y es sumersion en f
1
(Z).
Entonces:
(1) f
1
(Z) es una variedad con borde f
1
(Z) = f
1
(Z).
(2) T
x
f
1
(Z) = (d
x
f)
1
(T
f(x)
(Z)) para x f
1
(Z).
(3) codim
x
(X, f
1
(Z)) = codim
f(x)
(Y, Z) para x f
1
(Z).
Demostracion. Sea x f
1
(Z). Por la forma local de las sumersiones, tenemos un
difeomorsmo (f[U, g) : U V M, y como (Z V ) M es variedad, concluimos
que lo es f
1
(Z) U = (f[U, g)
1
((Z V ) M). Asmismo podemos calcular el
borde:
f
1
(Z) U = (f[U, g)
1
((Z V ) M) = f
1
(Z) U,
y el espacio tangente:
T
x
f
1
(Z) = (d
x
(f[U, g)
1
(T
(f(x),g(x))
(Z M)) =
(d
x
f, d
x
g)
1
(T
f(x)
Z T
g(x)
M) = (d
x
f)
1
(T
f(x)
Z).
En n, en cuanto a la codimension:
codim
x
(X, f
1
(Z)) = codim
(f(x),g(x))
(Y M, Z M) =
dim
(f(x),g(x))
(Y M) dim
(f(x),g(x))
(Z M) =
dim
f(x)
Y dim
f(x)
Z = codim
f(x)
(Y, Z).
Ejemplo. Consideremos f : R
n+1
R : x x
2
1
+ +x
2
n+1
. Entonces:
(1) Sea a > 0; f es sumersion en f
1
(a
2
) , y la esfera de radio a, f
1
(a
2
) = S
n
a
,
es una variedad sin borde de dimension n (difeomorfa a la esfera estandar de radio
1).
(2) Sea 0 < a < b; f es sumersion en f
1
[a
2
, b
2
] y la corona esferica f
1
[a
2
, b
2
]
es una variedad de dimension n +1, con borde la union de dos esferas, una de radio
a y la otra de radio b.
(3) f no es sumersion en x = 0 f
1
[0, 1], y aunque la bola solida D
n
= f
1
[0, 1]
es una variedad, no podemos deducirlo mediante el criterio anterior.
1. Construcci on de variedades mediante sumersiones 47
El ejemplo negativo anterior puede remediarse como sigue:
Proposicion 1.2 Sea f : X R una funcion diferenciable y a R tal que f
1
(a)
X = y f es sumersion en f
1
(a). Entonces f
1
(, a] es una variedad con borde
f
1
(, a] =
_
f
1
(, a) X
_
f
1
(a)
y de codimension 0 en X.
Demostracion. Para cada punto de W = f
1
(, a) podemos encontrar parametri-
zaciones de X con la imagen totalmente contenida en W, pues W es abierto en X.
Sea ahora x f
1
(a). Como x / X, y seg un la forma local de las sumersiones,
tenemos un diagrama
R
p
A
1
A

A
1
(x
1
, x
2
. . . , x
p
) x
1
g
` `
U

f[
V R
x a
donde U es abierto en el interior de X, V un intervalo de R, y podemos suponer
ademas que
1
(x) = 0 y que A
1
= (, ) con > 0. Para jar notaciones,
suponemos que es decreciente. En consecuencia, [0, ) = (a , a] para cierto
> 0 y
([0, ) A) = (g
1
[0, )) = f
1
(a , a] U.
Observamos que el ultimo conjunto es abierto en f
1
(, a]. Todo esto muestra que
la restriccion de a [0, ) A H
p
es una parametrizacion de f
1
(, a] cuyo do-
minio contiene a x, y tambien se ve que x f
1
(, a].
Las proposiciones anteriores se complementan con la siguiente:
Proposicion 1.3 Sean f : X Y una aplicacion diferenciable y Z Int(Y ) una
tercera variedad, Z = , tales que
(a) f es sumersion en f
1
(Z) X, y
(b) f[X es sumersion en f
1
(Z) X.
Entonces:
(1) f
1
1
(Z) = f
1
(Z) X.
(2) T
x
f
1
(Z) = (d
x
f)
1
(T
f(x)
(Z)) para x f
1
(Z).
(3) codim
x
(X, f
1
(Z)) = codim
f(x)
(Y, Z) para x f
1
(Z).
Demostracion. Si x f
1
(Z) X, entonces f conserva el borde cerca de x, y el
resultado ya ha sido probado. Sea pues x f
1
(Z) X. Entonces f(x) Int(Y )
y aplicamos la forma local producto para este caso, obteniendo un difeomorsmo
(h, f[U) : U M V , donde U es un entorno abierto de x en X, V uno de f(x) en
Int(Y ) y f(U) V . En esta situacion
f
1
(Z) U = (h, f[U)
1
(M (Z V ))
y la demostracion sigue como en el caso visto anteriormente. Tan solo vara el calculo
del borde, que en este caso es
f
1
(Z) U = (h, f[U)
1
((M) (Z V )) = U f
1
(Z),
pues (h, f[U) conserva el borde.
Se nalemos que en la proposicion anterior, si las tres variedades X, Y, Z son de
dimension pura, tambien lo es la imagen inversa f
1
(Z).
Ejemplo. Consideremos la variedad X = R [0, 1], cuyo borde consiste en dos
copias de la recta real: X = (R 0) (R 1), y sea Y = R. Denimos
f : X Y : x 16(x
2
+ (y
1
2
)
2
1
16
)(y x + 3)
Un sencillo calculo muestra que Df(x, y) ,= 0 para (x, y) f
1
(0). Ademas
X=
_
R 1
R 0
Y : x f(x)=
_
(16x
2
+ 3)(4 x)
(16x
2
+ 3)(3 x)
con lo que (f[X)
(4, 1) = 259 y (f[X)
(3, 0) = 147.
u
u
0
1
f
1
(0)

.
(3, 0)
(4, 1)
En suma, f
1
(0) es una variedad con borde los dos puntos (4, 1) y (3, 0). Notese
que no es conexa y una de sus componentes no tiene borde.
2. Intersecciones completas 49
2. Intersecciones completas
De los resultados de la seccion anterior se deduce que una sumersion f : X R
dene una hipersupercie (variedad de codimension 1) de X. Este hecho se generaliza
a codimensiones superiores como sigue:
Proposicion 2.1 Sean f
1
, . . . f
k
: X R aplicaciones diferenciables, y denotemos
Z = x X : f
1
(x) = = f
k
(x) = 0.
Suponemos:
(a) Las derivadas d
x
f
1
, . . . , d
x
f
k
son formas lineales independientes para todo x
Z X, y
(b) Las derivadas d
x
(f
1
[X), . . . , d
x
(f
k
[X) son formas lineales independientes
para todo x Z X.
Entonces se verica:
(1) Z es una variedad con borde Z = Z X,
(2) T
x
Z = ker(d
x
f
1
) ker(d
x
f
k
) para cada x Z, y
(3) codim
x
(X, Z) = k para cada x Z.
Demostracion. Consideramos la aplicacion f = (f
1
, . . . , f
k
) : X R
k
. Por las
hipotesis (a) y (b), f es sumersi on en cada punto de Z y f[X es sumersion en cada
punto de Z X. As, la proposicion se sigue de la ultima de la seccion anterior,
pues Z = f
1
(0).
Denicion 2.2 Si Z X son dos variedades tales que Z esta descrita como en la
proposicion anterior, decimos que f
1
, . . . , f
k
son ecuaciones de Z en X, y que Z es
una interseccion completa en X.
Observaciones y ejemplos. La cuestion de cuando una variedad es interseccion
completa es enormemente interesante en geometra (de cualquier clase: topologica,
diferencial, algebraica, analtica), y tiene sus races en la topologa de las variedades
involucradas. Naturalmente, debe precisarse en que ambiente: es trivial que cualquier
Z puede sumergirse como interseccion completa en Z R (!). Veamos algunos casos
menos triviales.
(1) Si Z es una interseccion completa en X, entonces Z = f
1
(0), siendo f :
X R
k
como en la proposicion. Si X es orientable, y seg un veremos en la seccion
siguiente, las orientaciones de X, R
k
y 0 R
k
se combinan para orientar Z. As pues,
una variedad no orientable no puede sumergirse como interseccion completa en otra
orientable. Esta condicion de orientabilidad es intrnseca de la variedad Z, y de hecho
puramente topologica. Puede aplicarse por ejemplo al plano proyectivo, a la botella
de Klein, etc., que por ello no pueden sumergirse como intersecciones completas en
ning un espacio afn.
(2) Localmente, si no hay dicultades ligadas al borde, todas las variedades son
interseccion completa, o dicho de otro modo, todas las variedades tienen ecuaciones
locales. En efecto, si x Z X, Z = , X = , tomamos una parametrizacion
adaptada : A U, x U, de modo que Z U = (A (R
d
0)). Entonces
f
i
: U R : x
1
(x) = (y
1
, . . . , y
p
) y
i
, d < i p,
tienen derivadas independientes y son ecuaciones de Z U en U.
En el caso particular de una hipersupercie Z de una variedad X, ser interseccion
completa signica tener una ecuacion global, que es una funcion diferenciable f :
X R , tal que f es sumersion en Z X, f[X es sumersion en Z X, y se
verica Z = f
1
(0). Como se ha dicho ya antes, esta es una cuestion de naturaleza
esencialmente topologica. Lo vemos a continuacion cuando no hay bordes.
Teorema 2.3 Sea Z X variedades conexas y sin borde, Z una hipersupercie ce-
rrada de X. Entonces Z tiene una ecuacion global f : X R si y solo si desconecta
X. Si este es el caso, se verica ademas:
(1) X Z tiene dos componentes conexas, que son f > 0 y f < 0.
(2) f > 0 y f < 0 son dos variedades con borde igual a Z.
Demostracion. Como observamos antes, cada punto de X tiene un entorno U en el
que Z tiene una ecuacion f : U R, esto es: U Z = f = 0 y Df(x) ,= 0 para
cada x U. Veamos algunas propiedades de tal ecuacion:
(a) Si una funcion diferenciable h : U R se anula sobre U Z, entonces el
cociente h/f es diferenciable en U.
Sea a U Z y : A V U una parametrizacion de X adaptada a Z con (0) =
a; suponemos pues que
1
(ZV ) = x A : x
p
= 0. As, h(x
1
, . . . , x
p1
, 0) = 0
para (x
1
, . . . , x
p1
) proximo al origen, y podemos escribir:
h (x) =
_
1
0
t
(h (x
1
, . . . , x
p1
, tx
p
)) dt = g(x)x
p
,
donde g es la funcion diferenciable:
g(x) =
_
1
0
x
p
(h (x
1
, . . . , x
p1
, tx
p
)) dt.
De igual modo,
f (x) = (x)x
p
,
con diferenciable, pero ademas no se anula nunca. Para ver esto escribimos:
0 ,= D(f )(x) = x
p
D(x) +(x)pr
p
,
donde pr
p
es la p-esima proyeccion coordenada. Si (x) = 0, necesariamente x
p
,= 0,
y se seguira f((x)) = 0, luego x
1
(Z V ) y x
p
,= 0, contradiccion. En
concecuencia, tenemos
h (x) = g(x)x
p
=
g(x)
(x)
(f )(x),
o sea que (h/f) = g/ es diferenciable. Estas representaciones de h/f en entornos
de cada punto de U denen h/f en todo U: por supuesto coinciden en el conjunto
U f = 0, y este conjunto es denso en U (pues A x
p
= 0 lo es en A).
La segunda propiedad que interesa es:
(b) Si h : U R es otra ecuacion de Z en U, entonces = h/f : U R es
diferenciable y nunca nula.
Por (a), = h/f es de clase, pero tambien lo es f/h = 1/, por lo que no puede
anularse en ning un punto.
Finalmente:
(c) Reduciendo U, podemos suponer que es conexo, y que U Z tiene dos compo-
nentes conexas, U
+
= f > 0 y U
= f < 0, de modo que ZU U

+
U
.
Elegimos U al principio de modo que sea la imagen de una parametrizacion adaptada
: A U tal que A = x R
p
: |x| < . Entonces pr
p
y f son ecuaciones de
f
1
(Z U) en A, y por (b) f = pr
p
, con nunca nula. En consecuencia los
conjuntos
1
(Z U),
1
f < 0 y
1
f > 0 estan respectivamente descritos
en la bola A por las condiciones x
p
= 0, x
p
< 0 y x
p
> 0, donde es el signo
constante que toma en A. La conclusion es as clara.
Llegados aqu, probemos la parte solo si del enunciado: si X Z fuera conexo
y f : X R una ecuacion de Z, entonces f tendra signo constante en X Z. Pero
seg un (c) cualquier ecuacion cambia de signo en alguna parte.
Visto lo anterior, supondremos ya que X Z no es conexo. Ademas, podemos
recubrir Z por abiertos U
i
en cada uno de los cuales Z tiene una ecuacion f
i
. Para
recubrir todo X, a nadimos un recubrimiento por abiertos conexos de X Z, con las
ecuaciones 1 (en este momento hemos usado que Z es cerrado en X). Por (b),
cada
ij
= f
i
/f
j
: U
i
U
j
R es una funcion nunca nula (lo que consideramos
trivialmente cierto si U
i
U
j
= ). Armamos que
(d) Existe una eleccion adecuada de signos
i
de modo que para cada par (i, j), la
funcion (
i
/
j
)
ij
es siempre > 0.
Para verlo, probamos primero lo siguiente:
(e) Para cada componente conexa W de X Z se verica W W = Z.
En efecto, si W
es otra componente de X Z, es abierta en X y no corta a W,

luego tampoco a W. As, W W Z. Si W = W, W sera cerrada en X, luego
abierta y cerrada, con lo que coincidira con X por ser este conexo, contradiccion.
Existe pues alg un punto x W W Z. Sea y Z arbitrario. Como Z es conexo,
tenemos una cadena U
i
0
, . . . , U
i
r
con x U
i
0
, y U
i
r
, y U
i
k
U
i
k+1
Z ,= para
cada k. Al ser U
i
0
Z = U
+
i
0
U
i
0
y x W, concluimos U
+
i
0
W o U
i
0
W. Se
sigue Z U
i
0
U
+
i
0
U
i
0
W y tomando un punto x
1
Z U
i
0
U
i
1
tenemos
x
1
U
i
1
W, luego U
+
i
1
W o U
i
1
W, con lo que Z U
i
1
W.
Z
x
y x
1
U
i
U
+
i
0
u
u
u
Reiterando el argumento, se concluye y Z U
i
r
W. Resulta pues (e), y se
observa ademas:
(f) X Z tiene exactamente dos componentes conexas W y W
.
En efecto, si W
es una segunda componente, tambien U

+
i
0
W
o U
i
0
W
. Como
W y W
son disjuntas, solo hay dos posibilidades:

U
+
i
0
W, U
i
0
W
o U
+
i
0
W
, U
i
0
W,
lo que por otra parte, no deja sitio para mas componentes que W y W
.
En n, para demostrar (d), elegimos los signos
i
como sigue:
Caso U
i
Z = :
i
=
_
+1 si U
i
W
1 si U
i
/ W (esto es, U
i
W = )
Caso U
i
Z ,= :
i
=
_
+1 si U
+
i
W
1 si U
+
i
/ W (esto es, U
i
W)
Una vez denidos estos signos, pongamos g
i
=
i
f
i
. Por la construccion g
i
>
0 U
i
= W U
i
, g
i
< 0 U
i
= W
U
i
y (
i
/
j
)
ij
= g
i
/g
j
> 0.
Finalmente, sea
i
una particion diferenciable de la unidad subordinada a los
U
i
. Denimos la ecuacion f : X R buscada para Z por la formula:
(g) f(x) = g
i
(x) exp
_
k

k
log
_
g
k
(x)
g
i
(x)
__
cuando x U
i
.
Observese que el sumatorio es localmente nito y que si x U
i
y
k
(x) ,= 0, entonces
x U
k
U
i
, y en esa interseccion g
k
/g
i
= (
k
/
i
)
ki
> 0, con lo que el logaritmo
existe. Ademas, en U
i
U
j
,= se verica:
g
i
exp
_
k
k
log
_
g
k
(x)/g
i
(x)
_
g
j
exp
_
k
k
log
_
g
k
(x)/g
j
(x)
_ =
g
i
g
j
exp
_
k
_
log
g
k
g
i
log
g
k
g
j
__
=
g
i
g
j
exp
__
k
_
log
_
g
k
g
i
_
g
k
g
j
__
=
g
i
g
j
g
j
g
i
= 1
As pues, la denicion de f es consistente.
Se tiene de este modo, f = e
i
f
i
sobre U
i
, donde e
i
=
i
exp[] no se anula en
ning un punto de U
i
. Por tanto,
f = 0 U
i
= f
i
= 0 U
i
= Z U
i
,
y
Df(x) = f
i
(x)De
i
(x) +e
i
(x)Df
i
(x) = e
i
(x)Df
i
(x) ,= 0 para x Z U
i
.
Todo lo anterior muestra que f es una ecuacion de Z. Ademas, como exp > 0, por
construccion es W = f > 0 y W
= f < 0. Entonces, por (e), f > 0 f >

0 = Z = f = 0, o sea f > 0 = f 0.

Esta es una variedad con borde
f = 0 = Z por un teorema previo. Lo mismo vale para f < 0.
Observaciones y ejemplos. (1) La ecuacion f de Z es esencialmente unica, en el
sentido de que cualquier otra diere en el producto por una funcion de clase nunca
nula (por la propiedad local (b)). Otra forma de caracterizar f es decir que divide
a todas las funciones diferenciables que se anulan sobre Z (por la propiedad local
(a)).
(2) La escritura de la demostracion anterior pone de maniesto que la obstruccion
para encontrar f se concentra en los signos
ij
= sign[f
i
/f
j
] : U
i
U
j
Z
2
= +1, 1.
Estos signos denen un 1-cociclo [Z]
H
1
(X, Z
2
) (cohomologa de

Cech), que no
depende de las ecuaciones locales f
i
elegidas (por la propiedad local (b) de nuevo).
Resulta que [Z]
= 0 si y solo si existen los

i
de la prueba. As, en terminos
cohomologicos, la ecuacion f existe cuando y solo cuando [Z]
= 0. Por ejemplo,
se ve por procedimientos que exceden este texto, que H
1
(R
p
, Z
2
) = 0, con lo que
cualquier hipersupercie conexa del espacio afn tiene una ecuacion global.
(3) El clasico teorema de Jordan-Brouwer dice que toda hipersupercie cerrada
del espacio afn lo desconecta. Seg un lo anterior, una demostracion consistira en
probar la nulidad del grupo de cohomologa H
1
(R
p
, Z
2
). Mas adelante veremos otra
que utiliza los metodos de este texto.
(4) Usando el teorema podemos encontrar muchas hipersupercies sin ecuacion
global (en realidad esta es la parte facil de la demostracion). Vease el dibujo para el
toro.
tiene ecuacion global
no tiene ecuacion global
(5) Sean Z X como en el teorema. Si Z tiene una ecuacion global f, entonces
es el borde de la variedad Y = f 0 X, y dim
y
Y = dim
y
X para cada y Y .
Si X es orientable, entonces Y lo es, y por tanto, tambien su borde Z. Esto prueba
3. El concepto de transversalidad 55
(sin apelar a la seccion siguiente) que una hipersupercie conexa de una variedad
orientable que tiene ecuacion global es orientable a su vez, o equivalentemente, que
una hipersupercie conexa que desconecta una variedad orientable es orientable.
(6) En el espacio proyectivo real P
n
(R) ning un hiperplano proyectivo H desco-
necta: P
n
(R) H es un espacio afn R
n
. Por tanto, H no tiene ecuacion global. Esto
no debe confundirse con el hecho elemental de que H tenga una ecuacion lineal en
coordenadas homogeneas.
3. El concepto de transversalidad
Ya hemos visto algunos resultados que permiten construir variedades como ima-
genes inversas. Busquemos ahora una construccion mas general que nos conducira a
la nocion basica de transversalidad.
Sea f : X Y una aplicaci on diferenciable y Z Y una tercera variedad. De
momento supondremos que ninguna de estas tres variedades tiene borde, aunque
ya veremos que esta hipotesis puede debilitarse. Para saber cuando f
1
(Z) es una
variedad observamos lo siguiente:
(1) El problema es local en X, por la denicion misma de variedad, y tambien lo
es en Y , por la continuidad de f.
(2) Fijado x f
1
(Z), entonces Z es interseccion completa en un entorno abier-
to V de f(x) en Y : existe una aplicacion diferenciable g : V R
k
tal
que Z V = g = 0. Poniendo h = g f : U = f
1
(V ) R
k
resulta
f
1
(Z) U = h = 0.
(3) Una condicion suciente para que f
1
(Z) sea variedad en un entorno de x U
es que h sea sumersion en x (y por tanto en un entorno abierto de x).
En suma, f
1
(Z) es variedad en un entorno de x si la aplicacion lineal
d
x
h = d
f(x)
g d
x
f : T
x
X T
f(x)
Y T
0
R
k
es suprayectiva. Como d
f(x)
g es suprayectiva por (2), obtenemos la sucesion
T
x
X

T
f(x)
Y
_
ker(d
f(x)
g)
iso
T
0
R
k
donde la segunda aplicacion es un isomorsmo lineal. En consecuencia, d
x
h es su-
prayectiva si y solo si lo es, es decir si y solo si
T
f(x)
Y = ker(d
f(x)
g) + im(d
x
f).
Pero ya hemos visto que el n ucleo de la igualdad anterior es precisamente T
f(x)
g =
0 = T
f(x)
Z, y obtenemos que la condicion
(TR) T
f(x)
Y = T
f(x)
Z +d
x
f(T
x
X)
es suciente para que f
1
(Z) sea variedad en un entorno de x. De la misma cons-
truccion resulta que (TR) es equivalente a que sea isomorsmo la aplicacion lineal
: T
x
X
_
(d
x
f)
1
(T
f(x)
Z) T
f(x)
Y
_
T
f(x)
Z
inducida por d
x
f.
A la vista de todo lo anterior:
Denicion 3.1 Sea f : X Y una aplicacion diferenciable, y Z Y una tercera
variedad. Decimos que f es transversal a Z en un punto x f
1
(Z) si se cumple
la condicion (TR) anterior. Convenimos ademas que f es transversal a Z en todo
punto x / f
1
(Z). En ambos casos usamos la notacion f

x
Z.
Mas terminologa y notaciones: decimos que f es transversal a Z en un conjunto
C X y escribimos f

C
Z cuando f

x
Z para todo x C; decimos que f es trans-
versal a Z y escribimos f

Z si f

X
Z. Ademas, notese que para que la condicion
f

C
Z tenga sentido no es necesario que f sea diferenciable en todo X, sino que
basta con que lo sea en un entorno de C.
Como en el caso de inmersiones y sumersiones, acabamos de introducir una
condicion abierta:
Proposicion 3.2 Sea f : X Y una aplicacion diferenciable y Z Y una tercera
variedad, Z cerrado de Y . Los puntos de X en los que f es transversal a Z forman
un conjunto abierto.
Demostracion. Con las notaciones del razonamiento anterior a la denicion, sea
x f
1
(Z). La condicion (TR) en x equivale a que la aplicacion h sea sumersion en
x, y es pues una condicion abierta. Por otra parte, en los puntos x / f
1
(Z) siempre
hay transversalidad, y se sigue la proposicion.
Ademas, todo el argumento que motiva la denicion de transversalidad puede
ahora entenderse como la demostracion de que si f

Z, entonces f
1
(Z) es una varie-
dad (sin borde, con igual codimension que Z, y espacios tangentes bien calculados).
Como ya anunciamos, esto se rena algo como sigue:
Proposicion 3.3 Sea f : X Y una aplicaci on diferenciable y Z Int(Y ) una
variedad sin borde. Si f y f[X son transversales a Z, entonces:
(1) f
1
1
(Z) = f
1
(Z) X,
(2) T
x
f
1
(Z) = (d
x
f)
1
(T
f(x)
Z) para cada x f
1
(Z), y
(3) codim
x
(X, f
1
(Z)) = codim
f(x)
(Y, Z) para cada x f
1
(Z).
Demostracion. Se repite el argumento de antes, y se utiliza el resultado sobre su-
mersiones para el caso en que X pueda tener borde. Las codimensiones se computan
con el isomorsmo lineal inducido por d
x
f.
Observaciones y ejemplos. (1) Si f : X Y es sumersion en x X, entonces f
es transversal en x X a cualquier variedad Z Y .
(2) De hecho, f : X Y es sumersion en x X si y solo si f es transversal en
x a la variedad Z = f(x) Y .
(3) Sean f : R
3
R
2
: (x, y, z) (x
2
+ y
2
, z
2
+ 1) y R
2
la diagonal.
Entonces f
1
() es el hiperboloide de revolucion x
2
+ y
2
z
2
= 1, que es una
variedad (es h
1
(1) para la aplicacion h(x, y, z) = x
2
+ y
2
z
2
, que es sumersion
en R
3
(0, 0, 0)). En todo caso, la presentacion algo rebuscada que hemos dado
ilustra que ser transversal es una condicion mas debil que ser sumersion. En efecto,
la derivada
_
2x 2y 0
0 0 2z
_
: R
3
R
2
es suprayectiva salvo si x = y = 0 o z = 0. Pero
(a) Si x = y = 0, es (x, y, z) = (0, 0, z) / f
1
(), y
(b) Si z = 0, es d
(x,y,z)
f(R
3
) +T
(1,1)
= R 0 + = R
2
.
Por tanto, f es transversal a .
Orientacion de imagenes inversas. Sea f : X Y una aplicacion diferencia-
ble y Z Int(Y ) una variedad sin borde. Acabamos de ver que si f y f[X son
transversales a Z entonces f
1
(Z) es una variedad. Como complemento veamos
como podemos orientar esta imagen inversa supuesto que tenemos orientadas las
tres variedades X, Y y Z.
Sea x f
1
(Z). Escribimos
T
x
X = T
x
f
1
(Z) E
x
para cierto suplementario lineal E
x
de T
x
f
1
(Z). Como
T
x
f
1
(Z) = (d
x
f)
1
(T
f(x)
Z) ker(d
x
f),
la restriccion d
x
f[E
x
: E
x
T
f(x)
Y es inyectiva y denotamos su imagen por F
f(x)
.
De la transversalidad, del calculo de T
x
f
1
(Z) y de las dimensiones de cada espacio,
se deduce
T
f(x)
Y = T
f(x)
Z F
f(x)
.
En esta situacion elegimos la unica orientacion
F
de F
f(x)
que sumada con la orien-
tacion
Z,f(x)
de T
f(x)
Z coincida con la orientacion
Y,f(x)
. Entonces
F
induce via
el isomorsmo lineal E
x
F
f(x)
una unica orientacion
E
de E
x
. Ahora, existe
una unica orientacion
f
1
(Z),x
en T
x
f
1
(Z) que sumada con
E
coincide con
X,x
.
La coleccion de todas estas orientaciones
f
1
(Z),x
dene bien una orientacion en
f
1
(Z) (dejamos al lector la comprobacion de la compatibilidad de las orientaciones
locales).
Proposicion 3.4 Consideremos dos aplicaciones diferenciables f : X Y, g : Y
W y una variedad V W; Y , W y V sin borde. Si g es transversal a V , entonces:
(1) Z = g
1
(V ) Y es una variedad sin borde, y
(2) g f es transversal a V si y solo si f es transversal a Z.
Demostracion. Es un ejercicio de algebra lineal, una vez escritas las deniciones.
Veamoslo brevemente. Denotamos h = g f y tenemos:
T
x
X
_
(d
x
h)
1
(T
h(x)
V )

T
h(x)
W
_
T
h(x)
V
T
f(x)
Y
_
(d
f(x)
g)
1
(T
h(x)
V )

donde, por ser g
x
V , es isomorsmo lineal y
(d
f(x)
g)
1
(T
h(x)
V ) = T
f(x)
Z; (d
x
h)
1
(T
h(x)
V ) = (d
x
f)
1
(T
f(x)
Z).
En consecuencia, es isomorsmo si y solo si lo es , es decir, h
x
V si y solo si
f

x
Z.
La nocion de transversalidad se puede introducir desde otros puntos de vista.
Transversalidad de variedades. Si X, Z son dos variedades contenidas en una
tercera variedad Y , decimos que son transversales en x X Z si se cumple
T
x
Y = T
x
X +T
x
Z. Equivalentemente, podemos decir que la inclusion j : X Y es
transversal a Z en x. Denotaremos X

Z. Ademas, puesto que j
1
(Z) = XZ, ob-
tenemos teoremas para concluir si la interseccion de dos variedades es una variedad,
y calcular los espacios tangentes y las codimensiones:
T
x
(X Z) = T
x
X T
x
Z,
codim
x
(Y, X Z) = codim
x
(Y, X) + codim
x
(Y, Z).
Recprocamente, una aplicacion diferenciable f : X Y es transversal a Z Y
si y solo si su grafo G
f
lo es a X Z. De nuevo esto solo es un ejercicio de algebra
lineal, usando las deniciones: G
f
(x,f(x))
X Z si y solo si
T
(x,f(x))
(X Y ) = T
(x,f(x))
G
f
+T
(x,f(x))
(X Z),
y teniendo en cuenta que el espacio tangente al grafo es el grafo de la diferencial, la
anterior igualdad signica:
T
(x,f(x))
(X Y )
_
T
(x,f(x))
(X Z) T
f(x)
Y
_
T
f(x)
Z =
_
d
x
f(T
x
X) +T
f(x)
Z
__
T
f(x)
Z,
o sea, f

x
Z.
Transversalidad de aplicaciones. Decimos que k aplicaciones diferenciables
f
1
: X
1
Y, . . . , f
k
: X
k
Y,
son transversales en un punto x = (x
1
, . . . , x
k
) X
1
X
k
tal que f
1
(x
1
) =
= f
k
(x
k
) = y Y si se verica
T
y
Y T
y
Y = d
x
1
f
1
(T
x
1
X
1
) d
x
k
f
k
(T
x
k
X
k
) +D,
donde D es la diagonal de T
y
Y T
y
Y . Esta condicion equivale a que la aplicacion
f
1
f
k
: X
1
X
k
Y Y
sea transversal en x a la diagonal de Y Y . De nuevo, la transversalidad
general puede denirse a partir de esta. Una aplicacion f : X Y es transversal a
Z Y si f y la inclusion j : Z Y son transversales en (x, f(x)). La demostracion
es la habitual manipulacion algebraica de los espacios tangentes. Resulta tambien
que la transversalidad de dos variedades se dene a partir de la de aplicaciones.
De hecho, se puede denir la transversalidad de mas de dos variedades X
i
Y en
terminos de la transversalidad de las inclusiones j
i
: X
i
Y , y resulta la condicion
codim(T
x
X
1
T
x
X
k
) = codimT
x
X
1
+ + codimT
x
X
k
(codimensiones en T
x
Y ) para cada x X
1
X
k
. As se obtienen criterios para
que la interseccion X
1
X
k
de un n umero arbitrario de variedades sea variedad.
Finalmente, se nalemos que dos aplicaciones f
1
, f
2
son transversales en un punto
(x
1
, x
2
) X
1
X
2
tal que f
1
(x
1
) = f
2
(x
2
) = y si y solo si la aplicacion lineal
d
x
1
f
1
d
x
2
f
2
: T
x
1
X
1
T
x
2
X
2
T
y
Y es suprayectiva.
Observaciones y ejemplos. (1) La transversalidad es la situacion generica. Por
ejemplo, dos rectas en R
2
: ax +by = c,
: a
x +b
y = c
,
se cortan transversalmente salvo si son paralelas, lo que ocurre solo en la situacion
especial ab
b = 0.
`
`
`
`
`
`
`
`
`
'
'
'
'
'
'
'
'
'
'
'
'
'
'
'
'
ab
,= a
b
ab
= a
b
Se pueden poner ejemplos similares con conicas o con variedades mas generales.
En realidad esto se vera con todo rigor en los denominados teoremas de densidad de
la transversalidad.
(2) Otra forma de plantear esta idea es que si no hay transversalidad, esta apa-
rece siempre despues de una perturbacion arbitrariamente peque na. Por ejemplo, la
aplicacion f : R R
2
: t (t, t
2
) no es transversal a Z = x = 0 en t = 0, pero
s lo es f
: R R
2
: t (t, t
2
) (para < 0 es trivial, pero para > 0 es
signicativo).
`
`
`
`
`
`
s s s
f f
transversal
`
`
`
transversal

tangente
`
4. Teorema de Sard-Brown 61
4. Teorema de Sard-Brown
Para hacer rigurosa la idea de que la transversalidad es la condicion mas frecuen-
te, y que si no se da es posible reducirse a ella, necesitamos un teorema de analisis:
el teorema de Sard-Brown. Para formularlo, introducimos la siguiente denicion:
Denicion 4.1 Sea f : X Y una aplicacion diferenciable. Un valor regular de f
es un punto y Y tal que f es sumersion en toda la bra f
1
(y). Convenimos que
esto se verica trivialmente si y / f(X). El conjunto de valores regulares de f se
denota V R(f).
Observaciones y terminologa adicional. (1) Un punto y / V R(f) se llama
valor crtico. Esto signica que existe x f
1
(y) tal que d
x
f : T
x
X T
y
Y no es
suprayectiva; tal x se llama en ocasiones punto crtico de f. Debe siempre distinguirse
cuidadosamente entre valores y puntos.
(2) Si dim
x
X < dim
f(x)
Y , entonces d
x
f no puede ser suprayectiva, luego f(x) /
V R(f). En particular, si la desigualdad anterior se cumple para todo x X, entonces
V R(f) = Y f(X).
(3) El conjunto C(f) X de puntos crticos de f es cerrado (su complementario
es el conjunto de puntos en el que f es sumersion), y V R(f) = Y f(C(f)). Si f es
cerrada podemos concluir que V R(f) es abierto, pero no en general.
(4) Cerca de un valor regular una aplicacion propia se comporta como un recubri-
miento no ramicado: si f : X Y es diferenciable, propia, X = , e y V R(f)
es tal que dimX = dim
y
Y , entonces f
1
(y) = x
1
, . . . , x
k
y existen entornos V
de y en Y , U
1
, . . . , U
k
de x
1
, . . . , x
k
en X, de modo que U
i
U
j
= para i ,= j,
f
1
(V ) = U
1
U
k
y cada restriccion f[U
i
: U
i
V es un difeomorsmo.
En efecto, en primer lugar, f
1
(y) es una variedad compacta de dimension cero,
luego un conjunto nito. Por el teorema de inversion local, existen entornos disjuntos
W
i
de x
i
, y W de y de modo que f[W
i
: W
i
W es un difeomorsmo. Finalmente,
como f es propia, podemos tomar
V = W f(X W
1
W
k
); U
i
= W
i
f
1
(V ).
(5) Una consecuencia enga nosamente simple de (4) es el teorema fundamental
del algebra: todo polinomio con coecientes complejos tiene alguna raz compleja.
En efecto, dado P C[z], la aplicacion f : R
2
C C : (x, y) P(x + iy)
tiene por puntos crticos los ceros de P/z, luego C V R(f) es nito, y V R(f) es
conexo. Por otra parte el hecho de que
lm
|z|+
[P(z)[ = +
signica que f es propia. Ahora (4) muestra que #f
1
(z) = q es localmente cons-
tante en V R(f), luego constante. Evidentemente q > 0, luego V R(f) f(C). Pero
como f es propia, su imagen f(C) es cerrada, y concluimos f(C) = C.
El resultado fundamental es el siguiente:
Teorema 4.2 (Teorema de Sard-Brown) Sea f : X Y una aplicacion de clase
r 1, X e Y de dimensiones puras p y q respectivamente. Si r > p q, el conjunto
de valores regulares de f es residual, y por tanto denso, en Y .
Un conjunto se llama residual cuando contiene una interseccion numerable de
abiertos densos. En nuestra situacion, como Y R
n
es localmente compacto, se
verica el teorema de Baire: toda interseccion numerable de abiertos densos es a su
vez un conjunto denso. Por ello la conclusion ultima del enunciado.
Puesto que los valores regulares son el complementario de la imagen de los puntos
crticos, se puede enunciar el mismo resultado diciendo que f(C(f)) esta contenido en
una union numerable de cerrados de interior vaco. Esta formulacion es de naturaleza
local tanto en X como en Y : supongamos que para cada x X existen entornos
abiertos U X de x y V Y de y = f(x) tales que f(U) V y f(C(f) U)
esta contenido en la union numerable de ciertos cerrados F
k
de interior vaco en V ;
observamos que la adherencia F
U,k
de F
k
en Y tiene interior vaco en Y . Si ahora
recubrimos X con una cantidad numerable de abiertos U, concluimos que f(C(f))
esta contenido en la union numerable de los F
U,k
correspondientes.
Por lo anterior, localizando se puede suponer que X = U H
p
e Y = V H
q
para dos abiertos U de R
p
y V de R
q
, y que f es la restriccion de una aplicacion
g : U R
q
de clase r. Entonces f(C(f)) g(C(g)) Y , y el resultado para f se
sigue del resultado para g. As eludimos la consideracion del borde.
Despues de las reducciones precedentes, la demostracion del teorema pertenece
en realidad a la teora de la medida, pues se demuestra lo siguiente:
Sean U un abierto de R
p
y f : U R
q
una aplicacion de clase r > p q.
Entonces f(C(f)) tiene medida nula.
4. Teorema de Sard-Brown 63
Recordemos que un conjunto tiene medida nula cuando esta contenido en una
union numerable de cubos cuyo volumen total puede tomarse arbitrariamente pe-
que no. Se ve facilmente que una union numerable de conjuntos de medida nula tiene
tambien medida nula, por lo que tener medida nula es una cuestion de naturaleza
local. Es tambien basico que un conjunto de medida nula tiene interior vaco. En
nuestro caso, esto implica inmediatamente que V R(f) es residual. En efecto, como
ya sabemos, C(f) es cerrado, luego es union numerable de compactos, y por ello,
tambien f(C(f)) es union numerable de compactos (luego cerrados), cada uno de
los cuales tendra interior vaco, por estar contenido en f(C(f)).
El argumento es extremadamente tecnico si f es de clase r nita. Aqu haremos
la demostracion suponiendo que f es de clase innito, en cuyo caso no hay ninguna
restriccion sobre las dimensiones p y q.
Demostracion. Seguimos paso a paso el argumento de J. Milnor. Se razona por
induccion sobre p 0. Como debe ser q 1, para p = 0 es trivial. Sea pues p 1 y
cierto el resultado si la dimensi on del dominio es < p. Denotamos
C
i
=x U : todas las derivadas parciales de orden i se anulan en x
y tenemos as una sucesion de conjuntos cerrados
C(f) C
1
C
2
C
3
.
Procedemos en varias etapas.
(a) El conjunto f(C(f) C
1
) tiene medida nula.
Veremos que cada punto a C(f) C
1
tiene un entorno V tal que f(C(f) V )
tiene medida nula. Recubriendo C(f) C
1
por una cantidad numerable de esos
entornos se seguira la conclusion. Fijamos pues a, y alguna derivada parcial de f
no se anula en a, digamos
f
1
x
1
(a) ,= 0. Entonces h(x) = (f
1
(x), x
2
, . . . , x
p
) es un
difeomorsmo local en a, y podemos reemplazar f por f h
1
en un entorno V de
a. En otras palabras, podemos suponer que f
1
(x) = x
1
en V , con lo que f preserva
cada hiperplano x
1
= t; denotaremos por g la restriccion de f a ese hiperplano.
Observamos que para un punto x = (t, x
) V se tiene
Df(x) =
_
1 0
Dg(x
)
_
de modo que si Df(x) no es suprayectiva, tampoco lo es Dg(x
). Esto signica que

si x C(f) V , entonces x
C(g). As tenemos
f(C(f) V ) x
1
= t = f(C(f) x
1
= t) g(C(g)),
y el ultimo conjunto tiene medida nula por hipotesis de induccion. En suma, el con-
junto f(C(f) V ) corta a cada hiperplano x
1
= t en un conjunto de medida nula, y
el teorema de Fubini garantiza entonces que el propio f(C(f)V ) tiene medida nula.
(b) Cada conjunto f(C
i
C
i+1
Como antes, vemos que cada punto a C
i
C
i+1
tiene un entorno V tal que f(C
i
V )
tiene medida nula. Por denicion, existe una derivada parcial w de f de orden i que se
anula en a, pero tal que w(a)/x
j
,= 0, para jar notaciones, suponemos j = 1. En-
tonces h(x) = (w(x), x
2
, . . . , x
p
) es un difeomorsmo local en a y para cierto entorno
V de a esta denido su inverso h
1
: W V . Se verica h(C
i
V ) x
1
= 0, y ca-
da punto de h(C
i
V ) es un punto crtico de la restriccion g = f h
1
[Wx
1
= 0.
Por tanto, f(C
i
V ) = g(h(C
i
V )) g(C(g)), y el ultimo conjunto tiene medida
nula por hipotesis de induccion.
(c) Si i > p/q 1, el conjunto f(C
i
Consideramos un cubo compacto K U de lado > 0 y vemos que f(C
i
K) tiene
medida nula. Recubriendo C
i
por una cantidad numerable de cubos K se seguira lo
que se quiere. Pero, por la formula de Taylor y la denicion de C
i
, se tiene
f(y) = f(x) +R(x, y), |R(x, y)| c|y x|
i+1
para x, y C
i
K. La constante c depende solo de f y del compacto K. Ahora
subdividimos K en n
p
cubos L de lado /n y diagonal

p/n. Elegimos x C
i
L,
y para cada y L se tiene
|f(y) f(x)| |R(x, y)| c|y x|
i+1
= c
_
p
n
_
i+1
de modo que f(L) esta contenido en el cubo L
de centro f(x) y lado 2. En

consecuencia, f(C
i
K) esta contenido en la union de a lo mas n
p
cubos de lado 2,
y cuyo volumen total
cte n
pq(i+1)
tiende a cero cuando n , por la eleccion de i. Queda probado (c).
Es claro que los tres hechos (a), (b) y (c) anteriores completan la demostracion
del teorema de Sard.
5. Densidad de la transversalidad 65
5. Densidad de la transversalidad
El siguiente teorema parametrizado de densidad de la transversalidad es la ex-
presion correcta de las ideas intuitivas sobre la genericidad de la transversalidad:
Teorema 5.1 Sean B, X, Y variedades de clase r 1, B e Y sin borde, y Z
Y otra variedad de clase r sin borde, todas de dimensi on pura de modo que r >
dim(X) codim(Z, Y ). Sea F : B X Y una aplicacion de clase r tal que F y
F[BX son transversales a Z. Denotamos por B
Z
al conjunto de los puntos a B
tales que la aplicacion parcial F
a
: X Y y su restriccion F
a
[X son transversales
a Z. Entonces B
Z
es residual, y por tanto denso, en B.
Demostracion. Por hipotesis sobre F, la imagen inversa N = F
1
(Z) B X es
una variedad de codimension igual a la de Z, luego:
dim(N) = dim(B) + dim(X) codim(Y, Z) < dim(B) +r,
y r > dim(N)dim(B). En consecuencia podemos aplicar el teorema de Sard-Brown
a la aplicacion de clase r
: N B : (a, x) a,
y el conjunto V R() es residual en B. Por otra parte, el borde de N es la interseccion
N (B X) y tiene dimension igual a dimN 1 < dimN, luego por lo mismo
que lo era V R(), tambien V R([N) es residual en B.
Sea ahora a V R() y veamos que f = F
a
es transversal a Z en x X con z =
F(a, x) Z. Denotamos por g : B Y la aplicacion parcial de F correspondiente
a jar la segunda variable x. Se tiene:
d
(a,x)
F : T
a
B T
x
X T
z
Y : (, ) d
a
g() +d
x
f().
Por tanto, F

Z signica
T
z
Y = T
z
Z +d
a
g(T
a
B) +d
x
f(T
x
X).
Se trata pues de estudiar d
a
g() con T
a
B. Pero sabemos que a es un valor regular
de , y como (a, x) F
1
(Z) = N, eso quiere decir que d
(a,x)
: T
(a,x)
N T
a
B es
suprayectiva. As,
= d
(a,x)
(, ), (, ) T
(a,x)
N T
a
B T
x
X.
Como es simplemente la proyeccion, resulta = , luego tenemos T
x
X tal
que
(, ) T
(a,x)
N = (d
(a,x)
F)
1
(T
z
Z),
o sea
d
a
g() +d
x
f() = d
(a,x)
F(, ) T
z
Z,
con lo que
d
a
g() T
z
Z +d
x
f(T
x
X).
Concluimos as
T
z
Y = T
z
Z +d
x
f(T
x
X)
como se pretenda.
Para a V R([N) se razona analogamente y vemos que f[X = F
a
[X es
transversal a Z. En consecuencia,
V R() V R([N) B
Z
,
y B
Z
es residual.
Ejemplos. (1) Si X, Z son variedades contenidas en un mismo espacio afn R
n
, Z
sin borde, entonces casi cualquier translacion a +X es transversal a Z.
Basta aplicar el teorema anterior a F : R
n
X R
n
: (a, x) a +x.
(2) Si f : X R
n
es una aplicacion diferenciable, y Z R
n
no tiene borde,
casi cualquier translacion a +f es transversal a Z.
Se aplica el teorema a F : R
n
X R
n
: (a, x) a +f(x).
6. Teorema de inmersion de Whitney
Aunque con nuestro enfoque todas las variedades estan sumergidas en un espacio
afn, es importante poder sumergirlas como un conjunto cerrado, y hacerlo con la
codimension menor posible. Esta es de hecho la parte no elemental del teorema de
Whitney.
Teorema 6.1 (Teorema de inmersion de Whitney) Sea X R
m
una variedad de
clase r 2 y dimension pura p. Entonces existe una inmersion difeom orca cerrada
f : X R
2p+1
.
6. Teorema de inmersi on de Whitney 67
Demostracion. Supongamos primero m > 2p+1. Consideramos entonces para cada
u = (u
1
, . . . , u
m
) R
m
con |u| = 1, u
m
,= 0, 1, la proyeccion paralela a u de
ecuaciones
u
: R
m
R
m1
R
m1
0 : x y = x +u, = x
m
/u
m
,
cuya restriccion g
u
: X R
m1
es diferenciable. Armamos:
(1) El conjunto de los u tales que g
u
es inyectiva es residual en S
m1
.
En efecto, la aplicacion
: X X S
m1
: (x
1
, x
2
)
x
1
x
2
|x
1
x
2
|
tiene por imagen precisamente los u tales que g
u
no es inyectiva. Pero esa imagen
se descompone como
(X X ) (X Int(X) ),
con dim(X X) = 2p 1 < m 1, dim(X Int(X)) = 2p < m 1. As,
la conclusion resulta del teorema de Sard-Brown (se recurre a la descomposicion
anterior para evitar el producto de dos variedades con borde).
Para seguir adelante construimos el denominado brado tangente unitario
SX = (x, u) TX : |u| = 1.
Para ver que este conjunto es una variedad consideramos la aplicacion
N : TX R : (x, u) |u|
2
.
En esta situacion, SX = N
1
(1), y para ver como decimos que SX es una variedad
basta ver que tanto N como N[X son sumersion en cada punto (x, u) SX. Pero
como en su momento se nalamos, esto se sigue de que N tiene en un entorno de
(x, u) la siguiente inversa por la derecha: tomamos > 0 sucientemente peque no y
denimos
: (1 , 1 +) TX : t (x, +
tu).
El mismo argumento vale para N[X, pues si x X, entonces toma valores en
TX. En suma, SX es una hipersupercie de TX y su dimension es 2p1 < m1.
Ahora denimos la aplicacion diferenciable
: SX S
m1
: (x, u) u,
y su imagen consiste en los u tales que u T
x
X para alg un x X, o sea, en los u
tales que alg un T
x
X es paralelo a la direccion de la proyeccion
u
, o sea, en los u tales
que para alg un x X la restriccion
u
[T
x
X : T
x
X R
m1
no es inyectiva. Como
esa restriccion es la derivada de g
u
: X R
m1
podemos reformular esa conclusion
diciendo que la imagen de consiste en los u tales que g
u
no es inmersion. Como
dimSX = 2p 1 < m1, de nuevo el teorema de Sard-Brown nos permite deducir:
(2) El conjunto de los u tales que g
u
es inmersion es residual en S
m1
.
Por este procedimiento hemos probado la existencia de inmersiones inyectivas g :
X R
m1
. Si X es compacta, entonces por continuidad su imagen g(X) tambien lo
es, y g : X g(X) un homeomorsmo, con lo que g es una inmersion difeomorca
cerrada. La demostracion termina as, pues si m 1 > 2p + 1 podemos repetir el
proceso. En el caso en que X no es compacta, debemos prolongar el razonamiento.
Primeramente, construiremos una aplicacion : X R propia y diferenciable
(de nuevo algo trivial si X es compacta). Recubrimos para ello X por abiertos U
k
,
k 1, con U
k
compacto, y tomamos una particion diferenciable de la unidad
k
subordinada a los U
k
. Entonces =
k
k
k
es la solucion: si x / U
1
U
k
(x) =
>k
(x) > k
>k
(x) = k.
Ademas, consideramos la retracci on radial
: R
m1
R
m1
: x
x
_
1 +|x|
2
y la combinamos con la inmersion inyectiva g : X R
m1
ya construida para denir
f : X R
m
: x ( g(x), (x)).
Esta aplicacion es una inmersion inyectiva propia (por todas las propiedades de g,
y ), cuya imagen Y = f(X) es por tanto una variedad de dimension p, cerrada
en R
m
. Finalmente, repetimos el argumento previo y encontramos una inmersion
inyectiva h : Y R
m1
. Armamos que h f : X R
m1
es una inmersion
difeomorca cerrada, lo que concluye la demostracion en este caso no compacto.
En efecto, si hf no fuera propia, existira una sucesion x
k
en X con |x
k
|
pero |h f(x
k
)| cte. Pero entonces, recordando que h es la proyeccion paralela
a un vector v = (v
, v
m
) S
m1
con v
m
,= 0, 1, y teniendo en cuenta todas las
deniciones involucradas, tenemos:
h f(x
k
) = g(x
k
)
(x
k
)
v
m
v
,
Problemas 69
o sea:
[(x
k
)[
[v
m
[
|v
| [h f(x
k
)| +| g(x
k
)| cte + 1,
lo que al ser propia implicara |v
| = 0 y por tanto v
m
= 1, lo que explica por
que se han excluido estos valores de v
m
desde el principio en todas las construcciones.
Problemas
n
R una funcion diferenciable homogenea de grado d, es decir,
tal que f(tx) = t
d
f(x) para t R, x R
n
.
(1) Establecer la siguiente igualdad de Euler para funciones homogeneas:
n
i=1
x
i
f
x
i
= d f.
(2) Demostrar que cada ecuacion f =, ,= 0, dene una hipersupercie diferenciable
X
de R
n
.
(3) Probar que X
es difeomorfa a X
1
para > 0 y a X
1
para < 0.
(4) Son necesariamente difeomorfas estas dos ultimas hipersupercies?
N umero 2. Se identica del modo natural R
nm
con el espacio vectorial de las aplicacio-
nes lineales R
m
R
n
, y se considera el subconjunto X R
nm
formado por las aplicaciones
cuya imagen es una recta.
(1) Demostrar que X es una variedad diferenciable, y calcular su dimension.
(2) Mostrar que es diferenciable la aplicacion f : X P
n1
: u a, donde a es el punto
proyectivo denido por la recta vectorial u(R
m
).
(3) Probar que f es una sumersion, exhibiendo localizaciones del tipo R
m1
(R
n
0)
R
n1
.
N umero 3. Demostrar que el conjunto X R
mn
de las matrices reales mn de rango
k es una variedad diferenciable y que su dimension es (m+n k)k.
N umero 4. Se identica R
nn
con el espacio vectorial de las matrices cuadradas de orden
n.
(1) Demostrar que el conjunto R
nn
de las matrices simetricas es una variedad
diferenciable difeomorfa a un espacio afn, y calcular su dimension.
(2) Comprobar que la aplicacion f : R
nn
: A A
t
A es diferenciable y calcular
su derivada en A R
nn
.
(3) Interpretar = f
1
(I) como el grupo ortogonal, deducir que ese grupo es una
variedad diferenciable compacta y sin borde, y calcular su dimension.
70 II. Transversalidad
N umero 5. Sean Y X dos variedades diferenciables, Y una interseccion completa de
codimension k de X. Demostrar que el ideal de las funciones diferenciables X R que se
anulan sobre Y esta generado por k elementos. Cuando k funciones generan ese ideal?
N umero 6. Sean X e Y dos variedades diferenciables y Z X Y una tercera variedad
diferenciable, todas sin borde. Demostrar que Z es el grafo de una aplicacion diferenciable
f : X Y si y solo si para cada x X la variedad Z corta transversalmente, y en un solo
punto, a x Y .
N umero 7. Demostrar que si una variedad de clase r 2 tiene dimension p, siempre existe
una inmersion f : X R
2p
. Mostrar que para la circunferencia esta cota de inmersion no
se puede mejorar.
N umero 8. Sea f : U R
n
una aplicacion diferenciable denida en un abierto U de R
m
,
m n. Demostrar que existen matrices A = (a
ij
) con max [a
ij
[ arbitrariamente peque no,
de modo que x = 0 es valor regular de la aplicacion x f(x) +A x.
N umero 9. Demostrar que si f : X Y es una aplicacion diferenciable suprayectiva,
entonces dimX dimY .
N umero 10. Sean X, Y, Z tres variedades, Y y Z sin borde, y f : X Y Z una
aplicacion diferenciable. Demostrar que el conjunto A de los z Z tales que f es transversal
a Y z es denso en Z.
N umero 11. Sean f : X R
n
y g : Y R
n
dos aplicaciones diferenciables, una de las
variedades X o Y sin borde. Pruebese que el conjunto A de los u R
n
tales que la aplicacion
f +u es transversal a g es residual en R
n
.
71
Captulo III
Aproximaci on
Una razon por la cual la Topologa Diferencial ocupa un lugar predominante en la Ma-
tematica actual es que permite tratar con exito cuestiones que se plantean inicialmente
fuera de su alcance. De nuevo se puede describir empricamente el procedimiento: los datos
de partida se reemplazan adecuadamente por datos diferenciables y se resuelve el proble-
ma as modicado. Ese reemplazo se formaliza por aproximacion. El teorema mas clasico
que se puede citar aqu es el de Stone-Weierstrass para aproximar por polinomios funciones
continuas sobre compactos anes. El objetivo de este captulo es demostrar los dos resulta-
dos siguientes para aplicaciones entre variedades diferenciables: (1) toda aplicacion continua
puede aproximarse arbitrariamente por aplicaciones diferenciables (seccion 4), y (2) toda
aplicacion continua es homotopa a aplicaciones diferenciables transversales a una variedad
prejada (seccion 6). Estos dos teoremas principales se complementan con el hecho de que
la homotopa continua entre aplicaciones diferenciables garantiza la homotopa diferenciable
(secci on 5). Ademas, se obtienen los enunciados correspondientes para aplicaciones y homo-
topas propias, con un resultado mejor en este caso (seccion 7). Para llegar a estos objetivos,
se dene primero en la seccion 1 el brado normal de una variedad en el espacio afn que la
contiene, y con el se construye en la seccion 2 una base de entornos especiales de la variedad:
los entornos tubulares. Por otra parte, es necesario dar signicado topologico riguroso a la
proximidad de aplicaciones, lo que aqu se hace introduciendo en la seccion 3 la topologa
fuerte de un espacio de aplicaciones continuas. Una propiedad que explica la eleccion de esta
topologa es que toda aplicaci on sucientemente proxima a una dada es homotopa a ella.
72 III. Aproximaci on
1. Fibrado normal
Sea X R
m
una variedad de clase r 1 y de dimension pura p.
Construccion del brado normal. Para cada x X denotamos por N
x
X el
subespacio vectorial de R
m
ortogonal a T
x
X, que se denomina espacio normal a X
en x. Claramente
dimN
x
X = mp, N
x
X T
x
X = R
m
.
Ahora, sea
NX = (x, u) X R
m
: u N
x
X X R
m
R
m
R
m
y consideremos la restriccion : NX X de la proyeccion lineal
R
m
R
m
R
m
: (x, u) x.
El par (NX, ), denotado simplemente NX, se denomina brado normal de X en
R
m
.
Es claro que es una aplicacion diferenciable, y que su bra sobre un punto
x X se identica con el espacio normal a X en x. Ademas tiene una inversa
por la derecha, denominada seccion nula del brado: x (x, 0). Esta seccion nula
es claramente diferenciable, y un difeomorsmo sobre su imagen X 0 NX.
Ademas:
Proposicion 1.1 En la situacion anterior, NX R
2m
es una variedad de clase
r 1, dimension pura m, y borde (NX) =
1
(X).
Demostracion. Sea a X. Como hicimos en la seccion sobre intersecciones comple-
tas, consideramos una parametrizacion adaptada : U V , a V , de modo que
X V =
_
U (H
p
0)
_
, y las funciones
f
i
: V R : x
1
(x) = (z
1
, . . . , z
m
) z
i
, p < i m.
Las derivadas d
x
f
p+1
, . . . , d
x
f
m
son independientes, y para cada x X V se tiene
T
x
X = ker(d
x
f
p+1
) ker(d
x
f
m
).
Esto signica que los vectores
x
f
i
=
_
f
i
x
1
(x), . . . ,
f
i
x
m
(x)
_
, p < i m,
2. Entornos tubulares 73
son independientes, y ortogonales a T
x
X, luego una base del espacio vectorial N
x
X.
Concluimos que la aplicacion
: U R
mp
V R
m
: (z, t) ((z),
1imp
t
i
(z)
f
p+i
)
es una inmersion difeomorca, y tambien lo es su restriccion
[ :
_
U (H
p
0)
_
R
mp
(V X) R
m
= W.
Pero la imagen de esta restriccion es WNX =
1
(V X). Con esto la proposicion
resulta inmediatamente.
Observese que de la demostracion anterior se desprende que la aplicacion tiene
la forma local canonica de una proyeccion lineal, y es por tanto una sumersion.
2. Entornos tubulares
Mediante el brado normal se obtienen entornos especiales de una variedad X en
el espacio afn R
m
que la contiene. Estos entornos son esenciales para los resultados
de aproximacion que probaremos.
m
una variedad sin borde de clase r 2 y sea NX su
brado normal. Entonces la aplicaci on
e : NX R
m
: (x, u) z = x +u
es de clase r 1 y existe un entorno abierto de X 0 en NX tal que:
(1) La imagen e() = W es un entorno abierto de X en R
m
.
(2) La restriccion e[ : W es un difeomorsmo de clase r 1.
Demostracion. Que e es de clase r 1 es obvio. Veamos ahora que es un difeo-
morsmo local en todo punto (a, 0) X 0. Por el teorema de inversion local
basta ver que d
(a,0)
e es biyectiva, y puesto que dimNX = dimR
m
, basta ver que es
suprayectiva. Ahora bien, componiendo e con la seccion nula del brado normal
X NX : x (x, 0)
resulta la inclusion X R
m
, y aplicando la regla de la cadena vemos que la imagen
de d
(a,0)
e contiene el espacio tangente T
a
X. El mismo razonamiento, componiendo
ahora e con la inmersion
N
a
X NX : u (a, u)
deducimos que esa imagen contiene N
a
X. En n, im(d
(a,0)
e) contiene la suma T
a
X+
N
a
X = R
m
, y tenemos la suprayectividad requerida.
Visto lo anterior, concluiremos lo que queremos si encontramos un entorno abier-
to de X 0 en NX, tal que e[ sea inyectiva. Para hacer eso, denimos una
funcion : X R por la formula siguiente:
(x) es el nmo de los s R tales que existen u R
m
e (y, v) NX con
|v| |u| = s, x ,= y, e(x, u) = e(y, v).
Evidentemente, e es inyectiva en el conjunto
E = (x, u) NX : |u| < (x),
y para terminar veremos que E es un entorno de X0, con lo que bastara tomar
como el interior topologico de E.
Sea a X. Por lo visto al principio, e es inyectiva en un entorno V de (a, 0), que
podemos elegir de la forma V : |x a| +|u| < . Un sencillo calculo muestra que
(x)
1
6
si |x a| <
1
2
,
de donde se deduce
E (x, u) NX : |x a| <
1
2
, |u| <
1
6
,
que es un entorno abierto de (a, 0).
Seg un la ultima proposicion, obtenemos un diagrama conmutativo:
NX
[
e
difeo
X
R
m
(x, u) z = x +u
x
2. Entornos tubulares 75
que jamos en todo lo que sigue. Observamos que es una sumersion (por serlo )
y una retracci on sobre X (es decir, [X = Id
X
).
Proposicion 2.2 En la situacion anterior, existe una aplicacion continua y estric-
tamente positiva : X R tal que la restriccion
[ : W

=
_
z W : |z (z)| ((z))
_
X
es propia.
Demostracion. Por ser e : W difeomorsmo, basta buscar tal que
[ :

= (x, u) : |u| (x) X
sea propia. Pero es un entorno abierto de X 0 en NX, y la funcion
: X R : x
1
2
d((x, 0), NX )
es continua y estrictamente positiva. Ahora, si (x, u) NX y |u| (x) resulta
d((x, 0), (x, u)) = |u| < d((x, 0), NX ), con lo que (x, u) (todo esto usando
la distancia eucldea en NX X R
m
R
2m
). Resta ver que la restriccion [

es propia. Para ello, sea (x
k
, u
k
)

tal que exista el lmite a = lm
k
x
k
. Entonces
|u
k
| (x
k
) (a) + cte, para k sucientemente grande (continuidad de ), y por
tanto la sucesion (u
k
) tiene alguna subsucesion convergente, digamos a u R
m
.
Veamos que u N
a
X. Pero ya hemos visto antes que podemos encontrar funciones
diferenciables g
1
, . . . , g
mp
: U R
m
denidas en un entorno U de a, de modo que
g
1
(x), . . . , g
mp
(x) son una base de N
x
X para cada x U. Por tanto, para k grande:
rango(u
k
, g
1
(x
k
), . . . , g
mp
(x
k
)) = mp,
y pasando al lmite
rango(u, g
1
(a), . . . , g
mp
(a)) = mp,
luego u N
a
X. Finalmente, |u
k
| (x
k
) implica |u| (a) y por la nota inicial,
(a, u)

.
Observaciones y terminologa. (1) Si X es cerrado en R
m
, podemos elegir de
modo que W

sea cerrado en R
m
, con lo que W
W

.
En efecto, sea W
1
un entorno abierto de X tal que W
1
W, que existe por la
hipotesis sobre X. El conjunto W

W
1
es cerrado en R
m
, y para sucientemente
peque no, W

W
1
,
>
>
>
>
>
>
>>
s
`
`
`
`
`
`
`
`
`
`
`
`
s
X
R
m
W

W
1
W
N
x
X
T
x
X
x = (y)
y
(x)
`
--
(2) Si X es compacta, : X R tendra un mnimo > 0, con lo que reemplazando
la funcion por su mnimo, podemos suponerla constante.
(3) Por brevedad, resumiremos la situacion que acabamos de describir sin men-
cionar explcitamente todos los datos , W, , , etc.: diremos simplemente que
W
= z W : |z (z)| < ((z)) W

W
es un entorno tubular o un tubo de X en R
m
. Notese que por la propia construccion
esos tubos son una base de entornos de X en R
m
.
3. Espacios de aplicaciones
Utilizaremos los tubos de la seccion anterior para aproximar aplicaciones entre
variedades. Pero antes es necesario denir con precision que entendemos aqu por
aproximar. Aunque muchas de las observaciones que siguen son validas en condi-
ciones mas generales, simplicaremos la exposicion suponiendo siempre la siguiente
situacion: X R
m
es un conjunto cualquiera e Y R
n
una variedad de clase
r 0.
Denotamos por ((X, Y ) el conjunto de las aplicaciones continuas de X en Y , y
por (
r
(X, Y ) el de las de clase r. Como se ha advertido antes, no es necesariamente
( = (
0
.
Proposicion y Denicion 3.1 Sea f : X Y una aplicacion continua. Para
3. Espacios de aplicaciones 77
cada aplicacion continua estrictamente positiva : X R denotamos:
B
(f) = g ((X, Y ) : |g f| < .

Todos estos B
(f) forman una base de entornos abiertos de f para una topologa en

((X, Y ).
Esta topologa se denomina topologa fuerte.
Demostracion. En efecto, B
1
(f) B
2
(f) = B
(f) para = mn
1
,
2
, y si
g B
(f), la aplicacion
= |f g| : X R
es continua y estrictamente positiva, y se cumple B
(g) B
(f).
Observacion. Si X es compacto, entonces tiene mnimo
0
, y B
(f) B
0
(f).
Por tanto en este caso, los entornos denidos por funciones constantes forman ya
una base de entornos.
Hay muchas formas de introducir la topologa fuerte, as como otras topologas
mas o menos nas. Aqu intentamos reducir las generalidades sobre topologas en
espacios de aplicaciones a la sola denicion y el hecho de que la topologa fuerte no
depende mas que del tipo topologico de X e Y . Para ello hay que encontrar una
base de la topologa que no involucre normas ni distancias.
Proposicion 3.2 Para cada abierto W de X Y denotamos
U
W
= h ((X, Y ) : grafo(h) W.
Entonces los U
W
son una base de la topologa fuerte.
Demostracion. Veamos que U
W
es abierto. Si f U
W
entonces
(x) = d
_
(x, f(x)), X Y W
_
, x X,
es una funcion continua y estrictamente positiva, y B
(f) U
W
: si g B
(f),
x X, la desigualdad
d
_
(x, f(x)), (x, g(x))
_
= |f(x) g(x)| < (x) = d
_
(x, f(x)), X Y W
_
implica (x, g(x)) W.
Recprocamente, dados g B
(f), el conjunto
W = (x, y) X Y : d
_
(x, y), (x, g(x))
_
< (x) |f(x) g(x)|
es abierto, y contiene el grafo de g; por tanto, g U
W
. Ademas, U
W
B
(f): si
h U
W
, x X, tenemos:
|h(x) f(x)| |h(x) g(x)| +|g(x) f(x)| =
= d
_
(x, h(x)), (x, g(x))
_
+|g(x) f(x)| < (x).
El resultado basico que necesitaremos es el siguiente:
Teorema 3.3 Supongamos que Y no tiene borde y sea f : X Y una aplicacion
continua (resp. propia). Entonces toda aplicacion continua g : X Y suciente-
mente proxima a f en la topologa fuerte es homotopa (resp. propiamente homotopa)
a f.
Demostracion. Por el teorema de inmersion de Whitney, podemos suponer que Y
es un cerrado en R
n
, y tomamos un tubo W de Y en R
n
, de modo que la retraccion
: W Y esta denida y es propia. Entonces la funcion
: X R : x d(f(x), R
n
W) > 0
es continua. Sea g : X Y continua tal que |f g| < mn1, . Podemos denir
F : [0, 1] X W : (t, x) tf(x) + (1 t)g(x).
En efecto, tenemos
|f(x) F(t, x)| =
_
_
f(x)
_
tf(x) + (1 t)g(x)
__
_
=
[1 t[|f(x) g(x)| < (x) = d(f(x), R
n
W),
luego F(t, x) W.
En esta situacion H
t
= F
t
es una homotopa con H
0
= g, H
1
= f. Ahora, si
f es propia, debemos ver que lo es H. Como : W Y es propia, basta ver que F
es propia. Sean pues (t
k
, x
k
) una sucesion cuyas imagenes y
k
= F(t
k
, x
k
) converjan
a un punto b W. Buscamos una subsucesion convergente de esos (t
k
, x
k
), pero
|f(x
k
)| |f(x
k
) F(t
k
, x
k
)| +|F(t
k
, x
k
)| =
[1 t
k
[|f(x
k
) g(x
k
)| +|y
k
| 1 +|y
k
|,
4. Aproximaci on por aplicaciones diferenciables 79
y como los y
k
convergen, su norma es acotada. Como Y es cerrado en R
n
, resulta
que f : X R
n
es propia, y se sigue que los x
k
tienen alguna subsucesion con-
vergente. En n, la correspondiente subsucesion de los t
k
en [0, 1] tendra otra tam-
bien convergente, y obtenemos la subsucesion convergente de los (t
k
, x
k
) buscada.
Observaciones. (1) El preambulo involucrando el teorema de inmersion cerrada y
el tubo W cerrado en R
n
es necesario solo para la homotopa propia.
(2) Una forma de enunciar el teorema anterior es que las clases de homotopa
(resp. homotopa propia) son abiertas en la topologa fuerte. En particular, las apli-
caciones propias son un conjunto abierto en la topologa fuerte.
4. Aproximaci on por aplicaciones
diferenciables
El resultado central de esta seccion es:
Teorema 4.1 (Teorema de aproximacion diferenciable) Sean X R
m
un conjunto
localmente cerrado e Y R
n
una variedad sin borde de clase r 2. Sea C X un
subconjunto cerrado. Entonces toda aplicacion continua f : X Y cuya restriccion
a un entorno de C es de clase r1 puede aproximarse arbitrariamente en la topologa
fuerte por aplicaciones de clase r 1 que coinciden con f en un entorno de C.
Demostracion. Por ser X localmente cerrado, es cerrado en cierto abierto U de
R
m
. Por hipotesis, existe un entorno abierto U
de C en U tal que f[U
X es de
clase r 1. En consecuencia, por la version del teorema de Tietze que demostramos
para funciones de clase (I.3.3), existe una aplicacion f
: U
R
n
(no Y ) de clase
r 1 que coincide con f en U
X. A continuacion, como C es cerrado en U,

podemos elegir un entorno abierto V de C en U tal que V U
, y denimos del
modo evidente mediante f y f
una extension continua de f a D = V X que toma

valores en R
n
; notese que esta extension es de clase r 1 en el abierto V . Como
D es cerrado en U, por el teorema de Tietze para funciones continuas, obtenemos
una extension continua a todo U. De este modo, tenemos una aplicacion continua
U R
n
, que es de clase r 1 en el entorno abierto V de C en U, y extiende la
aplicacion f : X Y R
n
inicial; denotaremos esa extension nal por la misma
letra f : U R
n
.
Despues de estos preparativos, consideramos una funcion : X R continua
y estrictamente positiva. Por el teorema de extension de Tietze, esta funcion tiene
una extension continua a U, que denotamos con la misma letra : U R, y reem-
plazando U por > 0 podemos simplemente suponer denida y estrictamente
positiva en U.
Procedemos a continuacion en dos etapas.
Aproximacion de f : U R
n
. Por ser f continua, cada x U C tiene un entorno
U
x
U C tal que |f f(x)| < en U
x
. Sea ,
x
una particion diferenciable
de la unidad subordinada al recubrimiento V, U
x
de U, y denamos
h = f +
xU\C
f(x)
x
: U R
n
.
Es claro que h es de clase r 1, y se verica
|h(z) f(z)| =
_
_
_
_
xU\C
f(x)
x
(z)
_

xU\C
x
(z)
_
f(z)
_
_
_
_
xU\C
x
(z)|f(x) f(z)| < (z)
(pues si |f(x) f(z)| (z), entonces z / U
x
, con lo que
x
(z) = 0). Ademas,
F =
_
xU\C
x
,= 0
_
xU\C
U
x
U C,
y como la union es localmente nita, F es cerrado en U, con lo que U F es un
entorno abierto de C en el que todas las
x
se anulan, luego en el que 1 y h = f.
Retraccion de la aproximacion anterior mediante un tubo. Sea W un tubo de Y
en R
n
, y : W Y la retraccion correspondiente. Ahora la funcion
(x) =
d(f(x), R
m
W) es continua y estrictamente positiva en X. Podemos por tanto
reemplazar U por
> 0, o simplemente suponer f(U) W. Usando mn,
en lugar de en la etapa anterior, tendremos h(U) W.

Para x X, sea K
x
un entorno compacto de x en U y
x
> 0 el mnimo de en
K
x
. El conjunto
V
x
= y W : |(y) f(x)| <
1
2
(observese que f(x) = (f(x)) es un entorno abierto de f(x) en R

n
y contiene una
bola de centro f(x) y radio
x
<
x
. Sea B
x
la bola de centro f(x) y radio
1
2
x
.
Ahora, por continuidad, en un entorno abierto A
x
f
1
(B
x
) K
x
de x en U se
tiene |f f(x)| <
1
2
x
. Si reemplazamos U por la union de los A
x
podemos suponer
4. Aproximaci on por aplicaciones diferenciables 81
que recubren U, y mediante una particion de la unidad
x
xX
subordinada a
A
x
xX
, denimos
xX
1
2
x
: U R,
que es continua y estrictamente positiva. A continuacion reemplazamos por el
mnimo de ,
en la primera etapa, y armamos que la composicion g = h,

que esta bien denida y es de clase r 1 pues h(U) W, resuelve el problema.
En efecto, observese primero que como h coincide con f en un entorno de C, en
cada punto z de ese entorno es h(z) = f(z) Y , luego g(z) = h(z) = (f(z)) =
f(z). Dicho esto, resta solo estimar |g f| en X. Para ello, sea z X y
x
(z) ,= 0
exactamente para x = x
1
, . . . , x
s
X. Entonces
(z) =
1is
1
2
x
i
x
i
(z)
1
2
x
1
,
siendo, por ejemplo,
x
1
el maximo de los
x
i
. Como z A
x
1
, es f(z) B
x
1
, luego:
|h(z) f(x
1
)| |h(z) f(z)| +|f(z) f(x
1
)| <
(z) +
1
2
x
1

x
1
,
con lo que h(z) V
x
1
y |(h(z)) f(x
1
)| <
1
2
x
1
. Por otra parte, z A
x
1
tambien
implica |f(z) f(x
1
)| <
1
2
x
1
, o sea que
|g(z) f(z)| |(h(z)) f(x
1
)| +|f(z) f(x
1
)| <
x
1
,
y
x
1
< (z) pues z A
x
1
K
x
1
.
Observaciones. (1) Si en el enunciado anterior se toma C = , tenemos un resul-
tado de aproximacion simple sin restricciones sobre la aplicacion aproximante.
(2) En el enunciado anterior no se ha incluido la formulacion para la aproxi-
macion de una aplicacion propia f. La razon es que no es necesario hacerlo, pues
por formar las aplicaciones propias un abierto del espacio de aplicaciones, cualquier
aplicacion diferenciable que este sucientemente cercana a f sera propia.
Como consecuencia de este teorema y del de la seccion anterior obtenemos:
Corolario 4.2 Toda aplicacion continua (resp. propia) f : X Y es homotopa
(resp. propiamente homotopa) a una aplicacion de clase r 1.
5. Homotopa y homotopa diferenciable
Combinado con los resultados sobre homotopa y aproximacion ya vistos, el si-
guiente, debido a R. Thom, es de capital importancia.
Teorema 5.1 Sean X R
m
un conjunto localmente cerrado e Y R
n
una varie-
dad sin borde de clase r 2. Sean f, g : X Y dos aplicaciones de clase r 1
y homotopas (resp. propiamente homotopas). Entonces lo son por una homotopa
(resp. una homotopa propia) de clase r 1.
Demostracion. Despues de los resultados previamente obtenidos, podemos dar una
demostracion enga nosamente breve. Sea H : [0, 1] X Y continua (resp. propia)
con H
0
= f, H
1
= g. Consideramos una funcion meseta de clase innito : [0, 1]
[0, 1] que es 0 para 0 t
1
3
y 1 para
2
3
t 1 y modicamos la homotopa
anterior como sigue:
H
: [0, 1] X Y : (t, x) H((t), x).

Esta nueva homotopa es f para 0 t
1
3
y es g para
2
3
t 1), con lo
que es una aplicacion de clase r 1 en un entorno de C = 0, 1 X. As, por el
teorema de aproximacion, podemos reemplazar H
por una aplicacion de clase r 1,

que coincide con H
en un entorno de C, y que es por tanto una homotopa de clase

r 1 entre f y g.
6. Homotopa y transversalidad
Para la demostracion del teorema de esta seccion es necesario alg un procedimien-
to de deformacion de aplicaciones continuas. Nosotros usaremos el siguiente:
Proposicion 6.1 (Lema de deformacion por homotopa) Sean X R
m
un conjun-
to localmente cerrado, Y R
n
una variedad sin borde de clase r 2 y : X [0, 1]
una funcion de clase r 1. Sea f : X Y una aplicaci on (resp. una aplicacion
propia) de clase r 1. Existe una aplicacion F : B X Y de clase r 1, donde
B es la bola eucldea abierta de centro el origen y radio 1 de un espacio afn, tal que
(1) F(0, x) = f(x) para cada x X.
(2) Todas las aplicaciones parciales F
a
: X Y , a B, son homotopas (resp.
propiamente homotopas) a f.
6. Homotopa y transversalidad 83
(3) Si x X es tal que (x) ,= 0, la aplicacion parcial F
x
: B Y es una sumer-
sion.
(4) Si x X es tal que (x) = 0, entonces se tiene F(a, x) = f(x) y
F
a
(a, x) = 0,
F
x
(a, x) = d
x
f
para todo a B.
Demostracion. Por el teorema de inmersion de Whitney podemos suponer que
Y R
n
es un cerrado de R
n
, y tenemos un tubo W tal que la retraccion : W Y
esta denida y es propia. Construimos : Y R de clase r 1 como sigue. Primero
recubrimos Y con abiertos U
i
de R
n
cuya adherencia U
i
en R
n
sea compacta y
este contenida en W, y denotamos
d
i
= mnd(z, R
n
W) : z U
i
> 0.
Despues, mediante una particion diferenciable de la unidad
i
subordinada al
recubrimiento abierto U
i
denimos para y Y :
(y) =
i
(y) mn1, d
i
> 0.
Como
i
(y) ,= 0 implica y U
i
, resulta (y) d(y, R
n
W). Sea B la bola eucldea
abierta de R
n
de centro el origen y radio 1. Para cada a B, la aplicacion
F
a
: X Y : x
_
f(x) +
2
(x)(f(x))a
_
,
esta bien denida, pues
_
_
f(x)
_
f(x) +
2
(x)(f(x))a
__
_
=
2
(x)(f(x))|a| <
(f(x)) d(f(x), R
n
W),
y as f(x) +
2
(x)(f(x))a W. Claramente, la aplicacion asociada
F : B X Y : (a, x)
_
f(x) +
2
(x)(f(x))a
_
es de clase r 1 y F
0
= f. Hemos probado (1).
La armacion (2) resulta de que para cada a B, la aplicacion
H(t, x) = F
ta
(x) =
_
f(x) +
2
(x)(f(x))ta
_
es una homotopa (propia si lo es f).
Ahora, para x X jo con (x) ,= 0, la aplicacion
a f(x) +
2
(x)(f(x))a
es una homotecia, luego una sumersion. Como tambien lo es, la composicion F
x
de las dos es sumersion como dice (3).
Finalmente, sea x X tal que (x) = 0. Entonces
F
a
(a, x) es la derivada de la
aplicacion constante F
x
: a f(x), luego 0. Ademas
d
x
2
= 2(x)d
x
= 0,
y resulta
F
x
(a, x) = d
x
F
a
= d
f(x)
d
x
f = d
x
( f) = d
x
f
lo que demuestra (4).
Pasemos ya al teorema de transversalidad que queremos establecer:
Teorema 6.2 Sea r 2. Sean X una variedad de clase r1, Y una variedad sin
borde de clase r, y Z Y una variedad sin borde de clase r 1. Suponemos estas
tres variedades de dimension pura, y que se verica r > dim(X) codim(Y, Z).
Suponemos ademas que Z es un cerrado de Y , y dado un subconjunto cerrado C de
X. Entonces, para cada aplicacion continua (resp. propia) f : X Y de clase r 1
en un entorno de C y tal que f y f[X son transversales a Z en C X y C X
respectivamente, existe una aplicacion g : X Y de clase r 1 tal que:
(1) g es homotopa (resp. propiamente hom otopa) a f,
(2) g coincide con f en un entorno de C en X, y
(3) g y g[X son transversales a Z.
Demostracion. En primer lugar, por el teorema de aproximacion, podemos suponer
que f es de clase r 1. Puesto que la transversalidad es una propiedad abierta,
existe un entorno abierto W de C en X tal que f

W
Z. De igual manera, podemos
suponer (f[X)
WX
Z. Ahora, sea U un entorno abierto de C tal que U W y
consideremos una funcion diferenciable separante : X [0, 1] que es 0 sobre
U y es 1 sobre X W. Ahora aplicamos la proposicion anterior y obtenemos la
coleccion de aplicaciones
F
a
: X Y : x
_
f(x) +
2
(x)(f(x))a
_
, a B,
7. Aproximaci on y transversalidad 85
que son todas homotopas (resp. propiamente homotopas) a f y coinciden con f en
U. Veamos ahora que F es transversal a Z. Sea F(a, x) Z. Si (x) ,= 0, entonces
F
x
es sumersion, y hemos terminado. Supongamos pues (x) = 0. Entonces, como
F
a
(a, x) = 0 y
F
x
(a, x) = d
x
f, d
(a,x)
F y d
x
f tienen la misma imagen E T
f(x)
Y .
Pero como (x) = 0, es x W, con lo que
f

x
Z y (f[X)
x
Z para x X.
De estas dos condiciones se deducen las dos que siguen
F

(a,x)
Z y (F[B X)
(a,x)
Z para (a, x) B X.
Por tanto, podemos aplicar el teorema parametrizado de densidad de la transversa-
lidad y la aplicacion buscada es g = F
a
para un a B generico.
7. Aproximaci on y transversalidad
El resultado de homotopa y transversalidad permite reemplazar una aplicacion
continua f por aplicaciones diferenciables que veriquen condiciones de transversa-
lidad adecuadas, y que sean homotopas a f. Esto es suciente en muchas situaciones
importantes, pero no en otras: no siempre basta trabajar en la clase de homotopa
de f, sino que debe hacerse en un entorno arbitrariamente peque no de f. Como
sabemos, lo segundo es mas restrictivo que lo primero, y el objetivo de esta seccion
es conseguir aquello cuando f es propia (por ejemplo, siempre que X sea compacta).
Teorema 7.1 Sea r 2. Sean X una variedad de clase r1, Y una variedad sin
borde de clase r, y Z Y una variedad sin borde de clase r 1. Suponemos estas
tres variedades de dimension pura, y que se verica r > dim(X) codim(Y, Z).
Suponemos ademas que Z es un cerrado de Y , y dado un subconjunto cerrado C de
X. Entonces, para cada aplicacion propia f : X Y de clase r 1 en un entorno
de C y tal que f y f[X son transversales a Z en CX y CX respectivamente,
existe una aplicacion g : X Y de clase r 1 tal que:
(1) g esta arbitrariamente proxima a f en la topologa fuerte,
(2) g coincide con f en un entorno de C en X, y
(3) g y g[X son transversales a Z.
Demostracion. Si se repasa la demostracion del teorema de homotopa y trans-
versalidad, se observa que el nuevo enunciado se sigue del mismo modo, si pode-
mos demostrar que todas las aplicaciones F
a
del lema de deformacion aproximan
sucientemente f. Para ello jamos una funcion continua estrictamente positiva
: X R, y retomamos la construccion de las F
a
con todas sus notaciones para
concluir |f F
a
| < . En efecto, habamos demostrado que
_
_
f(x)
_
f(x) +
2
(x)(f(x))a
__
_
< (f(x)), para todo x X,
para cierta funcion : Y R. A continuacion, mostraremos que se puede modicar
esta de modo que se deduzca
|f(x) F
a
(x)| < (x) para todo x X.
Con esta intencion, recordemos que estaba denida mediante una particion dife-
renciable de la unidad
i
subordinada a un recubrimiento U
i
de Y por abiertos
del tubo W cuyas adherencias U
i
en R
n
son compactas; con precision, la formula era
(y) =
i
(y) mn1, d
i
> 0 para y Y.
Evidentemente, podemos suponer dado otro recubrimiento abierto W
i
de W tal
que cada W
i
es compacto y U
i
W
i
. Por otra parte, es continua en W, que
contiene a cada compacto W
i
, de modo que es uniformemente continua en W
i
:
existe
i
> 0 tal que si |y z| <
i
se tiene
|(y) (z)| <
i
,
para cualquier
i
> 0 que convenga. Ahora, como f : X Y es propia e Y es
cerrado en R
n
, cada imagen inversa f
1
(U
i
) es compacta, y elegimos
i
= mn(x) : x f
1
(U
i
) > 0.
Observese que para la acotacion uniforme anterior debemos suponer y, z W
i
, pero
tomando
i
< dist(U
i
, R
n
W
i
) la condicion |y z| <
i
, y supuesto que y U
i
,
implica z W
i
. En n, modicamos la denicion de as:
(y) =
i
(y) mn1, d
i
,
i
> 0.
Veamos que esta es la eleccion acertada.
Sea x X, y denotemos z = f(x) +
2
(x)(f(x))a, de manera que F
a
(x) = (z)
y |f(x) z| < (f(x)). Obtenemos la estimacion siguiente:
(f(x)) max
i
: x f
1
(U
i
),
Problemas 87
luego existe un i con f(x) U
i
, y |f(x) z| <
i
, con lo que por la acotacion
uniforme previa, es
|f(x) F
a
(x)| = |(f(x)) (z)| <
i
(x).
As, tal y como explicamos al principio, queda demostrado el teorema.
Problemas
N umero 1. Demostrar que si una variedad X R
m
es una interseccion completa de
codimension k, entonces hay un difeomorsmo : X R
k
NX tal que : (x, z) x.
Es cierto el recproco?
N umero 2. Sean X R
m
una variedad diferenciable, y (TX, ) y (NX, ) sus brados
tangente y normal respectivamente. Demostrar que
M = ((x, u), (x, v)) R
4m
: x X, u T
x
X, v N
x
X
es una variedad difeomorfa a X R
m
.
N umero 3. Sea X R
m
una variedad sin borde de clase r 2, cerrada en R
m
. Probar
que existe un difeomorsmo f : NX U del brado normal NX de X sobre un entorno
abierto U de X en R
m
tal que f(x, 0) = x para todo x X.
N umero 4. Sea X R
m
una variedad compacta sin borde, y sea NX su brado normal.
Dado > 0 denotamos
NX
= (x, u) NX : |u| < ,

que es un entorno abierto de X 0 en NX. Probar:
(1) Si la aplicacion e : (x, u) x + u induce un difeomorsmo de NX
sobre un tubo
W
de X, se verica W
= y R
m
: dist(y, X) < .
(2) Si el tubo W
cumple la condicion anterior, entonces la retraccion : W
X
cumple dist(y, (y)) = dist(y, X) para cada y W
.
N umero 5. Sea ((X, Y ) el espacio de las aplicaciones continuas de un conjunto X R
m
en una variedad Y R
n
. Sea C
i
una familia localmente nita de cerrados de X y sea
G
i
una familia de abiertos de Y . Demostrar que el conjunto
A = f ((X, Y ) : f(C
i
) G
i
para todo i
es un abierto en la topologa fuerte.
N umero 6. Sea ((X, Y ) el espacio de las aplicaciones continuas de un conjunto X R
m
en una variedad Y R
n
, dotado de la topologa fuerte. Demostrar que las aplicaciones pro-
pias forman un subconjunto cerrado (por tanto, si es no vaco, es una union de componentes
conexas).
N umero 7. Sea X una variedad diferenciable de dimension < q. Demostrar que cualquier
aplicacion continua f : X S
q
es nulhomotopa.
N umero 8. Sean X una variedad de clase r 2 y f, g : X R dos aplicaciones continuas
tales que f(x) < g(x) para todo x X. Probar que existe una aplicacion h : X R de
clase r tal que f(x) < h(x) < g(x) para todo x X.
N umero 9. Sean X, Y dos variedades de clase r 2. Dos aplicaciones X Y de clase
s < r se llaman s-equivalentes si son homotopas por una homotopa de clase s.
(1) Demostrar que esta es en efecto una relacion de equivalencia en (
r
(X, Y ). Denotamos
por [X, Y ]
s
el correspondiente conjunto de clases de equivalencia.
(2) Probar que la inclusion (
s
(X, Y ) ((X, Y ) induce de modo natural una biyeccion
[X, Y ]
s
[X, Y ]
0
.
N umero 10. Sean X una variedad compacta de clase r 2 y F : [0, 1] X R
n
una
aplicacion de clase r tal que f = F
0
: X R
n
es una inmersion (resp. una sumersion).
Demostrar que para todo t > 0 sucientemente peque no la aplicacion F
t
es tambien una
inmersion (resp. sumersion).
N umero 11. Sean X e Y dos variedades clase r 2, la primera compacta, y sea F : [0, 1]
X Y una aplicacion de clase r tal que f = F
0
: X Y es transversal a Z Y . Demostrar
que para todo t > 0 sucientemente peque no la aplicacion F
t
es tambien transversal a Z.
N umero 12. Sea X R
m
una variedad sin borde y representemos por : E X su
brado tangente o su brado normal. Demostrar que dada una variedad Y E sin borde,
siempre existen aplicaciones diferenciables : X E con = Id, arbitrariamente
proximas a la seccion nula y transversales a Y .
N umero 13. Sean f : X Y , g : X Z y h : Y Z aplicaciones de clase r. Probar que
existe g
: X Z de clase r y homotopa a g, de modo que (f, g
) : X Y Z es transversal
al grafo de h. Probar tambien que si g es propia, g
se puede elegir arbitrariamente proxima

a g en la topologa fuerte.
89
Captulo IV
Aplicaciones
Este captulo incluye varios teoremas importantes, demostrados aqu con las tecnicas
diferenciables desarrolladas previamente. Se trata de teoremas celebrados tanto por su gran
belleza intrnseca como por sus consecuencias topologicas y geometricas. En esta presenta-
cion destaca el hilo conductor com un proporcionado por la Topologa Diferencial que hace
aparecer a todos ellos como manifestaciones diversas de una misma teora subyacente, y no
tanto como los hallazgos geniales que historicamente fueron. La primera seccion del captu-
lo contiene la clasicacion topologica y diferenciable de curvas, que, ademas de su interes
por si misma, es un ingrediente esencial para los argumentos que seguiran. En la seccion 2
se demuestra, de manera muy elemental, el teorema del punto jo de Brouwer y el hecho
importante de que el borde de una variedad compacta no es nunca un retracto de toda ella.
La seccion 3 esta dedicada el celebre teorema de separacion de Jordan-Brouwer. Todo lo
anterior ilustra bien la estrategia general, que, despues de apelar a aproximacion y transver-
salidad, siempre recurre al recuento adecuado de las imagenes inversas de un valor regular.
Este recuento es descrito con precision en la seccion 4. En la seccion 5 se construyen los
colapsamientos diferenciables, que en las secciones 6 y 7 se usan, junto con el recuento, para
clasicar por homotopa las aplicaciones en esferas (teoremas de Hopf). Como consecuencia,
en la seccion 8 se deduce en que esferas se pueden denir campos tangentes nunca nulos (un
resultado debido a Brouwer).
1. Clasicaci on de curvas
En la categora topologica, esto es, para la clasicacion por homeomorsmo,
tenemos:
90 IV. Aplicaciones
Teorema 1.1 Una curva conexa es homeomorfa a uno de los siguientes cuatro mo-
delos: R, [0, 1), [0, 1], S
1
.
Demostracion. Empezamos probando el siguiente hecho:
() Si X es union de dos abiertos U, V homeomorfos a R, entonces X es homeo-
morfa a R o a S
1
.
Sean : U R, : V R homeomorsmos. Si (U V ) = R, entonces
U V = U y V = U V = X; y si (U V ) = R, entonces U = X. En ambos casos
X es homeomorfo a R. Por tanto, supondremos que (U V ) R y (U V ) R
son abiertos ,= R. En consecuencia, son uniones disjuntas de intervalos abiertos.
Supongamos que alguno de esos intervalos es acotado: sea, por ejemplo, (a, b) una
componente de (U V ), a < b. Entonces (a, b) es cerrado en (U V ) y se sigue
[a, b] (U V ) = (a, b), con lo que
1
(a, b) =
1
[a, b] V
es cerrado en V . Pero obviamente es abierto, y como V es conexo, concluimos que
V =
1
(a, b) U. As U = X y de nuevo X es homeomorfo a R. En consecuen-
cia, podemos suponer que (U V ) y (U V ), que son homeomorfos, no tienen
componentes acotadas. Hay as dos posibilidades.
Primera posibilidad, ambos conjuntos son conexos. Reparametrizando si es ne-
cesario, tendremos
(U V ) = (, a), a < 0; (U V ) = (b, +), b > 0.
En este caso, =
1
: (, a) (b, +) es un homeomorsmo estrictamente
creciente. En efecto, si fuera decreciente, lm
ta
(t) = b y seg un es =
1
,
se deducira
1
(a) =
1
(b) U V , lo que es imposible. Por tanto, tenemos una
graca como en la gura,
u
u u
e
e
(x
0
)
(x
0
)
a
b
Fijado un punto x
0
U V se verica
X =
1
[(x
0
), +)
1
(, (x
0
)],
x
0
=
1
[(x
0
), +)
1
(, (x
0
)],
1. Clasificaci on de curvas 91
y a la vista de estas igualdades, la aplicacion
h : X R : x
_
(x), x
1
[(x
0
), +)
(x) +(x
0
) (x
0
), x
1
(, (x
0
)]
es un homeomorsmo.
Segunda posibilidad, ninguno de los dos conjuntos son conexos. Reparametri-
zando,
(U V ) = (, a) (b, +), a < 0 < b,
(U V ) = (, c) (d, +), c < 0 < d,
con la condicion adicional de que
1
(, a) =
1
(d, +). Entonces razonando
con el crecimiento del homeomorsmo =
1
obtenemos una graca como la
siguiente
(x
1
)
(x
1
)
a
d
(x
2
)
(x
2
)
c
b
v
v
v
v
v
v s s
s
s
Ahora elegimos un punto en cada componente de U V :
x
1

1
(, a) =
1
(d, +), x
2

1
(b, +) =
1
(, c),
y denotamos
I =
1
[(x
1
), (x
2
)], J =
1
[(x
2
), (x
1
)],
que son cerrados en X (por compactos) y verican
X = I J, x
1
, x
2
= I J.
Por tanto, la aplicacion
h : X
(I) +(J)
(x
i
) = (x
i
), i = 1, 2
S
1
: x
_
(x), x I
(x), x J
92 IV. Aplicaciones
es homeomorsmo.
Una vez establecida la propiedad (), separamos la demostracion del teorema en
varios casos.
Caso 1, X es compacta y no tiene borde. Recubrimos X = U
1
U
s
mediante
imagenes de parametrizaciones
i
: R U
i
, que ordenamos de modo que U
s1
U
s
,=
(esto es posible por ser X conexo). Entonces, por (), U
s1
U
s
es homeomorfo a
R o a S
1
. Si lo primero, reemplazamos las dos parametrizaciones
s1
,
s
por una
sola
s1
: R V
s1
= U
s1
U
s
, renombramos U
s1
= V
s1
, reordenamos para
que U
s2
U
s1
,= , y volvemos a aplicar (). Con este procedimiento, en alg un
momento es U
i1
U
i
homeomorfo a S
1
, pues de otro modo concluiramos X = R,
que no es compacto. En consecuencia, U
i1
U
i
es abierto y cerrado en X, luego
igual a X, y X es homeomorfo a S
1
.
Caso 2, X no es compacta y no tiene borde. Sea K
n
una sucesion de compactos que
recubre X tal que K
n
K
n+1
. Cada K
n
se puede recubrir con abiertos W
1
, . . . , W
r
homeomorfos a R; por ser X conexo, podemos a nadir abiertos W para conseguir
W
i
W
i+1
,= , y entonces, por (), U
n
= W
1
W
r
es homeomorfo a R. Estos
U
n
tambien recubren X, y U
k
U
k+1
,= , luego por () de nuevo, U
1
U
n
es homeomorfo a R. Reemplazando U
n
por esa union podemos suponer U
n
U
n+1
.
Nuestro objetivo es construir recurrentemente mediante homeomorsmos
n
: U
n

R un homeomorsmo h de X sobre un intervalo abierto de R. Empezamos con
h[U
1
= h
1
: U
1
1
R

(1, 1) = I
1
,
donde (t) = t/
1 +t
2
. Ahora,
2
(U
1
) R sera un intervalo (a, b), a < b, y consi-
deramos el homeomorsmo
1
=
2
h
1
1
: I
1
(a, b).
Cambiando
2
por
2
podemos suponer
1
creciente, y observamos que h
1
=
1
1

2
[U
1
. Ahora extendemos
1
a
2
: I
2
R con
I
2
=
_
_
(2, 2) si a, b R,
(1, 2) si a = , b R,
(2, 1) si a R, b = +,
(1, 1) si a = , b = +.
En esta situacion, el homeomorsmo h
2
=
1
2

2
: U
2
I
2
extiende h
1
y podemos
tomar h[U
2
= h
2
. Repitiendo el proceso con
3
=
3
h
1
2
obtenemos h[U
3
, y
as sucesivamente. De este modo se construye un homeomorsmo h sobre el intervalo
abierto I =
n
I
n
, que es homeomorfo a R.
1. Clasificaci on de curvas 93
Caso 3, X tiene exactamente un punto en el borde. Sea x
0
ese punto y denotemos
V = Xx
0
= Int(X). Claramente, V es conexo, y por el caso anterior, homeomorfo
a R: tenemos un homeomorsmo : (1, 1) V . Tomamos una parametrizacion
de X de la forma : [0, a) U con (0) = x
0
. Podemos suponer que la inmersion
abierta
1
: (0, a) (1, 1) es creciente (si no se reemplaza (t) por (t))
y entonces existe el lmite lm
t0
1
(t) = s. Pero s > 1 implicara x
0
=
lm
t0
(t) V , luego s = 1 y se extiende a un homeomorsmo [1, 1) X.
Caso 4, X tiene al menos dos puntos en el borde. Para cada punto x del borde con-
sideramos una parametrizacion : [0, a) U
x
con (0) = x, y recubrimos el resto
de los puntos de X por abiertos V homeomorfos a R. Como hay al menos dos puntos
x ,= y en el borde, por la conexion de X obtenemos una cadena U
x
, V
1
, . . . , V
r
, U
y
en
la que cada dos abiertos consecutivos se cortan, y por el caso 3 ya resuelto, tenemos
dos homeomorsmos
: U = U
x
V
1
V
r
(U
y
y) [0, a), (x) = 0,
: V = (U
x
x) V
1
V
r
U
y
(b, 1], (y) = 1.
Ahora, el homeomorsmo
1
: (0, a) (b, 1) es creciente, pues en otro caso
lm
t0

1
(t) = 1 e y = lm
t0
1
(t) = x. Por tanto
lm
ta

1
(t) = 1
y podemos extender a y mediante (y) = a. Resulta que el conjunto abierto
W = U
x
V
1
V
r
U
y
es homeomorfo a [0, a]. Pero entonces W es compacto,
luego cerrado, ademas de abierto, y por ser X conexo, X = W. Hemos terminado
este caso y con el la demostraci on del teorema.
Observacion. Los cuatro modelos del enunciado son distinguibles topologicamen-
te. Por ejemplo, por los puntos del modelo que no lo desconectan: ninguno en R, uno
en [0, 1), dos en [0, 1], todos en S
1
. Tambien se pueden distinguir por la compacidad
y la existencia de borde.
El teorema anterior es valido en la categora diferenciable, esto es, para curvas
diferenciables:
Teorema 1.2 Una curva conexa de clase r 1 es difeomorfa a uno de los cuatro
modelos: R, [0, 1), [0, 1], S
1
, por un difeomorsmo de clase r.
94 IV. Aplicaciones
Demostracion. Si se revisan las construcciones de la demostracion anterior se apre-
cia que cuando las parametrizaciones utilizadas son de clase r, el homeomorsmo de
X sobre el modelo que corresponda es de hecho un difeomorsmo de clase r salvo en
un conjunto discreto de puntos de X. De este modo, la dicultad radica en conseguir
diferenciabilidad en ciertos puntos conictivos aislados, lo que se hace perturbando
el homeomorsmo en un entorno de cada punto conictivo. Sin entrar en los detalles
tediosos de esas perturbaciones, baste decir que se localiza el homeomorsmo me-
diante parametrizaciones de clase r, y se aplican los dos articios siguientes, seg un
el punto en cuestion este o no en el borde:
(1) Sean I = [0, 1) R, a = 0 I y f : I I un homeomorsmo creciente cuya
restriccion a I a = (0, 1) es de clase r. Entonces existe un difeomorsmo
g : I I de clase r que coincide con f fuera de un entorno arbitrariamente
peque no de a = 0
(2) Sean I = (0, 1) R, a I y f : I I un homeomorsmo creciente cuya
restriccion a I a es de clase r. Entonces existe un difeomorsmo g : I I
de clase r que coincide con f fuera de un entorno arbitrariamente peque no de a.
Una manera de denir esta perturbacion g de f es:
g(t) =
_
t
0
_
(s) +f
(s)(1 (s))
_
ds, =
_
1
0
f
(s)(s)ds
_
1
0
(s)ds
,
donde la funcion meseta es 0 fuera de un entorno arbitrariamente peque no de a
y 1 en un entorno de a. Se comprueba sin dicultad que g cumple las condiciones
requeridas.
Una demostracion directa alternativa muy elegante de este ultimo teorema pue-
de verse en el libro de Milnor. Destaquemos ademas que esta coincidencia de las
clasicaciones diferenciable y topologica implica:
Corolario 1.3 Dos curvas de clase r 1 que son homeomorfas son difeomorfas
por un difeomorsmo de clase r.
2. Teorema del punto jo de Brouwer
Como ejemplo sencillo del uso de la topologa diferencial para resolver problemas
de topologa sin calicativo, demostraremos este celebre resultado de Brouwer:
2. Teorema del punto fijo de Brouwer 95
Teorema 2.1 Toda aplicacion continua del disco cerrado D R
n
en s mismo tiene
alg un punto jo.
Demostracion. El disco D = x R
n
: |x| 1 es una variedad con borde
D = S
n1
. Supongamos que existe una aplicacion continua f : D D sin puntos
jos. Entonces la funcion : D R : x |f(x) x| es continua y siempre > 0.
Como D es compacto, tiene un mnimo > 0. Si ese mnimo es 1 lo denotamos ,
y si no tomamos = 1. Por el teorema de aproximacion de Weierstrass, hay una
aplicacion polinomial g : D R
n
tal que
|g(x) (1
1
2
)f(x)| <
1
2
, x D.
Se cumple:
(1) Para cada x D, es
|g(x)| |g(x) (1
1
2
)f(x)| +|(1
1
2
)f(x)| <
1
2
+ (1
1
2
) = 1,
luego g(D) D.
(2) Si g(x) = x, es
|f(x) x| = |f(x) g(x)| < |f(x) (1
1
2
)f(x)| +
1
2
,
luego g no tiene puntos jos.
Ahora denimos una aplicacion h : D S
n1
seg un indica la gura
`
r
r
`
r
h(x) = g(x) +(x g(x))
x
g(x)
0
D
S
n1
con > 0 tal que |h(x)| = 1. Esta aplicacion es diferenciable, y su restriccion
al borde de D es la identidad; en particular, h es suprayectiva. Por el teorema de
Sard-Brown tiene alg un valor regular a S
n1
= h(D). Resulta que h es sumersion
en h
1
(a), y por ser h[ D la identidad, esta restriccion es trivialmente sumersion.
96 IV. Aplicaciones
En conclusion, h
1
(a) es una curva compacta, con borde h
1
(a) D = a, lo que
es imposible por la clasicacion de la seccion anterior.
La demostracion precedente sirve bien para ilustrar como se combinan transver-
salidad y aproximacion: aqu han sido el teorema de Sard-Brown y el teorema de
Weierstrass. En general lo primero se sustituye por el teorema de densidad de la
transversalidad, y lo segundo por los metodos de aproximacion mas renados que se
desarrollaron en el captulo tercero. Veremos todo esto en accion en las secciones si-
guientes, pero podemos utilizarlo ya con una parte del argumento de la demostracion
anterior:
Teorema 2.2 Sea Y R
n
una variedad de clase 2 compacta con borde X = Y .
Entonces X no es un retracto de Y .
Demostracion. Supongamos que existe una aplicacion continua f : Y X cuya
restriccion a X es la identidad. Por el teorema de aproximacion (teorema III.4.1)
existe una aplicacion diferenciable h : Y X arbitrariamente proxima a f. En
particular, h[X esta arbitrariamente proxima a f[X = Id
X
, luego es homotopa a
ella, y por el teorema III.5.1, podemos suponer que hay una homotopa diferenciable
H : [0, 1] X X con H
0
= Id
X
, H
1
= h[X. Ahora, por el teorema de Sard,
existe un valor regular com un de las tres aplicaciones H, H[([0, 1] X) y h, que
denotamos por a X. As, por un lado tenemos la curva compacta H
1
(a) cuyo
borde es
H
1
(a) ([0, 1] X) = H
1
(a)
_
0 X 1 X
_
= (0, a)
_
1 (h[X)
1
(a)
_
,
y puesto que el borde de una curva compacta tiene un n umero par de puntos, la igual-
dad anterior muestra que (h[X)
1
(a) lo tiene impar. Pero por otro lado, tambien
h
1
(a) es una curva compacta con borde h
1
(a) Y = (h[X)
1
(a), que por tanto
tiene un n umero par de puntos. Esta contradiccion muestra que f no puede existir.
3. Teorema de separacion de Jordan-Brouwer
En esta seccion demostramos este resultado, que ya mencionamos al tratar de
intersecciones completas (observacion (3) de II.2.3):
3. Teorema de separaci on de Jordan-Brouwer 97
Teorema 3.1 Cualquier hipersupercie compacta y sin borde del espacio afn lo
desconecta.
Habida cuenta del teorema II.2.3 sobre ecuaciones globales de hipersupercies, y
como ya observamos all, del enunciado anterior se deduce que toda hipersupercie
compacta conexa y sin borde de un espacio afn lo descompone en dos componentes
conexas, una de ellas acotada y la otra no, cada una de las cuales tiene por frontera
topologica la hipersupercie en cuesti on. Asmismo resulta que toda hipersupercie
compacta sin borde de un espacio afn tiene ecuacion global.
Demostracion. Sea Z R
n+1
una variedad compacta y sin borde de dimension n.
Para ver que R
n+1
Z no es conexo basta ver que para una componente conexa Z
de Z, no es conexo el conjunto R
n+1
Z
; en otras palabras, podemos suponer Z

conexa. Se trata ahora de encontrar dos puntos a
0
, a
1
/ Z que no esten en la misma
componente conexa de R
n+1
Z. Haremos esto en varias etapas.
Etapa primera. Existe una recta R
n+1
que corta transversalmente a Z en una
cantidad nita de puntos.
Para obtener empezamos por elegir un punto x Z y un vector u S
n
R
n+1
ortogonal al hiperplano H R
n+1
tangente a Z en x. La recta paralela a u que
pasa por x corta transversalmente a Z en x, pero puede no ser as en otros puntos de
interseccion con Z. Sin embargo, por la densidad de la transversalidad (II.5 Ejemplo
(1)), casi cualquier translacion de tendra la propiedad deseada, siempre que corte
realmente a Z. Debemos pues garantizar esto, para lo que es suciente probar que
cualquier recta paralela a y sucientemente pr oxima corta a Z. Consideramos a
este n la proyeccion ortogonal : R
n+1
H, que es una aplicacion diferenciable
y cuya derivada es ella misma. As, la derivada de la restriccion [Z en el punto x
sera [H = Id
H
, y por el teorema de inversion local, [Z es un difeomorsmo local en
x. Como es precisamente la direccion de proyeccion de , se sigue automaticamente
lo que queremos. En n, una vez que corta transversalmente a Z, Z es un
conjunto discreto, y nito por la compacidad de Z.
Etapa segunda. Como u es paralelo a , dene una orientacion en esa recta que
jamos a partir de ahora. Cada punto a divide la recta en dos rayos, que seg un
la orientacion elegida denotamos (, a) y (a, ). Supongamos ahora que a / Z, con
lo que tenemos la aplicacion diferenciable f
a
: Z S
n
: z
za
za
. Esta aplicacion
es transversal a u, y f
1
a
(u) = Z (a, ).
En efecto, por la denicion de f
a
, es claro que f
1
a
(u) = Z (a, ), y debemos
probar que para cada z Z (a, ) la derivada d
z
(f
a
) : T
z
Z T
f
a
(z)
S
n+1
es
98 IV. Aplicaciones
suprayectiva. Para verlo notese lo siguiente. La aplicacion f
a
es de hecho la restriccion
de otra, F : R
n+1
a S
n
, denida mediante la misma formula. A su vez, la
restriccion de F a la esfera S de radio 1 y centro a es un difeomorsmo sobre S
n
, luego
d
z
F[T
z
S : T
z
S T
f
a
(z)
S
n
es isomorsmo y por ello d
z
F es suprayectiva. Ademas,
es transversal a Z, luego R
n+1
= T
z
T
z
Z, y se sigue d
z
F = d
z
(F[(a, )) d
z
(f
a
).
Pero F[(a, ) u, con lo que el primero de esos sumandos es 0, y para que d
z
F
sea suprayectiva tiene que serlo d
z
(f
a
). Hemos concluido.
Etapa tercera. Elegimos a
0
, a
1
Z tales que a
1
(a
0
, ) y Z (a
0
, a
1
) consista
exactamente en un punto. Estos dos puntos a
i
son los que buscabamos.
En efecto, supongamos que ambos estan en la misma componente conexa U de
R
n+1
Z. Como U es un abierto afn, existe una poligonal que conecta los dos puntos,
y obtenemos una aplicacion continua : [0, 1] U con (0) = a
0
, (1) = a
1
; pero
como viene dada por una poligonal, resulta que es diferenciable en un entorno de
t = 0, 1. Denimos a continuacion la aplicacion continua
f : X = I Z S
n
: (z, t)
z (t)
|z (t)|
,
que es diferenciable en un entorno del cerrado C = 0, 1 Z, por la eleccion de
. Para aplicar a f el teorema de homotopa y transversalidad hay que analizar
las condiciones de transversalidad. En nuestra situacion, C = X, luego debemos
considerar solo la restriccion f[X y ver que es transversal a u. Pero X = Z
0
Z
1
,
siendo Z
0
= 0 Z y Z
1
= 1 Z, con lo que f[Z
0
y f[Z
1
se identican a f
a
0
y
f
a
1
que son por la etapa anterior transversales a u. En suma, por el teorema citado,
encontramos una funcion diferenciable g : X S
n
que coincide con f sobre C y tal
que g y g[X son transversales a u. Resulta que g
1
(u) es una curva diferenciable
compacta con borde
g
1
(u) X =
_
0 g
1
0
(u)
_
_
1 g
1
1
(u)
_
.
Por el teorema de clasicacion de curvas, ese borde tiene un n umero par de puntos,
luego por ser g
i
= f
a
i
, deducimos que
#
_
f
1
a
0
(u)
_
+ #
_
f
1
a
1
(u)
_
= #
_
Z (a
0
, )
_
+ #
_
Z (a
1
, )
_
es un n umero par. Sin embargo, por construccion #
_
Z (a
0
, a
1
)
_
= 1 y obtenemos
una contradiccion. Esto termina la tercera etapa y con ella la demostracion del teo-
rema de Jordan-Brouwer.
4. Recuento de preim agenes 99
4. Recuento de preimagenes
Sean X, Z dos variedades compactas conexas y sin borde de igual dimension
p 1; sean f : X Z una aplicacion diferenciable y c Z un valor regular de
f. En los razonamientos expuestos hasta aqu, el n umero de preimagenes de un tal
valor regular c, y de hecho, la paridad de ese n umero, ha conducido a las conclusiones
deseadas. Sin embargo, el recuento de esa paridad no es siempre suciente, en especial
cuando se tratan variedades orientadas. En ese caso se atribuye un signo d
i
= +1
o 1 a cada preimagen a
i
de c seg un f conserve o no la orientacion en a
i
, y se
computa la suma d =
d
i
. Observese que si dos de estos recuentos de signos
coinciden, tambien coinciden los dos recuentos de paridades correspondientes, de
modo que en el caso no orientado el recuento parece peor. Sin embargo, los teoremas
de Hopf (seccion 7) mostraran que aunque aparentemente peor la paridad es de
hecho suciente en ese caso.
Tambien podemos aprender de las secciones precedentes que el recuento se plan-
tea en la situacion general siguiente. Sea H : M Z una aplicacion diferenciable
cuyo dominio es una variedad M de dimension p + 1 con borde M = Y , y con-
sideremos la restriccion h = H[Y : Y Z. Si c Z es un valor regular de H y
h, H
1
(c) es una curva compacta cuyo borde h
1
(c) consiste, por el teorema de
clasicacion de curvas, en un n umero par de puntos. Esta informacion basta en lo
que concierne a paridad, pero debemos considerar tambien el recuento de signos en
el caso orientable. Suponemos pues que M y Z estan orientadas, y orientamos Y
como el borde de M. El hecho fundamental es el siguiente:
Proposicion 4.1 (Lema fundamental del recuento) Sean a, b Y los dos extremos
de una componente conexa C de H
1
(c). Entonces h conserva la orientacion en uno
de los puntos y la invierte en el otro.
Demostracion. Por el teorema de clasicacion, tenemos un difeomorsmo : [0, 1]
C tal que (0) = a, (1) = b. Tal vez intercambiando a con b, podemos suponer
que la orientacion inducida en C por este difeomorsmo es la misma que se obtiene
como una imagen inversa (II.3). Recordemos lo que esto signica. Por ser c un
valor regular, para cada y = (t) H
1
(c) Y el espacio tangente a C en y
es T
y
C = ker d
y
H y se tiene T
y
M = T
y
C T
y
Y , pues d
y
h = d
y
H[T
y
Y es un
isomorsmo lineal sobre T
c
Z. Entonces para cualquier base u
1
, . . . , u
m
de T
y
Y
cuya imagen d
y
H(u
1
), . . . , d
y
H(u
m
) dena la orientacion de T
c
Z, la base
(t) =
d
t
(1), u
1
, . . . , u
m
dene la orientacion de T
y
M. Por otra parte, la orientacion de
Y como borde de M es la siguiente. Sea y = a, b. Dado un vector tangente exterior
100 IV. Aplicaciones
v T
y
M T
y
Y , una base v
1
, . . . , v
m
de T
y
Y dene la orientacion como borde si
v, v
1
, . . . , v
m
y
M.
Con estos datos, sea : [0, )U W
a
una parametrizacion de M con (0) = a,
de modo que la composicion
1
esta denida en un intervalo [0, ), y toma valores
en [0, ) U; denotamos por : [0, ) [0, ) la primera funcion coordenada de esa
composicion. En [0, ) tenemos = (, ), luego derivando resulta:
(0) = d
0
(
(0), ) = w
0
v
a
,
donde w
0
= d
0
(0, ) T
a
Y , v
a
= d
0
(
(0), 0) T
a
M T
a
Y . Ademas, el vec-
tor v
a
es exterior, puesto que como : [0, ) [0, ) es creciente, su derivada es
positiva. Deducimos que si la base v
1
, . . . , v
m
a
Y , en-
tonces la base w
0

(0), v
1
, . . . , v
m
dene la de T
a
M, o, simplicando, la dene
(0), v
1
, . . . , v
m
. Por tanto, seg un se describio la orientacion imagen inversa,
d
a
h(v
1
), . . . , d
a
h(v
m
) no dene la orientacion de T
c
Z, luego d
a
h invierte la orien-
tacion.
`
`
`
-
>
>
>
t t
(0)=w
0
v
a
(1)=w
1
+v
b
M
Y Y
v
v
(0)=a
(1)=b
[0, )U
[0, )V
Ahora razonaremos de modo similar en el punto b, con una parametrizacion

: [0, ) V W
b
tal que (0) = b. La composicion
1
esta denida en un in-
tervalo (1, 1] y toma valores en [0, )V ; denotamos por : (1, 1] [0, ) la pri-
mera funcion coordenada de esa composicion. Derivando obtenemos
(1) = w
1
+v
b
,
donde w
1
T
b
Y , y v
b
= d
0
(
(1), 0) T
a
M T
a
Y es exterior, puesto que
: (1 , 1] [0, ) es decreciente. Deducimos que si la base v
1
, . . . , v
m
de-
ne la orientacion de T
b
Y , entonces
(1) w
1
, v
1
, . . . , v
m
dene la de T
b
M, o,
simplicando, la dene
(1), v
1
, . . . , v
m
. Por tanto, d
b
h(v
1
), . . . , d
b
h(v
m
) s de-
ne la orientacion de T
c
Z, y d
b
h conserva la orientacion.
Un corolario inmediato pero que sera muy util corresponde al caso en que M es
un cilindro.
4. Recuento de preim agenes 101
Corolario 4.2 Sea X una variedad compacta orientada y sin borde y M = [0, 1]X,
que se dota de la orientacion producto. Para i = 0, 1 denotamos por f
i
: X Z la
aplicacion: x h(i, x). Si (t(a), a), (t(b), b) son los dos extremos de una componente
conexa C de H
1
(c), se verica:
(1) Si t(a) = t(b) = 0 (resp. = 1), entonces f
0
(resp. f
1
) conserva la orientacion
en a si y solo si la invierte en b.
(2) Si t(a) = 0 y t(b) = 1, entonces f
0
conserva la orientacion en a si y solo si f
1
la conserva en b.
Demostracion. Sabemos por el resultado anterior que f = h[Y conserva la orienta-
cion en uno de los puntos y la invierte en el otro, estando Y dotado de la orientacion
como borde. Pero tambien sabemos que en un cilindro, la inclusion j
0
: X X
0
Y
invierte la orientacion y la inclusion j
1
: X X
1
Y la conserva. Como f
i
= f j
i
,
i = 0, 1, la conclusion es clara.
Como consecuencia de este ultimo corolario, resulta inmediatamente que los re-
cuentos son invariantes por homotopa diferenciable:
Corolario 4.3 Sean f, g : X Z dos aplicaciones diferenciables y c Z un valor
regular de ambas. Si f y g son homotopas, los recuentos de f
1
(c) y de g
1
(c)
coinciden.
Demostracion. Por el teorema de aproximacion de homotopas, podemos suponer
que existe una homotopa diferenciable H : [0, 1] X Z tal que H
0
= f y H
1
= g.
As, por ser c un valor regular de las dos aplicaciones f y g, resulta que H[([0, 1]X)
es transversal al punto c, y por el teorema III.6.2 podemos suponer que H tambien
lo es. Entonces H
1
(c) es una curva diferenciable cuyo borde es
(0, a) : a f
1
(c) (1, b) : b g
1
(c).
Como ese borde es un n umero par de puntos, los dos conjuntos tienen ambos un
n umero par de elementos, o ambos un n umero impar. En otras palabras, la paridad
del n umero de preimagenes de c por f y por g debe ser la misma. Esto concluye el
argumento si las variedades no estan orientadas. Si lo estan, entonces nos jamos
en las componentes conexas C
i
de H
1
(c) que tienen borde. Habra de dos clases: o
bien los extremos de C
i
estan los dos en el mismo nivel t = 0 o t = 1, o bien esos
extremos estan en distinto nivel. Pero el corolario ultimo nos dice que en el primer
caso se cancelan mutuamente en el recuento de f
1
(c) o g
1
(c), y que en el segundo
caso contribuyen con el mismo signo uno al recuento de f
1
(c) y otro al de g
1
(c).
La conclusion es clara.
5. Aplicaciones diferenciables en esferas
Sea X R
m
una variedad diferenciable compacta, conexa y sin borde de dimen-
sion p 1. Queremos construir aplicaciones diferenciables f : X S
p
con recuento
prejado. Por supuesto, para obtener recuento cero vale cualquier aplicacion cons-
tante. Para otros recuentos empezamos con la propia esfera.
Proposicion 5.1 Sean c y c dos puntos antipodales de S
p
, que denominaremos
polos, y sean B y B
dos casquetes cerrados disjuntos centrados en ellos. Entonces,

existe una aplicacion diferenciable : S
p
S
p
tal que:
(1)
1
(c) = B
,
(2) la restriccion : S
p
B
S
p
c es un difeomorsmo, y
(3) (x) = x si (y solo si) x B (o x = c).
Ademas, es homotopa a la identidad por una homotopa que es la identidad en B.
Demostracion. Mediante la proyeccion estereograca : S
p
c R
p
desde c el
casquete B se convierte en una corona |x| , y el casquete B
en una bola |x|

de centro 0 = (c) ( > > 0). En esta situacion, construimos una aplicacion di-
ferenciable : R
p
R
p
tal que:
(1) (x) = 0 si y solo si |x| ,
(2) la restriccion de a la corona |x| > es un difeomorsmo sobre R
p
0,
(3) (x) = x si y solo si |x| o x = 0.
Para hacerlo, elegimos una funcion meseta creciente (t) que se anula para t y
es constante 1 para t . Con esta eleccion, es claro que (x) = (|x|)x verica
(1) y (3). Por otra parte, un calculo sencillo muestra que su determinante jacobiano
es
(x) = (|x|)
p
+|x|
(|x|)(|x|)
p1
,
y como
0 (por ser creciente) concluimos que ese determinante es estricta-

mente positivo para |x| > . De esto resulta facilmente (2). Ademas, la homotopa
natural H
t
(x) = (1 t)x + t(x) es la identidad para |x| . En n, con esta
construccion es obvio que = se extiende a c y cumple todo lo requerido.
5. Aplicaciones diferenciables en esferas 103
Para simplicar la terminologa resumimos las condiciones de la proposicion an-
terior diciendo que colapsa el casquete B
sobre c, o simplemente que es un

colapsamiento.
Observacion. Dado un colapsamiento como en la proposicion anterior, sea
la
proyeccion esterograca desde c. Entonces la composicion h =
1
tiene las
siguientes propiedades:
(1)
h es la identidad en un entorno del origen,

(2) h
1
(c) es el exterior de una bola abierta de centro el origen, y
(3) la restriccion h : R
p
h
1
(c) S
p
c es un difeomorsmo que conserva
la orientacion.
Pasemos ahora a una variedad arbitraria X. En primer lugar:
Proposicion 5.2 Dados dos puntos arbitrarios a X y c S
p
, existe una aplica-
cion diferenciable : X S
p
con las siguientes propiedades:
(1) es un difeomorsmo de un entorno abierto U de a sobre S
p
c.
(2) c fuera de U.
Ademas, U puede elegirse difeomorfo a R
p
y arbitrariamente peque no.
Demostracion. Elijamos una parametrizacion : R
p
V X con (0) = a y una
aplicacion h : R
p
S
p
como la de la observacion precedente. Deniendo
(x) =
_
h(
1
(x)) si x U,
c en otro caso.
es claro que se cumplen todas las condiciones del enunciado.
Si X no es orientable, lo anterior basta para obtener recuento impar. Si X es
orientable, es muy facil generalizar la construccion de .
Proposicion 5.3 Sea X una variedad orientada, y dotemos a S
p
de su orientaci on
canonica (como borde de la bola). Sean a
1
, . . . , a
d
X y c S
p
puntos distintos
arbitrarios. Entonces existe una aplicacion diferenciable : X S
p
tal que
(1) es un difeomorsmo de un entorno abierto U
i
de cada a
i
sobre S
p
c.
(2) conserva la orientacion en todos los a
i
.
(3) c fuera de los U
i
.
Ademas, los U
i
pueden elegirse difeomorfos a R
p
y arbitrariamente peque nos.
Demostracion. Tomando para cada a
i
una aplicacion
i
como la de la proposicion
anterior con los entornos U
i
sucientemente peque nos, obtenemos deniendo
(x) =
_

i
(x) si x U
i
,
c en otro caso.
El unico problema podra ser la conservacion de la orientacion. Para controlar eso
sea : S
p
S
p
una simetra respecto de cualquier hiperplano que contenga a los
dos puntos antipodales c y c, simetra que invierte la orientacion en c. As, si
i
in-
vierte la orientacion en a
i
, reemplazando
i
por
i
conseguimos lo que queremos.
Observacion. Todos los colapsamientos construidos anteriormente tienen la pro-
piedad evidente de que cualquier punto de la esfera distinto de c es un valor regular,
y el recuento de las imagenes inversas es el mismo para todos ellos: impar en la pro-
posicion 5.2, y d en la proposici on 5.3. Es claro tambien que este ultimo recuento se
convierte en d componiendo con una simetra de S
p
.
6. Recuento de preimagenes y homotopa
En esta seccion estudiamos mediante recuento de preimagenes la clase de homo-
topa de las aplicaciones diferenciables X S
p
. Para ese estudio jamos en R
p
y en
S
p
las orientaciones canonicas. El primero de los dos resultados clave es el siguiente:
Teorema 6.1 Supongamos que la dimension es p 2. Sean f, g : X S
p
dos
aplicaciones diferenciables. Supongamos que c S
p
es un valor regular de ambas tal
que
f
1
(c) = a
1
, . . . , a
r
, g
1
(c) = b
1
, . . . , b
r
y para cada i = 1, . . . , r, existe una parametrizacion

i
: R
p
U
i
X con a
i
, b
i
U
i
de modo que f
i
conserva la orientacion en
1
i
(a
i
) si y solo si g
i
la conserva
en
1
i
(b
i
). Entonces, f y g son homotopas.
6. Recuento de preim agenes y homotopa 105
Demostracion. Procedemos en varios pasos.
Caso particular en que a
i
= b
i
y d
a
i
f = d
a
i
g para todo i = 1, . . . , r. Podemos
suponer
i
(0) = a
i
y elegir los U
i
sucientemente peque nos para que sean disjuntos
dos a dos y nunca dos imagenes f(x), g(x), x U
i
, sean antipodales. Por otra parte,
consideremos la proyeccion central desde el origen 0 R
p+1
sobre el hiperplano
afn H = c +T
c
S
p
tangente a la esfera en c. Esta proyeccion es un difeomorsmo
del hemisferio abierto que contiene a c sobre el hiperplano H que identicamos con
R
p
, y tiene la propiedad de transformar meridianos en rectas. Consideremos las
localizaciones f
loc
= f
i
y g
loc
= g
i
. Como f
loc
(0) = g
loc
(0) = 0 y
Df
loc
(0) = Dg
loc
(0) = h es un isomorsmo lineal, los teoremas de inversion local y
de Taylor garantizan que f
loc
y g
loc
son inyectivas en un entorno de 0 en el que se
verica:
|f
loc
(z) h(z)|
1
|h
1
|
|z|, |g
loc
(z) h(z)|
1
|h
1
|
|z|.
Como |z| = |h
1
(h(z))| |h
1
| |h(z)| deducimos
1
h
1
|z| |h(z)|. Por tanto,

los dos puntos f
loc
(z) y g
loc
(z) estan en la bola de centro h(z) y radio |h(z)|, con
lo que el segmento [f
loc
(z), g
loc
(z)] contiene al origen solo si coincide con uno de sus
extremos, es decir, solo si z = 0. Aplicando
1
, resulta que podemos reducir U
i
de
modo que el segmento de meridiano que une f(x) y g(x) no pase por c salvo para
x = a
i
. En n, reducimos a un mas los U
i
y estas condiciones se cumplen para sus
adherencias.
Ahora, denotamos por U la union de los U
i
y ponemos K = U U, que es
compacto. Como hemos excluido la posibilidad de pares antipodales, la aplicacion
F(t, x) =
tf(x) + (1 t)g(x)
|tf(x) + (1 t)g(x)|
,
esta bien denida en [0, 1] U y es continua. Ademas, para cada x K, la curva
t F(t, x) es precisamente el segmento de meridiano que une f(x) con g(x), y por
construccion no pasa por c. Por tanto, F([0, 1] K) es un compacto que no contiene
a c, y encontramos un casquete cerrado B centrado en c que contiene a F(K) pero
no a c. Elegimos por ultimo una aplicacion diferenciable : S
p
S
p
que colapse el
casquete B sobre c, y resulta que la homotopa H = F esta denida en [0, 1] U
y es c en [0, 1] K, pues F([0, 1] K) B y c en B. En consecuencia, H
se extiende a toda la variedad X mediante H(t, x) = c para x / U.
De este modo, la aplicacion f = F
0
= H
0
es homotopa a g = F
1
= H
1
.
Como ademas sabemos que es homotopa a la identidad, concluimos que f es
homotopa a g.
Una vez resuelto este caso particular, proseguimos en tres etapas mas.
Reduccion al caso a
i
= b
i
, i = 1, . . . , r. En la situacion general del enunciado,
denotamos momentaneamente =
1
y consideremos una difeotopa H
t
de R
p
que
sea la identidad fuera de un compacto K que contenga los dos puntos
1
(a
1
) y
1
(b
1
), y que conecte uno con otro: H
1
(
1
(a
1
)) =
1
(b
1
). Tambien podemos
suponer que ninguno de los puntos
1
(b
i
), 1 < i r, esta en K. Entonces F
t
=
H
t
1
es una difeotopa de U
1
que se extiende por la identidad a toda la varie-
dad X. As, la aplicacion g
1
= g F
1
es homotopa a g, c es un valor regular de g
1
, y
g
1
1
(c) = a
1
, b
2
, . . . , b
r
. Adem as, en U
1
tenemos g
1
= g F
1
= g H
1
, y
como H
1
conserva la orientacion por ser una difeotopa, g
1
conserva la orientacion
en
1
(a
1
) si y solo si g lo hace en
1
(b
1
). Repitiendo este razonamiento r veces,
podemos suponer que g
1
(c) = a
1
, . . . , a
r
y estamos en el caso deseado.
Substitucion de f, g por dos aplicaciones localmente lineales. Despues de la reduccion
anterior, denotamos por h una de las dos aplicaciones f, g. Sea
la proyeccion
estereograca desde el punto c antipodal de c. Para cada i = 1, . . . , r denotamos
L
(i)
= D(
h
i
)(0). Utilizando una aplicacion diferenciable : S
p
S
p
que
colapse un casquete sobre c, denimos

h : X S
p
por las condiciones
h[U
i
=
1
L
(i)

1
i
para i = 1, . . . , r,
h c fuera de los U
i
.
Claramente,

h y h estan en las condiciones del caso particular probado al principio,
luego son homotopas. Esta aplicacion

h es la que denominamos localmente lineal.
Fin de la demostracion. Con las notaciones anteriores, tenemos que construir una
homotopa H
t
tal que H
0
=

f y H
1
= g. Empecemos por denirla en los abiertos
U
i
. Recordemos que por denicion
f[U
i
=
1
A
(i)

1
i
, siendo A
(i)
= D(
f
i
)(0),
g[U
i
=
1
B
(i)

1
i
, siendo B
(i)
= D(
g
i
)(0).
Ahora bien, por hipotesis, las aplicaciones lineales A
(i)
y B
(i)
conservan o invierten
la orientacion a la vez, luego tienen los determinantes de igual signo. Esto quiere
decir que estan en la misma componente conexa de las dos que tiene el abierto de
las matrices con determinante no nulo, y por tanto existe una aplicacion continua
t H
(i)
t
, 0 t 1, con det H
(i)
t
,= 0, H
(i)
0
= A
(i)
y H
(i)
1
= B
(i)
. Para terminar
basta denir
H
t
[U
i
=
1
H
(i)
t

1
i
.
6. Recuento de preim agenes y homotopa 107
En efecto, por construccion la norma |(H
(i)
t
)
1
| esta denida y es una funcion
continua de t, de modo que tiene un maximo . As, para t arbitrario se tiene:
|x| = |(H
(i)
t
)
1
H
(i)
t
(x)| |(H
(i)
t
)
1
||H
(i)
t
(x)| |H
(i)
t
(x)|.
Esta acotacion garantiza que la homotopa se extiende con continuidad poniendo
H
t
c fuera de los U
i
.
Observacion. Para p = 1 la demostracion anterior solo presenta dicultades cuan-
do se usa la difeotopa en la reduccion al caso particular, lo que evidentemente se
subsana a nadiendo como hipotesis la existencia de difeotopas. Ahora bien, si p = 1
la variedad X es simplemente una circunferencia, y sabemos que esa hipotesis se da
cuando los a
i
y los b
i
estan monotonamente ordenados.
El otro resultado que nos interesa es como simplicar la imagen inversa de un
valor regular.
Teorema 6.2 Supongamos que la dimension es p 2. Sea f : X S
p
una apli-
cacion diferenciable y c S
p
un valor regular de f. Supongamos que existen dos
puntos a, b X con f(a) = f(b) = c y una parametrizacion : R
p
U X con
a, b U, tal que f : R
p
S
p
conserva la orientacion en
1
(a) y la invierte en
1
(b). Entonces f es homotopa a una aplicacion diferenciable h : X S
p
tal que:
(1) c es valor regular de h.
(2) h
1
(c) = f
1
(c) a, b.
(3) h tiene la misma derivada que f en cada punto de h
1
(c).
Demostracion. Mediante una difeotopa si es necesario, podemos suponer f
1
(c)
U = a, b. Asmismo, despues un cambio de coordenadas en R
p
, sera =
1
(a) =
(
1
2
, 0) y =
1
(b) = (
1
2
, 0), y denotamos A y B las dos bolas abiertas de radio
1
4
y
centros (
1
2
, 0) y (
1
2
, 0) respectivamente. Consideramos la simetra de R
p
= RR
p1
respecto del hiperplano z
1
= 0 de ecuaciones
z = (z
1
, z
) z
= (z
1
, z
) R R
p1
y las dos aplicaciones anes
(z) = z , (z) = (z
) = z
.
En particular, (A) = (B) es la bola abierta W de centro 0 = () = () y radio
1
4
. Estos preparativos sirven para substituir f por una aplicacion diferenciable

f que
cumple las siguientes condiciones:
(1)

f[X U =

f[X U (notaciones de la demostracion anterior),
(2)

f c fuera de A B, y
(3)

f es simetrica respecto de z
1
, es decir,

f (z) =

f (z
).
En realidad, seg un se construyo

f en la demostracion anterior, solo debemos preo-
cuparnos por redenirla en U, esto es, denir la localizacion

f . Para ello sea la
proyeccion esterograca desde c y elijamos una aplicacion diferenciable : S
p
S
p
que colapse sobre c el casquete cerrado complementario de
1
(W). Denimos
f (z) =
_
_
_

1
(z) para z A,

1
(z) para z B,
c para z / A B.
Es claro que se cumplen (1) y (3), y esta aplicacion es homotopa a f por el teorema
precedente (notese que conserva la orientacion y la invierte).
Ahora para terminar denimos la siguiente homotopa H : [0, 1] X S
p
,
H
t
(x) =
_
f((t, z
)) para x = (z
1
, z
) U, [z
1
[ t,
f((z
1
, z
)) para x = (z
1
, z
) U, [z
1
[ t,
f(x) para x / U.
Claramente H
0
=

f, y h = H
1
coincide con

f fuera de U y es c en U, con lo que
h es la aplicacion diferenciable buscada.
Observacion. De nuevo conviene mirar que pasa con la demostracion en dimension
1, es decir cuando X es una circunferencia. De nuevo se ve que la unica dicultad
es una difeotopa, al principio del argumento esta vez. Para eludir esta dicultad se
podra modicar el enunciado de varias maneras, pero aqu nos basta se nalar que si
los dos puntos a y b son consecutivos entre todas las imagenes inversas la difeotopa
es de hecho innecesaria.
7. Teoremas de Hopf
Sea X R
m
una variedad diferenciable compacta, conexa y sin borde de dimen-
sion p 1. La clasicacion por homotopa de las aplicaciones continuas X S
p
se
basa en la nocion de grado que describimos muy sucintamente a continuacion.
7. Teoremas de Hopf 109
Grado de una aplicacion continua. Sea f : X S
p
una aplicacion continua.
Elegimos una aplicacion diferenciable g : X S
p
homotopa a f, y un valor regular
c S
p
de g.
Si g
1
(c) = , denimos el grado d = 0. En este caso comprobamos directamente
que g es nulhomotopa:
F
t
(x) =
tg(x) + (1 t)(c)
|tg(x) + (1 t)(c)|
es una homotopa con F
0
c, F
1
= g.
Suponemos a continuacion g
1
(c) = a
1
, . . . , a
r
, y denimos el grado d de f
como sigue:
(1) Si X no es orientable, consideramos la paridad d = 0 o 1 de r = 2k +d.
(2) Si X es orientable, se ja una orientacion en X y consideramos la suma
d = d
1
+ + d
r
, donde d
i
= +1 o 1 seg un que g conserve o invierta la
orientacion en a
i
.
En otras palabras, llamamos grado al recuento de preimagenes de cualquier valor
regular de una aplicacion diferenciable homotopa a la dada. Se nalemos que hemos
reservado la paridad para el caso no orientable, aunque bien se puede hacer tambien
en el caso orientable (recuerdese el comentario inicial de la seccion 4). De este modo
los valores admisibles son d = 0 o 1 en el caso no orientable y d Z en el caso
orientable. Por otra parte, la consistencia de esta denicion resulta del corolario 4.3.
Los teoremas que muestran el valor del grado, debidos a Hopf, se resumen en el
siguiente enunciado:
Teorema 7.1 Dos aplicaciones continuas X S
p
son homotopas si y solo si tienen
el mismo grado d. Ademas, para cada valor admisible de d existe una aplicaci on
continua de ese grado.
Demostracion. Sea f : X S
p
una aplicacion continua de grado d, y busquemos un
representante especial de la clase de homotopa de f. Podemos suponer simplemente
que f es diferenciable, y que d se ha calculado con un valor regular c de la propia
f. Debemos distinguir tres posibilidades.
Caso no orientable (y por tanto p 2). Entonces d = 0 o 1. Si f
1
(c) contiene
dos puntos distintos a, b X, existen dos parametrizaciones : R
p
U X,
: R
p
V X con a, b U V de modo que las orientaciones
U
,
V
que
inducen en U, V coinciden en a y no lo hacen en b (criterio de no orientabilidad de
la proposicion I.7.2 y composicion con una difeotopa). Despues de componer con
una simetra de R
p
si es necesario, resulta que f conserva la orientacion en los
dos puntos
1
(a),
1
(b) y f la conserva en
1
(a) y la invierte en
1
(b).
En consecuencia, por el teorema 6.2, eliminamos ambos. Repitiendo el argumento,
podemos suponer que f
1
(c) tiene exactamente d puntos. Como ya sabemos que si
d = 0, f es nulhomotopa, supondremos d = 1, digamos f
1
(c) = a. Entonces f
es homotopa a un colapsamiento con recuento 1. En efecto, podemos suponer que
c es tambien valor regular de , y denotamos por b su imagen inversa. De nuevo
por el criterio de no orientabilidad, ahora existe una parametrizacion tal que la
localizacion f conserva la orientacion en el punto
1
(a) y la conserva
en
1
(b). As, por el teorema 6.1, se deduce la homotopa deseada entre f y el
colapsamiento .
Caso orientable, p 2. Supongamos que c tiene dos preimagenes a, b en la primera
de las cuales f conserva la orientacion, pero no en la segunda. Entonces aplicando
el teorema 6.2 a cualquier carta : R
p
U X cuya imagen U contenga los
dos puntos a y b podemos eliminar a y b. Repitiendo este argumento cuantas veces
sea preciso, conseguimos que el n umero de preimagenes de c coincida con el grado,
despues de componer con una simetra si el grado era negativo. Deducimos entonces,
por el teorema 6.1 esta vez, que f es homotopa a un colapsamiento con recuento
d.
Caso orientable, p = 1. En este caso la misma demostracion vale, cuidando el uso de
difeotopas. Para eliminar pares de preimagenes con signos opuestos en el recuento,
primero observamos que si tales pares existen, siempre se pueden elegir los dos
puntos consecutivos. Despues, cuando ya todas las preimagenes contribuyen con
igual signo, se ordenan monotonamente, y el argumento se puede completar como
en el caso anterior.
Conclusion. Para cada grado d hay una clase de homotopa [d] representada por
los colapsamientos , y no hay mas, pues acabamos de demostrar que cualquier
aplicacion continua es homotopa a uno de ellos. Para terminar basta observar que
esas clases son todas distintas, pues dos aplicaciones con recuentos de preimagenes
distintos no son homotopas.
8. Campos tangentes a esferas 111
8. Campos tangentes a esferas
Sea X R
m
una variedad diferenciable y (TX, ) su brado tangente. Una
aplicacion continua : X TX se llama campo tangente a X si = Id. Esto
equivale evidentemente a que sea de la forma x (x,
x
), luego un campo tangente
es simplemente una aplicacion X R
m
: x
x
tal que
x
T
x
X para cada x X.
La existencia de campos es un problema importante con muchas consecuencias de
naturaleza topologica o diferenciable. Por ejemplo, se demuestra que existe un campo
tangente nunca nulo (
x
,= 0 para todo x X) si y solo si la caracterstica de
Euler de la variedad es nula. Nosotros no podemos demostrar esto ahora con toda
generalidad, pero s podemos hacerlo ya para las esferas:
Proposicion 8.1 (Brouwer) Una esfera S
p
R
p+1
tiene un campo tangente nunca
nulo si y solo si p es impar.
Demostracion. Si p es impar, entonces p + 1 = 2k, y el campo
x
= (x
2
, x
1
, . . . , x
2k
, x
2k1
), x = (x
1
, x
2
, . . . , x
2k1
, x
2k
) S
p
,
es claramente un campo tangente nunca nulo (y no solo continuo, sino de clase
innito).
Supongamos ahora que p = 2k es par. Procederemos por reduccion al absurdo
suponiendo la existencia de un campo tangente a S
2k
nunca nulo x
x
. Dividiendo
por su norma, que es una aplicacion continua nunca nula, podemos suponer |
x
| = 1
para todo x S
2k
, de modo que en realidad tenemos una aplicacion S
2k
S
2k
, con
la propiedad de que x
x
= 0 para todo x S
2k
. Por esta propiedad, podemos
denir una homotopa H : X = [0, 1] S
2k
S
2k
por la formula
H(t, x) = cos(t)x + sen(t)
x
.
De este modo, H
0
es la identidad y H
1
el difeomorsmo antipodal: x x. En
consecuencia, este difeomorsmo tiene grado 1 como la identidad. Esto signica que
conserva la orientacion: si la base u
1
, . . . , u
p
x
S
p
, la base
u
1
, . . . , u
p
debe denir la de T
x
S
p
. Pero como p es par, las dos bases anteriores
denen la misma orientacion y concluimos que las orientaciones de la esfera en dos
puntos antipodales coinciden, lo que sabemos es falso. Esta es la contradiccion que
buscabamos.
Problemas
N umero 1. Sea A = (a
ij
) una matriz nn con todos sus coecientes a
ij
0. Demostrar
que existen un escalar 0 y un punto x R
n
0 con todas sus componentes x
i
0 de
modo que Ax = x.
N umero 2. Probar que el teorema del punto jo de Brouwer es equivalente a la siguiente
propiedad de los cubos unidad I
n
R
n
: dada una coleccion de n cerrados C
i
de I
n
tales
que los conjuntos A
i
= x
i
= 1 y B
i
= x
i
= 0 esten en distinta componente conexa de
I
n
C
i
, entonces
i
C
i
,= .
N umero 3. Sea X R
n+1
una variedad compacta y conexa cuyo borde X es una
hipersupercie conexa de R
n+1
. Probar que R
n+1
X es conexo.
N umero 4. Sea X R
n+1
una hipersupercie compacta y sin borde, no necesariamente
conexa. Determinar el n umero de componentes conexas de R
n+1
X.
N umero 5. Demostrar que una aplicacion continua f : S
n
S
n
es nulhomotopa si y solo
si tiene una extension continua

f : D
n+1
S
n
.
n
R una aplicacion diferenciable propia de la que todo t [0, 1]
es valor regular. Probar que la imagen inversa X = f
1
[0, 1] es una variedad diferenciable
difeomorfa al cilindro [0, 1] f
1
(0), y con borde X = f
1
(0) f
1
(1).
N umero 7. Sea f : S
2n
S
2n
una aplicacion continua sin puntos jos. Probar que
entonces las dos aplicaciones f y f f s tienen puntos jos.
N umero 8. Probar que el grado de la composicion de dos aplicaciones continuas de una
esfera en s misma es el producto de los grados. Deducir que el grado de un homeomorsmo
de una esfera en s misma es 1.
N umero 9. Probar que para cualesquiera 2n + 1 aplicaciones continuas f
1
, . . . , f
2n+1
:
S
2n
R siempre existen un punto a S
2n
y un escalar R de modo que f
i
(a) = a
i
para todo i = 1, . . . , 2n + 1.
N umero 10. Demostrar que dos esferas de distinta dimension no son homotopicamente
equivalentes.
N umero 11. Demostrar que dos espacios anes de distinta dimension no son homeomor-
fos. Se puede concluir directamente de esto que dos variedades diferenciables de distinta
dimension no son homeomorfas?
N umero 12. Sea X R
m
una variedad compacta, conexa y sin borde, de dimension p
y simetrica respecto del origen. Probar que si una aplicacion continua f : X S
p
cumple
f(x) = f(x) para cada x X, entonces tiene grado par.
Problemas 113
N umero 13. Sea S
p
la esfera de dimension p = 1, 3, 7, que consideramos respectivamente
como el grupo multiplicativo de los complejos, cuaterniones, octoniones, de modulo 1; sea
1 S
p
la unidad de ese grupo. Demostrar que si u R
p+1
es un vector tangente a S
p
en 1,
entonces a u a dene un campo tangente a S
p
. Deducir que el brado tangente TS
p
es
difeomorfo a S
p
R
p
.
115
Glosario
Df(x) 2
H
p
3
Int(X) 6
X 6
dim
x
X 8
dimX 8
codim
x
(Y, X) 8
codim(Y, X) 8
S
p
8
D
p+1
8
P
n
(R) 8
T
x
X 9
(TX, ) 14
TX 14
d
x
f : T
x
X T
y
Y 16
df : TX TY 16
E
,
E
24
p
24
f
36
G
f
36
f
1
(a), f
1
(, a] 47
f

x
Z 56
f

C
Z 56
f

Z 56
X

Z 59
V R(f) 61
C(f) 61
SX 67
N
x
X 72
(NX, ) 72
NX 72
e : NX R
m
73
((X, Y ) 76
(
r
(X, Y ) 76
B
(f) 77
U
W
77
117
Indice
Aplicacion de clase r en un conjunto arbi-
trario, 2
Aplicacion diferenciable, 3
Aplicaciones homotopas con transversali-
dad prescrita, 84
Aplicaciones propias y topologa fuerte, 79
Aproximacion arbitraria con transversali-
dad prescrita, 85
Aproximacion implica homotopa, 78
Arco diferenciable, 35
Borde de una variedad, 6
Borde y retractos de una variedad com-
pacta, 96
Campo tangente a una variedad, 111
Clasicacion diferenciable de curvas, 93
Clasicacion topologica de curvas, 89
Codimension, 8
Codimension pura, 8
Colapsamiento, 103
Conjunto de medida nula, 63
Conservacion de la orientacion por un di-
feomorsmo local, 31
Conservacion del borde por una aplica-
cion, 7
Construccion de orientaciones mediante pa-
rametrizaciones, 25
Criterio de no orientabilidad, 27
Curva, 8
Derivada de una aplicacion diferenciable
entre variedades, 16
Derivada direccional, 3
Derivada parcial, 19
Difeomorsmo, 4
Difeomorsmo local, 4
Difeotopa, 20
Difeotopa identidad fuera de un conjunto
dado, 20
Dimension de un variedad, 8
Dimension de una variedad en un punto,
8
Dimension pura, 8
Ecuacion global de una hipersupercie, 50
Ecuaciones globales, 49
Ecuaciones globales y cohomologa, 54
Entorno tubular, 76
Espacio normal a una variedad en un pun-
to, 72
Espacio tangente a una variedad en un
punto, 9
Extension global de una funcion de clase,
13
Extension local de una aplicacion de clase,
2
Fibrado normal de una variedad diferen-
ciable, 72
Fibrado tangente de una variedad, 14
Fibrado tangente unitario, 67
Forma local canonica de una inmersion, 33
Forma local canonica de una sumersion,
38, 40
Forma local producto de una sumersion,
40, 41
Funcion de Urysohn o separante, 11
Funcion meseta de una variable, 10
Funcion meseta de varias variables, 10
Grado de una aplicacion continua, 109
118

Indice
Grafo de un aplicacion diferenciable, 36
Hipersupercie, 8
Homotopa de aplicaciones con recuentos
iguales, 104
Homotopa diferenciable, 82
Homotopa propia y topologa fuerte, 79
Homotopa y topologa fuerte, 79
Inmersion, 32
Inmersion difeomorca, 35
Interior de una variedad, 6
Interseccion completa, 49
Invarianza del recuento por homotopa, 101
Lema de deformacion por homotopa, 82
Lema fundamental del recuento, 99
Lemniscata, 35
Orientacion canonica del espacio vectorial
estandar, 24
Orientacion de espacios vectoriales, 24
Orientacion de imagenes inversas, 57
Orientacion de un cilindro y de su borde,
30
Orientacion de un producto de variedades
orientadas, 29
Orientacion de una variedad, 25
Orientacion de una variedad en un punto,
25
Orientacion del borde de una variedad orien-
table, 28
Orientaciones opuestas de una variedad orien-
table conexa, 26
Parametrizacion compatible con una orien-
tacion, 25
Parametrizacion de una variedad, 4
Parametrizacion de una variedad adapta-
da a otra, 37
Particion de la unidad, 12
Producto de orientaciones, 24
Producto de variedades, 19
Punto crtico, 61
Recubrimiento no ramicado, 61
Recuento de preimagenes, 99
Regla de la cadena, 3
Regla de la cadena para aplicaciones dife-
renciables entre variedades, 16
Retraccion radial, 68
Seccion nula del brado normal, 72
Seccion nula del brado tangente, 14
Semiespacios anes, 3
Simplicacion homotopica mediante el re-
cuento de preimagenes, 107
Solenoide, 35
Suma de orientaciones, 24
Sumersion, 38
Supercie, 8
Teorema de aproximacion diferenciable, 79
Teorema de Baire, 62
Teorema de existencia de campos tangen-
tes a esferas, 111
Teorema de existencia de difeotopas, 20
Teorema de Fubini, 64
Teorema de inmersion de Whitney, 66
Teorema de invarianza del dominio, 7
Teorema de inversion local, 4
Teorema de inversion local para varieda-
des con borde, 16
Teorema de Jordan-Brouwer, 54
Teorema de Sard-Brown, 62
Teorema de separacion de Jordan-Brouwer,
97
Teorema del punto jo de Brouwer, 95
Teorema fundamental del algebra, 61
Teorema parametrizado de densidad de la
transversalidad, 65
Teoremas de Hopf, 109
Topologa fuerte, 77
Transversalidad, 56
Transversalidad de aplicaciones, 59
Transversalidad de variedades, 59
Tubo, 76
Unicidad de la ecuacion global de una hi-
persupercie, 54
Valor crtico, 61
Indice 119
Valor regular, 61
Variedad con borde diferenciable, 7
Variedad de clase r, 4
Variedad diferenciable, 4
Variedad orientable, 25
Variedad orientada, 25
Variedad topologica, 4
Vector tangente exterior a una variedad
en un punto del borde, 28

Topologia Diferencial y Variedades Con Borde

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Topologia Diferencial y Variedades Con Borde

Cargado por

Copyright:

Formatos disponibles

TOPOLOG

Estas se denen en la seccion 2, en donde se describe con cuidado la nocion de interior

vemos que Df(

(t) > 0 para t > 0 y f es creciente.

(t) > 0 para 0 < t < , y f es creciente.

(t) para > 0

(t) < 0 para < t < 0, y f es decreciente.

1 < . De esta manera, 0 < < se pueden jar arbitraria-

Ahora, puesto que K

es compacto, se puede construir una coleccion nita

((a))(z), lo que muestra que la aplicacion

f[U X = f[U X. Sea y = f(x).

f(U) V , y consideramos la localizacion

4. C alculo diferencial en variedades 17

es un difeomorsmo. Resulta que la restriccion de f a U

(y)[ > 0, y el U que buscamos es la bola de

> 0, donde, como es habitual, denotamos por det

. Con esta denicion hay exactamente dos orientaciones posibles, y la eleccion de

. Recprocamente, dada una tal familia de parametrizaciones, la eleccion de

(x) el signo del determinante de d

Los ejemplos anteriores conducen al siguiente concepto:

) para obtener la primera la de la matriz jacobiana queda:

, f(x)) = h(x) A, luego f(x) B.

, f(y)), luego f(y) =

(4, 1) = 259 y (f[X)

= f < 0, de modo que ZU U

es otra componente de X Z, es abierta en X y no corta a W,

es una segunda componente, tambien U

son disjuntas, solo hay dos posibilidades:

= f < 0. Entonces, por (e), f > 0 f >

= 0 si y solo si existen los

donde, por ser g

). Esto signica que

de centro f(x) y lado 2. En

= z W : |z (z)| < ((z)) W

(f) = g ((X, Y ) : |g f| < .

(f) forman una base de entornos abiertos de f para una topologa en

de C en U tal que f[U

X. A continuacion, como C es cerrado en U,

una extension continua de f a D = V X que toma

> 0, o simplemente suponer f(U) W. Usando mn,

en lugar de en la etapa anterior, tendremos h(U) W.

(observese que f(x) = (f(x)) es un entorno abierto de f(x) en R

en la primera etapa, y armamos que la composicion g = h,

: [0, 1] X Y : (t, x) H((t), x).

por una aplicacion de clase r 1,

en un entorno de C, y que es por tanto una homotopa de clase

= (x, u) NX : |u| < ,

cumple la condicion anterior, entonces la retraccion : W

: X Z de clase r y homotopa a g, de modo que (f, g

se puede elegir arbitrariamente proxima

; en otras palabras, podemos suponer Z

Ahora razonaremos de modo similar en el punto b, con una parametrizacion

dos casquetes cerrados disjuntos centrados en ellos. Entonces,

en una bola |x|

0 (por ser creciente) concluimos que ese determinante es estricta-

sobre c, o simplemente que es un

h es la identidad en un entorno del origen,

y para cada i = 1, . . . , r, existe una parametrizacion

|z| |h(z)|. Por tanto,

También podría gustarte