You are on page 1of 4

-

107-

UNA. DEMOSTRA.CION DEL TEOREMA. FUNDAMENTAL DEL ALGEBRA


por

JasE MANUEL BAYOD

El Teorema Fundamental del Algebra, o Teorema de D'Alemberf... suele probarse en los cursos de variable compleja y en algunos cursos detopologa. La demostracin que exponemos a continuacin tiene el inters de estar apoyada en el Teorema de la Funcin Inversa para funciones diferenciables sobre e (un poco ms laborioso es detallarlo utilizando en Teorema de la Funcin Inversa para funciones diferenciables sobre na) y sobre argumentos elementales de topologa conjuntista. Hay, desde luego, otras pruebas tan elementales o ms que la queaqu se presenta, pero en sta se utiliza esencialmente el carcter de aplicacin abierta que se sigue del Teorema de la Funcin Inversa y constituye una interesante ilustracin de la potencia de este teorema del Anlisis. Por otra parte, el poder mostrar consecuencias que se salen de la exposicin lgica de una teora (al igual que se hace con la presentacin, totalmente clsica, de los extremos relativos dentro del clculo diferencial de una o varias variables) tiene su importancia pedaggica indudable y aumenta el inters de la teora en s. La lnea argumental consiste en probar que si I es una funcin polinmica sobre e, 1II : e -+ R o+ (conjunto de los nmeros reales no negativos) es abierta y, adems, tiende a + ro siguiendo la base de filtro de los complementarios de los compactos (es decir, vale + ro en el punto del infinito); entonces, III alcanza su nfimo y es igual a cero. Utilizaremos la notacin exponencial para los conceptos topolgico& y para el complementario: si A es un subconjunto de un espacio topolgico, Af es su frontera, Ai su interior, Ad su derivado y Ac su complementario. En un espacio normado E (todos los espacios normados se suponen sobre R) indicaremos con [a, b] = {ta + (1 - t) bl O <, t < 1} el segmento cerrado de extremos a, b,
LEMA 1.

Sea X un espacio topol6gico TI Y A una parte de X. Si A es conexo y con ms de un punto, A CAd.

108-

Demostracin.
Si x es un punto aislado de A, {e} es abierto en A. Como adems {e} es cerrado en A, por ser ste subespacio de un T 1> A no es conexo.
LEMA

2.

Sea E un espacio normado de dimensin mayor que uno y A una parte de E. Si A es cerrado y sin puntos aislados (A = A), Al tampoco tiene puntos aislados (Af e Afd). Demostracin.
Tomemos un x E Af Y un E > 0, y veamos que en Af n B(x, E) hay 'algn punto distinto de x. Es claro que existen a E A n B(x, E) - {e}, lb E Ac n B(x, E). Y obsrvese que los puntos a, b pueden elegirse de manera que x q; [a, b]: si x E[a, b], {x - a, x - b} es ligado, luego por la hiptesis sobre la dimensin existe h E E linealmente independiente de ellos y de norma menor que E; sea c = x + h. Entonces, si c E A, se sustituye a por e, y si c E ss, se sustituye b por c. Por consiguiente, el segmento [a, b] est contenido en B(x, E), es conexo y corta a A y a Ac, luego corta a Af:
(/J
LEMA

=f. Af n

[a, b]

e Af n B(x, E) -

{x}

3.

Sea E un espacio normado de dimensin finita, X, e E un conjunto cerrado cuyos puntos son todos aislados (Xod = (/J), F un espacio normado de dimensin mayor que uno, f : E - X ->- F una aplicacin continua, abierta y prolongable por continuidad a T: E ->- F. Entonces T es tambin abierta. Demostracin.
Basta con probar que si X o E x o, T transforma un entorno abierto suyo, U, en un entorno de f(x o). Tmese una bola cerrada K = B[x o, E] contenida en U y que no contenga a ningn otro punto de X o Entonces, f(K) es compacto y conexo; y con ms de un punto, ya que su interior no es vaco, pues para cada .{C E Ki {xo}, K - {xo} es entorno de z, luego (x) E/(K)i. Por el Lema 1, j(K) carece de puntos aislados, y si 7f.x o) E /(K)f (en (laso contrario, se termina la demostracin), por el Lema 2 hay una sucesin (Yn)nEN en 1[K) - {1(x o)} que tiende a 1(x o). Sea para cada n natural, xn E K tal que 1(xn) = Yn. Entonces xn E Kf, ya que si xn E Ki, como .{Cn =f. X O, 1(K) es entorno de 1(xn), contra la eleccin de los Un.

109-

y como Kf es compacto, alguna subsucesn de (Xn)neN converge en

Kf : xn -+ X e Kf, luego f(x) = f(Xo), con x ~ x o, y U -

{x o} entorno de x,

luego f(U) es e?torno de f(x) = J(x o).


Proposicin 1. Si f : e -+ e es una funcin polinmica de grado mayor o igual que uno, es una aplicacin abierta. Demostracin.

Para cada z e e, f'(z) es otra aplicacin polinmica no nula y, por tanto, se anula a lo ms en un conjunto finito de puntos, que llamaremos X o ' Aplicando entonces a g : X, -+ e (restriccin de f) el Teorema de la Funcin Inversa, se sigue que g es abierta, y por el Lema 3, que f es abierta, c. q. d. Obsrvese que la demostracin de la Proposicin 1 se extiende a todas las funciones analticas.
LEMA

4.
-+

Si X es un espacio de Hausdotf] localmente compacto y f : X continua y vale + OC! en el punto del infinito, f alcanza su nfimo. Demostracin.

R es

Tomando un X o e X cualquiera, y un compacto K tal que f(x) > f(x o) para todo x e Ke, inf f(x) inf f(x) x e K x eX que se alcanza para un punto de K.
Proposicin 2. Si f : e . . . . e es una aplicacin polinmica de grado mayor o igual que uno, 111 alcanza su ntimo. Demostracin.

Basta observar que Ifl cumple la condicin del Lema 4.


LEMA

5.

Si E es un espacio normado, X un espacio topolgico y f : X -+ E es una aplicacin abierta, la composicin de f con la norma de E, Ilfll : X -+ -+ R o+, no alcanza su nfimo a menos que ste sea cero.

110-

Demostracin.

Obsrvese, en primer lugar, que la aplicacin norma es abierta, ya que la imagen de la bola abierta B(a, r) es (11 a II - r, !lall + r) n R o+. . Entonces, Ilfll(X) es abierto en R o+, Y si su nfimo es distinto de cero no lo alcanza, ya que entonces IIfll(X) es abierto en R.
TEOREMA DE D'ALEMBERT.

Todo polinomio con coeficientes complejos y de grado mayor o igual que uno, tiene alguna raz en C. Demostracin.

Es consecuencia de las Proposiciones 1 y '2 del Lema 5. Dpto. Teoria de Funciones, Facultad de Ciencias. Santander.