Teoremas Fundamentales PDF

Teoremas Fundamentales
Jess Prez Sn hez
Marzo 2008
iii
Introdu in
Esta monografa, en realidad, es un viaje, o paseo, por algunos espa ios

maravillosos de la Matemti a. Nos toparemos on teoremas fundamentales
de la Matemti a y algunas apli a iones de los mismos.
Para mi ha sido pla entero este deambular por la Aritmti a, el lgebra y

el Anlisis.
Con la esperanza de que este sen illo material sea de utilidad, sobre to-
do a los alumnos de nuestra Li en iatura, slo les pido que observa iones y
sugeren ias, sean enviadas a : jesuspula.ve
Mrida, marzo de 2008.

iv
ndi e general
1. Teorema Fundamental de la Aritmti a. 1
2. El Teorema Fundamental del lgebra. 21
3. El Teorema Fundamental del Cl ulo 31
4. El Teorema de Baire. 43
v
vi NDICE GENERAL
Captulo 1
Teorema Fundamental de la
Aritmti a.
Al ha er una presenta in formal del onjunto de los nmeros naturales,

N = {0, 1, 2, 3 . . .}, debemos re urrir a los axiomas de Peano (matemti o
italiano, 1858-1932):
(P1 ) El objeto 0 ( ero) pertene e al onjunto N, 0 N.
(P2 ) Si x N, existe (y es ni o) s(x) N (el su esor de x).
(P3 ) Para todo x N, es s(x) 6= 0 (0 no es su esor de otro nmero natural).
(P4 ) Si s(x) = s(y), enton es, x=y (un nmero natural no puede ser su esor
de dos naturales distintos).
(P5 ) Si A es un sub onjunto de N, tal que:
i) 0 A.
ii) aA impli a que s(a) A,
enton es, A = N.
Nota 1.1: Despus de denir la suma (+) y el produ to (.), en N, se demuestra

que: s(x) = x + 1, para todo xN (ver [1, pg. 33)
A partir de (P5 ), podemos dedu ir el
Primer Prin ipio de Indu in Completa:
1
2 CAPTULO 1. TEOREMA FUNDAMENTAL DE LA ARITMTICA.
Sea n0 un nmero natural, y supongamos que para ada natural n n0 ,

hay aso iada una arma in An . Admitamos que sea posible probar que:
i) An0 es verdadera
ii) Para ada natural k k0 , si Ak es verdadera, enton es Ak+1 tambin

es verdadera.
En estas ondi iones, An es verdadera, para todo n n0.

Demostra in:
Sea S = {n N: An0 +n es verdadera }. Tenemos que, segn i), 0 S.
Supongamos que k S.
Luego, An0 +k es verdadera.
Ahora, en virtud de ii), resulta que An0 +k+1 tambin es verdadera; de modo
que: k + 1 S.
As, S satisfa e las ondi iones del axioma (P5 ).
Con lusin: S = N.
Ejemplo 1.1:
a) Demostrar que 24n 1 es mltiplo de 15, para todo nmero natural
n 1.
b) Demostrar que 2n > 2n + 1, para todo nmero natural n 3.
Solu in:
a) En este aso, An signi a:
24n 1 es mltiplo de15.
Luego, A1 es la arma in:
241 1 es mltiplo de 15, la ual es verdadera.
Supongamos ahora que:
24k 1 es mltiplo de 15, on k 1. (1.1)
Queremos ver si, enton es, 24(k+1) 1 tambin es mltiplo de 15.

3
Pero,
24(k+1) 1 = 24k .24 1 = 24k (15+1) 1 = 24k .15 + 24k -1 (1.2)
En (1.2), el primer sumando, obviamente es mltiplo de 15, y el segundo

tambin lo es, en virtud de (1.1).
As, 24(k+1) 1 queda expresado omo suma de dos mltiplos de 15, por
lo ual, tambin es mltiplo de 15, omo queramos probar.
b) Tenemos que, An quiere de ir:

2n > 2n + 1, para n3
As, A3 nos di e:
23 > 2.3 + 1, lo ual es verdadero.
Supongamos que Ak es ierto, para k 3, o sea,
2k > 2k + 1, k3 (1.3)
Queremos saber si (1.3) impli a que
2k+1 > 2(k+1) + 1, para k3
Ahora bien, multipli ando ambos miembros de (1.3) por 2, llegamos a:
2k+1 > 4k + 2
O sea,
2k+1 > 2k+2k + 2 (1.4)
Pero, omo k 3, resulta que 2k + 2 > 3. Usando este ltimo resultado en

(1.4), llegamos a:
2k+1 > 2k + 3 = 2(k+1)+1, omo queriamos.
Ahora, a partir del Primer Prin ipio de Indu in ompleta, obtendremos

un notable resultado, ono ido omo Prin ipio de Buena Ordena in (que
abreviaremos omo P.B.O):
Todo sub onjunto A N, no va io, posee un elemento mnimo.

Demostra in: Sea X el onjunto de todos los nmeros naturales n, tales

que {0, 1, 2, ..., n} N A.
As, 0 X signi a: 0
/ A; y si n0 es tal que n0 X , enton es, n0
/ A, y
0, 1, 2, ..., n0 1 tampo o pertene en a A.
No olvidemos que queremos probar que A tiene un elemento mnimo.
Si 0 A, no tenemos ms nada que probar, (0 sera el elemento mnimo de

A).
Supongamos, enton es que 0
/ A, luego, 0 X.
Tambin resulta que X 6= N, pues X NA y A 6= .
As, en virtud de (P5 ), on luimos que: existe un nmero natural m0 tal
que, m0 X y s(m0 ) = m0 + 1 / X.
De modo que,
m0 + 1 A y {0, 1, 2, . . . , m0 } N A.
En otras palabras, m0 + 1 es el elemento mnimo de A.
Veamos a ontinua in, que el P.B.O impli a el Primer Prin ipio de in-
du in ompleta.
En efe to, sea P una propiedad, referida a los nmeros naturales.
Supongamos que:
n0 tiene la propiedad P.
(1.5)
Si n n0 veri a la propiedad P, enton es,

n + 1, a su vez, umple on di ha propiedad.
Consideremos
Y = {n N, n n0 : n no umple P}
Supongamos que Y 6= .
Apli ando el P.B.O, dedu imos que Y posee un elemento mnimo (llam-
moslo m0 ). Que podemos de ir a er a de m0 ?
m0 Y (1.6)
5
(O sea: m0 n0 y m0 no umple P )
As que, ms pre isamente, m0 > n0 . Luego, mo 1 es un nmero natural,
tal que mo 1 no y, adems,m0 1
/ Y (ya que m0 es el elemeneto mnimo
de Y) Pero enton es, m0 1 umple P . Y, ahora, utilizando (1.5), llegamos
a que: m0 umple P (en ontradi in on (1.6))
Por lo tanto, Y = . O sea, para todo n n0 se umple P
En seguida, a partir del P.B.O, obtendremos el: Segundo Prin ipio de

Indu in Completa:
Supongamos que para ada nmero natural n n0 , hay aso iada una
arma in An
Si An0 es verdadera, y podemos probar que la vera idad de Ak
(para n0 k < n) impli a la vera idad de An , (1.7)
enton es, An es verdadera, para ualquier n n0 .

Demostra in: Sea S = {n N: n n0 y An es falsa }
Debemos demostrar que S = .

Supongamos que S 6= .
Enton es, de a uerdo al P.B.O, S tiene un elemento mnimo (designmoslo
por m0 ). Tenemos que:
m0 n0 y Am0 es falsa. (1.8)
Como An0 es verdadera, on lumos que m0 > n0 . Tambin, para todo k,

on n0 < k < m0 , es Ak verdadera (por la minimalidad de m0 ).
Luego, segn (1.7), Am0 es verdadera, en ontradi in on (1.8). De modo
que S = , y An es verdadera, para todo n n0 .
A ontinua in probaremos que el segundo Prin ipio de Indu in tiene

omo onse uen ia el P.B.O.
Efe tivamente, sea A N, no va o. Demostraremos que A posee un

elemento mnimo.
Si 0 A, no ne esitamos ha er ms nada.
Supongamos enton es, que 0 / A. Sea X , el onjunto de los nmeros

naturales n, tales que {0, 1, 2, . . . , n} N A. (Notemos que 0 X ).
Como X N A y A 6= , dedu imos que X 6= N.

Enton es, en virtud del Segundo Prin ipio de Indu in Completa, debe
existir un m0 N, tal que, X ontiene todos los nmeros naturales menores
que m0 , pero m0
/ X (luego, m0 > 0).
Es de ir, m0 A y 0, 1, 2, . . . , m0 1 no estn en A. Esto signi a que m0
es el elemento mnimo de A.
En resumen, ha quedado probado que: el Primer Prin ipio de Indu in

Completa, el P.B.O, y el Segundo Prin ipio de Indu in Completa son
equivalentes entre s.
El prximo Prin ipio es de enun iado muy sen illo, pero de gran importan-
ia, ono ido omo el Prin ipio del nido de las palomas:
Si n+1 palomas son olo adas en n nidos, enton es, por lo menos, un nido
deber tener 2 ms palomas. En efe to, si el nmero mximo de palomas, en
ada nido, fuese 1, estaran distribudas, a lo sumo, n palomas ( ontradi in).
Este prin ipio tambin es llamado: Prin ipio de las gavetas de Diri hlet,
por el he ho de ser usualmente, enun iado as: Si olo amos n objetos en un
nmero r de gavetas ( on r < n), enton es por lo menos, una gaveta deber
ontener, al menos, dos objetos.
Una forma ms general de enun iar el itado Prin ipio es:
"Si n nidos son asignados a n.k+1 palomas enton es, por lo menos, un
nido albergar, al menos, a k+1 palomas"
Efe tivamente, si ada nido abrigara, a lo mximo , a k palomas, se ten-
dra, a lo sumo, un total de n.k palomas, lo ual es ontradi torio.
Ejemplos:
1.1) Una gran iudad tiene 5.000.011 habitantes. El nmero mximo de
abellos que puede re er en una abeza humana es de 500.000. Demostrar
que hay, al menos, 11 habitantes, de la itada iudad, on el mismo nmero de
abellos.
Solu in: En este aso, k + 1 = 11 k=10; n = 500 001 (un "nido"para

las personas de 0 abellos, un "nido"para las personas de un abello, . . . , un
"nido"para las personas de 500.000 abellos)
Luego, n.k + 1 = 500011.
7
De manera que, una apli a in dire ta de la ltima versin dada del Prin-
ipio que nos o upa, prueba lo armado.
1.2) Demostrar que si se mar an 5 puntos, al azar, en la super ie de un

uadrado, de lado 2 m, por lo menos, uno de los segmentos mar ados, tiene

longitud menor o igual a 2 m.
Solu in: Dividamos el uadrado dado, en uatro uadrados, de lado 1 m.
(stos sern los "nidos": n=4). Como hay 5 puntos (5 "palomas"), enton es,
en alguno de los 4 uadrados aern, al menos, dos de di hos puntos.
Cualquiera que sea la ubi a in de di hos puntos en el uadrado (de lado
1 m), la longitud del segmento formado ser menor o igual que la longitud de

la diagonal del uadrado, la ual es 2 m.
1.3) Diremos que un punto (x, y), de R2 , es entero si sus oordenadas son
enteras. Por ejemplo, (1, 7), (2, 5), (0, 32), son todos enteros. Mientras que,
( 53 , 7), (8, 2
5
), no lo son. Consideremos, al azar, 5 puntos enteros, de R2 .
Demostrar queel punto medio de alguno de los segmentos que unen parejas
de esos puntos, es entero.
Solu in: onsideremos los uatro "nidos"siguientes:

n1 = {(x, y) R2 : (x, y) es entero, x par, y par}
n2 = {(x, y) R2 : (x, y) es entero, x impar, y par}
n3 = {(x, y) R2 : (x, y) es entero, x par, y impar}
n4 = {(x, y) R2 : (x, y) es entero , x impar, y impar}
Enton es, por el prin ipio del nido de las palomas, al menos dos de los
puntos enteros dados, aen en el mismo "nido", digamos, (x1 , y1 ), (x2 , y2 ).
Como par + par da par e impar + impar da par, resulta que:
x1 + x2 y1 + y2
e
2 2
son enteros; o sea , el punto medio del segmento determinado por (x1 , y1 ),
(x2 , y2) es entero.
Es inmediato ver que, on slo 4 puntos no es ierta la on lusin;

onsideremos, por ejemplo, los puntos: (2, 2), (1, 1), (2, 3) y (1, 4)
El on epto siguiente es uno de los ms importantes en toda la Matemti a.

Se trata de Los nmeros primos.
Ellos son los "ladrillos" de onstru in, a partir de los uales, los otros
enteros son formados, multipli ativamente.
Re ordemos que unnmero natural, mayor que 1, y que slo es divisible

por 1 y por l mismo, es llamado nmero primo.
Los nmeros primos son: 2, 3, 5, 7, 11, 13, 17, . . . Un nmero mayor que 1, y
que no es primo, sera llamado ompuesto.
Cada uno de estos nmeros se puede des omponer, progresivamente, en

fa tores hasta llegar nalmente a tener slo fa tores primos. Por ejemplo, se
puede des omponer 120 en 12 10; 12 omo 2 2 3, y 10 omo 2 5, para
nalmente obtener:
120 = 2 2 3 2 5 = 23 3 5.
Tambin pudimos haber pro edido as:
120 = 815; 8 = 222; 15 = 35, de donde, 120 = 22235 = 23 3 5.

El obtener el mismo resultado en ambos asos , pare e obvio porque estamos
a ostumbrados a ello.
Damos por sentado que, si des omponemos en fa tores un nmero entero,

obtendremos siempre los mismos fa tores; no
hasta donde sea posible,
importa mo reali emos la des omposi in.
Consideremos ahora, un nmero mayor, por ejemplo, el 18.833. Despus de
mu ho tabajo llegaramos a que es igual a 37 509, y que estos fa tores son
primos. Pero, mo saber si hay, o no, otra fa toriza in del nmero 18.833,
ompletamente distinta a la mostrada?
La respuesta a esta inquietud nos la dar el Teorema Fundamental de

la Aritmti a, que analizaremos un po o ms adelante. Por los momentos
para liberarnos de ideas pre on ebidas, onsideraremos un sistema numri o
que no es el usual.

Nuestro "nuevo" sistema numri o, denotado por
Z[ 5], va a estar ons-
titudo por los elementos de la forma a + b 5, on a, b Z. (Tenemos as,
un sub onjunto de nmeros omplejos, on las opera iones de suma y multi-
pli a in, usuales, de C).
Nos ser muy til la no in de
norma
de un elemento de di ho sistema:

2 2
N(a + b 5) = a + 5b (esta expresin se obtiene multipli ando a + b 5
9

por su onjugado, a b 5). Su ede que en Z[ 5], se umple:
21 = 3 7
y tambin,

21 = (1 + 2 5) (1 2 5). (1.9)

De manera que si logramos probar que, en Z[ 5], los elementos:

3, 7, 1 + 2 5, 1 2 5, son irredu ibles (lo que sustituye la no in de
primos, de nuestro sistema ordinario), enton es (1.9) nos indi ara que hay

dos diferentes fa toriza iones del nmero 21, en Z[ 5].
Supongamos que 3 = .
Ahora bien, una omputa in dire ta muestra que se umple:

N(.) = N().N(), ualesquiera sean , Z[ 5]
As que,
N(3) = N(.) = N().N()
O sea,
9 = N().N()
Por lo tanto,
N() = 1, 3 9.
Supongamos que

= a + b 5
Enton es, si N() = 1, se tendra:
a2 + 5b2 = 1.
Luego, b=0 y a = 1 = 1
Por otro lado, el aso N() = 3 queda des artado, ya que no puede tenerse
a2 + 5b2 = 3, on a y b enteros.
Si N() = 9, enton es, es N() = 1, y resulta = 1.

En todo aso, no se obtiene una fa toriza in (no trivial) de 3, en Z[ 5],
as omo en el sistema nmeri o ordinario no se onsidera 1 3,
3 = omo una
fa toriza in del 3. En otras palabras, 3 es irredu ible, en Z[ 5].

Un argumento similar prueba que 7 es irredu ible, en Z[ 5]
Supongamos ahora que:

1 + 2 5 = .
Enton es

21 = N(1 + 2 5) = N(.) = N().N()
Luego,
N() = 1, 3, 7 21.
Sea

= m + n 5.
Enton es
N() = 1 impli a que m = 1 y n=0 = 1
Si fuera N() = 3 resultara m2 + 5n2 = 3, lo ual no se umple, para

valores enteros de m y n.
Anlogamente, si N() = 7, llegamos a una ontradi in.
Finalmente, para N() = 21, se obtiene N() = 1, lo ual impli a que

= 1.

De modo que, 1 + 2 5 es irredu ible, en Z[ 5]

Similarmente, 1 2 5 es irredu ible, en Z[ 5].
Con lusin: 21 es fa torizable,

de dos maneras diferentes, omo pro-
du to de irredu ibles, en Z[ 5].
Un he ho omo ese no podr o urrir en el sistema nmeri o ordinario, pues
una parti ularidad del mismo es que la des omposi in en fa tores primos
es ni a. Adems, los nmeros primos son su ientes para generar todos los
nmeros naturales. Este es el ontenido del Teorema Fundamental de la
Aritmti a:
Todo nmero natural, mayor que 1, o es primo, o se es ribe de modo ni o
(salvo el orden de los fa tores) omo un produ to de fa tores primos.
Para demostrarlo, ne esitaremos dos lemas.
Denotaremos por P = {2, 3, 5, 7, . . .} al onjunto de los nmeros primos.
Lema 1.1: Sean: p P, y m, n N {0}

Si p divide a m.n, enton es, p divide a m p divide a n.
11
(Este lema lo en ontraremos, ya, en Los Elementos de Eu lides, proposi in

30, libro VII).
Demostra in: Asumimos que p divide a m.n, pero que no divide a m.

(Tambin se di e en este aso que p y m son primos entre s. Ver [2, pginas
60-61). Enton es, existen r, s N , tales que:
rp sm = 1
Por lo tanto
rpn smn = n (1.10)
Ahora, p divide al primer miembro de (1.10). Por lo tanto, p divide a n.
Lema 1.2: Sean: p, q1 , q2 , . . . , qn P.

Supongamos que p divide a q1 .q2 . . . qn .
Enton es, p = qj , para algn j {1, 2, . . . , n}.
Demostra in: Usaremos el Primer Prin ipio de Indu in Com-
pleta.
n=1, lo armado es ierto,
Si pues tenemos que p es un divisor de q1 ,
diferente de 1, es de ir, p = q1 .
Asumamos ahora, que el resultado es vlido para ualquier
produ to on k fa tores (hiptesis indu tiva) (1.11)
Es ribamos:
q1 .q2 . . . qk+1 = (q1 .q2 . . . qk ).qk+1
Como p divide a este produ to tenemos, segn el lema 1.1, que p divide
a q1 .q2 . . . qk p divide a qk+1 . O sea, p divide a q1 .q2 . . . qk p = qk+1 .
De modo que si usamos, ahora, (1.11) podemos armar:
p = qj , para algn j {1, 2, . . . , n}
Ya estamos en ondi iones de demostrar el Teorema Fundamental de la

Aritmti a.
Re ordemos lo que di e: Sea n N, on n > 1. Enton es, existen nmeros

primos (ni os) p1 p2 . . . pj , tales que: n = p1 .p2 . . . pj .
Demostra in:
a) Existen ia de la des omposi in de n.
Si n fuese primo, basta es oger p1 = n.
Supongamos enton es que n/ P. Como n es un nmero ompuesto, existe
d N, tal que: 1<d<n y d divide a n, digamos, n = d.n1 .
Luego, tambin tenemos que : 1 < n1 < n. Ahora, vamos a utilizar el
Segundo Prin ipio de Indu in Completa, uya hiptesis indu tiva onsiste
en admitir que: todo nmero menor que n puede ser es rito omo un
produ to de primos. Por lo tanto, existen:
r1 , r2 , . . . , rm , q1 , q2 , . . . , qs P, tales que,
d = r1 .r2 . . . rm ; n1 = q1 .q2 . . . qs
As,
n = r1 .r2 . . . rm .q1 .q2 . . . qs
Es de ir, n tambin puede ser es rito omo un produ to de primos.
b) Uni idad de la des omposi in n = p1 .p2 . . . . .pj
Supongamos que n posee dos des omposi iones en fa tores primos, digamos,
n = p1 .p2 . . . .pk = q1 .q2 . . . . ql .
Sin prdida de generalidad, asumamos que l k . Como p1 divide a q1 .q2 . . . . .ql ,
apli amos el lema 1.2, y on lumos que existe j {1, 2, . . . , l}, tal que p1 = qj .
Reordenando los ndi es de los qj s (si es ne esario) podemos suponer que

p1 = q1 , para obtener:
p1 .p2 . . . pk = p1 .q2 . . . ql ,
luego,
p2 . . . pk = q2 . . . ql
Continuando on este razonamiento, llegamos a que, para todo i {1, 2, . . . , k}
existe j {1, 2, . . . , l}, tal que pi = qj .
As, reordenando los ndi es de los qj s (si es ne esario), podemos asumir
que:
pi = qi , para todo i {1, 2, . . . , k}
Si l = k, la demostra in habr terminado.
Sea, enton es l > k.

13
En este aso, llegaremos a que:
p1 .p2 . . . pk = p1 .p2 . . . pk .qk+1 . . . ql
lo ual impli a que,

1 = qk+1 . . . ql , absurdo
Por lo tanto, on lumos que l = k , y que pi = qi , para todo i {1, 2, . . . , k},

quedando estable ida la uni idad de la des omposi in.
Observa in: En la des omposi in de un nmero natural n, en la for-

ma indi ada por el Teorema Fundamental de la Aritmti a, es posible que
tengamos repeti in de algunos primos. Es omn reagrupar estos fa tores
primos y es ribir:
n = p1 1 .p2 2 . . . pt t .
Donde los pi s son distintos, y i es un natural que uenta el nmero de
ve es que el primo pi apare e en la fa toriza in de n.
A estas alturas, surge una uestin natural: Cuntos elementos tiene P?
Eu lides, en los Elementos, libro IX, nos di e:
"El onjunto de los nmeros primos es innito"

Demostra in: Supongamos que P es nito, digamos,
P = {P1 , P2 , . . . , Pk }.
Consideremos el nmero
u = P1 .P2 . . . Pk + 1.
Este u no puede ser primo, pues u > Pi para todo i {1, 2, . . . , k}.
Enton es, en virtud del Teorema Fundamental de la Aritmti a, existe
Pj P, tal que Pj divide a u.
Luego, podemos es ribir, para algn m N,
u = P1 .P2 . . . Pk + 1 = m.Pj ,
lo ual impli a que:
1 = m.Pj P1 .P2 . . . Pk = Pj .(m P1 .P2 . . . Pj1.Pj+1 . . . Pk ).
O sea, Pj divide a 1 (absurdo).

Con lusin: P es innito.
A ontinua in veremos dos proposi iones en las uales se utiliza el Teo-

rema Fundamental de la Aritmti a, ambas tienen que ver on nmeros irra-

ionales: una, on el nmero 2; otra, on el nmero e, base de los logaritmos
neperianos.

He aqu, la lsi a prueba de que 2 es irra ional:
Supongamos lo ontrario, es de ir, que existen m y n, naturales, tales que

m

n
= 2, en donde, se utiliza la (ni a) expresin de m y n, respe tivamente,
omo produ to de nmeros primos, y adems, suponemos que hemos an elado
ya, aquellos fa tores omunes a ambos. O sea, m y n son primos entre s.
Como (m n
)2 = 2 obtenemos: m2 = 2n2 , o sea, m2 es par, lo ual impli a que m
es par .
As podemos es ribir: m = 2k , para algn natural k.
m2 = (2k)2 = 2n2 4k 2 = 2n2 n2 = 2k 2 .
Luego, tambin n es par.

Pero enton es hemos llegado a una ontradi in: 2 es fa tor omn de m
y n, sabiendo, de antemano, que ellos eran primos entre s.
Luego, no pueden existir tales m y n.

Con lusin: 2 es irra ional.

Ahora bien, 2 es solu in de la e ua in
x2 2 = 0

Lo ual se expresa di iendo irra ional algebrai o, para
que 2 es un
diferen iarlo de los irra ionales tras endentes ( omo e, ), que no pueden
ser solu iones (ra es) de e ua iones polinmi as on oe ientes enteros. (Para
analizar la irra ionalidad de e y , ver [3, volumen 2).
Charles Hermite (1822-1901), matemti o fran s, en 1873 demostr la
tras enden ia del nmero e. Sin embargo, no tuvo xito en demostrar que es
tras endente, he ho logrado por el matemti o alemn Ferdinand Lindemann
(1852-1939), en 1882, on lo que qued resuelto, denitivamente, el problema
de la uadratura del r ulo, de un modo negativo, es de ir, tal problema no
se puede resolver on regla y omps.
15
Resumiendo enton es, ni e ni pueden ser rai es de una e ua in alge-

brai a, on oe ientes enteros:
ao + a1 x + a2 x2 + . . . + an xn = 0,
No importa lo grande que sean los enteros a0 , a1 , a2 , . . . , an , y el grado n.

Lo esen ial es que los oe ientes sean enteros. Aunque seria su-
iente, sin embargo, de ir ra ionales, puesto que siempre podemos onvertirlos
en enteros, multipli ando por el mnimo omn mltiplo de los denominadores.
En el urso de la demostra in de la tras enden ia del nmero e, usaremos

propiedades sen illas de los nmeros enteros, omo la divisibilidad, y el he ho
de que existen innitos nmeros primos. El plan de la demostra in es el
siguiente:
Supondremos que:
a0 + a1 e + a2 e2 + . . . + an en = 0, (1.12)
donde, a0 6= 0, on a0 , a1 , a2 , . . . , an enteros.
Es ribimos
M1 + 1 M2 + 2 Mn + n
e= , e2 = , ..., en = , (1.13)
M M M
1
donde,
M M
, 2 , . . . , M
M, M1 , M2 , ..., Mn , son enteros, y n
son fra iones positivas
muy pequeas. Enton es usando (1.13) y multipli ando por M, llegamos a que
(1.12) toma la forma:
(a0 M + a1 M1 + . . . + an Mn ) + (a1 1 + a2 2 + . . . + an n ) = 0 (1.14)
El primer parntesis, en (1.14), en ierra un nmero entero (que veremos,

esdiferente de ero). En uanto a la suma en errada en el segundo parn-
tesis, probaremos que es unafra in propia (denominador mayor que el
nmerador) positiva. Tendremos as, una ontradi in:
Un nmero entero, diferente de ero, a0 M+a1 M1 +. . .+an Mn , aumentado

en una fra in propia, a1 1 + a2 2 + . . . + an n , da omo resultado el nmero
ero. As, la igualdad (1.12) no puede ser posible.
En el amino, usaremos el he ho siguiente: si un nmero entero k no es

divisible por un ierto nmero (distinto de ero), enton es k no puede ser
ero (puesto que ero es divisible por ualquier nmero, no nulo).
Probaremos que M1 , M2 , . . . , Mn , son divisibles por un determinado nmero

p, pero que p no divide a a0 M . Enton es, p no divide al nmero
a0 M + a1 M1 + a2 M2 + . . . + an Mn . En onse uen ia, esta ltima suma es
diferente de ero.
Una gran ayuda, en la ruta ha ia nuestra meta, la propor ionar una inte-
gral reada por Hermite:
+
z p1 [(z 1)(z 2) . . . (z n)]p z
Z
M= e dz, (1.15)
0 (p 1)!
donde, n es el que apare e en (1.12), y p es un nmero primo, su ientemente

grande.
Usaremos la siguiente nota in:
+
z p1 [(z 1)(z 2) . . . (z n)]p z
Z

M = e e dz (1.16)
(p 1)!

z p1 [(z 1)(z 2) . . . (z n)]p z
Z

= e e dz (1.17)
0 (p 1)!
Ahora, la demostra in en detalles:
Empe emos on la fun in gamma:

Z +
() = z 1 ez dz,
0
de la ual sabemos que si es natural, enton es:
() = ( 1)! (1.18)
Con (1.18) podemos evaluar f ilmente la integral de Hermite. Veamos:
[(z 1)(z 2) . . . (z n)]p = [z n + . . . + (1)n n!]p = z np + . . . + (1)n (n!)p ,
donde, slo hemos es rito los trminos de mayor y menor grado, respe tiva-
mente; el valor de la integral de Hermite ser:
np+p +
(1)n (n!)p Cj
Z X Z
p1
M= z z
e dz + z j1 ez dz,
(p 1)! 0 j=p+1
(p 1)! 0
17
donde, las Cj s son onstantes enteras que se dedu en del desarrollo del poli-
nomio [(z 1)(z 2) . . . (z n)]p . Apli ando ahora, a ada una de las integrales,
la frmula (1.18), obtenemos:
np+p
(1)n (n!)p (p 1)! X Cj (j 1)!
M= + .
(p 1)! j=p+1
(p 1)!
Como, en la sumatoria, el ndi e j es, siempre, mayor que p, resulta que:
(j 1)!
es un entero mltiplo de p
(p 1)!
As, sa ando p omo fa tor omn de toda la suma, llegamos a:
M = (1)n (n!)p + p [Cp+1 + Cp+2(p + 1) + Cp+3 (p + 1)(p + 2) + ...]
De modo que, si tomamos p, primo, su ientemente grande, obten-

(1) (n!)p y, en onse uen ia, p no divide a M .
n
dremos que p no divide a
Como adems, a0 6= 0, vemos que si es ogemos p mayor que |a0 |, enton es

a0 no es divisible por p.
En n, el produ to a0 M no ser divisible por p, primo, su ientemente
grande.
Estudiemos ahora, los nmeros M , on {1, 2, . . . , n}. (No olvidemos

que queremos ver lo que su ede on a0 M + a1 M1 + . . . + an Mn ).
Nos remitimos a (1.16), e introdu imos el fa tor e , bajo el signo integral.

Tomemos, a su vez, = z , omo nueva variable de integra in. Resulta:
+
( + )p1 [( + 1)( + 2) . . . . . . ( + n)]p
Z
M = e d
0 (p 1)!
Esta expresin tiene una forma anloga a la (1.15).
Si multipli amos los fa tores del integrando tendremos una suma de poten-
ias, on oe ientes enteros, de los uales, el de menor grado ser p.
La integral del nmerador ser, por lo tanto, una ombina in lineal de las
integrales:
Z + Z + Z +
p
e
d, p+1
e
d, ..., (n+1)p1 e d,
0 0 0
Las uales, segn (1.18), son iguales, respe tivamente, a :
p!, (p + 1)!, (p + 2)!, . . . , [(n + 1)p 1]!;

de manera que:
p! A
M = = p A ,
(p 1)!
donde, A es un entero, y = 1, 2, . . . , n.
En otras palabras, ada M es un entero, mltiplo de p.
De modo que, en a0 M + a1 M1 + . . . + an Mn , todos los sumandos, ex epto
a0 M , son divisibles por p ; luego, a0 M + a1 M1 + . . . + an Mn no es divisible por
p, y onse uentemente, es distinto de ero.
Y qu o urre on a1 1 + a2 2 + . . . + an n ?
Segn (1.17),

z p1 [(z 1)(z 2) . . . (z n)]p z+
Z
= e dz.
0 (p 1)!
Probaremos que estos s pueden ha erse tan pequeos omo se quiera, si
elegimos a p ade uadamente. Hasta ahora, las ondi iones exigidas a p son:
que sea primo, mayor que n, mayor que |a0 |; requisitos que son llenados por
innidad de nmeros primos, su ientemente grandes.
Sean: G y g , los mximos, respe tivos, de los valores absolutos de

z(z 1)(z 2) . . . (z n) y (z 1)(z 2) . . . (z n).ez+ , en [0, n].
Luego,
|z(z 1)(z 2) . . . (z n)| G y |(z 1)(z 2) . . . (z n) ez+ | g ,

para 0 z n.
Enton es,

Gp1 g Gp1 g
Z
| | dz (1.19)
0 (p 1)! (p 1)!
Ahora bien, omo G, g y no dependen de p, y, adems, (p 1)! re e

Gp1 (pinsese en la onvergen ia de la serie + ak
P
mas rpidamente que 1 ),
k!
la fra in,
Gp1
,
(p 1)!
19
llega a ser, para valores de p su ientemente grandes, ms pequea que ualquier
>0 dado.
As, tomando en uenta (1.19), podemos lograr que ada uno de los
llegue a ser tan pequeo omo deseemos, eligiendo p su ientemente grande.
Luego, podemos onseguir que a1 1 + a2 2 + . . . + an n sea arbitrariamente

pequea.
Efe tivamente,
|a1 1 + a2 2 + . . . + an n | |a1 ||1 | + |a2 ||2 | + . . . + |an ||n |
Gp1
(|a1 | 1 |g1 | + |a2 | 2 |g2 | + . . . + |an | n |gn |)
(p 1)!
Ya que la suma entre parntesis no depende de p, resulta que,
a1 1 + a2 2 + . . . an n ,
puede ser tan pequea omo queramos y, en parti ular, en valor absoluto,
menor que 1.
As que, (1.14) nos propor iona una ontradi in:
Un nmero entero, distinto de ero, in rementado en el valor de una

fra in propia, da omo resultado el nmero ero.
Con lusin: e es tras endente.
Captulo 2
El Teorema Fundamental del
lgebra.
En su tesis de do torado en la Universidad de Helmstdt, es rita a los 20

aos de edad (en 1797), Gauss di la primera demostra in plenamente satis-
fa toria del Teorema Fundamental del lgebra. Newton, Euler, D'Alembert y
Lagrange haban he ho tentativas, frustradas, de probar ese teorema. Casi 20
aos despus, en 1816, Gauss publi dos nuevas demostra iones, y ms tarde,
en 1850, una uarta demostra in.
Teorema Fundamental del lgebra:

Todo polinomio
f (z) = an z n + an1 z n1 + . . . + a1 z + a0 ,
donde, ada ai es un nmero omplejo, an 6= 0 y n 1, tiene una raz, o sea,
existe un nmero omplejo z0 , tal que: f (z0 ) = 0.
Demostra in: Sin prdida de generalidad, suponemos n 2. Tenemos:
|f (z)| = |an z n + an1 z n1 + . . . + a1 z + a0 |
|an z n | |an1 z n1 + . . . + a1 z + a0 |

|an2 | |a1 | |a0 |

n n1
|an | |z| |z| |an1 | + + . . . + n2 + n1
|z| |z| |z|

n n1
|an | |z| |z| |an1 | + |an2 | + . . . + |a1 | + |a0 | ,
= |z|n1 ||an | |z| R , para |z| 1,

21
22 CAPTULO 2. EL TEOREMA FUNDAMENTAL DEL LGEBRA.
donde, |z| 1 y R = |an1 | + |an2 | + . . . + |a1 | + |a0 |.

As que,

n1 R+1
|f (z)| |z| , para |z| mx 1, . (2.1)
|an |
Sea P0 = |f (0)| = |a0 |.

Enton es, de (2.1) se sigue que: existe T > 0, tal que,
|f (z)| > P0 , para |z| > T. (2.2)
(Re ordar que n1 1 y que |z|n1 +, si |z| +).

Consideremos D = {z C : |z| T }.
Resulta que D es un sub onjunto errado y a otado de C = R2 ; luego, D
es ompa to (Teorema generalizado de Heine-Borel. Ver [4).
Como la fun in |f | : D R es ontinua, enton es, |f | al anza un valor
mnimo, en algn punto z0 D .
De modo que,
|f (z0 )| |f (z)|, para todo z D.
Pero, por (2.2), para todo z

/ D, se tiene:
|f (z)| > P0 = |f (z0 ).
En onse uen ia,
|f (z0 | |f (z)|, para todo z C. (2.3)
A todas estas el le tor ya sospe har que el z0 es la raz bus ada. Y es

aqu, donde viene una jugada magistral:
Ha emos una trasla in, al denir:
P (z) = f (z + z0 ).
De manera que segn (2.3), queda:
|P (0)| |f (z)|, para todo z C. (2.4)

23
Y el problema de probar que f (z0 ) = 0, se onvierte en demostrar que,

P (0) = 0.
Pero,
P (z) = bn z n + bn1 z n1 + . . . + b1 z + b0 , donde, bi C
Luego, P (0) = b0 .
Por lo tanto, nuestro objetivo es probar que b0 = 0. Supongamos que b0 6= 0,
enton es
P (z) = b0 + bk z k + z k+1 Q(z), (2.5)
donde, bk es el ms pequeo bi 6= 0, i>0 y Q(z) es un polinomio.
Por ejemplo, si
P (z) = 5z 9 + 7z 5 + 4z 4 11z 3 + 2,
tenemos que: bk = 11 y P (z) = 2 11z 3 + z 4 (4 + 7z + 5z 5 ), de modo que,

Q(z) = 4 + 7z + 5z 5 .
Prosiguiendo on la demostra in, apare e otra jugada maestra, al
onsiderar w C, una raz k-sima del nmero:
b0 b0
, o sea, wk = .
bk bk
Por otro lado, para t real,
t|w k+1Q(tw)| 0, uando t0
As que, existe t0 (0, 1), tal que:
t0 |w k+1Q(t0 w)| < |b0 | (2.6)
Ahora bien, de (2.5), se obtiene:
P (t0 w) = b0 + bk (t0 w)k + (t0 w)k+1Q(t0 w)

b0
= b0 + bk tk0 ( ) + tk+1
0 w
k+1
Q(t0 w)
bk
= b0 (1 tk0 ) + tk+1
0 w
k+1
Q(t0 w).
Por lo tanto,
|P (t0 w)| |b0 |(1 tk0 ) + tk+1

0 |w
k+1
Q(t0 w)|
< |b0 |(1 tk0 ) + tk0 |b0 | (usando (2.6))
= |b0 | = |P (0)|
|f (t0 w + z0 ) = |P (t0 w)| < |P (0)|. (2.7)
Pero (2.7) est en ontradi in on (2.4). En onse uen ia, la suposi in

b0 6= 0 no puede ser verdadera, es de ir,
f (z0 ) = P (0) = b0 = 0
Corolario 2.1: Un polinomio omplejo (no onstante) se fa toriza om-

pletamente en fa tores lineales.
Demostra in: Usaremos el Segundo Prin ipio de Indu in Completa.

Sea p(x) C[x], on grado de p(x), mayor o igual a 1.
El orolario es laramente ierto si el grado de p(x) es 1, ya que enton es,

p(x) es de la forma:
p(x) = a1 x + a0 , on a1 6= 0.
Supongamos que el grado de p(x) es n, y que el orolario es ierto para

todos los polinomios de grado mayor o igual a 1, y menor que n. Segn el
Teorema Fundamental del lgebra, existe x0 C , tal que, p(x0 ) = 0.
Enton es, p(x) = (x x0 ).g(x), on g(x), polinomio de grado menor que
n. Por la hiptesis indu tiva, g(x) se fa toriza en fa tores lineales, digamos,
g(x) = (x x1 )(x x2 ) . . . (x xn1 )
Luego,
p(x) = (x x0 )(x x1 )(x x2 ) . . . (x xn1 )

Corolario 2.2: Sea p(x) C[x], on grado de p(x) igual a n.

Si las ra es de p(x) son x1 , x2 , . . . , xn , (puede haber repeti iones), enton es,
p(x) = (x x1 )(x x2 ) . . . (x xn ), on C
25
Corolario 2.3: Un polinomio real (no onstante) se fa toriza en poli-

nomios de grado 1 y 2.
Equivalentemente, los ni os polinomios reales, irredu ibles, son los poli-

nomios lineales, y los polinomios uadrti os sin ra es reales.
Demostra in: Sea p(x) R[x]. Enton es, tambin se tiene: p(x) C[x].
Sean: z1 , z2 , . . . , zn , las ni as ra es omplejas de p(x).
As, p(x) = (x z1 )(x z2 ) . . . (x zn ), donde, R, ya que es el
n
oe iente de x .
Si zi es real, enton es, x zi es un fa tor lineal (real) en la fa toriza in de

p(x).
Si zk
/ R, enton es, zk = ak + ibk , on ak , bk R y bk 6= 0. Ahora, su ede
que zk = ak ibk (el onjugado de zk ), tambin es raz de p(x), (para que se
umpla este he ho es importante que todos los oe ientes de p(x) sean reales).
De modo que, el produ to (x zk )(x z k ) apare e en la fa toriza in de

p(x).
Pero,
(x zk )(x z k ) = x2 2ak x + a2k + b2k ,
polinomio real, irredu ible, de grado 2.
Corolario 2.4: Un polinomio real (no onstante), irredu ible, debe ser de
grado 1 2.
Finalmente, veamos una apli a in del Teorema Fundamental del lgebra,

en los predios del lgebra Lineal.
Probaremos que, dada una transforma in lineal A : E E, donde, E

es un espa io ve torial (real) de dimensin nita, o bien existe un ve tor (no
nulo) w E, tal que,
Aw = w,
o enton es, existen u, v E , linealmentes independientes, tales que, Au y Av

son ambos, ombina iones lineales de u y v, o sea,
Au = u + v
Av = u + v
En otras palabras, existe, en E, un subespa io ve torial, de dimensin 1

2, invariante por A, de a uerdo on la siguiente deni in:
Deni in: se di e que un subespa io ve torial F E es invariante por

el operador lineal A : E E, uando A(F ) F es de ir, uando la imgen
Av , de ualquier ve tor v F, pertene e a F.
Si F es un subespa io invariante por el operador A : E E, la restri in
de A F , dene un
a los ve tores de operador (que indi aremos on la misma
nota in, A : F F ). Enton es, si F ( E, obtenemos un operador ms
simple, por estar denido en un dominio menor.
Ejemplos:
a) Los subespa ios {0} y E son invariantes por ualquier operador
lineal A:EE
Nota: 0 simboliza al ve tor nulo de E .
b) El n leo N(A) = {v E : Av = 0}, y la imgen
Im(A) = {Av : v E}, son tambin subespa ios invariantes por el
operador A : E E.
Un subespa io F E , espa io ve torial real, de dimensin 1 (re ta que

pasa por el origen) es invariante por A : E E , si, y slo si, existe un nmero
real 0 , tal que, Av = 0 v , para todo v F .
En efe to, tomando u 6= 0 en F, resulta que {u} es una base de F .

Como Au F , se tiene: Au = 0 u, para algn 0 R.
Sea v F; enton es, v = u, para algn R.
Luego,
A(v) = A(u) = Au = 0 u = 0 (u) = 0 v

u, v E son linealmente independientes, el subespa io F , generado

Si
por u y v (plano que pasa por el origen) es invariante por A si, y slo si, Au F
y Av F ,es de ir, si:
Au = u + v y
Av = u + v

27
Un ve tor (no nulo) v E , se llama auto-ve tor (o ve tor propio) del

operador lineal A : E E , uando existe R tal que
Av = v.
El nmero R, a su vez, se llama un auto-valor (o valor propio) del

operador lineal A : E E , uando existe un ve tor (no nulo) v E , tal que,
Av = v.
Se di e, enton es, que el auto-valor orresponde al auto-ve tor v y,

vi eversa, que el auto-ve tor v tambin orresponde al auto-valor . En tal
aso se umple, para todo w = v , que:
Aw = w.
De manera que, hallar un auto-ve tor (o, lo que es equivalente, un auto-

valor) del operador lineal A : E E , es lo mismo que en ontrar un subespa io
de dimensin 1, invariante por A.
Ejemplos:
a) Una rota in : R2 R2 , entorno del origen, de ngulo diferente de 0o
y 180o , slo admite omo subespa ios invariantes: { 0} y R2 .
b) Para todo R, la rota in A : R3 R3 , de ngulo , en torno del
eje z,
A(x, y, z) = (x cos y sin , x sin + y cos , z),
tiene al eje z y el plano z = 0, omo subespa ios invariantes.
) Si un operador lineal A : E E tiene n leo no trivial, enton es, todo

ve tor, no-nulo, v N(A), (n leo de A), es un autove tor de A, pues:
Av = 0v
Dados: el polinomio p(x) = a0 + a1 x + ... + an xn y el operador lineal

A : E E, la nota in p(A) indi a el operador lineal:
p(A) = a0 I + a1 A + a2 A2 + ... + an An .
Lema 2.1: Para toda transforma in lineal A : E E, donde, E es de

dimensin nita, existen: Un polinomio mni o (o sea, el oe iente de la
mayor poten ia de x es el 1) irredu ible p(x) de grado 1 2, y un ve tor,

no-nulo, v E, tales que,
p(A)v = 0.
Demostra in: Sea n = dimE .
Denotaremos on L(E, E), el espa io ve torial de todas las transforma-
2 2
iones lineales de E en E . Como la dimensin de L(E, E) es n , los n + 1
operadores: I, A, A , ..., A , son linealmente dependientes.
2 n 2
Luego, existen nmeros reales 0 , 1 , ..., n ,no todos nulos, tales que:
0 I + 1 A + 2 A2 + ... + n An = 0 (2.8)
Sea m , el oe iente, no nulo, de mayor ndi e en (2.8).

Dividiendo, ambos miembros de (2.8), por m , resulta:
0 I + 1 A + ... + m1 Am1 + Am = 0 (2.9)
Enton es, segn (2.9), se umple:
q(A) = 0, (2.10)
para, q(x) = 0 + 1 x + . . . + m1 xm1 + xm .

Sabemos, por una onse uen ia del Teorema Fundamental del lgebra
( orolario 2.3) que:
q(x) = p1 (x).p2 (x).....pk (x),
donde ada pi (x) es un polinomio mni o, irredu ible, de grado 1 2.
As que:p1 (A).p2 (A).....pk (A) = 0, segn (2.10). Enton es, por lo menos,
uno de los operadores pi (A) no es invertible, es de ir, existe un ve tor, no-
nulo, v E , tal que,
pi (A)v = 0.

Ahora s estamos en ondi iones de presentar la apli a in anun iada in-

mediatamente despus del orolario 2.4.
Teorema 2.1: Toda transforma in, lineal en un espa io ve torial real de

dimensin nita, posee un subespa io invariante de dimensin 1 2.
Demostra in: Dada A : E E , lineal, sean: p, el polinomio y v E , el

ve tor no-nulo, dados por el lema 2.1, on p(A)v = 0.
29
Si p(x) = x , enton es,
0 = p(A)v = (A I)v = Av v
Luego, Av = v .
As, la re ta que pasa por el origen, y ontiene a v, es un subespa io (de
dimensin 1) invariante por A.
Si p(x) = x2 + ax + b, (polinomio mni o irredu ible), enton es:
0 = p(A)v = (A2 + aA + bI)v = A2 v + aAv + bv (2.11)
Luego, A(Av) = aAv bv .

Es de ir, el subepa io generado por v y Av es invariante por A.
Adems, v y Av son linealmente independientes, pues en aso ontrario,
tendramos:
Av = v,
y de (2.11) se seguira:
0 = A2 v + aAv + bv = 2 v + av + bv = (2 + a + b)v.
Lo ual impli a que:
2 + a + b = 0,
en ontradi in on el he ho de que p(x) = x2 + ax + b no tiene raz real.
De manera que, el subespa io invariante, generado por v y Av , tiene

dimensin 2.
Captulo 3
El Teorema Fundamental del
Cl ulo
Re ordemos que la no in de derivada nos resuelve el problema de hallar

la re ta tangente a una urva dada, en uno de sus puntos. As mismo, la
integra in nos permite en ontrar el rea bajo una urva.
y y

Re ta pendiente:f (x0 )
y = f (x)
A
y = f (x)
b b
O x0 x O a b x
Rb
A= a
f (x)dx
Lo notable y sorprendente, es que estos dos on eptos, aparentemente sin
onexin alguna, estn ntimamente rela ionados: son inversos el uno del otro.
Este es, en esen ia, el ontenido del Teorema Fundamental del Cl ulo.
Se onsidera, en general, que Isaa Barrow (1630-1677), profesor de Isaa

Newton, fue el primero en per ibir plenamente, que la diferen ia in y la inte-
gra in son opera iones inversas entre s. Pero los que re ono ieron on laridad
y explotaron por primera vez este Teorema Fundamental del Cl ulo fueron
Leibniz (1646-1716) y Newton (1642-1727).
31
32 CAPTULO 3. EL TEOREMA FUNDAMENTAL DEL CLCULO
Para formular el Teorema en uestin, onsideramos la integral de una fun-

in y = f (x), desde un lmite inferior jo a, hasta el lmite superior variable,
x.
Es ribimos:
Z x
F (x) = f (u)du
a
Esta fun in F (x) es el rea bajo la urva y = f (u) desde u = a hasta

u=x
F (x)
O a x u
El Teorema Fundamental del Cl ulo estable e que:
Si F : [a, b] R, es integrable, y
Z x
F : [a, b] R es denida por: F (x) = f (u)du,
a
enton es, en ada x (a, b) donde f es ontinua, existe la derivada F (x)

y adems, en ada uno de esos puntos x, es:
F (x) = f (x).
Desde un punto de vista intuitivo la demostra in es muy simple:

33
y
m M
O a x x0 u
La diferen ia F (x) F (x0 ) x hasta x0 . Notemos que

indi a el rea desde
esta rea est omprendida entre (x0 x) m y (x0 x) M , siendo M y m,
respe tivamente, los valores mayor y menor de f (u) en [x, x0 ].
O sea,
(x0 x)m F (x0 ) F (x) (x0 x)M.
Luego,
F (x0 ) F (x)
m M.
x0 x
+
Como F es ontinua en x se tiene que uando x0 x , enton es, tanto m
omo M se aproximan a f (x).
As que:
F (x) F (x0 )
F (x) = lm+ = f (x)
xo x x0 x

Cuando F (x) = f (x), para todo x [a, b], se di e que F es una primitiva
de f ( laro que en a y b se onsideran derivadas laterales)
De imos una fun in primitiva, y no la fun in primitiva, pues si, tambin

G (x) = f (x), para todo x [a, b] enton es, H(x) = G(x) + c, donde, c es
ualquier onstante, es una primitiva de f ya que:
H (x) = G (x) = f (x).

Re pro amente, si G y H son dos primitivas de f, en [a,b onsideremos:
U = G H, denida en [a, b].

Enton es,
U (x) = G (x) H (x) = f (x) f (x) = 0.
Luego, omo el dominio de U es un intervalo, debe ser U igual a una

onstante (digamos, c).
U(x) = G(x) H(x) = c.

Rb
Esto nos propor iona una importante y til regla para en ontrar
a
f (x)dx,
para f ontinua en [a, b], si ono emos una primitiva G de f
Rx
En efe to, omo F (x) = a
f (u)du es tambin una primitiva de f, por lo
anterior resulta:
F (x) = G(x) + c, siendo c una onstante .
Pero, F (a) = G(a) + c
0 = G(a) + c c = G(a).
As queda:
F (x) = G(x) G(a),
y para x = b, obtenemos:
Z b
f (u)du = G(b) G(a).
a
Ejemplos:
a) Como (ln x) = 1
x
, enton es
2
1
Z
dx = ln 2 ln 1 = ln 2.
1 x
b) Como (sen x) = cos x, enton es

Z
2
cos xdx = sen sen 0 = 1.
0 2
) Como (ex2 ) = ex2 2x, enton es

Z 1
2
2xex dx = e1 e0 = e 1.
0

35
Ahora, veamos una propiedad que nos ser muy til en seguida:
Rx
Sea f ontinua en [a, b] y F (x) = a f (u)du, para x [a, b], enton es, existe
c (a, b) tal que:
Z b
f (u)du = f (c) (b a). (3.1)
a
Demostra in: F es ontinua en [a, b] y derivable en (a, b), on

F (x) = f (x), para todo x (a, b).
Luego, apli ando el Teorema del valor intermedio de Lagrange, a la
fun in F, tenemos: existe c (a, b), tal que;
F (b) F (a) = F (c)(b a),
es de ir,
Z b
f (u)du = f (c)(b a).
a

Y mo ser la derivada de
Z (x)
F (x) = f (u)du,
a
donde, f es ontinua, y es derivable?
Usando (3.1), podemos es ribir:
R (x0 )
F (x0 ) F (x) (x)
f (u)du f (c)[(x0 ) (x)]
= = ,
x0 x x0 x x0 x
donde, est entre (x) y (x0 ).
F (x0 ) F (x)
lm = f ((x)) (x),
x0 x x0 x
o sea,
F (x) = f ((x)) (x). (3.2)
Un resultado ms general es el siguiente:
Sea R = {(x, y) : a x b, c y d}.

df
Supongamos que f y
dy
sean ontinuas en R.
Consideremos, tambin, p y q , fun iones derivables, en [c, d], on

a p(y) b, a q(y) b, para ada y [c, d].
Denimos F : [c, d] R por
Z q(y)
F (y) = f (x, y)dx.
p(y)
Enton es, existe F (y), para y (c, d), dada por:
Z q(y)
d
F (y) = f (x, y)dx + f (q(y), y) q (y) f (p(y), y) p (y).
p(y) dy
Demostra in: Consideremos,

Z x2
G(x1 , x2 , x3 ) = f (t, x3 )dt,
x1
on x1 , x2 [a, b], x3 [c, d].

As,
F (y) = G (p(y), q(y), y).
Usando la regla de deriva in en adena, (ver [5), obtenemos:

dG dG
F (y) = (p(y), q(y), y) p (y) + (p(y), q(y), y) q (y)
dx1 dx2
dG
+ (p(y), q(y), y) 1 (3.3)
dx3
Por otro lado, utilizando (3.2), se sigue:

!
Z x1
dG d
= f (t, x3 )dt = f (x1 , x3 ).
dx1 dx1 x2
Luego,
dG
(p(y), q(y), y) = f (p(y), y)
dx1
Anlogamente,
dG
= f (x2 , x3 ).
dx2
37
Por lo tanto:
dG
(p(y), q(y), y) = f (q(y), y)
dx2
Finalmente, Z x2
dG d
= f (t, x3 )dt.
dx3 x1 dx3
(Ver [6, pgina 336).
As que,
Z q(y)
dG d
(p(y), q(y), y) = f (t, y)dt.
dx3 p(y) dy
Sustituyendo los resultados par iales, en (3.3), se obtiene lo armado.
Ejemplos:
1) Sea
R t2
sen(x2 )dx. g ( 4 2 )
p
g(t) = 1
Hallar
Solu in:
r r
4
g (t) = sen(t ) 2t. g 4
=2 4
2 2
2) Si
R tgx 2
g(x) = x
et dt. Hallar g (0)
Solu in:
2 2
g (x) = e(tgx) sec2 x ex 1 g (0) = 1 1 = 0
3) Sea f : [0, 1] R, ontinua, tal que: f (x) =

Rx
0
f (t)dt. Probar que:
f (x) = 0, para todo x [0, 1].
Solu in: f (x) = f (x). Luego,
f (x) = cex , para ierta onstante c.
Pero,
Z 0
f (0) = f (t)dt = 0.
0
As,
c = 0. f (x) = 0, para todo x [0, 1].
4) Cal ular el Rx
0
sent2 dt
lm .
x0+ x3
Solu in: Como el lmite es de la forma indeterminada 0

0
, y se reunen las
ondi iones para apli ar la Regla de L'Hopital, tenemos:
Rx
0
sent2 dt senx2 1
lm 3
= l
m 2
= .
x0 x x0 3x 3
5) Una de las maravillas sorprendentes que nos presenta la integra in a

lo largo de una urva plana es la siguiente:
Si es una urva ontinuamente diferen iable, a trozos, errada, y que no

pasa por el punto a, enton es,
1 dz
Z
2i za
es un nmero entero (llamado el nmero de giros de , alrededor de a)

N

a b
Demostra in: Si la e ua in de es:
z = z(t), t , on z() = z(),
Consideremos h : [, ] C, dada por:
t
z (u)
Z
h(t) = du. (3.4)
z(u) a
39
Enton es,
[eh(t) (z(t) a)] = eh(t) (h (t))(z(t) a) + eh(t) z (t)

= eh(t) [z (t) + z (t)]
= 0,
donde, hemos utilizado (3.4).
De modo que, [eh(t) (z(t)a)] se anula en [, ], on ex ep in, tal vez,

h(t)
de un nmero nito de valores de t; de ello, y la ontinuidad de e (z(t) a),
resulta que, existe una onstante k , tal que,
eh(t) (z(t) a) = k.
O, lo que es lo mismo,
z(t) a
eh(t) = .
k
Como h() = 0, se sigue que k = z() a.
Luego,
z(t) a
eh(t) = .
z() a
z() a
eh() = = 1, pues z() = z().
z() a
Por lo tanto,
h() = 2ni, para algn n Z,
(re ordar que ei = cos + i cos )
De manera que:

z (t)
Z
dt = 2ni,
z(t) a
O sea,
1 dz
Z
= n Z.
2i za

6) Sean:
x 2 1 2 2
ex (t +1)
Z Z
t2
f (x) = e dt , g(x) = dt.
0 0 t2 + 1
i) Demostrar que g (x) + f (x) = 0, para todo x.

ii) Utilizar i) para probar que
x

Z
t2
lm e dt = .
x+ 0 2
Solu in:
i) f, g : (a, b) R,
Consideremos donde, a, b R, ualesquiera,
on a<b y 0/ (a, b). Tenemos:
Z x
t2 2
f (x) = 2 e dt ex
0
y (3.5)
1 x2 (t2 +1) 1
(t2 + 1)e
Z Z
2 2 2
g (x) = dt = 2xex ex t dt
0 t2 + 1 0
Ahora bien, en la ltima integral, hagamos el ambio de variable: w = tx;

por lo tanto, dw = xdt, y resulta,
x 2 x
ew
Z Z
x2 2 2
g (x) = 2xe dw = 2ex ew dw (3.6)
0 x 0
As, de (3.5) y (3.6) se sigue:
f (x) + g (x) = 0, para todo x (a, b),
donde, a, b R, son ualesquiera, on 0

/ (a, b).
Por otro lado,
2
Rx t2
0
e dt
f (x) f (0)
f (0) = lm = lm .
x0 x0 x0 x
Usando la regla de L'Hpital, tenemos:

Rx t2 2
2 0
e dt ex

f (0) = lm = 0.
x0 1
41
Anlogamente,
R1 2 (t2 +1)
ex dt
g(x) g(0) 0 t2 +1
4
g (0) = lm = lm
x0 x0 x0 x
2 Rx 2
2ex 0
ew dw
= lm = 0,
x0 1
donde, hemos usado, nuevamente la Regla de L'Hpital, (3.6), y que, se puede
introdu ir el lmite, bajo el signo integral, es de ir,
1 2 2 1 2 2 1
ex (t +1) ex (t +1) 1 1
Z Z Z
lm dt = lm 2 dt = dt = arctgt = ,

x0 0 t2 + 1 0 x0 t + 1 0 t2 + 1 0 4
2 2
ex (t +1) 1
pues , uniformemente en t [0, 1], si x 0.
t2 + 1 t2 + 1
De manera, que ahora, podemos armar que g (x) + f (x) es igual a 0,

para todo x R.
Luego, g(x) + f (x) es onstante.
Pero,

f (0) = 0 y g(0) = .
4
Con lusin:

g(x) + f (x) = .
4
ii) Por lo probado en i) tenemos que:

x 1 2 2
Z
t2
2 Z ex (t +1)
e dt + dt = , para todo xR (3.7)
0 0 t2 + 1 4
2 2
ex (t +1)
Como 0, uniformemente en t [0, 1], si x +.
t2 + 1
Enton es,
1 2 2 1 2 2 1
ex (t +1) ex (t +1)
Z Z Z
lm dt = lm dt = 0dt = 0.
x+ 0 t2 + 1 0 x+ t2 + 1 0
(Ver [3, pgina 615).

Luego, de (3.7) se sigue que, existe el
x
Z 2
2
lm et dt , y vale
x+ 0 4
Ahora, slo nos falta probar que existe el

Z x
2
lm et dt
x+ 0
Rn 2
Llamemos an = 0
et dt.
Tenemos que: (an ) es una su esin re iente, tal que (a2n ) onverge (su

lmite es ).
4
Luego (a2n ) es a otada, y, en onse uen ia, (an ) tambin es a otada.

De modo que (an ) onverge, lo ual equivale a que:
Z +
2
et dt existe.
0
Podemos es ribir, enton es:
x x x
Z 2 Z Z
t2 t2 2
= lm e dt = lm e dt lm et dt .
4 x+ 0 x+ 0 x+ 0
Con lusin:
x

Z
t2
lm e dt =
x+ 0 2

Captulo 4
El Teorema de Baire.
Este teorema tiene, entre otras osas, la importan ia de ser la fuente de

notables resultados del Anlisis Fun ional.
Preparativos:
Un Sub onjunto S, de un espa io mtri o M , es llamado:
a) Raro en M (o denso en ninguna parte) si S no tiene puntos interiores
Ejemplo: Si M = R, on la mtri a usual, y S = {x1 , x2 , . . . , xk },

donde, xi R, i = 1, 2, . . . , k , enton es, S es raro en R
Tambin, N, Q, y ualquier sub onjunto de R, numerable, es raro en R
( on la mtri a usual)
b) Magro en M (o de primera ategora), si es la unin numerable de

onjuntos, ada uno de los uales es raro en M.
Por ejemplo, si M = R, on la mtri a usual, y S = Z, onjunto de los
nmeros enteros, enton es S es magro en M.
s mismo, N y Q son magros en R ( on la mtri a usual).
Otro ejemplo, menos trivial, lo podemos onseguir, en el espa io M, de las

fun iones ontinuas, f : [0, 1] R.
La distan ia entre dos elementos f, g M se dene omo
d(f, g) = max |f (x) g(x)|.

0x1
43
44 CAPTULO 4. EL TEOREMA DE BAIRE.
Como S, tomamos el sub onjunto de M, formado por todas aquellas fun-

iones ontinuas on derivada en algn punto de [0, 1].
Resulta (ver [4], pgina 195) que S es magro en M. Por ierto, fue en
1872 uando Karl Weierstrass asombr al mundo matemti o presentando un
ejemplo de fun in ontinua en todos sus puntos, tal que el onjunto de los
puntos donde ella es derivable es va o. Lo sorprendente es que la "mayoria"(en
ierto sentido) de las fun iones ontinuas son as.
) De segunda ategora en M (o no-magro):
Si S no es magro en M
Ejemplo: sea M =R ( on la mtri a usual), y S = R. Enton es, S es de
segunda ategora en R.
La justi a in de ese he ho la onseguimos a travs del
Teorema de Baire:
Si un espa io mtri o M, no va o, es ompleto, enton es, l es de se-
gunda ategora en l mismo. En onse uen ia, si M 6= es un espa io
mtri o ompleto y
+
[
M= Ak
k=1
( on ada Ak errado en M) enton es, el interior de, por lo menos, algn Ak ,

es no va o.
Demostra in:
Supongamos que el espa io mtri o M 6= es ompleto y magro en s
mismo. Enton es,
+
[
M= Ak ,
k=1
donde, ada Ak es raro en M. Construiremos una su esin de Cau hy, (xn ),

on xn M, para todo n, la ual nos ondu ir a una ontradi in.
Veamos:
A1 es raro en M, de modo que A1 no ontiene un sub onjunto abierto,

no va o. Pero M s ontiene a un abierto, no va io (por ejemplo, M mismo).
Luego, A1 6= M .
45
Enton es, A1
c
es no va o y abierto.
Elijamos un punto x1 en A1 , y una bola abierta, digamos,
B1 = B(x1 ; r1 ) A1 , on r1 < 12 .
Como A2 es raro en M , tenemos que A2no ontiene un onjunto abierto,
r
no va o. Por ejemplo, no ontiene la bola abierta B(x1 ; 1 ).
2
c
A2 B(x1 ; r21 )
T
As, es un abierto, no va o.
Sea
r1 r1
B2 = B(x2 ; r2 ) A2 c
\
B x1 ; on r2 < .
2 2
Por indu in, obtenemos una su esin de bolas abiertas:
1
Bk = B(xk ; rk ), on rk < ,
2k
\ rk
tales que, Bk Ak = y Bk+1 B xk ; Bk , k = 1, 2, ...
2
1
Como rk < 2k
, la su esin (xk ), de los entros, es de Cau hy.
Por la ompletitud de M, di ha su esin onverge, digamos, xk x M

Tambin, para m,n, on n > m, Bn B(xm ; r2m ), de
se tiene: manera que:
rm
d(xm , x) d(xm , xn ) + d(xn , x) < + d(xn , x). (4.1)
2
rm
Como + d(xn , x) r2m ,
2
uando n +, se sigue de (4.1), que:
rm
d(xm , x) < rm , es de ir, x Bm , para todo m.
2
c
Adems, ya que Bm Am , resulta que x
/ Am , para todo m. Luego
+
[
x
/ Am = M
k=1
( ontradi in). As, el Teorema de Baire est probado
Teorema de la A ota in Uniforme (o de Bana h-Steinhaus)

Sean: B , espa io de Bana h; N, espa io ve torial normado; {Ti }, onjunto,
no va o, de transforma iones lineales ontinuas de B en N, on la propiedad
de que {Ti (x)} es un sub onjunto a otado, de N, para ada x B, digamos,
||Ti (x)|| cx , i = 1, 2, . . . (4.2)

Enton es, {||Ti||} es un sub onjunto, a otado, de R; o sea, existe c R,

tal que
||Ti || c, i = 1, 2, . . . (4.3)
Demostra in:
Para ada k, nmero natural, sea
Ak = {x B : ||Tn (x)|| k para n = 1, 2, ...}.
Tenemos que: Ak es errado.
En efe to, sea x Ak .

Enton es, existe (xj ), su esin en Ak , tal que,
xj x. (4.4)
Pero, para ada n, jo, se tiene:

||Tn (xj )|| k,
de lo ual se sigue que:

||Tn (x)|| k,
al usar (4.4), la ontinuidad de Tn y la ontinuidad de la norma || ||; de modo
que, x Ak , y as, Ak es errado.
Por otro lado, dado x B , se tiene que, segn (4.2), existe cx , tal que
||Tn (x)|| cx , para n = 1, 2, 3, ...
Enton es, x pertene e a algn Ak (basta tomar k cx ). De modo que,
+
[
B= Ak
k=1
En este momento, apare e el toque mgi o dado por el Teorema de Baire:

Como B es ompleto, resulta que, algn Ak ontiene una bola abierta, digamos:
B0 = B(x0 ; r) Ak0
Ahora viene, un lan e magistral:
Dado ualquier x B , no nulo, lo multipli amos por un es alar

apropiado, luego trasladamos el ve tor resultante, y onseguimos que el nuevo
47
ve tor est en B0 . Lo dems, orre por uenta de la linealidad de Tn , para ada

n; vemoslo:
Sea
r
z= x + x0
2||x||
r
||z x0 || = < r
2
z B0
||Tn (z)|| k0 , n = 1, 2, 3, . . .
r
||Tn x + x0 || k0 ,
2||x||
o sea,
r
|| Tn (x) + Tn (x0 )|| k0
2||x||
r
||Tn (x)|| k0 + ||Tn (x0 )|| 2k0
2||x||
4k0
||Tn (x)|| ||x||, n = 1, 2, 3, . . .
r
4k0
||Tn || , n = 1, 2, 3, . . .
r
As, para obtener (4.3) basta tomar
4k0
c=
r

Corolario 4.1: El espa io ve torial normado X , de todos los polinomios;

on la norma denida por:
||p|| = max |i|,

i
donde, 0 , 1 , . . . son los oe ientes de p;
no es ompleto.
Demostra in:
Construiremos una su esin (Tn ) de transforma iones lineales de X en R,
la ual satisfa e (4.2), pero no umple (4.3). As, X no puede ser ompleto.
Es ribamos un polinomio p, distinto del polinomio nulo, de grado Np , en

la forma:
+
X
p(t) = j tj , donde j = 0, para j > Np ,
j=0
Para ada nmero natural n, denimos Tn : X R, por:
Tn (0) = 0,
Tn (p) = 0 + 1 + ... + n1
La linealidad de Tn es inmediata; el que Tn es a otado ( ontinuo) se obtiene
as:
|j | ||p|| |Tn (p)| n||p||.
Adems, para ada p X , la su esin (|Tn (p)|) satisfa e (4.2), porque un
polinomio p, de grado Np , tiene Np + 1 oe ientes, y as,
|Tn (p)| (Np + 1) max |j | = cp ,

j
lo ual es de la forma (4.2).
Ahora, veremos que (Tn ) no satisfa e (4.3), o sea, no existe c, tal que
||Tn || c, para n = 1, 2, 3, ...
Sea pn denido por:
pn (t) = 1 + t + t2 + . . . + tn .
Enton es,
||pn || = 1, y Tn (pn ) = 1 + 1 + . . . + 1 = n = n||pn ||
|Tn (pn )|
||Tn || =n
||pn ||
Luego, (||Tn ||) no es a otada.
Nota 4.1: Si onsideramos

t2 t3 tn
pn = 1 + + + ...+ ,
2! 3! n!
puede probarse que (pn ) es una su esin de Cau hy, pero (pn ) no onverge en
X.
El ter er "gran" teorema, que presentaremos a ontinua in, es el Teorema
de la Apli a in Abierta.
El est rela ionado on la apli a iones abiertas; stas son fun iones que en-
van onjuntos abiertos en onjuntos abiertos. Ms espe amente, el Teorema
49
de la Apli a in Abierta estable e ondi iones bajo las uales una transforma-
in lineal a otada (o lo que es lo mismo, ontinua) es una apli a in abierta.
Como en el Teorema de la Apli a in Uniforme, la propiedad de

Completitud es importante.
El Teorema tambin da ondi iones para garantizar la ontinuidad de la

inversa de una transforma in lineal a otada.
Lema 4.1: Si B y B son espa ios de Bana h y, si T es una transforma-

in lineal ontinua de B sobre B , enton es, la imagen de ada bola abierta,

entrada en el origen, en B, ontiene una esfera abierta, entrada en el origen,

en B .
Demostra in:
Denotamos por Sr ySr , las bolas abiertas, on radio r,

entradas en el origen, en B y B , respe tivamente. Es simple probar que
T (Sr ) = T (rS1) = rT (S1 ),
as que, es su iente probar que T (S1 ) ontiene alguna Sr .

Comenzaremos mostrando que T (Sr ) ontiene alguna Sr .
Ya que T es sobreye tiva, resulta que
+
[

B = T (Sn ).
n=1
Como B es ompleto, se sigue del Teorema de Baire que algn T (Sn0 )

tiene un punto interior, y0 , el ual podemos asumir que est en T (Sn0 ).
La apli a in y 7 y y0 , es un homeomorsmo de B sobre s mismo,
de manera que
T (Sn0 ) y0 tiene el origen omo punto interior (4.5)
Adems, ya que y0 T (Sn0 ), se sigue que
T (Sn0 ) y0 T (S2n0 ), (4.6)
de modo que:
T (Sn0 ) y0 = T (Sn0 ) y0 T (S2n0 ),
lo ual, segn (4.5), prueba que el origen es un punto interior de T (S2n0 ).
Por otro lado, la multipli a in por un es alar, no nulo, es un homeomor-

smo de B sobre s mismo, as,
T (S2n0 ) = 2n0 T (S1 ) = 2n0 T (S1 ).
Luego, el origen es, tambin, un punto interior de T (S1 ), o sea,
S T (S1 ), para algn >0 (4.7)
Ahora probaremos que S T (S3 ), es de ir, S T (S1 ).

3
Ya hemos utilizado la ompletitud de B; es el momento de que aparez a

la ompletitud de B.
Sea y0 B , tal que ||y0 || < .

De (4.7) se sigue:
y0 S T (S1 ).

Luego, existe x1 B , on ||x1 || < 1, y ||y0 y1 || < 2
,
donde,
y1 = T (x1 ). (4.8)
Tambin, de (4.7) se obtiene:
S T (S 1 ),
2 2
que, junto on (4.8), permite es ribir:
y0 y1 T (S 1 ).
2
De modo que, existe x2 B , tal que:
1
||x2 || < , y ||y0 (y1 + y2 )|| < ,
2 4
donde, y2 = T (x2 ). Prosiguiendo de esta manera, onseguimos una su esin
(xn ), en B , tal que:
1
||xn || < (4.9)
2n1
y

||y0 (y1 + y2 + ...yn )|| < , donde, yn = T (xn ), n = 1, 2, . . . (4.10)
2n
51
Llamemos Sn = x1 + x2 + ... + xn ;
De (4.9) se dedu e que (Sn ) es una su esin de Cau hy, en B.
Como B es ompleto, existe x B , tal que Sn x.
Adems,
1 1 1
||Sn || ||x1 || + ||x2 || + ... + ||xn || < 1 + + + ... + n1 < 2.
2 4 2
Por otro lado,
||x|| || lm Sn || = lm ||Sn || 2 < 3, es de ir, x S3 .
Ahora bien, usando la ontinuidad de T, se tiene:
T (x) = T (lm Sn ) = lm T (Sn ) = lm(y1 + y2 + ... + yn ) = y0 ,
(usando (4.10)).
Es de ir,
y0 T (S3 )
Con lusin: S T (S3 ).
Teorema de la Apli a in Abierta.

Sean: B, B, espa ios de Bana h; T : B B, transforma in lineal,
ontinua, sobreye tiva.
Enton es, T es una apli a in abierta.
Por lo tanto, si T es biye tiva, enton es T 1 es ontinua.
Demostra in:
Sea G B, abierto. Probemos que T (G) B , tambin es abierto.
Tomemos y T (G).
Sea x G, tal que y = T (x).
Como G es abierto, existe una bola abierta, on entro en x, ontenida
en G.
Di ha bola la podemos expresar omo:
x + Sr , (4.11)
donde, Sr es una bola abierta, de radio r, entrada en el origen de B.

Ahora bien, el lema 4.1 nos indi a que T (Sr ) ontiene alguna Sr 0
Enton es, y + Sr 0 es una bola abierta, entrada en y, ontenida en T (G),
pues:
y + Sr 0 y + T (Sr ) = T (x) + T (Sr ) = T (x + Sr ) T (G), usando (4,11)
Finalmente, si T 1 : B B , existe, resulta que, omo T es abierta, T 1

es ontinua (vale de ir, a otada. Ver [7, pgina 238)
Ejer i ios:
1) Una proye in P
sobre un espa io de Bana h B , es una proye in
2
sobre B , en el sentido algebrai o (es de ir P = P ), que, adems, es ontinua.
Sea
L y sean M y N , subespa ios ve toriales, errados,
B un espa io de Bana h,
de B , tales que B = M N (suma dire ta).
Si z = x+y es la ni a z B , omo una
representa in de un ve tor
suma de ve tores en M y N , enton es, P : B B , denida por P (z) = x es
una proye in sobre B , uyo rango y n leo son M y N , respe tivamente.
Demostra in:
Lo que no es tan trivial es la prueba de la ontinuidad de P.
Sea B, el espa io ve torial B, equipado on la norma denida por:
||z|| = ||x|| + ||y||.

Resulta que B es un espa io de Bana h (ejer i io para el le tor: ah se usa
que M y N son errados en B ).
Ahora bien, omo:
||P (z)|| = ||x|| ||x|| + ||y|| = ||z|| ,

se sigue que P es ontinua, omo una apli a in de B en B.
Basta enton es, para lograr nuestro propsito, probar que B y B tienen la
misma topologa.
Sea T : B B, denida por: T (w) = w .
Tenemos:
||T (z)|| = ||z|| = ||x + y|| ||x|| + ||y|| = ||z|| .

53
Luego, T es ontinua, y, adems, biye tiva.
As, en virtud del Teorema de la Apli a in Abierta, T es un homeomor-

smo, lo ual impli a que B y B tienen la misma topologa.
2) Demostrar que T : R2 R, dada por: T (1 , 2 ) = 1 , es abierta.

Es W : R2 R2 , denida por: W (1 , 2 ) = (1 , 0) una apli a in abierta?
Solu in:
T es lineal, ontinua, sobreye tiva; R2 y R son espa ios de Bana h. Luego,
por el Teorema de la Apli a in Abierta, T es abierta.
En ambio, W no lo es.
Basta onsiderar A = B((0, 0); 1), y notar que W (A) = (1, 1), el ual no
R2 .
es abierto en
3) Sea X , el espa io ve torial normado uyos puntos son las su esiones de

nmeros omplejos x = (i ), on slo un nmero nito de trminos diferentes
de ero, y la norma dada por:
||x|| = sup |i |
i
Sea T : X X, denida as:

1 1
y = T x = 1 , 2 , 3 , . . .
2 3
Demostrar que T es lineal y a otada, pero T 1 no es ontinua.
Solu in:
Sea C, enton es:
2 3 2 3
T (x) = T (1 , 2 , . . .) = (1 , , , . . .) = (1 , , , . . .) = T x
2 3 2 3
Anlogamente, si
x = (1 , 2 , 3 , . . .)
y = (1 , 2 , 3 , . . .),
enton es,
x + y = (1 + 1 , 2 + 2 , . . .)
2 + 2
T (x + y) = (1 + 1 , , . . .)
2
2 3 2 3
(1 , , , . . .) + (1 , , , . . .) = T x + T y
2 3 2 3
T es lineal.
Ahora,
2 3 n
||T x|| = ||(1 , , , . . .)|| = sup sup |n | = ||x||.
2 3 n n n
T es a otado, on ||T || 1.
Por otro lado,

T 1 (x) = (1 , 2 2 , 3 3 , . . .)
Si tomamos x0 = (0, 0, ..., 0, 1, 0, ...), donde el 1 est en la k-sima asilla,

tenemos:
||x0 || = 1, pero ||T 1 x0 || = k = k||x0 ||
Como k puede ser tan grande omo se quiera, no existe c, tal que:
||T 1 x|| c||x||, para todo x X

Luego, T 1 no es a otado (vale de ir, ontinuo).
4) Sean: X e Y , espa ios de Bana h; T : X Y , lineal, a otado, inye ti-
vo.
Demostrar que:
T 1 : R(T ) X, (donde, R(T ) es el rango de T ),

es a otado si, y slo si, R(T ) es errado en Y.
Demostra in:
Si R(T ) es errado en Y , enton es R(T ) es de Bana h. Enton es, omo
T : X R(T ) es sobreye tiva, una utiliza in dire ta del Teorema de la
1
Apli a in Abierta nos permite on luir que T es ontinuo (o sea, a otado).
Supongamos, ahora, que: T 1 : R(T ) X es a otado.
Sea y R(T ).
Luego, existe (yn ), su esin en R(T ), tal que:
yn y Y (4.12)
55
Tenemos: yn = T (xn ), xn X
As que,
||xn xm || = ||T 1(yn ) T 1 (ym )|| = ||T 1(yn ym )|| ||T 1|| ||yn ym ||
Como (yn ) onverge, enton es, (yn ) es de Cau hy, y, usando la anterior
desigualdad, on lumos que (xn ) tambin es de Cau hy.
De modo que, existe x X, tal que xn x (ya que X es ompleto)
Usando, ahora, la ontinuidad de T, tenemos:
yn = T (xn ) T x. (4.13)
As, de (4.12) y (4.13), se sigue: y = T x, o sea, y R(T )

En otras palabras, R(T ) es errado en Y.
5) Re ordemos que el onjunto T , de todos los sub onjuntos abiertos
de un espa io mtri o X , es llamado una topologa para X . En onse uen ia,
ada norma sobre un espa io ve torial X dene una topologa para X . Si
tenemos dos normas en X, X1 = (X, || ||1) y X2 = (X, || ||2 ) son
tales que
espa ios de Bana h y las topologas T1 y T2 denidas por || ||1 y || ||2 ,
respe tivamente, satisfa en T2 T1 (se di e que T1 es ms na que T2 ),
Probar que T1 = T2 .
Demostra in: Consideremos la apli a in identidad I ,
I : X1 X2
I(x) = x.
Tenemos que I es lineal; ontinua, pues todo abierto en X2 es abierto en
X1
Como I X1 y X2 son espa ios de Bana h, resulta,
es sobreye tiva, y adems,
en virtud del Teorema de la Apli a in Abierta, que I es una apli a in abierta,
1
y, en onse uen ia, I : X2 X1 es ontinua.
Con lusin: T1 = T2 .
En mu has apli a iones del Anlisis, surgen transforma iones lineales que
no son ontinuas, pero que , en ompensa in, tienen una propiedad impor-
tante, que es des rita en trminos del on epto de gr o de una fun in.
Sean B y B , espa ios de Bana h. Denimos una mtri a sobre el produ to

B B por:
d((x1 , y1 ), (x2 , y2) = max = {||x1 x2 ||, ||y1 y2 ||}.
La topologa resultante es llamada topologa produ to, y la onvergen ia

respe to a esta mtri a es equivalente a la onvergen ia oordenada a oorde-
nada.
Sea T una transforma in lineal de B en B

El gr o de T es el sub onjunto de B B que onsiste de todos los
pares ordenados de la forma (x, T x).
F ilmente, vemos que si T es ontinuo, enton es su gr o, Gr(T), es

errado, omo sub onjunto de B B .
Por su parte, El Teorema del Gr o Cerrado estable e que: si B

y B son espa ios de Bana h, y si T es una transforma in lineal de B en B,
on Gr(T ) errado, enton es, T es ontinua.
Demostra in: Denotemos por B1 , al espa io B , on la norma:

||x||1 = ||x|| + ||T x||.
Como
||T x|| ||x|| + ||T x|| = ||x||1,
resulta que T es ontinua omo apli a in de B1 en B.
Resta probar que B y B1 tienen la misma topologa.
La apli a in identidad de B1 sobre B es ontinua, pues:
||x|| ||x|| + ||T x|| = ||x||1.
Si pudiramos probar que B1 es ompleto, enton es, el Teorema de la

Apli a in Abierta, garantizara que I : B1 B es un homeomorsmo y
esto terminara la prueba.
Sea (xn ), una su esin de Cau hy, en B1 . Esto impli a que (xn ) y (T xn )
son su esiones de Cau hy en B y en B , respe tivamente.
Ya que ambos son espa ios ompletos, existen: x B, y B, tales
que:
||xn x|| 0 y ||T xn y|| 0 (4.14)
57
(o sea, (xn , T xn ) (x, y)).

Nuestra suposi in de que Gr(T ) es errado en B B, impli a que:
(x, y) Gr(T ).
As, y = T x.
De ello se obtiene que B1 es ompleto, pues:
||xn x||1 = ||xn x|| + ||T (xn x)||

= ||xn x|| + ||T xn T x||
= ||xn x|| + ||T xn y|| 0, segn (4.14)
Veamos, a manera de ilustra in, un ejemplo de una transforma in lineal,

uyo gr o es errado, pero que no es ontinua.
Sea T : X Y , dada por T x = x , donde, Y = C[0, 1], espa io de las

fun iones ontinuas de [0, 1] en R, on la norma de la onvergen ia uniforme:
||w|| = max |w(t)|,

0t1
mientras que
X = {x Y : x Y }.
Sea (z, y) Gr(T ), enton es existe (zn ), su esin en X, tal que:
zn z, ( onvergen ia en X)
T (zn ) = zn y ( onvergen ia en Y)
Ya que la onvergen ia en Y es la onvergen ia uniforme, tenemos: Para

t [0, 1],
Z t Z t Z t
y(u)du = lm zn (u)du = lm zn (u)du
0 0 n+ n+ 0
= lm (zn (t) zn (0)) = z(t) z(0)
n+
O sea,
Z t
z(t) = z(0) + y(u)du.
0
De modo que, z X y T z = z = y (de a uerdo al Teorema

Fundamental del Cl ulo).
En otras palabras, (z, y) Gr(T ), y as, Gr(T ) es errado en X Y.

Para ver que T no es ontinua, basta onsiderar la su esin (xn ), donde,
xn : [0, 1] R es dada por: xn (t) = tn .
Tenemos:
||xn || = max |xn (t)| = 1;
0t1
Mientras que,
||T (xn || = ||xn || = max |ntn1 | = n

0t1
As,
xn
0, uando n +,
n
pero,
x

xn
T = n 9 0 = T (0)
n n

Ejer i io:
Sean, X e Y, espa ios ve toriales normados; T : X Y , lineal, uyo
gr o es errado. Probar que:
a) Si K X es ompa to, enton es T (K) es errado en Y.
b) Si K Y es ompa to, enton es T 1 (K) es errado en X.
) Si Y es ompa to, enton es, T es a otado.
d) Si X es ompa to, y T es biye tiva, Enton es T 1 es a otado.
Solu in:
a) Sea y T (K), enton es existe (xn ), su esion en K , tal que :
T (xn ) y.
De la ompa idad de K, se dedu e que existe (xnj ), subsu esin de (xn ),

tal que:
xnj x K.
59
As,
(xnj , T (xnj )) (x, y).
Luego,
(x, y) Gr(T ) = Gr(T )
En onse uen ia,
y = T x, on xK
O sea,
y T (K).
Con lusin: T (K) es errado en Y.
b) Tomemos x T 1 (K). Luego, existe (yn), su esin en K , tal que:
T 1 (yn ) x.
Como K es ompa to, existe (ynj ), subsu esin de (yn ), tal que,
ynj y K.
Sea xn = T 1 (yn ), es de ir, yn = T xn . Tenemos que:
(xnj , T (xnj )) = (T 1 (ynj ), ynj ) (x, y)
As que,
(x, y) Gr(T ) = Gr(T )
Luego,
y = T x,
O lo que es lo mismo,
x = T 1 (y).
De modo que,
x T 1 (K)
En resumen,
T 1 (K) es errado es X.
) Sea F Y, errado. Como Y es ompa to, enton es F tambin es

ompa to.
As que, por la parte b), T 1 (F ) es errado en X.

Queda, enton es, probado, que la imagen inversa de ada errado en Y, es
un errado en X.
Es de ir, T es ontinuo (lase, a otado).
d) Tenemos: T 1 : Y X . Sea F X, errado.

La ompa idad de X impli a que F tambin es ompa to.
Para nuestro propsito, basta probar que
(T 1 )1 (F ) es errado en Y;
O sea, que T (F ) es errado en Y; pero esto es, pre isamente, lo que arma
la parte a).
61
Bibliografa
[1 o
Trejo Csar A., El on epto de nmero, monografa n 7, serie de matemti-
a, Se retara General de la O.E.A., 1973.
[2 A. Hefez, Elementos de Aritmti a, So iedad Brasileira de Matemti a,

Rio de Janeiro, 2005.
[3 Spivak Mi hael, Cal ulus, Volmenes 1 y 2, Editorial Revert, S.A., 1970.
[4 Lima, Elon Lages, Espa os Mtri os, Projeto Eu lides, Rio de Janeiro,
1977.
[5 Serge Lang, Cl ulo, Volumen 2, Ao livro t ni o S.A. Rio de Janeiro,

1974.
[6 Serge Lang, Analysis I, Addison-Wesley, Publishing Company, 1968.
[7 Ba hman George-Nari i Lawren e, Fun tional Analysis, A ademi Press,

1966.
[8 F. Simmons George, Introdu tion to Topology and Modern Analysis, M

Graw-Hill Book Company, INC., 1963
[9 Kreyszig, Erwin, Introdu tory Fun tional Analysis with Appli ations,
John Wiley & sons,INC., 1978.
[10 T. M. Apostol, Anlisis Matemti o, Editorial Revert, S.A.,1960.
[11 Kaplan Wilfred, Advan ed Cal ulus, Addison-Wesley Publishing Com-

pany, 1969.
[12 Seymour Lips hutz, General Topology, S haum Publishing Co., 1965.
[13 Hans Radema her y Otto Toeplitz, Nmeros y guras, Edi iones Castilla,
S.A., 1970
[14 John B. Fraleigh, A rst ourse in abstra t algebra, Addison-Wesley

Publishing Company, 1976.
[15 Salahoddin Shokranian, Mar us Soares, Hermar Godinho, Teora dos

nmeros, Editora Universidade de Brasilia, 1994.
[16 Howard Eves, Introdu o Historia da Matemti a, Editora Universi-

dade Estadual de Campinas, Brasil, 1995.

Teoremas Fundamentales PDF

Cargado por

Información del documento

Título original

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

Teoremas Fundamentales PDF

Cargado por

Copyright:

Formatos disponibles

Teoremas Fundamentales

Jess Prez Sn hez

Esta monografa, en realidad, es un viaje, o paseo, por algunos espa ios

Para mi ha sido pla entero este deambular por la Aritmti a, el lgebra y

Mrida, marzo de 2008.

1. Teorema Fundamental de la Aritmti a. 1

2. El Teorema Fundamental del lgebra. 21

3. El Teorema Fundamental del Cl ulo 31

Al ha er una presenta in formal del onjunto de los nmeros naturales,

(P1 ) El objeto 0 ( ero) pertene e al onjunto N, 0 N.

(P2 ) Si x N, existe (y es ni o) s(x) N (el su esor de x).

(P3 ) Para todo x N, es s(x) 6= 0 (0 no es su esor de otro nmero natural).

(P5 ) Si A es un sub onjunto de N, tal que:

Nota 1.1: Despus de denir la suma (+) y el produ to (.), en N, se demuestra

A partir de (P5 ), podemos dedu ir el

Primer Prin ipio de Indu in Completa:

Sea n0 un nmero natural, y supongamos que para ada natural n n0 ,

ii) Para ada natural k k0 , si Ak es verdadera, enton es Ak+1 tambin

En estas ondi iones, An es verdadera, para todo n n0.

Luego, A1 es la arma in:

241 1 es mltiplo de 15, la ual es verdadera.

Supongamos ahora que:

24k 1 es mltiplo de 15, on k 1. (1.1)

Queremos ver si, enton es, 24(k+1) 1 tambin es mltiplo de 15.

24(k+1) 1 = 24k .24 1 = 24k (15+1) 1 = 24k .15 + 24k -1 (1.2)

En (1.2), el primer sumando, obviamente es mltiplo de 15, y el segundo

b) Tenemos que, An quiere de ir:

23 > 2.3 + 1, lo ual es verdadero.

Supongamos que Ak es ierto, para k 3, o sea,

Queremos saber si (1.3) impli a que

2k+1 > 2(k+1) + 1, para k3

Ahora bien, multipli ando ambos miembros de (1.3) por 2, llegamos a:

Pero, omo k 3, resulta que 2k + 2 > 3. Usando este ltimo resultado en

2k+1 > 2k + 3 = 2(k+1)+1, omo queriamos.

Ahora, a partir del Primer Prin ipio de Indu in ompleta, obtendremos

Todo sub onjunto A N, no va io, posee un elemento mnimo.

Demostra in: Sea X el onjunto de todos los nmeros naturales n, tales

Si 0 A, no tenemos ms nada que probar, (0 sera el elemento mnimo de

En otras palabras, m0 + 1 es el elemento mnimo de A.

En efe to, sea P una propiedad, referida a los nmeros naturales.

Si n n0 veri a la propiedad P, enton es,

Por lo tanto, Y = . O sea, para todo n n0 se umple P

En seguida, a partir del P.B.O, obtendremos el: Segundo Prin ipio de

enton es, An es verdadera, para ualquier n n0 .

Debemos demostrar que S = .

m0 n0 y Am0 es falsa. (1.8)

Como An0 es verdadera, on lumos que m0 > n0 . Tambin, para todo k,

A ontinua in probaremos que el segundo Prin ipio de Indu in tiene

Efe tivamente, sea A N, no va o. Demostraremos que A posee un

Supongamos enton es, que 0 / A. Sea X , el onjunto de los nmeros

Como X N A y A 6= , dedu imos que X 6= N.

En resumen, ha quedado probado que: el Primer Prin ipio de Indu in

Una forma ms general de enun iar el itado Prin ipio es:

Solu in: En este aso, k + 1 = 11 k=10; n = 500 001 (un "nido"para

1.2) Demostrar que si se mar an 5 puntos, al azar, en la super ie de un

Solu in: onsideremos los uatro "nidos"siguientes:

Es inmediato ver que, on slo 4 puntos no es ierta la on lusin;

El on epto siguiente es uno de los ms importantes en toda la Matemti a.

Re ordemos que unnmero natural, mayor que 1, y que slo es divisible

Cada uno de estos nmeros se puede des omponer, progresivamente, en

120 = 815; 8 = 222; 15 = 35, de donde, 120 = 22235 = 23 3 5.

Damos por sentado que, si des omponemos en fa tores un nmero entero,

La respuesta a esta inquietud nos la dar el Teorema Fundamental de

Nota 1.1: Despus de denir la suma (+) y el produ to (.), en N, se demuestra

Luego, A1 es la arma in:

Si n n0 veri a la propiedad P, enton es,

1.2) Demostrar que si se mar an 5 puntos, al azar, en la super ie de un

"El onjunto de los nmeros primos es innito"

Con lusin: P es innito.

donde, n es el que apare e en (1.12), y p es un nmero primo, su ientemente

De modo que, si tomamos p, primo, su ientemente grande, obten-