La Teora del Grado en R

n
Prof. Jes us Perez Sanchez
Marzo 2008

Indice general
Introduccion 1
1. Teora del Grado en R
n
2
2. En la b usqueda de una expresion (Formula) para d(f, , y). 15
3. Aplicaciones 33
4. Apendice 55
Bibliografa 59
i
Introduccion
En la presente monografa sobre la La teora del Grado, en R
n
,
encontramos aplicaciones de la misma, para resolver algunos ejercicios y
obtener demostraciones elegantes y simples de conocidos teoremas, como el
Teorema del punto jo de Brouwer, el teorema del puerco espn, el teorema de
la esfera cabelluda, entre otros.
En verdad, estas breves notas fueron en parte, hechas con la intencion de
aclarar, para m mismo, muchos puntos de la teora, la cual me atrajo desde
un principio, por su belleza y utilidad.
Jes us A. Perez Sanchez
jesusp@ula.ve
1
Captulo 1
Teora del Grado en R
n
Seguramente, muchos de los problemas que el lector ha tratado encajan
perfectamente en el siguiente modelo:
Dados: un elemento y, una funcion continua f, hallar x, tal que,
f(x) = y
Mas especcamente. Sean: y R
n
; , un subconjunto de R
n
, abierto y
acotado; , la clausura (o cerradura) de en R
n
; f : R
n
, funcion
continua.
Nota 1.1. Siempre consideremos R
n
, provisto de la topologa euclideana, es
decir, si x = (x
1
, x
2
, , x
n
) R
n
, entonces, la norma de x, denotada por
[x[, es
_
x
2
1
+ x
2
2
+ + x
2
n
. Tambien, denota el conjunto frontera de .
Veamos dos ejemplos:
a.- Sean:
n = 1; = (5, 11); y = 0; f(x) = x
7
+ 5x
4
3x + 6.
Aqu, nuestro problema indicado con f(x) = y, no es otro que el de hallar
las races, en [5, 11], de la ecuacion x
7
+ 5x
4
3x + 6 = 0
b.- Dados: y R
n
; A, matriz real, n n, invertible; = B(0; ), bola
abierta de centro el origen 0 R
n
y radio > 0; hallar x B(0, ),
tal que f(x) = Ax = y

Regresando a la situacion inicial, planteada la ecuacion f(x) = y, estaremos

interesados, no solo en saber si existe, o no, solucion a la misma sino, en caso
armativo, nos gustara saber si ella es unica.
2
Si hay varias soluciones, nos podemos preguntar, ademas, como est an
distrbuidas en . Pero hay otra inquietud sumamente importante:
Supongamos resuelto el problema para cierta ecuacion f(x) = y.
Entonces, sera interesante averiguar como cambia el resultado si la ecuacion
es

f(x) = y, para

f y y cercanos, en alg un sentido, a f e y,
respectivamente.
Es decir, nos interesamos en saber si hay alguna estabilidadde las respuestas
obtenidas en una situacion concreta. Pongamos por caso que en la ecuacion
polinomial:
x
7
+ 5x
4
3x + 6 = 0
los coecientes 1, 5, -3, 6 han sido obtenidos por interpolacion de ciertos datos
experimentales (los cuales, usualmente contienen peque nos, pero inevitables
errores). En esta situacion es deseable saber si los ceros (races) del
polinomio x
7
+5x
4
3x+6 estan cercanos a los ceros del polinomio verdadero.
Ademas, en el problema de encontrar los ceros de un polinomio sobre C
(recordar el teorema fundamental del

Algebra), el investigador
estara interesado, sobretodo, en saber la ubicacion de dichas raices en el plano
complejo: ellas estan en el eje imaginario? en el semi-plano izquierdo?
en el semi-plano derecho?

Siguiendo con nuestra ecuacion inicial

f(x) = y
consideremos el siguiente caso:
Sean: = B((0, 0); 1) R
2
, bola abierta de centro (0, 0) y radio 1; y = (0, 0);
f : R
2
dada por f(x
1
, x
2
) = (x
2
1
+ x
2
2
1, 0).
Tenemos, entonces, que: f es continua,
f
1
y = f
1
(0, 0)
= (x
1
, x
2
) : f(x
1
, x
2
) = (0, 0)
=
= S
1
(esfera unitaria)
3
Ahora, sea > 0 y e y, como antes denamos:

f : R
2
, por

f(x
1
, x
2
) = (x
2
1
+ x
2
2
1 , 0)
Resulta que

f es continua y
f
1
y = f
1
(0, 0)
= (x
1
, x
2
) :

f(x
1
, x
2
) = (0, 0)
=
Como podemos tomar > 0, tan peque no como se quiera, conclumos que
f y

f estan tan pr oximas como se desee; sin embargo, las soluciones de
las ecuaciones:
f(x) = y ,

f(x) = y
son drasticamente diferentes. (Notemos que y = (0, 0) f())

Veamos otro caso, mas simple a un.

Sean: n = 1; y = 0; = (2, 2); f : R
f(x) =
_
_
_
0 si x 2, 2 [0, 1]
x
2
+ 2x si x (2, 0)
x
2
3x + 2 si x (1, 2)
x
y
1
1 2 1 2
4

f : R,

f(x) = f(x) con > 0. Resulta que:
f
1
0 = 2, 2 [0, 1] (1.1)

f
1
0 = (1.2)
Notemos que, a pesar de que f y

f estan proximas una de la otra , o que
una es una deformacion continuade la otra, 1.1 y 1.2 indican situaciones
bastante diferentes. Observemos, tambien, que:
= 2, 2 y que 0 f()
Es para evitar situaciones como las que acabamos de presentar, que colocaremos
durante la construccion de la Teora del Grado, la condicion:
y / f()
Recordemos que queremos construir una herramienta que nos sea util al tratar
de responder a las preguntas surgidas en relacion a la ecuacion f(x) = y.
En el camino hacia nuestro objetivo, cuando tengamos una funcion f : R
n
,
continua, con R
n
, abierto y acotado, e y R
n
, tal que y / f(),
diremos que la terna (f, , y) es admisible, y asociaremos, que denotaremos
a dicha terna un n umero entero, denotaremos por d(f, , y).
As que, nuestra meta es construir una funci on
d : ternas admisibles Z,
la cual nos de respuestas signicativas a las interrogantes planteadas al
comienzo del captulo.
Para comenzar, cuales requisitos debe cumplir tal funci on d?
En primer lugar, si f = id, la aplicacion identidad de R
n
,
denida por id(x) = x, entonces, f(x) = y, con y ,
tiene la unica solucion x = y.
De modo que, es natural requerir que:
5
d(id, , y) = 1, para todo y ; (d1)
(Esta condicion es conocida como normalizaci on).
La segunda exigencia es una expresion natural del anhelo de que d debera
proporcionar informacion sobre la localizacion de las soluciones de nuestra
ecuacion: f(x) = y.
Supongamos que
1
y
2
son subconjuntos de , abiertos y disjuntos,
tales que f(x) = y tiene un n umero nito de soluciones en
1

2
, pero
ninguna solucion en (
1

2
). (AB = x A : x / B)
Entonces, el n umero de soluciones en es la suma del n umero de soluciones
en
1
y
2
, lo cual sugiere la condicion:
d(f, , y) = d(f,
1
, y) + d(f,
2
, y), donde,
1
,
2
son conjuntos
de abiertos, disjuntos, tales que y / f((
1

2
)) (d2)
(Tal condicion es llamada aditividad)
El tercer, y ultimo, requisito para d tiene una motivacion practica: muchas
veces, calcular d(f, , y) puede ser muy complicado o difcil, entonces,
en su lugar se halla d(g, , y
0
), donde, g y y
0
son deformaciones
continuas de f e y, respectivamente.
Precisemos:
Sean:
f : R
n
,
g : R
n
continuas, tales que: y / f(), y / g().
Supongamos que existe
h : [0, 1] R
n
,
continua que verica
h(0, x) = f(x)
h(1, x) = g(x),
para todo x .
6
Se dice, entonces, que h es una homotopa entre f y g, o que, f y g
son homot opicas , o que, cada una es una deformaci on continua de
la otra.
Si, ademas, h(t, x) ,= y para todo t [0, 1] y para todo x , se dice que
h es una homotopa admisible, respecto a y. As, el ultimo requisito
para d se expresa, en su forma m as general, como:
d(h(t, ), , y(t)) es independiente de t [0, 1], donde,
h : [0, 1] R
n
, y : [0, 1] R
n
,
son continuas y, adem as, y(t) / h(t, ), para todo t [0, 1]. (d3)
La condici on (d3) es conocida como invariancia homot opica.
Ejemplo 1.1. Sean = (1, 1);
f : [1, 1] R g : [1, 1] R
f(x) = x g(x) = xe
x
Queremos hallar d(f, , 0)
Consideremos
h : [0, 1] [1, 1] R
h(t, x) = (1 t)f(x) + t g(x);
y(t) = 0, para todo t [0, 1].
Resulta que h es una homotopa admisible, respecto a 0, entre f y g,
pues:
h(0, x) = f(x); h(1, x) = g(x); ademas,
h(t, 1) = (1 t)f(1) + tg(1)
= (1 t)e
1
t
,= 0, para todo t [0, 1];
7
h(t, 1) = (1 t)f(1) + tg(1)
= (1 t)e + t
,= 0, para todo t [0, 1];
Luego, usando (d3) y (d1), obtenemos:
d(f, , 0) = d(g, , 0)
= d(id, , 0)
= 1

Mas adelante veremos que (d1), (d2) y (d3) determinan ( univocamente)

la funcion d; as que, aunque hay varias maneras de construir la funcion d,
es irrelevante cual forma elijamos; la mas antigua, usa conceptos topologicos,
como: conjuntos abiertos, funciones continuas, y un poco de teora de grupos.
Nosotros escogeremos un enfoque mas reciente, el cual utiliza herramientas
analticas basicas, como: el teorema de aproximaci on de Weierstrass,
el teorema de la funci on inversa y el llamado Lema de Sard.
L.E.J. Brouwer establecio el grado para funciones continuas, en 1912. Y ya es
tradicion hablar del grado de Brouwer. Pero en verdad, debemos se nalar
que el camino hacia una construccion analtica del grado fue allanado por la
investigacion de Sard sobre la medida de los valores crticos de funciones
diferenciables, en 1942.

Antes de continuar, aclararemos sobre algunas notaciones que emplearemos y,

tambien, daremos varias deniciones:
siempre indicara un subconjunto de R
n
, abierto y acotado.
Para funciones f : D R
n
R
n
, indicaremos por
8
f(D) = f(x) : x D
f
1
y = x D : f(x) = y
Cada aplicacion lineal de R
n
en R
n
sera identicada con su matriz A = (a
ij
)
y escribiremos det A, para el determinante de A. En el caso que A sea
invertible, es decir, det A ,= 0, denimos:
sig(det A) =
_
_
_
1 si det A > 0
1 si det A < 0
Si D R
n
es cerrado y acotado (o sea, compacto), entonces ((D) denota
el espacio de las funciones continuas f : D R
n
, y [f[
0
= max
xD
[f(x)[.
Se dice que f : R
n
, es diferenciable en x
0
, si existe una matriz,
que denotaremos por f

(x
0
), tal que:
f(x
0
+ h) = f(x
0
) + f

(x
0
) h + w(h),
donde, h x
0
= x x
0
: x , y el resto w(h) satisface:
[w(h)[ [h[, para [h[ = (, x
0
).
Notemos que f

(x
0
)
ij
=
j
f
i
(x
0
) =
f
i
x
j
(x
0
), la derivada parcial de la
iesima componente de f, con respecto a x
j
.
En otras palabras, f = (f
1
, f
2
, , f
n
) y cada f
i
es funcion de x
1
, x
2
, , x
n
.
De modo que:
f(x
0
) =
_
_
_
_
_
_
f
1
x
1
(x
0
)
f
1
x
2
(x
0
)
f
1
xn
(x
0
)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
fn
x
1
(x
0
)
fn
x
2
(x
0
)
fn
xn
(x
0
)
_
_
_
_
_
_
9
Usando el smbolo de Landau, la diferenciabilidad de f en x
0
se
expresa as:
f(x
0
+ h) f(x
0
) f

(x
0
) h = 0([h[),
cuando h 0, donde, 0([h[) = w(h) y
w(h)
[h[
0, cuando [h[ 0.
(
k
() denotara al conjunto de las f : R
n
, que son kveces
continuamente diferenciables en , mientras que
(
k
() = C
k
() (()
y
(

() =

k1
(
k
()
Si f

(x
0
) existe, entonces, J
f
(x
0
) = det f

(x
0
) es llamado el
Jacobiano de f en x
0
;
x
0
es llamado un punto crtico de f si J
f
(x
0
) = det f

(x
0
) = 0.
Tambien, denotaremos por: S
f
() = x : J
f
(x) = 0; muchas
veces, por brevedad, escribiremos S
f
. Por otra parte, un punto y R
n
sera llamado valor regular de f, si
f
1
y S
f
=
Si este no es el caso, y sera llamado un valor singular de f.
Ejemplo 1.2. Sean: = B((0, 0); 2) R
2
; f : R
2
dado por
f(x, y) = (x
3
3xy
2
, y
3
+ 3x
2
y).
Tenemos:
J
f
(x, y) =

3x
2
3y 6xy
6xy 3y
2
+ 3x
2

= 9x
2
y
2
+ 9x
4
+ 9y
4
9x
2
y
2
+ 36x
2
y
2
= 9x
4
+ 9y
4
+ 18x
2
y
2
= (3x
2
+ 3y
2
)
2
.
10
Luego, el unico punto crtico de f es el (0, 0). As que, S
f
() = (0, 0). Por
consiguiente, para que (a, b) R
2
no sea un valor regular de f , debe tenerse:
f
1
(a, b) = (0, 0)
Es decir, f(0, 0) = (a, b). Pero f(0, 0) = (0, 0). De modo que, a = 0 y b = 0.
O sea, (0, 0) es el unico valor singular de f.
Recordemos que dados:
y
0
R
n
; A R
n
,
se dene la distancia de y
0
al conjunto A, como:
nf
aA
[y
0
a[
Si y
0
/ f(), entonces la distancia de y
0
al conjunto f() es un n umero
positivo, que denotaremos por:
= (y
0
, f()) > 0,
n umero que sera clave en el desarrollo de la Teora del Grado en R
n
.
La justicacion de que > 0 se basa en el hecho de que f() es un
subconjunto compacto de R
n
, y en que y
0
/ f(). (Ver [10], pagina 73)
Un hecho que no podemos dejar de mencionar es que d esta univocamente
determinada por sus valores en las funciones que estan en (

(). Veamoslo:
Sea f : R
n
R
n
, continua. Ya que R
n
es compacto, podemos usar
la proposicion 1.2 de [4], parte a.), pagina 6, para concluir que:
Dado > 0, existe una funcion g (

(),
tal que [f(x) g(x)[ < , para todo x .
Recordemos que y R
n
es tal que y / f().
De modo que = (y, f()) > 0.
Tomemos =

2
.
Podemos expresar lo armado mas arriba, as: existe g (

(), tal que:
[f g[
0
<

2
11
Ahora, vamos a denir una homotopa entre f y g:
Sea h : [0, 1] R
n
, dada por: h(t, x) = (1 t)f(x) + t g(x).
Resulta que h es continua; con h(0, x) = f(x), h(1, x) = g(x);
pero, ademas, es una homotopa admisible, respecto a y.
En efecto, para x tenemos:
[h(t, x) y[ = [(1 t)f(x) + t g(x) y[
[f(x) y[ [t(g(x) f(x))[


2
=

2
> 0
Luego, usando (d3), con y(t) y, conclumos que:
d(f, , y) = d(g, , y).

Tenemos as, que basta conocer el grado, en el caso de las funciones de (

().
Sin embargo, en la construccion de la Teora del Grado, no necesitaremos tanta
regularidad en las funciones. En realidad, nos bastara con que f (
1
().
A estas alturas, el lector puede estar algo impaciente, pues a un no tenemos
una expresion para d(f, , y); ella sera encontrada en el proximo captulo;
por los momentos, veamos dos propiedades, bastante utiles de la funcion d.
La primera, esta relacionada con problemas de existencia de soluciones para
la ecuacion f(x) = y.
Supongamos que f
1
y = . Entonces, en (d2), tomemos
1
= y
2
= ,
para obtener:
d(f, , y) = d(f,
1
, y) + d(f, , y)
(tener cuenta que y / f() = f( (
1

2
)). Luego, d(f, , y) = 0.
12
En seguida (nuevamente usando (d2)) se llega a:
d(f, , y) = d(f,
1
, y) + d(f, , y) = d(f,
1
, y), (1.3)
si
1
es un subconjunto de , abierto, tal que y / f(
1
).
Aprovechando que f
1
y = , podemos elegir en (1,3),
1
= , y conseguir:
d(f, , y) = d(f, , y) = 0. (1.4)
De forma que, y esto es lo importante, si en un problema llegaramos a conseguir
que d(f, , y) ,= 0, nuestra conclusion sera, que en ese caso, f
1
y , = , y
nuestra ecuacion f(x) = y, tendra, al menos, una solucion en .
Nota 1.2. Sin embargo, puede suceder que sea
d(f, , y) = 0 y f
1
y , = .
La segunda propiedad que queremos considerar, y con ella cerramos este
captulo, establece que si:
f : R
n
,
g : R
n
,
son continuas, con (y / f() g()), y ademas, f
|

g
|

, entonces:
d(f, , y) = d(g, , y).
Demostraci on. Denamos h : [0, 1] R
n
, por:
h(t, x) = tf(x) + (1 t)g(x).
Entonces, h es continua; h(0, x) = g(x), y h(1, x) = f(x).
As, h es una homotopa entre f y g.
13
Para ver que dicha homotopa es admisible, respecto a y, consideremos
x .
Como entonces se tiene f(x) = g(x), resulta:
h(t, x) = g(x) ,= y, para todo t [0, 1].
Ahora, podemos utilizar (d3), con y(t) y, para concluir que
d(f, , y) = d(g, , y).

14
Captulo 2
En la b usqueda de una
expresion (Formula) para
d(f, , y).
Comencemos con una f (
1
() y x
0
, tal que f(x
0
) es valor regu-
lar de f (o sea, J
f
(x
0
) ,= 0)). Entonces, por el Teorema de la funci on
inversa (ver [6], pagina 283) existe una vecindad U de x
0
, tal que f
|
U
0
es un
homeomorsmo sobre una vecindad de f(x
0
).
Llamaremos y a f(x
0
). Tenemos, entonces, que y es un valor regular
de f. Por lo que acabamos de armar, resulta que f
1
y consiste de puntos
aislados. Es decir, si x
i
f
1
y, entonces, existe una vecindad (x
i
) tal
que:
(x
i
) f
1
x
i
= x
i
.
En consecuencia, f
1
y debe ser nito.
Efectivamente, si f
1
y fuese innito, existira, en virtud de la compacidad
de , un punto de acumulacion, digamos x

, de f
1
y
Por la continuidad de f, se sigue que:
f(x

) = y
Pero ya sabemos que f
1
y consiste de puntos aislados.
15
Luego, hemos arribado a una contradiccion. De manera que, f
1
y es nito.

Y que sucede en el caso en que y no es un valor regular de f?

Veremos que en esa situacion, basta elegir un y
0
R
n
, valor regular de f,
sucientemente cercano a y, y denir:
d(f, , y) = d(f, , y
0
)
Claro!, sera necesario probar que esta denicion no depende del y
0
escogido.
Y como sabemos que existira tal y
0
? Esto esta garantizado por el:
Lema 2.1. (Lema de Sard).
Si R
n
, es abierto, f (
1
() y

es medible, entonces, f(

) es
medible y

n
(f(

))
_

[J
f
(x)[dx, (ver[7]),
donde,
n
denota la medida de Lebesgue, en R
n
.
Una consecuencia muy importante de este lema es: Si R
n
es abierto y
f (
1
(), entonces,

n
(f(S
f
)) = 0

Sea, ahora, y R
n
, tal que y / f(), no necesariamente, valor regular de
f. Consideremos la bola abierta B(y; ), de centro y, con radio
= (y, f()). Tenemos que:
B(y; ) f() = ,
y ademas, como
n
(B(y; )) > 0, podemos armar, en virtud del Lema de
Sard, que existe y
0
B(y; ), tal que: y
0
es valor regular de f.
Ahora denamos:
h : [0, 1] R
n
, por h(t, x) = f(x),
y(t) = ty + (1 t)y
0
.
16
Como consecuencia de (d3), se sigue que:
d(f, , y) = d(f, , y
0
)

Notemos que cualquiera sea el valor regular y

0
, escogido en B(y; ), el resultado
es el mismo, pues el y(t) correspondiente cumple lo exigido en (d3). De modo
que podemos armar:
d(f, , ) es constante en B(y; ). (2.1)
Continuamos en nuestro camino hacia el hallazgo de una formula para d(f, , y).
Sean: f (
1
(); y, valor regular de f, tal que y / f(),
mas brevemente, y / f( S
f
).
Si f
1
y = , ya vimos que d(f, , y) = 0.
Suupongamos entonces que, f
1
y , = .
Ya sabemos que f
1
y es nito, digamos,
f
1
y = x
1
, x
2
, , x
k
.
Para cada x
i
elegimos una vecindad U
i
, tal que U
i
U
j
= , si i ,= j.
Utilizando (d2), llegamos a:
d(f, , y) =
k

i=1
d(f, U
i
, y) (2.2)
Ahora, analicemos d(f, U
i
, y). Llamemos A = f

(x
i
).
Empleando la notaci on de Landau, tenemos
f(x) = f(x
i
) + A (x x
i
) + 0 ([x x
i
[), cuando x x
i
0,
O sea,
f(x) = y + A (x x
i
) + 0 ([x x
i
[), cuando x x
i
0,
donde, 0 = (0, 0, , 0) R
n
. Por otro lado, como det A ,= 0, resulta que A
1
existe. Esto nos permitira demostrar que
d(f, B(x
i
; ), y) = d(A Ax
i
, B(x
i
; ), 0),
17
para > 0, sucientemente peque no, y donde,
(A Ax
i
)(x) = Ax Ax
i
.
En efecto, denamos:
h : [0, 1] R
n
, por:
h(t, x) = tf(x) + (1 t)A(x x
i
)
y(t) = ty.
Tenemos:
[h(t, x) y(t)[ = [tf(x) + (1 t)A(x x
i
) ty[
= [tf(x) ty + (1 t)A(x x
i
)[
= [tA(x x
i
) +t 0([x x
i
[) + (1 t)A(x x
i
)[
= [A(x x
i
) + 0([x x
i
[)[
[A(x x
i
)[ 0([x x
i
[). (2.3)
Pero,
[x x
i
[ = [A
1
A(x x
i
)[
[A
1
[ [A(x x
i
)[;
llamando
1
[A
1
[
= c, llegamos a: [A(x x
i
)[ c[x x
i
[.
Introduciendo esto ultimo en 2.3, resulta:
[h(t, x) y(t)[ c[x x
i
[ 0([x x
i
[) > 0,
para todo t [0, 1], con la condicion [x x
i
[ , para > 0, sucientemente
peque no.
De manera que, usando (d3), obtenemos:
d(f, B(x
i
; ), y) = d(A Ax
i
, B(x
i
; ), 0). (2.4)
Por otro lado, como f(x) ,= y en U
i
B(x
i
, ), utilizando (d2), se sigue que:
d(f, U
i
, y) = d(f, B(x
i
; ), y)
18
Luego, llegamos a:
d(f, U
i
, y
i
) = d(A Ax
i
, B(x
i
; ), 0). (2.5)
Tambien, como x
i
es la unica soluci on de la ecuacion AxAx
i
= 0, usando,
nuevamente, (d2), se deduce que:
d(A Ax
i
, B(x
i
; ), 0) = d(A Ax
i
, B(0; r), 0), (2.6)
donde, B(0, r) B(x
i
; ).
Ahora es momento de establecer una homotopa admisible, respecto a 0,
entre A y A Ax
i
.
Sea h : [0, 1] B(0; r) R
n
, dado por: h(t, x) = Ax t A x
i
.
Tenemos que h es continua,
h(0, x) = Ax y h(1, x) = Ax Ax
i
= (A Ax
i
)x.
Falta probar que, para x B(0; r), y todo t [0, 1], se cumple h(t, x) ,= 0.
En caso contrario, existiran: t
0
[0, 1] y x
0
R
n
, con [x
0
[ = r, tales que:
Ax
0
t
0
Ax
i
= 0.
De la inyectividad de A, se deduce que:
x
0
t
0
x
i
= 0.
Luego, [x
0
[ = t
0
[x
i
[. Es decir, r = t
0
[x
i
[ [x
i
[, lo cual es absurdo, pues
x
i
B(0; r).
As que, podemos usar (d3) y escribir:
d(A, B(0; r), 0) = d(A Ax
i
, B(0; r), 0). (2.7)
Entonces, de 2.5, 2.6 y 2.7, se obtiene:
d(f, U
i
, y) = d(A, B(0; r), 0) = d(f

(x
i
), B(0; r), 0).
Como r > 0 puede ser arbitrario, tenemos, nalmente:
d(f, U
i
, y) = d(f

(x
i
), , 0), (2.8)
19
As que, mirando a 2.2, podemos escribir:
d(f, , y) =
k

i=1
d(f

(x
i
), , 0), (2.9)
Vemos entonces, que nuestro problema se ha reducido a calcular d(f

(x
i
), , 0).
Y es aqu donde el

Algebra lineal llega en nuestro auxilio.
Probaremos que si A : R
n
R
n
, es una transformacion lineal, con det A ,= 0,
entonces
d(A, , 0) = sig det A (2.10)
Si damos 2.10 por demostrada, llegamos a la expresion buscada para d:
d(f, , y) =
k

i=1
sig det f

(x
i
)
=

xf
1
{y}
sig J
f
(x)
(2.11)
Nota 2.1. para abarcar el caso f
1
y = , convenimos en que

= 0
Nota 2.2. No debemos olvidar, que hemos llegado a 2.11 bajo las condiciones:
f (
1
(), y ,= f( ), y valor regular de f.
Ya sabemos que ocurre en el caso de que y es un valor singular de f (Ver 2.1,
despues del Lema de Sard).Ya, al nal del presente captulo, consideraremos el
caso en que f, apenas, pertenece a ((). Por el momento, antes de analizar
2.10, apliquemos 2.11, en algunas situaciones simples.
1. Sea f : [
1
2
, 1] R, denida por: f(x) = 2xe
x
.
Hallar: d(f, (
1
2
, 1), 0) y S
f
.
Solucion: Encontremos, en primer lugar, f
1
0.
Resulta que si x f
1
0, entonces, f(x) = 0,
o sea, 2xe
x
= 0.
20
Luego, x = 0; as, f
1
0 = 0.
Ademas, notemos que
f(
1
2
) = e

1
2
,= 0
y
f(1) = 2e ,= 0
Tambien, f

(x) = 2e
x
+ 2xe
x
= 2e
x
(1 + x).
S
f
= x (
1
2
, 1) : f

(x) = 0 = .
Por otra parte, f

(0) = 2 sigf

(0) = 1.
Por consiguiente, usando 2.11 se obtiene:
d(f, (1, 1), 0) =

xf
1
{0}
sig f

(x) = sig f

(0) = 1.
(Notar que 0 es un valor regular de f.)
2. Sea f : [7, 5] R, denida por: f(x) = x
2
.
Hallar: S
f
y d(f, (7, 5), 4)
Solucion: Tenemos: f

(x) = 2x.
Luego S
f
= x (7, 5) : f

(x) = 0 = 0.
Por otro lado, f
1
4 = 2, 2. Tambien, f(7) = 49 y f(5) = 25, de
modo que 4 / f() = 49, 25
Tambien, f
1
4 S
f
= 2, 2 0 = .
Utilizando 2.11, resulta:
d(f, (7, 5), 4) =

x{2,2}
sig f

(x) = sig f

(2)+sig f

(2) = 1+1 = 0.
21
(Observar, sin embargo, que f
1
4 , = ; Ver nota 1.1)

A continuacion, dediquemonos a analizar 2.10.

Analicemos el caso n = 2, el cual ayudara a entender el caso general, presen-
tado en [4], paginas 10, 11 y 12.
Sea A =
_
a b
c d
_
con ad bc ,= 0.
Caso 1: Cuando el polinomio caracterstico de A, o sea,

2
(a + d) + ad bc,
tiene como races
1
y
2
, ambos positivos.
Sabemos que
1
y
2
, son los valores propios de A,
y que
1

2
= ad bc = det A.
Vamos a denir una homotopa admisible (respecto a 0)
entre A y la identidad I de R
2
.
Sean:
r > 0 y h : [0, 1] B(0; r) R
2
,
h(t, x) = tAx + (1 t)x.
Tenemos que h es continua y que
h(0, x) = x; h(1, x) = Ax.
Supongamos que, existen: t
0
[0, 1] y x
0
B(0; r), tales que
t
0
Ax
0
+ (1 t
0
)x
0
= 0. (2.12)
Armamos que t
0
> 0. En efecto, si fuera t
0
= 0, de 2.12 tendramos x
0
= 0
(lo cual es absurdo, pues [x
0
[ = r > 0). Entonces, de 2.12 obtenemos:
Ax
0
=
t
0
1
t
0
x
0
,
lo cual signica que
t
0
1
t
0
(el cual es 0) es un valor propio de A
(contradiccion, pues estamos en el caso en que los valores propios de A son
22
positivos).
De manera que 2.12 no puede darse, y h es una homotopa admisible (respecto
a 0) entre A y la identidad I. As, en virtud de (d3) y (d1), se sigue:
d(A, B(0; r), 0) = d(I, B(0; r), 0) = 1 = sig (
1

2
) = sig det A
Caso 2: Cuando
1
y
2
, valores propios de A, son, ambos, negativos.
Consideremos: h : [0, 1] B(0, r) R
2
, dada por h(t, x) = tAx (1 t)x.
Esta h es una homotopa admisible(respecto a 0) entre A y la
aplicaci on I, pues h es continua, h(0, x) = x, h(1, x) = Ax, y, si fuera
t
0
Ax
0
(1 t
0
)x
0
= 0, para alg un t
0
[0, 1] y para alg un x
0
B(0; r), se
tendra:
Ax
0
=
1 t
0
t
0
x
0
(Ver que t
0
= 0 nos llevara al absurdo: x
0
: 0.) Pero entonces,
1 t
0
t
0
0
sera un valor propio de A (Contradiccion).
As que, utilizando (d3), resulta:
d(A, B(0; r), 0) = d(I, B(0; r), 0). (2.13)
Ahora, que hacemos respecto a d(I, B(0; r), 0)? Para hallarlo, vamos a
auxiliarnos con la matriz M =
_
0 1
1 0
_
, la cual cumple que M
2
= I.
Denamos h : [0, 1] B(0; r) R
2
, h(t, x) = tMx (1 t)x.
Esta h resulta ser una homotopa admisible (respecto a 0) entre M y
I, ya que h es continua, h(0, x) = x, h(1, x) = Mx, y no pueden existir
t
0
[0, 1], x
0
B(0; r), tales que:
t
0
Mx
0
(1 t
0
)x
0
= 0. (2.14)
En efecto, sea x
0
=
_
x
1
x
2
_
, tal que 2.14 se cumple.
23
Entonces,
t
0
_
0 1
1 0
__
x
1
x
2
_
= (1 t
0
)
_
x
1
x
2
_
,
es decir:
t
0
x
2
= (1 t
0
)x
1
y t
0
x
1
= (1 t)x
2
(2.15)
Esto nos lleva a que todo t
0
/ 0, 1,
ya que en caso contrario, sera x
1
= x
2
= 0 (absurdo).
Luego, de 2.15 se obtiene:
x
2
x
1
=
x
1
x
2
x
2
1
+ x
2
2
= 0 (contradiccion).
De manera que, podemos emplear (d3) y concluir que:
d(I, B(0; r), 0) = d(M, B(0; r), 0) (2.16)
Pero, tambien ocurre que M e I son homotopicas (respecto a 0); basta denir:
h : [0, 1] B(0; r) R
2
,
as:
h(t, x) = tMx + (1 t)x.
La demostracion es casi una repetici on de la que acabamos de hacer.
Luego, utilizando, nuevamente, (d3), llegamos a:
d(M, B(0; r), 0) = d(I, B(0; r), 0) = 1, (2.17)
donde, la ultima igualdad se debe a (d1).
De manera que, en resumidas cuentas, usando 2.13 2.16 y 2.17, tenemos
que:
d(A, B(0; r), 0) =1 = sig (
1

2
) = sig det A.
Caso 3: Cuando el polinomio caracterstico de la matriz A =
_
a b
c d
_
no
tiene races reales. En otras palabras,
2
(a + d) + ad bc, tiene sus
races complejas (las cuales, recordemos, son conjugadas) digamos, + i y
i. Como el producto de ellas es igual al det A, y A es invertible, tenemos:
det A =
2
+
2
> 0 sig det A = 1
24
Ahora, tal como se hizo en el caso 1, se dene una homotopa admisible
(respecto a 0), entre A y la identidad I; as, se llega a:
d(A, B(0; r), 0) = d(I, B(0; r), 0) = 1 = sig det A.
Caso 4: (Y ultimo).
Cuando un valor propio de A (digamos
1
) es negativo y el otro,
2
, es
positivo. Como det A =
1

2
< 0, resulta que el sig det A = 1. Resta,
entonces, probar que:
d(A, B(0; r), 0) = 1 = sig det A. (2.18)
Sean: x
1
, vector propio correspondiente a
1
; x
2
, vector propio correspon-
diente a
2
; es decir, x
1
y x
2
son elementos de R
2
, distintos del (0, 0), tales
que:
Ax
1
=
1
x
1
y Ax
2
=
2
x
2
.
Sabemos que x
1
, x
2
es una base de R
2
.
Ademas, denotemos por:
N
1
= x
1
: R, (subespacio generado por x
1
),
N
2
= x
2
: R, (subespacio generado por x
2
),
Tenemos: R
2
= N
1

N
2
.
Denimos
P
1
: R
2
N
1
,
P
2
: R
2
N
2
,
las respectivas proyecciones.
Es decir, para x =
1
x
1
+ x
2
x
2
R
2
, se tiene:
P
1
(x) =
1
x
1
y P
2
(x) =
2
x
2
Establezcamos una homotopa admisible (respecto a 0) entre A y P
1
+P
2
.
Sea h : [0, 1] B(0; r) R
2
,
h(t, x) = tAx + (1 t)(P
1
x + P
2
x).
Tenemos que h es continua, h(0, x) = P
1
x + P
2
x, h(1, 0) = Ax.
25
Supongamos que dicha homotopa h, no es admisible (respecto a 0).
Entonces, existen:
t
0
[0, 1] y x
0
B(0; r), (2.19)
tales que:
t
0
Ax
0
+ (1 t
0
)(P
1
x
0
+ P
2
x
0
) = 0 (2.20)
Armamos que: t
0
/ 0, 1. En efecto, si fuera t
0
= 0, resultara, seg un 2.20,
que: P
1
x
0
= P
2
x
0
. O sea, x
0
= 0 (absurdo).
Por otro lado, si t
0
= 1, obtenemos, de 2.20, que:
Ax
0
= 0
Es decir, x
0
= 0 (pues A es invertible). As, de nuevo llegamos a un absurdo.
As que, t ,= 0 y t
0
,= 1. Tambien, como P
1
+ P
2
= I, resulta que:
A = AP
1
+ AP
2
(2.21)
Sustituyendo 2.21 en 2.20, se llega, despues de trasponer terminos, a:
t
0
AP
1
x
0
P
1
x
0
+ t
0
P
1
x
0
= t
0
P
2
x
0
P
2
x
0
t
0
AP
2
x
0
(2.22)
Como el primer miembro de 2.22 pertenece a N
1
y el segundo miembro de 2.22
pertenece a N
2
, resulta que:
t
0
AP
1
x
0
P
1
x
0
+ t
0
P
1
x
0
= 0
y
t
0
P
2
x
0
P
2
x
0
t
0
AP
2
x
0
= 0
Es decir,
AP
1
x
0
=
1 t
0
t
0
P
1
x
0
y AP
2
x
0
=
t
0
1
t
0
P
2
x
0
.
Si es P
1
x
0
,= 0, entonces la situacion es:
1 t
0
t
0
es un valor propio de A, con
vector propio P
1
x
0
N
1
.
26
Luego, debe ser
1 t
0
t
0
=
1
, lo cual es absurdo, pues
1
< 0 y
1 t
0
t
0
> 0.
Mientras que, si P
2
x
0
,= 0, entonces, P
2
x
0
es un vector propio de A,
perteneciente a N
2
y con valor propio
t
0
1
t
0
, lo cual implica que
1 t
0
t
0
=
2
.
Pero esta ultima igualdad constituye un absurdo, pues
1 t
0
t
0
< 0, y
2
> 0.
De manera que, debe cumplirse que:
P
1
x
0
= P
2
x
0
= 0.
O sea, x
0
= 0 (contradiccion, ya que [x
0
[ = r > 0).
Conclusi on: h es una homotopa admisible (respecto a 0)
entre A y P
1
+ P
2
, lo cual, en virtud de (d3), nos permite armar que:
d(A, B(0; r), 0) = d(P
1
+ P
2
, B(0; r), 0).
Por lo tanto, para lograr nuestro objetivo, 2.18, nos queda por probar que:
d(P
1
+ P
2
, B(0; r), 0) = 1 (2.23)
Empecemos por llevar en cuenta que, como el unico cero (raz) de P
1
+P
2
es
x = 0, podemos reemplazar B(0; r) por cualquier abierto, acotado, que
contenga al 0, sin cambiar d, por ejemplo, por
B(0; r) N
1
+ B(0; r) N
2
(aclaremos que
1
+
2
= x + y : x
1
, y
2
).
Consideremos e
0
N
1
, tal que [e
0
[ = 1.
Sean:
= e
0
: (2, 2),

1
= e
0
: (2, 0),

2
= e
0
: (0, 2),
Ahora, denimos: f : N
1
R
2
, as:
f(e
0
) = ([[ 1)e
0
.
27
Resulta que:
0 / f() = f2e
0
, 2e
0
= e
0
.
Por otro lado, si x
1
, tenemos:
f(x) = f(e
0
) = ( 1)e
0
= e
0
e
0
= x e
0
. (2.24)
Mientras que, si x
2
, se cumple:
f(x) = f(e
0
) = ( 1)e
0
= e
0
e
0
= x e
0
. (2.25)
Entonces, escribiendo e
0
, para indicar la funcion constante e
0
e
0
(con (2, 2)), 2.24 y 2.25 se resumen en:
f
|

1
= I
|

1
e
0
y f
|

2
= I
|

2
e
0
(2.26)
Ahora, sea
h : [0, 1] N
1
R
2
, dada por : h(t, e
0
) = t([[ 2)e
0
+ e
0
Tenemos que:
h es continua;
h(0, e
0
) = e
0
;
h(1, e
0
) = ([[ 1)e
0
= f(e
0
).
Ademas, h(t, 2e
0
) = h(t, 2e
0
) = e
0
,= 0. Luego, h es una homotopa
admisible (respecto a 0) entre f y la aplicacion constante e
0
.
De modo que, usando (d3), podemos armar que:
d(f P
1
+ P
2
, + B(0; r) N
2
, 0) = d(e
0
P
1
+ P
2
, + B(0; r) N
2
, 0), (2.27)
Ademas, como
(e
0
P
1
+ P
2
)(
1
x
1
+
2
x
2
) = e
0
+
2
x
2
,= 0, (2.28)
Tenemos que:
d(e
0
P
1
+ P
2
, + B(0; r) N
2
, 0) = 0 (2.29)
(Ver (1.4), casi al nal del captulo 1.).
As, de 2.27 y 2.29, conseguimos:
d(f P
1
+ P
2
, + B(0; r) N
2
, 0) = 0 (2.30)
28
Luego, si en 2.30 utilizamos (d2), llegaremos a que:
d(f
0
P
1
+ P
2
,
1
+ B(0; r) N
2
, 0) + d(f
0
P
1
+ P
2
,
2
+B(0; r) N
2
, 0) = 0 (2.31)
Notar que 0 / (f
0
P
1
+ P
2
)( (
1

2
)) = e
0
, e
0
.
Ahora, analicemos cada sumando del primer miembro de 2.31. Empecemos por:
d(f
0
P
1
+ P
2
,
2
+ B(0; r) N
2
, 0). (2.32)
Empleando 2.26, el n umero indicado en 2.32 se escribe:
d((I
|

2
e
0
) P
1
+ P
2
,
2
+ B(0; r) N
2
, 0) (2.33)
Si ahora, reemplazamos
2
por e I
|
2
e
0
por I
|
N
1
e
0
,
no alteramos el valor del n umero indicado por 2.33, pues:
[(I
|
N
1
e
0
) P
1
+ P
2
] (e
0
) = 0, con (2, 2),
implica que:
e
0
e
0
= 0, o sea, = 1,
de manera que el e
0
tomado, en verdad esta en
2
.
Entonces, 2.33 se convierte en:
d((I
|
N
1
e
0
) P
1
+ P
2
, + B(0; r) N
2
, 0) (2.34)
Ademas, como e
0
te
0
,= 0, para t [0, 1] y 2, 2, entonces,
h(t, x) = e
0
te
0
,
dene una homotopa admisible (respecto a 0) entre I
|
N
1
e
0
e I
|
N
1
; luego,
utilizando (d3) se obtiene que el n umero representado en 2.34 es igual a:
d((I
|
N
1
P
1
e
0
) P
1
+ P
2
, + B(0; r) N
2
, 0) (2.35)
Pero, I
N
1
P
1
= P
1
, de modo que, 2.32, nalmente, se convierte en:
d(P
1
+ P
2
, + B(0; r) N
2
, 0) = d(I, + B(0; r) N
2
, 0) = 1, (2.36)
la ultima igualdad, en virtud de (d1).
29
En cuanto a:
d(f
0
P
1
+ P
2
,
1
+ B(0; r) N
2
, 0) (2.37)
la situacion es semejante.
Primero, f
|

1
= I
|

1
e
0
, (seg un 2.26). Luego, 2.37 es igual a:
d((I
|

1
e
0
) P
1
+ P
2
,
1
+ B(0; r) N
2
, 0) (2.38)
Ahora bien, cambiando
1
por , e I
|

1
por I
|
N
1
no se altera el n umero
representado en 2.38, ya que si
[(I
|
N
1
e
0
) P
1
+ P
2
](e
0
) = 0, con (2, 2),
entonces, e
0
e
0
= 0, es decir, = 1; lo cual quiere decir que el elemento
e
0
, en realidad esta en
1
.
De manera que, el n umero indicado mediante 2.38 coincide con:
d((I
|
N
1
e
0
) P
1
+ P
2
, + B(0; r) N
2
, 0) (2.39)
Pero, e
0
te
0
,= 0 en [0, 1] , de manera que, usando (d3) se llega a
que 2.39 es igual a:
d(I
|
N
1
P
1
+ P
2
, + B(0; r) N
2
, 0),
y ya que I[
N
1
P
1
= P
1
, resulta que, nalmente, 2.37 se ha convertido en:
d(P
1
+P
2
, + B(0; r) N
2
, 0.) (2.40)
Entonces, de 2.31, 2.36 y 2.40, se deduce que:
d((P
1
+P
2
, + B(0; r) N
2
, 0) = 1 (2.41)
Pero esto era lo que, seg un 2.23, nos faltaba por demostrar, para dejar bien
establecida 2.18, y as, la formula 2.11 queda, denitivamente, probada.

Recordemos que 2.11 nos dice que:

d(f, , y) =

xf
1
{y}
sigJ
f
(x),
30
bajo las condiciones: R
n
, abierto y acotado; f : R
n
, perteneciente
a (
1
(); y / f( S
f
).
Ya sabemos que hacer en el caso en que y S
f
(o sea, cuando y es un valor
singular de f), pero, que ocurre cuando, de f, solo sabemos que es continua?.
De nuevo, el n umero
= (y, f( )) > 0
es clave. (distancia de y al conjunto compacto f()).
Sean g
1
y g
2
, funciones de (
1
(), tales que:
[f g
1
[
0
<

3
[f g
2
[
0
<

3
Veamos que d(g
1
, , y) = d(g
2
, , y).
Ante todo aseguremonos de que:
y / g
i
(), para i = 1, 2.
Sea x . Entonces,
[g
i
(x) y[ = [g
i
(x) f(x) + f(x) y[
[f(x) y[ [g
i
(x) f(x)[


3

2
3

> 0
Luego, y / g
i
(). Ahora, vamos a establecer una homotopa admisible
(respecto a y) entre g
1
y g
2
.
Sea h : [0, 1] R
n
, dada por: h(t, x) = (1 t)g
1
(x) + tg
2
(x).
31
Resulta que: h es continua, h(0, x) = g
1
(x), h(1, x) = g
2
(x).
Ademas, para x
0
,
[h(t, x
0
)[ = [(1 t)g
1
(x
0
) + tg
2
(x
0
) y[
= [(1 t)g
1
(x
0
) (1 t)f(x
0
) + (1 t)f(x
0
) + tg
2
(x
0
) y[
= [(1 t)(g
1
(x
0
) f(x
0
)) + t(g
2
(x
0
) f(x
0
)) +f(x
0
) y[
[f(x
0
) y[ (1 t)[g
1
(x
0
) f(x
0
)[ t[g
2
(x
0
) f(x
0
)[
[f(x
0
) y[ [g
1
f[
0
[g
2
f[
0


3


3

3
> 0.
De manera que:
y / h(t, ), para todo t [0, 1].
Es decir, h es una homotopa admisible (respecto a y) entre g
1
y g
2
, lo cual,
seg un (d3), signica que:
d(g
1
, , y) = d(g
2
, , y),
cuyos calculos se pueden hacer, usando 2.11.
En conclusion, todas las funciones de (
1
() sucientemente cercanas a f,
poseen el mismo grado (de Brouwer) respecto a e y.
As, es natural denir,
d(f, , y) = d(g, , y),
para alg un g (
1
(), con [g f[
0
=

3
.
Nota 2.3. La existencia de tal g esta garantizada por el Teorema de
aproximaci on de Weierstrass. .
32
Captulo 3
Aplicaciones
1. El Teorema del punto jo, de Brouwer:
Sean: D = B(0; r); f : D D, continua. Entonces f tiene un punto
jo, es decir, existe x D, tal que f(x) = x.
Nota 3.1. Lo mismo es cierto si D R
n
es homeomorfo a un subcon-
junto convexo y compacto (Ver [4] paginas 17 y 18).
Demostraci on. Consideremos h : [0, 1] D R
n
, dada por
h(t, x) = x tf(x).
Tenemos que: h es continua, h(0, x) = x, h(1, x) = x f(x);
ademas, para x D, resulta
[h(t, x)[ = [x tf(x)[ [x[ t[f(x)[ > r tr = r(1 t) > 0, (3.1)
si t [0, 1).
Por otro lado, si h(1, x
0
) = 0, para alg un x
0
D, entonces, x
0
f(x
0
) = 0,
o sea, f(x
0
) = x
0
, y no tendramos mas nada que hacer.
De modo que, supongamos:
h(1, x) ,= 0, para todo x D (3.2)
33
Luego, de 3.1 y 3.2, se sigue:
[h(t, x) 0[ > 0 en [0, 1] D
Entonces, h es una homotopa admisible (respecto a 0) entre I
D
e
I
D
f.
En consecuencia, en virtud de (d3), se cumple:
d(I
D
f, B(0; r), 0) = d(I
D
, B(0; r), 0) = 1, (3.3)
donde, la ultima igualdad en 3.3 se debe a (d1).
As, d(I
D
f, B(0; r), 0) ,=0, lo cual nos permite armar que:
(I
D
f)
1
0 , = .
Es decir, existe x
0
D = B(0; r); tal que: (I
D
f)(x
0
) = 0, o sea,
f(x
0
) = x
0
.

2. El Teorema del puerco espn:

Sean: R
n
, abierto, acotado, con 0 ; f : R
n
0,
continua; n impar. Entonces, existen: x
0
y
0
,= 0, tales que,
f(x
0
) =
0
x
0
.
Demostraci on. Como es compacto, f se puede extender,
continuamente, as que no hay perdida de generalidad al suponer f
continua en . (Ver [4], pagina 6).
Como n es impar, al aplicar 2.10 se obtiene:
d(I, , 0) = 1.
Respecto a d(f, , 0) tenemos dos casos:
34
Caso 1: d(f, , 0) ,= 1. Entonces, denimos h : [0, 1] , por
h(t, x) = (1 t)f(x) tx.
Tenemos, entonces, que: h es continua; h(0, x) = f(x); h(1, x) = x.
Armamos que h no puede ser una homotopa admisible (respecto a 0)
entre f y I, pues en caso contrario, debera tenerse, seg un (d3), que:
d(f, , 0) = d(I, , 0) (absurdo).
Luego, existen: t
0
[0, 1], x
0
, tales que, h(t
0
, x
0
) = 0.
O sea,
(1 t
0
)f(x
0
) t
0
x
0
= 0.
En seguida vemos que t
0
(0, 1), ya que t
0
= 0 implica f(x
0
) = 0,
(absurdo) y t
0
= 1 nos lleva a que x
0
= 0 (absurdo). De manera que
obtenemos:
f(x
0
) =
t
0
1 t
0
x
0
,
y as, se cumple lo armado, con
0
=
t
0
1 t
0
.
Caso 2: d(f, , 0) = 1.
Sea

h : [0, 1] R
n
, tal que:

h(t, x) = (1 t)f(x) + tx.

Se sigue que:

h es continua;

h(0, x) = f(x);

h(1, x) = x.
Pero esta

h no puede ser una homotopa admisible (respecto a 0) entre
f e I, pues,
d(f, , 0) = 1 ,= 1 = d(I, , 0).
Esto signica que: existen t
0
[0, 1] y x
0
, tales que:
(1 t
0
)f(x
0
) + t
0
x
0
= 0.
35
Como en el caso 1, se tiene que t
0
(0, 1), y se llega a:
f(x
0
) =
t
0
t
0
1
x
0
.
De modo que se cumple lo armado, con

0
=
t
0
t
0
1
Nota 3.2. En particular, si n = 3, el teorema quiere decir, que un
puerco espn no puede ser peinado, sin dejarle copete.
3. Teorema de la esfera cabelluda (Poincare-Brouwer)
Si m es par, todo campo continuo de vectores, tangentes a la
esfera S
m
, posee, al menos, una singularidad.
Demostraci on. Sea v : S
m
R
m+1
R
m+1
, continua; debemos probar
que existe x
0
S
m
, tal que:
v(x
0
) = 0
Razonamos por reduccion al absurdo. Supongamos que v(x
0
) ,= 0, para
todo x S
m
.
Apliquemos el teorema del puerco espn, con = B(0; 1) R
m+1
,
= S
m
= (x
1
, x
2
, , x
m+1
) R
m+1
: x
2
1
+ x
2
2
+ + x
2
m+1
= 1.
Sabemos que, entonces, existen: x
0
S
m
y
0
,= 0, tales que,
v(x
0
) =
0
x
0
. Pero
v(x
0
), x
0
) = 0, donde, , ) denota el producto interno usual de R
m+1
.
Luego,
0
x
0
, x
0
) = 0. O sea,
0
[x
0
[
2
= 0. Es decir
0
= 0
(contradiccion).
En consecuencia, debe existir, al menos, un x
0
S
m
, tal que v(x
0
) = 0.

36
Nota 3.3. El que m sea par es esencial. Por ejemplo, en el caso de S
1
,
la formula v(x
1
, x
2
) = (x
2
, x
1
), dene un campo continuo de vectores,
tangentes a S
1
, tal que v no posee singularidades.

En el teorema anterior est a la explicaci on del por que la mayoria de las cabezas
tiene un punto, en forma de remolino, del cual irradian todos los cabellos.
4. Teorema de Borsuk.
Ya vimos que cuando deseamos demostrar, por medio de la Teora del
Grado, que la ecuacion f(x) = y, tiene, al menos, una solucion de ,
basta vericar que d(f, , y) ,= 0.
Se dice que R
n
es simetrico (con respecto al origen 0) si = ;
f : R
n
, es llamada impar si f(x) = f(x), para todo x .
37
Teorema 3.1. (Borsuk) Sea R
n
, abierto, acotado y simetrico, con
0 . Sea, tambien, f ((), impar, con 0 / f(). Entonces:
d(f, , 0) es impar.
Demostraci on. Sin perdida de generalidad, podemos asumir que
f (
1
(), y que J

f
(0) ,= 0.
En efecto:
Primero, aproximamos f por g
1
(
1
(), luego, consideramos g
2
,
tal que, g
2
(x) =
1
2
[g
1
(x) g
1
(x)] (o sea, la parte impar de g.)
Finalmente, tomamos

f = g
2
I, donde, no es un valor propio de
g

2
(0).
As, si y [g
1
f[
0
son sucientemente peque nos, la

f estara
cercana a f y reunira los requisitos de estar en (
1
(), ser impar, con
0 /

f(), J

f
(0) ,= 0; ademas de cumplir que:
d(f, , 0) = d(

f, , 0).
Por ejemplo, de

f = g
2
I se deduce que

f

(0) = g

2
(0)I, y entonces,
como no es valor propio de g

2
(0), resulta que no existe x ,= 0, tal que

(0)x = 0; luego,

f

(0) es inyectiva y en consecuencia, J

f
(0) ,= 0.
Tambien, si [

f f[
0
<

3
, donde, = (0, f()) > 0, ya sabemos que
d(f, , 0) = d(

f, , 0).
De paso, [

f f[
0
<

3
se consigue, tomando sucientemente peque no y
g
1
muy cercano a f. Las otras condiciones de

f, tambien son sencillas
de vericar. As pues, asumamos que f (
1
() y que J
f
(0) ,= 0.
Para probar el teorema de Borsuk basta, entonces, hallar g (
1
(),
impar, sucientemente cercana a f, tal que:
0 / g(S
g
) (3.4)
38
Ya que en tal caso,
d(f, , 0) = d(g, , 0)
= sig J
g
(0) +

0 =xg
1
{0}
sig J
g
(x),
(3.5)
donde, la sumatoria en 3.5 da como resultado un n umero par,
debido a que:
g(x) = 0 si, y solo si, g(x) = 0
Y, ademas, J
g
() es una funcion par. (notemos tambien que hemos
usado el hecho de que por ser g impar se tiene g(0) = 0).
De manera que, del segundo miembro de 3.5, se concluye que:
d(f, , 0) es impar.

Nota 3.4. Tal funcion g es denida mediante un proceso inductivo. (Ver

[4], paginas 21 y 22).
Corolario 3.1. Sea R
n
, abierto, acotada y simetrico, con 0 .
Sea f ((), tal que: 0 / f() y f(x) ,= f(x) en , para todo
1. Entonces, d(f, , 0) es impar.
Demostraci on. Consideremos h : [0, 1] R
n
, dada por
h(t, x) = f(x) tf(x).
Tenemos que h es continua, h(0, x) = f(x), h(1, x) = f(x) f(x).
LLamemos g a la funcion g : R
n
, denida por
g(x) = f(x) f(x).
Armamos que h es una homotopa admisible (respecto a 0) entre f y g.
(ademas, g es impar y 0 / g()).
39
Nos faltara ver que 0 / h(t, ), para todo t [0, 1].
Ahora, si existiesen: t
0
[0, 1] y x
0
, tales que, h(t
0
, x
0
) = 0,
tendramos:
f(x
0
) t
0
f(x
0
) = 0.
Pero entonces, t
0
,= 0, pues si no resultara f(x
0
) = 0 (contradiccion).
As que, 0 < t
0
1 y
f(x
0
) =
1
t
0
f(x
0
);
de modo que tomando =
1
t
0
1, estamos contrariando una propiedad
de f.
Por lo tanto, h s es una homotopa admisible (respecto a 0) y, seg un
(d3), se cumple:
d(f, , 0) = d(g, , 0),
Pero, d(g, , 0) es impar, en virtud del Teorema de Borsuk.

Corolario 3.2. (Teorema de Borsuk-Ulam)

Sean: R
n
, abierto, acotado, simetrico, con 0 ;
f : R
m
, continua.
Supongamos tambien, que m < n.
Entonces, para alg un x
0
, se cumple:
f(x
0
) = f(x
0
).
Demostraci on. Supongamos, al contrario, que:
g(x) = f(x) f(x) ,= 0, para todo x .
Tenemos que
g : R
n
R
m
g(x) = f(x) f(x).
Sea g, extension continua de g a .
40
Es decir: g : R
n
R
m
, continua, tal que g
|

= g.
Tomemos g igual a la parte impar de g.
O sea, g(x) =
1
2
[g(x) g(x)].
Sea = (0, g()).
Este > 0, pues para x
0
, se tiene
g(x
0
) =
1
2
[g(x
0
) g(x
0
)] =
1
2
[g(x
0
) g(x
0
)]
=
1
2
[g(x
0
) g(x
0
)]
=
1
2
[f(x
0
) f(x
0
) f(x
0
) + f(x
0
)]
= f(x
0
) f(x
0
)
= g(x
0
) ,= 0.
(3.6)
De modo que:
= nf
x
[0 g(x)[ = nf
x
[ g(x)[ > 0,
en virtud de 3.6 y la compacidad de .
Entonces, para y B(0; ) se tiene:
d(g, , y) = d(g, , 0), (3.7)
(ver 2.1). Pero d(g, , 0) ,= 0, seg un el Teorema de Borsuk.
As, de 3.7, conclumos que:
d(g, , y) ,= 0,
41
pero esto signica (ver inmediatamente antes de la nota 1.2) que:
g
1
y , = .
De manera que, para cada y B(0; ), existe x , tal que:
g(x) = y,
O sea, la bola n-dimensional, B(0; ), esta contenida en g() R
m
,
lo cual es absurdo.
As, lo supuesto para g es falso, y, por consiguiente, existe x
0
, tal
que g(x
0
) = 0, es decir, f(x
0
) = f(x
0
).

Nota 3.5. El Teorema de Borsuk-Ulam tiene una interpretacion

meteorol ogica: si se supone que la temperatura T y la presion P son
funciones continuas, sobre la supercie de la tierra, ambas determinan
una aplicacion
f : S
2
R
3
R
2
.
El Teorema arma que, entonces, existe, por lo menos, un par de pun-
to antpodas, con las mismas condiciones de presion y temperatura,
respectivamente .

5. Aplicaciones sobreyectivas.
Sea f : R
n
R
n
, continua. Veamos como una cierta condici on de
crecimiento sobre f, implica que f(R
n
) = R
n
. Supongamos que
f(x), x)
[x[
+ cuando [x[ +.
(f(x), x) signica el producto interno usual de los vectores f(x) y
x).
Sean: y R
n
; r > 0 (a ser escogido apropiadamente);
h : [0, 1] B(0; r) R
n
h(t, x) = tx + (1 t)f(x) y
42
Tenemos que: h es continua; h(0, x) = f(x) y; h(1, x) = x y.
Armamos que, para r sucientemente grande y x B(0; r) se cumple
que:
h(t, x) ,= 0, cualquiera que sea t [0, 1].
En efecto, para [x[ = r, tenemos:
h(t, x), x) = tx + (1 t)f(x) y, x)
= tr
2
+ (1 t)f(x), x) y, x)
= tr
2
+ (1 t)r
f(x), x)
[x[
y, x)
tr
2
+ (1 t)r
f(x), x)
[x[
r[y[,
donde, hemos usado la desigualdad de Cauchy-Schwarz: [x, y)[ [x[[y[.
Luego,
h(t, x), x) r
_
tr + (1 t)
f(x), x)
[x[
[y[
_
> 0,
para todo t [0, 1], si tomamos r > [y[, sucientemente grande.
En consecuencia, h(t, x) ,= 0.
De manera que, denotando por f y e I y, respectivamente,
las funciones denidas por:
f y : B(0; r) R
n
; I y : B(0; r) R
n
,
(f y)(x) = f(x) y (I y)(x) = x y,
podemos decir que: h es una homotopa admisible (respecto a 0) entre
f y e I y.
Entonces, aplicando (d3) se obtiene:
d(f y, B(0; r), 0) = d(I y, B(0; r), 0) (3.8)
43
Pero ahora, denimos
h : [0, 1] B(0; r) R
n
,
h(t, x) = x ty
As, h es continua; h(0, x) = x; h(1, x) = x y.
Ademas, para [x[ = r, se tiene que h(t, x) = x ty ,= 0, pues, en caso
contrario, tendramos: x = ty; luego, r = [x[ = t[y[ [y[,
y estamos tomando r > [y[.
Resulta, entonces, que h es una homotopa admisible (respecto a 0) entre
I y e I.
Por consiguiente, si usamos (d3) se llega a:
d(I y, B(0; r), 0) = d(I, B(0; r), 0) = 1, (3.9)
donde, hemos usado (d1) para la ultima igualdad. As que, 3.8 y 3.9 nos
permiten concluir que d(f y, B(0; r), 0) = 1 ,= 0.
De modo que (f y)
1
0 , = . Lo cual signica que existe x B(0; r),
tal que (f y)(x) = 0, vale decir, tal que f(x) y = 0.
O sea, y f(R
n
).
Como y es cualquiera, conclumos que f(R
n
) = R
n
.

6. Sean: R
n
, abierto y acotado; f ((); g ((),
tales que, [g(x)[ < [f(x)[ en .
Entonces, d(f + g, , 0) = (f, , 0).
Solucion: Sea h : [0, 1] R
n
, dado por:
h(t, x) = t(f(x) + g(x)) + (1 t)f(x).
44
As, h es continua; h(o, x) = f(x); h(1, x) = f(x) + g(x).
Veamos que 0 ,= h(t, ), para todo t [0, 1].
En efecto, si existieran x
0
y t
0
[0, 1], tales que,
t
0
(f(x
0
) + g(x
0
)) + (1 t
0
)f(x
0
) = 0,
resultara t
0
g(x
0
) + f(x
0
) = 0.
t
0
[g(x
0
)[ = [ f(x
0
)[ = [f(x
0
)[ (3.10)
Por otro lado, como por hipotesis [g(x
0
)[ < [f(x
0
)[, conclumos que
[f(x
0
)[ > 0 y que
[g(x
0
)[
[f(x
0
)[
< 1.
Pero como,
t
0
[g(x
0
)[
[f(x
0
)[
= 1, (seg un 3.10),
se sigue que t
0
> 1 (contradiccion).
Luego, h es una homotopa admisible (respecto a 0)
entre f y f + g
As que, usando (d3) se llega a:
d(f + g, , 0) = d(f, , 0).
Observacion 3.1. La condicion [g(x)[ < [f(x)[ en , implica que
0 ,= f()
y que 0 ,= (f + g)().
45
7. Demostrar que el sistema
_
2x + y + sen(x + y) = 0
x 2y + cos(x + y) = 0
tiene una solucion en = B(0; r) R
2
, donde, r >
1

5
.
Solucion: Sean:
= B(0; r), con r a ser escogido adecuadamente;
f : R
2
dada por: f(x, y) = (2x + y, x 2y);
g : R
2
denida por: g(x, y) = (sen(x + y), cos(x + y)).
Notemos que f y g son continuas.
Ademas, [g(x, y)[ = 1 y [f(x, y)[ =
_
5x
2
+ 5y
2
.
Luego, para (x, y) , resulta:
[g(x, y)[ = 1 y [f(x, y)[ =

5r.
De modo que, si

5r > 1, es decir, r >

1

5
, se tiene:
[g(x, y)[ < [f(x, y)[, en .
As, por el ejercicio (6), se concluye que:
d(f + g, , 0) = d(f, , 0). (3.11)
Como f
1
0 = (0, 0), y
J
f
(0, 0) =

2 1
1 2

= 5,
Tenemos, usando 2.10, que:
d(f, , 0) = 1
46
Empleando este resultado en 3.11, llegamos a que:
d(f + g, , 0) = 1 ,= 0.
As que, (f + g)
1
0 , = .
Por lo tanto, existe (x
0
, y
0
) tal que f(x
0
, y
0
) + g(x
0
, y
0
) = (0, 0), es
decir,
_
2x
0
+ y
0
+ sen(x
0
+ y
0
) = 0
x
0
2y
0
+ cos(x
0
+ y
0
) = 0
8. Sean: f : R
2
R
2
, dada por:
f(x, y) = (x
3
3xy
2
, y
3
+ 3x
2
y);
a = (1, 0); = B((0, 0); 2).
Calcular: d(f, , a).
Solucion: En primer lugar, es rutinario vericar que si (x
0
, y
0
) ,
entonces, f(x
0
, y
0
) ,= a. Ahora, hallemos f
1
(1, 0).
Ello nos lleva a resolver el sistema:
_
x
3
3xy
2
= 1
y
3
+ 3x
2
y = 0
Se obtienen las soluciones:
(1, 0), (
1
2
,

3
2
) y (
1
2
,

3
2
). (3.12)
Como
J
f
(x, y) =

3x
2
3y
2
6xy
6xy 3y
2
+ 3y
2

= (3x
2
+ 3y
2
)
2
(despues de desarrollar el determinante y simplicar), tenemos que:
47
J
f
(x, y) > 0 si (x, y) ,= (0, 0).
En consecuencia,
sigJ
f
(x, y) = 1, si (x, y) ,= (0, 0) (3.13)
As, tomando en cuenta 3.12, 3.13 y 2.10, llegamos a:
d(f, B(0; 2), (1, 0)) = 1 + 1 + 1 = 3.
9. Sea f : x R
n
: [x[ = r R
m
, con m < n; continua e impar.
Probar que f tiene un cero.
Solucion: Sea = B(0; r) R
n
. Por el corolario 3.2, tenemos que:
existe x
0
, tal que:
f(x
0
) = f(x
0
).
Pero como f es impar, resulta:
f(x
0
) = f(x
0
) = f(x
0
)
f(x
0
) = 0, como queramos probar.
10. Sean: R
n
, abierto y acotado; f (().
Supongamos, ademas, que existe x
0
tal que f satisface la siguiente
condicion de frontera:
Si f(x) x
0
= (x x
0
), para alg un x , entonces, 1.
Probar que tal f posee un punto jo.
Solucion: Veamos lo que ocurre con d(I f +x
0
, , x
0
), suponiendo que
x
0
/ (I f +x
0
, )(),
ya que en caso de existir x tal que, (I f + x
0
)(x) = x
0
,
o sea, x f(x) + x
0
= x
0
, resulta f(x) = x, y no tenemos mas nada
48
que probar.
Tambien, si fuese d(I f + x
0
, , x
0
) ,= 0 se cumplria:
(I f + x
0
)
1
x
0
, = ,
es decir, existe x tal que: (I f + x
0
)(x) = x
0
f(x) = x.
Supongamos entonces, que:
d(I f + x
0
, , x
0
) = 0 (3.14)
Ahora, denamos:
h : [0, 1] R
n
,
h(t, x) = tx + (1 t)(x f(x) + x
0
)
Resulta que, h es continua; h(0, x) = x f(x) +x
0
; h(1, x) = x.
Si, ademas, se cumpliera que:
x
0
,= h(t, x), para todo t [0, 1] y para todo x , (3.15)
tendramos que h sera una homotopa admisible ( respecto a x
0
)
entre I f + x
0
e I, lo cual, seg un (d3), nos llevara a:
d(I f + x
0
, , x
0
) = d(I, , x
0
) = 1,
en contradiccion con 3.14. Luego, 3.15 no se cumple, y x
0
= h(t
0
, x
1
),
para alg un t
0
[0, 1] y para alg un x
1
. O sea,
x
0
= t
0
x
1
+ (1 t
0
)(x
1
f(x
1
) + x
0
)
Luego,
x
0
= t
0
x
1
+ x
1
f(x
1
) + x
0
t
0
x
1
+ t
0
f(x
1
) t
0
x
0
,
o sea, (1 t
0
)(f(x
1
) + x
0
) = x
0
x
1
,
49
es decir,
(1 t
0
)(f(x
1
) x
0
) = x
1
x
0
(3.16)
Vemos que t
0
,= 1, pues, en caso contrario, tendramos: x
1
= x
0
(absurdo, ya que x
1
y x
0
).
De modo que obtenemos (de 3.16):
f(x
1
) x
0
=
1
1 t
0
(x
1
x
0
).
Pero entonces, de acuerdo a la condicion de frontera, debe ser
1
1 t
0
1,
lo cual obliga a que t
0
= 0. Y esto ultimo, en virtud de 3.16, nos permite
concluir que:
f(x
1
) = x
1

11. Sea f : R
n
R
n
, funcion de (
1
(R
n
), con J
f
(x) ,= 0, en R
n
, y
ademas
[f(x)[ +, cuando [x[ +.
Probar que f(R
n
) = R
n
.
Solucion: El plan consiste en demostrar que f(R
n
) es abierto y
cerrado, en R
n
. Luego, como R
n
es conexo, concluiremos que
f(R
n
) = R
n
.
Empecemos por deducir que f es, localmente inyectiva.
En efecto, como f (
1
(R
n
) y J
f
(x) ,= 0, para todo x R
n
, usando
el teorema de la funci on inversa, resulta la inyectividad (local)
de f.
Ahora, veremos que f es una aplicaci on abierta, o sea, enva abiertos
en abiertos. En particular, resultara que f(R
n
) es abierto en R
n
.
50
Demostremos que dado x
0
R
n
, existe una bola B(x
0
; r) tal que f(B(x
0
; r))
contiene una bola con centro f(x
0
).
Pasando a R
n
x
0
y a f(x) = f(x + x
0
) f(x
0
), para x R
n
x
0
,
si es necesario, podemos asumir que
x
0
= 0 y f(0) = 0.
Elijamos un r > 0, tal que f
|
B(0;r)
es inyectiva.
Denamos
h : [0, 1] B(0; r) R
n
,
h(t, x) = f
_
1
1 + t
x
_
f
_

t
1 + t
x
_
Tenemos que: h es continua;
h(0, x) = f(x); h(1, x) = f
_
1
2
x
_
f
_

1
2
x
_
(Notemos que h(1, ) es una funcion impar).
Por otro lado, de existir t
0
[0, 1] y x
0
B(0; r), tales que:
h(t
0
, x
0
) = 0 (3.17)
se tendra:
f
_
1
1 + t
0
x
0
_
= f
_

t
0
1 + t
0
x
0
_
,
lo cual dado que f
|
B(0;r)
es inyectiva, implica que:
1
1 + t
0
x
0
=
t
0
1 + t
0
x
0
,
o sea, x
0
= 0 (absurdo).
Luego, 3.17 no puede darse, y h es una homotopa admisible
(respecto a 0) entre f y la funcion impar h(1, ).
51
As que, en virtud de (d3) y el Teorema de Borsuk, resulta:
d(f, B(0; r), y) = d(h(1, ), B(0; r), 0) ,= 0, (3.18)
donde, y es cualquiera en B(0; ), con = (0, h(1, )(B(0; r))
(recordar 2.1 y que 0 / h(t, )(B(0; r)) y que B(0; r) es compacto)
Entonces, de 3.18 se sigue: f
1
y , = , para todo y B(0; ).
Es decir, dado y B(0; ), existe x B(0; r) tal que, f(x) = y.
En otras palabras,
B(0; ) f(B(0; r)).
Lo cual signica que f es una aplicacion abierta.
A continuacion, probemos que f(R
n
) es cerrado en R
n
.
Sea
y
0
f(R
n
). (3.19)
Entonces, existe (y
n
), sucesion en f(R
n
), tal que, y
n
y
0
.
Tenemos que: para cada n, existe x
n
R
n
, con y
n
= f(x
n
).
Resulta que (x
n
) es una sucesion acotada, pues en caso contrario, sera
[f(x
n
)[ = [y
n
[ + (absurdo, pues (y
n
), al ser convergente, es acota-
da).
As, (x
n
) posee una subsucesion (x
n
k
) convergente, digamos,
x
n
k
x R
n
.
Como f es continua, resulta:
f(x
n
k
) f(x).
52
Pero, tambien, y
n
k
y
0
Es decir, y
n
k
f(x).
Luego, y
0
= f(x).
O sea,
y
0
f(R
n
). (3.20)
De 3.19 y 3.20 resulta:
f(R
n
) = f(R
n
)

12. Sean: = (3, 6); n = 1;

f : [3, 6] R, g : [3, 6] R
f(x) = x
2
6x g(x) =
_
_
_
9x 3 x 0
3x 0 x 3
3x 18 3 x 6
Calcular d(g, (3, 6), 16).
Solucion: Gracamente, la situacion es:
53
g / (
1
((3, 6))
g() = g3, 6 = 27, 0
= (16, 27, 0) = 9
f (
1
((3, 6))
[f g[
0
=
9
4
=

4
<

3
d(g, (3, 6), 16) = d(f, (3, 6), 16)
(Ver lo dicho al nal del captulo 2).
Ahora, usando 2.10, resulta:
x
y
27
16
3 3 6
9
d(f, (3, 6), 16) =

xf
1
{16}
sigJ
f
(x) = sigJ
f
(2) = 1

54
Apendice
En esta parte nal de la presente monografa haremos referencia, someramente,
a algunos casos no contemplados en nuestra incursion a la Teora del Grado.
Por ejemplo, como se trata el caso en el que no es acotado?.
Recordemos que en el caso R
n
, acotado, lo importante era que obtenamos,
como consecuencia, que f
1
y era un subconjunto de , compacto
(no olvidemos tampoco que y / f() ). Ahora, en el caso: R
n
,
abierto, posiblemente no acotado, obtendremos que f
1
y sera compacto, si
f no crece demasiado r apido. Mas precisamente, asumimos que:
f ((); sup

[x f(x)[ < +; y / f()

Entonces, f
1
y es compacto y d(f,
0
, y) es el mismo entero, para todo

0
f
1
y, abierto y acotado. As, tenemos la siguiente extension de la
denicion de grado ya conocida:
Para R
n
, abierto,
sea

(() el conjunto de las funciones f : R
n
, continuas, tales que,
sup

[x f(x)[ < +.
Sea

M = (f, , y) : R
n
, abierto; f

C(), y / f( )
Denimos:

d :

M Z, por

d(f, , y) = d(f,
0
, y),
donde,
0
R
n
es cualquier abierto, acotado, que contiene a f
1
y.
55
Ejemplo 3.1. Sea n = 1; = (1, +);
f : [1, +) R
f(x) = x 2
Tenemos que f
1
0 = 2 y = 1. Entonces,

d(f, (1, +), 0) = d(f, (1, +)

0
, 0),
donde,
0
es un abierto, acotado, que contiene a 2.
Llamemos

= (1, +)
0
. Resulta que

d(f,

, 0) = sigf

(2) = 1. Luego,

d(f, , 0) = 1.

Al intentar extender las ideas de la Teora del Grado al caso de funciones

denidas en espacios de dimension innita, una serie de sorpresas comienzan
a aparecer. Por ejemplo.
Sea f : B(0, 1) B(0, 1), continua, donde, B(0, 1) es la bola unitaria,
cerrada, de alg un espacio de Banach de dimension innita. Tiene f un punto
jo? A continuacion veremos que, en general, la respuesta es no.
Sea
2
, el espacio de Hilbert de las sucesiones = (
1
,
2
, . . . ,
n
, . . . ), de
n umeros reales, para los cuales
+

i=1

2
i
converge.
La norma en
2
es dada por:
|| =

_
+

i=1

2
i
.
Denimos T : B(0; 1) B(0; 1), donde, B(0; 1) =
2
: || 1,
T() = (
_
1 ||
2
,
1
,
2
, . . . ,
n
, . . . ).
T es continua y la imagen de T esta contenida en B(0; 1).
Esta t no tiene punto jo.
56
En efecto:
Supongamos que existe = (
1
,
2
, . . . ,
n
, . . . ) B(0; 1), tal que T() = .
Entonces:
_
1 ||
2
=
1
;
1
=
2
;
2
=
3
;
3
=
4
; . . . ()
Como ||
2
=
+

i=1

2
i
=
+

i=1

2
1
< +.,
se deduce que,
1
= 0 y = 0. Pero esto contradice la primera igualdad en ().
As que, T no posee punto jo. De paso, este ejemplo tiene dos consecuencias
importantes.
Una, que existe una retracci on continua de B(0; 1) sobre su frontera.
Veamos, dado x B(0; 1), como T(x) ,= x, la recta que une a x con T(x)
intersecta a B(0; 1) en dos puntos, T(x) y R(x). La aplicacion que enva a
x en R(x) es continua, lleva a B(0; 1) sobre su frontera, y R(x) = x, para
todo x B(0; 1).
As que, R es la retracci on requerida. La otra consecuencia del ejemplo
citado es: que no tiene mucha utilidad tener una Teora del grado (en el caso
de dimension innita) para todas las funciones continuas.
Por ejemplo, sean f, g : B(0; 1) B(0; 1), continuas,
donde, B(0; 1) es la bola unitaria en
2
.
Consideremos:
H : [0, 1] B(0; 1) B(0; 1)
H(t, x) = R( t(f(x) + (1 t)g(x) ),
donde, R es la citada retraccion que acabamos de presentar.
Entonces, H es continua, H(0, x) = g(x), H(1,x)=f(x).
Como 0 ,= H(t, x), para todo t [0, 1] y para todo x B(0; 1) resulta
que H es una homotopa admisible (respecto a 0) entre f y g. De modo que,
de existir una Teora del Grado en la cual valga la propiedad de invariancia
homotopica (d3), resultara que: Todas las aplicaciones continuas tendran el
57
mismo grado, y esto no hara muy util tal teora.
La dicultad reside en el hecho que el conjunto de las aplicaciones continuas,
en espacios de dimension innita, es muy grande.
Ahora bien, en muchos de los problemas en ecuaciones diferenciales surgen
aplicaciones, entre espacios de Banach, que tienen otras propiedades, ademas
de la continuidad, por ejemplo, la compacidad, y para ellas s se puede
construir una teora del grado que sea util. Precisemos:
Sean: X e Y , espacios de Banach; D X,
T : D Y es compacta, si
a.- es continua.
b.- para cada B D acotado, se tiene que T(B) es compacto.
Ahora bien, si X es abierto, acotado y T : X es una apli-
cacion compacta, entonces, dada > 0, existen: un subespacio
F X, con dimF < +, y una aplicacion compacta. T

: F, tal
que: |Tx T

x| , para todo x .
Esto permite presentar, la, as llamada, Teora del Grado Topol ogico de
Leray-Schauder. Este grado sera denida para perturbaciones
compactas de la identidad, o sea, para aplicaciones = I T, donde,
T : X es una aplicacion compacta, con X, abierto, acotado, y X
un espacio de Banach.
Denicion 3.1. Sea T : X, compacta, tal que T() esta contenida en
F X, de dimensi on nita; sean: = I T; p F, con p / ().
Entonces, denimos:

d(, , p) = d(
|
F
, F, p),
donde, el grado (en el lado derecho) es el grado de Brouwer, que ya conocemos.
Se prueba que

d no depende de F, o sea, que

d esta bien denido (Ver [8]).
Las propiedades del Grado de Leray-Schauder se deduden en forma analoga a
como fueron deducidas las propiedades del grado de Brouwer.
58
Bibliografa
[1] Lars V. Alfors, Complex Analysis, International student edition,
Mc Graw-Hill Book Company, Inc. Tokyo, 1953.
[2] A. Artur A Hauser. Jr. Variable Compleja, Fondo educativo
Interamericano, S.A. 1973.
[3] Chinn-Steenrod. Primeros Conceptos de Topologa, Editorial Alhambra,
S.A. 1975.
[4] Klaus Deimling, Non linear Functional Analysis, Springer-Verlag, 1985.
[5] Chaim Samuel Honing, Aplicacoes da Topologis `a Analise, Rio de Janeiro,
1976.
[6] Elon Lages Lima, Curso de Analise, Vol 2, Projeto Euclides, Rio de
Janeiro.
[7] Schwartz J.T, Non linear Functional Analysis, New York. Gordon and
Breach, 1969.
[8] Nirenberg L., Topics in Non Linear Functional Analysis, Courant
Institute Math., Sci. Lecture Notes, 1974.
[9] American Mathematical Monthly, vol. 85 (1978), pagina 521-524.
Milnor, John - Analytic proof of the hairy ball theorem and the
Brouwer xed point theorem.
[10] Elon Lages Lima,Espacos metricos, Projeto Euclides, Rio de Janeiro.
1977.
59