Teoremas Fundamentales

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 todo 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.
2. El Teorema Fundamental del lgebra.
21
3. El Teorema Fundamental del Cl ulo
31
4. El Teorema de Baire.
43
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
(P2 )
Si
(P3 )
Para todo
(P4 )
Si
x N,
existe (y es ni o)
x N,
s(x) = s(y),
es
s(x) N
s(x) 6= 0
enton es,
N, 0 N.
(el su esor de x).
(0 no es su esor de otro nmero natural).
x=y
(un nmero natural no puede ser su esor
de dos naturales distintos).
(P5 )
Si A es un sub onjunto de
i)
ii)
0 A.
aA
enton es,
impli a que
A = N.
N,
tal que:
s(a) A,
Nota 1.1: Despus de denir la suma (+) y el produ to (.), en N, se demuestra

que:
s(x) = x + 1,
A partir de
para todo
(P5 ),
xN
(ver [1, pg. 33)
podemos dedu ir el
Primer Prin ipio de Indu in Completa:

1
CAPTULO 1.
Sea
n0
TEOREMA FUNDAMENTAL DE LA ARITMTICA.
un nmero natural, y supongamos que para ada natural
hay aso iada una arma in
An0
i)
k k0 , si Ak
es verdadera.
En estas ondi iones,
Demostra in:
Supongamos que
An0 +k
enton es Ak+1 tambin
es verdadera }. Tenemos que, segn i),
0 S.
k S.
es verdadera.
Ahora, en virtud de ii), resulta que

que:
es verdadera,
An es verdadera, para todo n n0.
S = {n N: An0 +n
Luego,
n n0 ,
Admitamos que sea posible probar que:
es verdadera
ii) Para ada natural
Sea
An .
An0 +k+1 tambin es verdadera; de modo
k + 1 S.
As, S satisfa e las ondi iones del axioma

Con lusin:
(P5 ).
S = N.
Ejemplo 1.1:
a)
Demostrar que
n 1.
24n 1
es mltiplo de 15, para todo nmero natural
b) Demostrar que 2n > 2n + 1, para todo nmero natural n 3.

Solu in:
a) En este aso, An signi a:

24n 1
Luego,
A1
es mltiplo de15.
es la arma in:
241 1
es mltiplo de 15, la ual es verdadera.
Supongamos ahora que:
24k 1
Queremos ver si,
es mltiplo de 15, on
k 1.
enton es, 24(k+1) 1 tambin es mltiplo de 15.
(1.1)
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,
As,
A3
n3
para
nos di e:
23 > 2.3 + 1, lo
Supongamos que
Ak
ual es verdadero.
es ierto, para
k 3,
2k > 2k + 1,
o sea,
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
Pero, omo
k 3,
resulta que
2k + 2 > 3.
(1.4)
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.
CAPTULO 1.
Demostra in: Sea X el onjunto de todos los nmeros naturales n, tales

que
{0, 1, 2, ..., n} N A.
0 X signi a: 0
/ A; y si n0 es tal
0, 1, 2, ..., n0 1 tampo o pertene en a A.
As,
No olvidemos que queremos probar que

Si
A).
0 A, no
Tambin resulta que
0
/ A,
X 6= N,
pues
luego,
enton es,
n0
/ A,
tiene un elemento mnimo.
(P5 ), on luimos que:

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

n + 1, a su vez, umple on di ha propiedad.
Si
Consideremos
Y = {n N, n n0 : n
Supongamos que
Apli ando el
moslo
m0 ).
no umple
P}
Y 6= .
P.B.O, dedu imos que Y
Que podemos de ir a er a de
m0 Y
posee un elemento mnimo (llam-
m0 ?
(1.6)
5
(O sea:
m0 n0
m0
no umple P )
m0 > n0 . Luego, mo 1 es un nmero natural,

m0 1
/ Y (ya que m0 es el elemeneto mnimo
m0 1 umple P . Y, ahora, utilizando (1.5), llegamos
As que, ms pre isamente,
mo 1 no
tal que
y, adems,
de Y) Pero enton es,

a que:
m0
umple
Por lo tanto,
(en ontradi in on (1.6))
Y = .
O sea, para todo
En seguida, a partir del
Indu in Completa:
n n0
se umple
An
Si An0
impli a la vera idad de
es verdadera, para ualquier
Demostra in:
Sea
Debemos demostrar que

Supongamos que
m0 ).
hay aso iada una
An ,
An
es falsa }
S 6= .
S
tiene un elemento mnimo (designmoslo
Tenemos que:
y
Am0
es falsa.
An0 es verdadera, on lumos que m0 > n0 . Tambin,

n0 < k < m0 , es Ak verdadera (por la minimalidad de m0 ).
Como
Luego, segn (1.7),

que
(1.7)
S = .
m0 n0
on
Ak
n n0 .
S = {n N: n n0
Enton es, de a uerdo al P.B.O,

por
n n0 ,
es verdadera, y podemos probar que la vera idad de
(para n0 k < n)
enton es, An
P.B.O, obtendremos el: Segundo Prin ipio de
Supongamos que para ada nmero natural

arma in
S = ,
An
Am0
(1.8)
para todo
k,
es verdadera, en ontradi in on (1.8). De modo
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.
A N,
Efe tivamente, sea

elemento mnimo.
Si
0 A,
n,
Demostraremos que
posee un
no ne esitamos ha er ms nada.
0
/ A. Sea X , el onjunto de los nmeros
{0, 1, 2, . . . , n} N A. (Notemos que 0 X ).
Supongamos enton es, que

naturales
no va o.
tales que
CAPTULO 1.
Como
X N A
A 6= ,
dedu imos que
X 6= N.
Enton es, en virtud del Segundo Prin ipio de Indu in Completa, debe
m0 N, tal que, X ontiene

pero m0
/ X (luego, m0 > 0).
existir un
que
m0 ,
Es de ir,
m0 A
todos los nmeros naturales
0, 1, 2, . . . , m0 1
menores
no estn en A. Esto signi a que
es el elemento mnimo de A.
m0
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
Si
Prin ipio del nido de las palomas:
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

ada nido, fuese 1, estaran distribudas, a lo sumo,
Este prin ipio tambin es llamado:
mximo de palomas, en
n palomas ( ontradi in).
Prin ipio de las gavetas de Diri hlet,
por el he ho de ser usualmente, enun iado as: Si olo amos

nmero
de gavetas ( on
r < n),
objetos en un
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.k+1 palomas
k+1 palomas"
nidos son asignados a
nido albergar, al menos, a
enton es, por lo menos, un
Efe tivamente, si ada nido abrigara, a lo mximo , a

dra, a lo sumo, un total de
k palomas, se ten-
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,
las personas de
k + 1 = 11 k=10; n = 500 001 (un "nido"para
0 abellos, un "nido"para las personas de un abello, . . . , un

500.000 abellos)
"nido"para las personas de

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
Solu in:
2 m.
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
1.3)
2 m.
(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
), no lo son. Consideremos, al azar, 5 puntos enteros, de R2 .
5
Diremos que un punto
el punto medio de alguno de los segmentos que unen parejas

de esos puntos, es entero.
Demostrar que
Solu in: onsideremos los uatro "nidos"siguientes:

n1 = {(x, y) R2 : (x, y)
es entero,
par, y par}
n2 = {(x, y) R2 : (x, y)
es entero,
impar, y par}
n3 = {(x, y) R2 : (x, y)
es entero,
par, y impar}
n4 = {(x, y) R2 : (x, y)
es entero ,
impar, y impar}
Enton es, por el prin ipio del nido de las palomas, al menos
puntos enteros dados, aen en el mismo "nido", digamos,
dos
de los
(x1 , y1 ), (x2 , y2 ).
Como par + par da par e impar + impar da par, resulta que:
x1 + x2
2
y1 + y2
2
son enteros; o sea , el punto medio del segmento determinado por
(x2 , y2)
(x1 , y1 ),
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.
CAPTULO 1.
Ellos son los "ladrillos" de onstru in, a partir de los uales, los otros
enteros son formados, multipli ativamente.
nmero natural, mayor que 1, y que slo es divisible

por 1 y por l mismo, es llamado nmero primo.
Re ordemos que un
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
nalmente obtener:
12 10;
12 omo
2 2 3,
y 10 omo
2 5,
para
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

importa mo reali emos la des omposi in.
hasta donde sea posible,
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
la Aritmti a,
Teorema Fundamental de
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.
Z[
5], va a estar ons
a + b 5, on a, b Z. (Tenemos as,
Nuestro "nuevo" sistema numri o, denotado por

titudo por los elementos de la forma
un sub onjunto de nmeros omplejos, on las opera iones de suma y multipli a in, usuales, de
C).
norma
Nos ser muy til la no in de

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
dos diferentes fa toriza iones del nmero 21, en Z[ 5].

Supongamos que
indi ara que hay
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,
Supongamos que
Enton es, si
9.
= a + b 5
N() = 1,
se tendra:
a2 + 5b2 = 1.
Luego,
b=0
a = 1
Por otro lado, el aso
N() = 3 queda des artado,
a2 + 5b2 = 3,
Si
N() = 9,
= 1
enton es, es
on
N() = 1,
y resulta
ya que no puede tenerse
enteros.
= 1.
En todo aso, no se obtiene una fa toriza in (no trivial) de 3, en

as omo en el sistema nmeri o ordinario no se onsidera
fa toriza in del 3. En otras palabras, 3 es
3 =
1 3,
omo una
irredu ible, en Z[ 5].
Un argumento similar prueba que 7 es irredu ible, en
Z[ 5]
Z[ 5],
10
CAPTULO 1.
Supongamos ahora que:
1 + 2 5 = .
Enton es
21 = N(1 + 2 5) = N(.) = N().N()
Luego,
N() = 1,
Sea
3,
21.
= m + n 5.
Enton es
N() = 1
m = 1
impli a que
n=0
N() = 3 resultara m2 + 5n2 = 3,

enteros de m y n.
Si fuera
valores
Anlogamente, si
N() = 7,
Finalmente, para
N() = 21,
= 1
lo ual no se umple, para
llegamos a una ontradi in.

se obtiene
N() = 1,
lo ual impli a que
= 1.
1 + 2 5 es irredu ible, en Z[ 5]
Similarmente, 1 2 5 es irredu ible, en Z[ 5].

De modo que,
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
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:
es
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
Lema 1.1:
Si
divide a
P = {2, 3, 5, 7, . . .}
Sean:
m.n,
p P,
enton es,
al onjunto de los nmeros primos.
m, n N {0}
p
divide a
divide a
n.
11
(Este lema lo en ontraremos, ya, en Los Elementos de Eu lides, proposi in
30, libro VII).
Demostra in:
p divide a m.n, pero que no divide a m.

p y m son primos entre s. Ver [2, pginas
Asumimos que
(Tambin se di e en este aso que

60-61). Enton es, existen
r, s N ,
tales que:
rp sm = 1
Por lo tanto
rpn smn = n
Ahora,
(1.10)
divide al primer miembro de (1.10). Por lo tanto,
Lema 1.2:
Enton es,
p = qj ,
Demostra in:
pleta.
divide a
n.
p, q1 , q2 , . . . , qn P.
Sean:
Supongamos que
divide a
q1 .q2 . . . qn .
j {1, 2, . . . , n}.
para algn
Usaremos el
n=1, lo armado es ierto,

diferente de 1, es de ir, p = q1 .
Si
Primer Prin ipio de Indu in Compues tenemos que
es un divisor de
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

a
Como p
q1 .q2 . . . qk
p divide
p = qk+1 .
divide a este produ to tenemos, segn el lema 1.1, que
divide a
qk+1 .
O sea,
divide a
q1 .q2 . . . qk
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.
n N, on n > 1. Enton es, existen

p1 p2 . . . pj , tales que: n = p1 .p2 . . . pj .
Re ordemos lo que di e: Sea

primos (ni os)
nmeros
12
CAPTULO 1.
Demostra in:
a) Existen ia de la des omposi in de n.
Si
fuese primo, basta es oger
p1 = n.
n
/ P. Como n es un nmero ompuesto, existe
d divide a n, digamos, n = d.n1 .
Supongamos enton es que
d N,
tal que:
1<d<n
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,
d = r1 .r2 . . . rm ;
tales que,
n1 = q1 .q2 . . . qs
As,
n = r1 .r2 . . . rm .q1 .q2 . . . qs

Es de ir,
tambin puede ser es rito omo un produ to de primos.
b) Uni idad de la des omposi in n = p1 .p2 . . . . .pj

n posee dos des omposi iones en fa tores primos, digamos,
n = p1 .p2 . . . .pk = q1 .q2 . . . . ql .
Supongamos 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 .
Sin prdida de generalidad, asumamos que
Reordenando los ndi es de los
p1 = q1 ,
qj s
(si es ne esario) podemos suponer que
para obtener:
p1 .p2 . . . pk = p1 .q2 . . . ql ,
luego,
p2 . . . pk = q2 . . . ql
Continuando on este razonamiento, llegamos a que, para todo
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 ,
Si
l = k,
para todo
i {1, 2, . . . , k}
la demostra in habr terminado.
Sea, enton es
l > k.
i {1, 2, . . . , 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 ,
Por lo tanto, on lumos que
absurdo
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
ve es que el primo
son distintos, y
pi
es un natural que uenta el nmero de
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
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).
14
CAPTULO 1.
Con lusin:
es innito.
A ontinua in veremos dos proposi iones en las uales se utiliza el Teorema 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
es irra ional:
Supongamos lo ontrario, es de ir, que existen m y n, naturales, tales que
m
=
2, en donde, se utiliza la (ni a) expresin de m y n, respe tivamente,
n
omo produ to de nmeros primos, y adems, suponemos que hemos an elado
son primos entre s.

m
ya, aquellos fa tores omunes a ambos. O sea, m y n

(m
)2 = 2 obtenemos: m2 = 2n2 , o sea, m2 es par, lo ual impli a que
n
.
Como
es par
As podemos es ribir:
m = 2k ,
m2 = (2k)2 = 2n2
Luego, tambin
para algn natural
4k 2 = 2n2
k.
n2 = 2k 2 .
n es par.
Pero enton es hemos llegado a una ontradi in: 2 es fa tor omn de

y
n,
sabiendo, de antemano, que ellos eran primos entre s.
Luego, no pueden existir tales

Con lusin:
Ahora bien,
n.
es irra ional.
es solu in de la e ua in
x2 2 = 0
que
2 es un
irra ional algebrai o, para

diferen iarlo de los irra ionales tras endentes ( omo e, ), que no pueden
Lo ual se expresa di iendo
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
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,
donde,
a0 6= 0,
on
a0 , a1 , a2 , . . . , an
(1.12)
enteros.
Es ribimos
e=
M1 + 1
,
M
e2 =
M2 + 2
,
M
...,
en =
Mn + n
,
M
(1.13)
1
n
, 2 , . . . , M
son fra iones positivas
M M
muy pequeas. Enton es usando (1.13) y multipli ando por M, llegamos a que
donde,
M, M1 , M2 , ..., Mn , son enteros, y
(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,
diferente de ero). En uanto a la suma en errada en el segundo parnfra in propia (denominador mayor que el
nmerador) positiva. Tendremos as, una ontradi in:
es
tesis, probaremos que es una
a0 M+a1 M1 +. . .+an Mn , aumentado

a1 1 + a2 2 + . . . + an n , da omo resultado el nmero
Un nmero entero, diferente de ero,

en una fra in propia,
ero. As, la igualdad (1.12) no puede ser posible.

En el amino, usaremos el he ho siguiente: si un nmero
divisible por un
entero k
no es
ierto nmero (distinto de ero), enton es k no puede ser
ero (puesto que ero es divisible por ualquier nmero, no nulo).
16
CAPTULO 1.
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 integral reada por Hermite:
M=
z p1 [(z 1)(z 2) . . . (z n)]p z

e dz,
(p 1)!
donde,
es el que apare e en (1.12), y
(1.15)
es un nmero primo, su ientemente
grande.
Usaremos la siguiente nota in:
M = e
= e
z p1 [(z 1)(z 2) . . . (z n)]p z

e dz
(p 1)!
z p1 [(z 1)(z 2) . . . (z n)]p z

e dz
(p 1)!
(1.16)
(1.17)
Ahora, la demostra in en detalles:

Empe emos on la
fun in gamma:
() =
de la ual sabemos que si
z 1 ez dz,
0
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 tivamente; el valor de la integral de Hermite ser:
(1)n (n!)p
M=
(p 1)!
np+p
p1
Cj
e dz +
(p 1)!
j=p+1
z
z j1 ez dz,
17
Cj s son onstantes enteras que se dedu en del desarrollo del poli[(z 1)(z 2) . . . (z n)]p . Apli ando ahora, a ada una de las integrales,
donde, las
nomio
la frmula (1.18), obtenemos:
np+p
X Cj (j 1)!
(1)n (n!)p (p 1)!
+
.
(p 1)!
(p
1)!
j=p+1
M=
Como, en la sumatoria, el ndi e
(j 1)!
(p 1)!
As, sa ando
es, siempre, mayor que
p,
resulta que:
es un entero mltiplo de 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) + ...]

p, primo,
(1) (n!)p y, en
De modo que, si tomamos

dremos que
no divide a
a0 6= 0, vemos
divisible por p.
Como adems,
a0
no es
En n, el produ to
a0 M
su ientemente grande, obten onse uen ia, p no divide a M .
que si es ogemos
mayor que
p,
no ser divisible por
|a0 |,
enton es
primo, su ientemente
grande.
M , on {1, 2, . . . , n}. (No

on a0 M + a1 M1 + . . . + an Mn ).
Estudiemos ahora, los nmeros

que queremos ver lo que su ede
Nos remitimos a (1.16), e introdu imos el fa tor

Tomemos, a su vez,
M =
= z ,
e ,
olvidemos
bajo el signo integral.
omo nueva variable de integra in. Resulta:
( + )p1 [( + 1)( + 2) . . . . . . ( + n)]p

e d
(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 p.
ias, on oe ientes enteros, de los uales, el de menor grado ser
La integral del nmerador ser, por lo tanto, una ombina in lineal de las
integrales:
+
p
d,
p+1
d,
...,
(n+1)p1 e d,
18
CAPTULO 1.
Las uales, segn (1.18), son iguales, respe tivamente, a :
p!, (p + 1)!, (p + 2)!, . . . , [(n + 1)p 1]!;

de manera que:
p! A
= p A ,
(p 1)!
= 1, 2, . . . , n.
M =
donde,
es un entero, y
En otras palabras, ada
es un entero,
mltiplo de p.
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.
De modo que, en
Y qu o urre on
a1 1 + a2 2 + . . . + an n ?
Segn (1.17),
z p1 [(z 1)(z 2) . . . (z n)]p z+

e
dz.
(p 1)!
Probaremos que estos

elegimos a
pueden ha erse tan pequeos omo se quiera, si
ade uadamente. Hasta ahora, las ondi iones exigidas a
que sea primo, mayor que
n,
mayor que
|a0 |;
son:
requisitos que son llenados por
innidad de nmeros primos, su ientemente grandes.

Sean:
g ,
los
mximos, respe tivos, de los valores absolutos de
z(z 1)(z 2) . . . (z n)
(z 1)(z 2) . . . (z n).ez+ ,
en
[0, n].
Luego,
|z(z 1)(z 2) . . . (z n)| G

para
|(z 1)(z 2) . . . (z n) ez+ | g ,
0 z n.
Enton es,
| |
Ahora bien, omo
mas rpidamente que
la fra in,
Gp1 g
Gp1 g
dz
(p 1)!
(p 1)!
(1.19)
G, g y no dependen de p, y, adems, (p 1)! re e

P
ak
Gp1 (pinsese en la onvergen ia de la serie +
),
1
k!
Gp1
,
(p 1)!
19
llega a ser, para valores de
>0
p su ientemente grandes, ms pequea que ualquier
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 |

(|a1 | 1 |g1 | + |a2 | 2 |g2 | + . . . + |an | n |gn |)
Ya que la suma entre parntesis no depende de
p,
Gp1
(p 1)!
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:
entero, distinto de ero, in rementado

fra in propia, da omo resultado el nmero ero.
Un nmero
Con lusin:
es tras endente.
en el valor de una
20
CAPTULO 1.
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
an 6= 0 y n 1, tiene
f (z0 ) = 0.
una raz, o sea,
Sin prdida de generalidad, suponemos
n 2. Tenemos:
es un nmero omplejo,
existe un nmero omplejo
Demostra in:
z0 ,
tal que:
|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.
donde,
|z| 1
EL TEOREMA FUNDAMENTAL DEL LGEBRA.
R = |an1 | + |an2 | + . . . + |a1 | + |a0 |.
As que,
|f (z)| |z|
Sea
n1
para
|z| mx
(2.1)
P0 = |f (0)| = |a0 |.
Enton es, de (2.1) se sigue que: existe
|f (z)| > P0 ,
Consideremos
D = {z C : |z| T }.
tal que,
|z| > T.
|z|n1 +,
n1 1
y que
T > 0,
para
(Re ordar que
Resulta que
es

R+1
1,
.
|an |
si
(2.2)
|z| +).
es un sub onjunto errado y a otado de
C = R2 ;
|f | : D R
punto z0 D .
al anza un
ompa to (Teorema generalizado de Heine-Borel. Ver [4).

Como la fun in
mnimo, en algn
es ontinua, enton es,
|f |
luego,
valor
De modo que,
|f (z0 )| |f (z)|,
Pero, por (2.2), para todo
z
/ D,
para todo
z D.
se tiene:
|f (z)| > P0 = |f (z0 ).

En onse uen ia,
|f (z0 | |f (z)|,
z C.
para todo
A todas estas el le tor ya sospe har que el
z0
(2.3)
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
P (0) = b0 .
Luego,
Por lo tanto, nuestro objetivo es probar que b0

enton es
= 0. Supongamos que b0 6= 0,
P (z) = b0 + bk z k + z k+1 Q(z),

donde,
bk
es el ms pequeo
bi 6= 0,
i>0
Q(z)
(2.5)
es un polinomio.
Por ejemplo, si
P (z) = 5z 9 + 7z 5 + 4z 4 11z 3 + 2,
bk = 11
Q(z) = 4 + 7z + 5z 5 .
tenemos que:
Prosiguiendo
onsiderar
on
w C,
la
P (z) = 2 11z 3 + z 4 (4 + 7z + 5z 5 ),
demostra in,
otra
jugada
maestra,
al
una raz k-sima del nmero:
Por otro lado, para
b0
,
bk
o sea,
wk =
b0
.
bk
real,
t|w k+1Q(tw)| 0,
As que, existe
apare e
de modo que,
t0 (0, 1),
uando
t0
tal que:
t0 |w k+1Q(t0 w)| < |b0 |

Ahora bien, de (2.5), se obtiene:
P (t0 w) = b0 + bk (t0 w)k + (t0 w)k+1Q(t0 w)

b0
k+1
= b0 + bk tk0 ( ) + tk+1
Q(t0 w)
0 w
bk
k+1
= b0 (1 tk0 ) + tk+1
Q(t0 w).
0 w
(2.6)
24
CAPTULO 2.
Por lo tanto,
k+1
|P (t0 w)| |b0 |(1 tk0 ) + tk+1
Q(t0 w)|
0 |w
|f (t0 w + z0 ) = |P (t0 w)| < |P (0)|.
< |b0 |(1 tk0 ) + tk0 |b0 |

= |b0 | = |P (0)|
(usando (2.6))
(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,
es de la forma:
p(x) = a1 x + a0 ,
Supongamos que el grado de
todos los polinomios de grado
p(x)
es
Enton es,
on
n,
a1 6= 0.
y que el orolario es ierto para
mayor o igual a 1, y menor que n. Segn el
Teorema Fundamental del lgebra, existe
n.
p(x)
x0 C ,
tal que,
p(x0 ) = 0.
p(x) = (x x0 ).g(x), on g(x), polinomio de grado menor que

g(x) se fa toriza en fa tores lineales, digamos,
Por la hiptesis indu tiva,
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
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 polinomios 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) = (x z1 )(x z2 ) . . . (x zn ),
n
oe iente de x .
As,
Si
zi
es real, enton es,
p(x).
x zi
p(x).
donde,
R,
ya que es el
es un fa tor lineal (real) en la fa toriza in de
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).
Si
De modo que, el produ to
p(x).
(x zk )(x z k )
apare e en la fa toriza in de
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,
es un espa io ve torial (real) de dimensin nita, o bien existe un ve tor (no

nulo)
w E,
tal que,
o enton es, existen
Aw = w,
u, v E ,
linealmentes independientes, tales que,
son ambos, ombina iones lineales de
v,
o sea,
Au = u + v
Av = u + v
Au
Av
26
CAPTULO 2.
E,
En otras palabras, existe, en

2, invariante por
A,
Deni in: se di e que

el operador lineal
Av ,
de
un subespa io ve torial, de dimensin 1
de a uerdo on la siguiente deni in:

un subespa io ve torial
A : E E,
v F,
de ualquier ve tor
Si
a los ve tores de
uando
A(F ) F
F.
es invariante por
es de ir, uando la imgen
pertene e a
es un subespa io invariante por el operador
F , dene un
A : F F ). Enton es,
nota in,
F E
A : E E,
la restri in
operador (que indi aremos on la misma

si
F ( E,
obtenemos un operador ms
simple, por estar denido en un dominio menor.
Ejemplos:
a)
lineal
Los subespa ios
A:EE
{0}
son invariantes por ualquier operador
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
A : E E , si, y slo si, existe un nmero

todo v F .
pasa por el origen) es invariante por

real
0 ,
tal que,
Av = 0 v ,
En efe to, tomando

Como
Sea
Au F ,
v F;
para
u 6= 0
se tiene:
enton es,
en
F,
resulta que
Au = 0 u,
v = u,
{u}
para algn
para algn
es una
base de F .
0 R.
R.
Luego,
A(v) = A(u) = Au = 0 u = 0 (u) = 0 v

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

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:
Si
Au = u + v
Av = u + v
27
v E , se
A : E E , uando
Un ve tor (no nulo)

operador lineal
auto-ve tor
llama
existe
(o ve tor propio) del
tal que
Av = v.
R, a su vez, se llama un auto-valor (o valor propio) del
lineal A : E E , uando existe un ve tor (no nulo) v E , tal que,
El nmero
operador
Av = v.
Se di e, enton es, que el auto-valor
v tambin
w = v , que:
vi eversa, que el auto-ve tor

aso se umple, para todo
orresponde al auto-ve tor
orresponde al auto-valor
y,
En tal
Aw = w.
De manera que, hallar un auto-ve tor (o, lo que es equivalente, un autovalor) del operador lineal
A : E E , es lo mismo que en ontrar un subespa io

A.
de dimensin 1, invariante por
Ejemplos:
y
a) Una rota in : R2 R2 , entorno del origen, de ngulo diferente de 0o
180o ,
eje
slo admite omo subespa ios invariantes:
{ 0}
R2 .
b) Para todo R, la rota in A : R3 R3 , de ngulo , en torno del

z,
A(x, y, z) = (x cos y sin , x sin + y cos , z),

tiene al eje
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
p(x) = a0 + a1 x + ... + an xn
p(A) indi a el operador lineal:
Dados: el polinomio
A : E E,
la nota in
y el operador lineal
p(A) = a0 I + a1 A + a2 A2 + ... + an An .
Lema 2.1:
Para toda transforma in lineal
dimensin nita, existen: Un polinomio
A : E E,
mni o
donde,
es de
(o sea, el oe iente de la
28
CAPTULO 2.
mayor poten ia de
no-nulo,
v E,
es el 1)
tales que,
irredu ible p(x)
de grado 1 2, y un ve tor,
p(A)v = 0.
Demostra in: Sea n = dimE .

L(E, E), el espa io ve torial de todas las transforma2
2
iones lineales de E en E . Como la dimensin de L(E, E) es n , los n + 1
2
2
n
operadores: I, A, A , ..., A , son linealmente dependientes.
Denotaremos on
Luego, existen nmeros reales
0 , 1 , ..., n ,no
todos nulos, tales que:
0 I + 1 A + 2 A2 + ... + n An = 0
Sea
m ,
el oe iente,
(2.8)
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,
para,
(2.10)
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.
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, nonulo, v E , tal que,
pi (A)v = 0.
As que:
Ahora s estamos en ondi iones de presentar la apli a in anun iada inmediatamente 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 ,
Luego,
enton es,
0 = p(A)v = (A I)v = Av v
Av = v .
As, la re ta que pasa por el origen, y ontiene a

dimensin 1) invariante por
Si
p(x) = x2 + ax + b,
v,
es un subespa io (de
A.
(polinomio mni o irredu ible), enton es:
0 = p(A)v = (A2 + aA + bI)v = A2 v + aAv + bv

Luego,
(2.11)
A(Av) = aAv bv .
Es de ir, el subepa io generado por

Adems,
Av
es invariante por
A.
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

dimensin 2.
Av ,
tiene
30
CAPTULO 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
Re ta pendiente:f
(x0 )
y = f (x)
A
y = f (x)
b
x0
a
A=
b
Rb
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 integra 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:
F (x) =
f (u)du
Esta fun in
F (x)
es el rea bajo la urva
y = f (u)
desde
u = a
hasta
u=x
y
F (x)
El Teorema Fundamental del Cl ulo estable e que:

Si
F : [a, b] R,
F : [a, b] R
enton es,
es integrable, y
es denida por:
F (x) =
f (u)du,
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
F (x) F (x0 )
x0
x hasta x0 . Notemos que

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 ].
La diferen ia
indi a el rea desde
O sea,
(x0 x)m F (x0 ) F (x) (x0 x)M.

Luego,
F (x0 ) F (x)
M.
x0 x
+
Como F es ontinua en x se tiene que uando x0 x ,
omo M se aproximan a f (x).
m
enton es, tanto m
As que:
F (x) = lm+
xo x
Cuando
de
( laro
F (x) = f (x), para todo x [a, b], se di e que F

que en a y b se onsideran derivadas laterales)
De imos
F (x) F (x0 )
= f (x)
x0 x
es
una primitiva
una fun in primitiva, y no la fun in primitiva, pues si, tambin
G (x) = f (x),
para todo
x [a, b]
enton es,
ualquier onstante, es una primitiva de
H(x) = G(x) + c,
donde,
es
ya que:
H (x) = G (x) = f (x).

Re pro amente, si
son dos primitivas de
U = G H,
denida en
f,
en [a,b onsideremos:
[a, b].
Enton es,
U (x) = G (x) H (x) = f (x) f (x) = 0.
34
CAPTULO 3.
Luego, omo el dominio de

onstante (digamos,
es un intervalo, debe ser
igual a una
c).
U(x) = G(x) H(x) = c.
Esto nos propor iona una importante y til regla para en ontrar
para
ontinua en
En efe to, omo
[a, b],
si ono emos una primitiva
Rx
F (x) =
anterior resulta:
f (u)du
F (x) = G(x) + c,
Pero,
G de f
Rb
es tambin una primitiva de
siendo
f (x)dx,
f,
por lo
una onstante .
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:
Ejemplos:
a) Como (ln x) =
f (u)du = G(b) G(a).
1
, enton es
x
2
1
dx = ln 2 ln 1 = ln 2.
x
b) Como (sen x) = cos x, enton es

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

Z
1
0
2xex dx = e1 e0 = e 1.
35
Ahora, veamos una propiedad que nos ser muy til en seguida:
Rx
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)
Sea
Demostra in:
F (x) = f (x),
F,
y derivable en
(a, b),
on
x (a, b).
Teorema del valor intermedio de Lagrange, a la
Luego, apli ando el

fun in
[a, b]
F es ontinua en
para todo
tenemos: existe
c (a, b),
tal que;
F (b) F (a) = F (c)(b a),

es de ir,
b
a
f (u)du = f (c)(b a).

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

Sea
R = {(x, y) : a x b,
c y d}.
36
CAPTULO 3.
Supongamos que
Consideremos,
df
sean ontinuas en
dy
tambin,
a p(y) b, a q(y) b,
Denimos
F : [c, d] R
F (y) =
q(y)
p(y)
F (y),
fun iones
para ada
derivables,
en
[c, d],
on
y [c, d].
por
F (y) =
Enton es, existe
R.
q(y)
f (x, y)dx.
p(y)
y (c, d),
para
dada por:
d
f (x, y)dx + f (q(y), y) q (y) f (p(y), y) p (y).
dy
Demostra in: Consideremos,

G(x1 , x2 , x3 ) =
x1 , x2 [a, b],
on
x2
f (t, x3 )dt,
x1
x3 [c, d].
As,
F (y) = G (p(y), q(y), y).

Usando la
regla de deriva in en adena, (ver [5), obtenemos:
F (y) =
dG
dG
(p(y), q(y), y) p (y) +
(p(y), q(y), y) q (y)
dx1
dx2
dG
+
(p(y), q(y), y) 1
dx3
Por otro lado, utilizando (3.2), se sigue:
dG
d
=
dx1
dx1
x1
x2
f (t, x3 )dt
= f (x1 , x3 ).
Luego,
dG
(p(y), q(y), y) = f (p(y), y)
dx1
Anlogamente,
dG
= f (x2 , x3 ).
dx2
(3.3)
37
Por lo tanto:
dG
(p(y), q(y), y) = f (q(y), y)
dx2
Finalmente,
dG
=
dx3
x2
d
f (t, x3 )dt.
dx3
x1
(Ver [6, pgina 336).

As que,
dG
(p(y), q(y), y) =
dx3
q(y)
d
f (t, y)dt.
dy
p(y)
Sustituyendo los resultados par iales, en (3.3), se obtiene lo armado.
Ejemplos:
1) Sea
g(t) =
Solu in:
R t2
1
sen(x2 )dx.
g (t) = sen(t ) 2t.
2) Si
g(x) =
Solu in:
R tgx
x
et dt.
p
g ( 4 2 )
Hallar
r
4
=2
g (x) = e(tgx) sec2 x ex 1
Solu in:
para todo
f (x) = f (x).
f (x) = cex ,
g (0) = 1 1 = 0
3) Sea f : [0, 1] R, ontinua, tal que: f (x) =

f (x) = 0,
r
g (0)
Hallar
Rx
0
f (t)dt.
x [0, 1].
Luego,
para ierta onstante
Pero,
f (0) =
c.
f (t)dt = 0.
As,
c = 0.
f (x) = 0,
para todo
x [0, 1].
Probar que:
38
CAPTULO 3.
4) Cal ular el
lm
Rx
0
x0+
sent2 dt
.
x3
Solu in: Como el lmite es de la forma indeterminada
0
, y se reunen las
0
ondi iones para apli ar la Regla de L'Hopital, tenemos:
lm
x0
5) Una
Rx
0
sent2 dt
senx2
1
=
l
m
= .
3
2
x0 3x
x
3
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,
pasa por el punto
a,
enton es,
1
2i
dz
za
nmero entero (llamado el nmero de giros de , alrededor de a)
es un
errada, y que no
a
b
Demostra in: Si la e ua in de
z = z(t),
Consideremos
t ,
h : [, ] C,
es:
on
z() = z(),
dada por:
h(t) =
z (u)
du.
z(u) a
(3.4)
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).
[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,
De modo que,
eh(t) (z(t) a) = k.
O, lo que es lo mismo,
z(t) a
.
k
k = z() a.
eh(t) =
Como
h() = 0,
se sigue que
Luego,
eh(t) =
eh() =
z(t) a
.
z() a
z() a
= 1,
z() a
z() = z().
pues
Por lo tanto,
h() = 2ni,
(re ordar que
n Z,
para algn
ei = cos + i cos )
De manera que:
z (t)
dt = 2ni,
z(t) a
O sea,
1
2i
dz
= n Z.
za
6) Sean:
f (x) =
Z
t2
2
dt ,
g(x) =
1
0
ex (t +1)
dt.
t2 + 1
40
CAPTULO 3.
g (x) + f (x) = 0,
i) Demostrar que
para todo
x.
ii) Utilizar i) para probar que
lm
x+
t2
dt =
.
2
Solu in:
i)
on
f, g : (a, b) R,
a<b y 0
/ (a, b). Tenemos:
Z x

2
t2
f (x) = 2
e dt ex
Consideremos
a, b R,
donde,
ualesquiera,
g (x) =
(3.5)
x2 (t2 +1)
(t2 + 1)e
t2 + 1
dt = 2xex
2 2
ex t dt
Ahora bien, en la ltima integral, hagamos el ambio de variable:

por lo tanto,
dw = xdt,
y resulta,
x2
g (x) = 2xe
ew
2
dw = 2ex
x
ew dw
As, de (3.5) y (3.6) se sigue:
f (x) + g (x) = 0,
donde,
a, b R,
w = tx;
para todo
son ualesquiera, on
x (a, b),
0
/ (a, b).
Por otro lado,
f (x) f (0)
= lm
f (0) = lm
x0
x0
x0
Rx
0
t2
2
dt
Usando la regla de L'Hpital, tenemos:
f (0) = lm
x0
Rx
0
t2

2
dt ex
= 0.
(3.6)
41
Anlogamente,
g(x) g(0)
g (0) = lm
= lm
x0
x0
x0
= lm
x0
2ex
Rx
R1
ex
2 (t2 +1)
dt
t2 +1
ew dw
= 0,
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,
lm
x0
ex (t +1)
dt =
t2 + 1
1
0
1
ex (t +1)
,
t2 + 1
t2 + 1
pues
ex (t +1)
lm 2
dt =
x0 t + 1
uniformemente en
De manera, que ahora, podemos armar que
1
1

dt
=
arctgt
= ,
t2 + 1
0
4
t [0, 1],
si
g (x) + f (x)
x 0.
es igual a
0,
x R.
para todo
Luego,
g(x) + f (x)
es onstante.
Pero,
f (0) = 0
g(0) =
Con lusin:
g(x) + f (x) =
.
4
.
4
ii) Por lo probado en i) tenemos que:

Z
t2
Como
2 Z
dt +
ex (t +1)
0,
t2 + 1
1
0
ex (t +1)
dt
=
,
t2 + 1
4
uniformemente en
para todo
t [0, 1],
si
xR
x +.
Enton es,
lm
x+
1
0
ex (t +1)
dt =
t2 + 1
(Ver [3, pgina 615).
ex (t +1)
lm
dt =
x+ t2 + 1
0dt = 0.
(3.7)
42
CAPTULO 3.
Luego, de (3.7) se sigue que, existe el
lm
x+
Z
x
0
2
2
et dt ,
y vale
Ahora, slo nos falta probar que existe el
lm
x+
Llamemos
an =
Tenemos que:
lmite es ).
4
Luego
(a2n )
Rn
et dt
0
et dt.
(an )
es una su esin
re iente,
es a otada, y, en onse uen ia,
De modo que
(an )
(an )
tal que
(a2n )
onverge (su
a otada.
tambin es
onverge, lo ual equivale a que:
et dt
existe.
Podemos es ribir, enton es:
= lm
4 x+
t2
e
0
Z
2
dt =
lm
x+
Con lusin:
lm
x+
t2
t2
e
0
dt =
Z

dt lm
x+

2
et dt .
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
M = R, on la mtri a usual, y S = {x1 , x2 , . . . , xk },

xi R, i = 1, 2, . . . , k , enton es, S es raro en R
Ejemplo:
donde,
no tiene puntos interiores
Tambin,
Si
N, Q,
y ualquier sub onjunto de
R,
numerable, es
raro en
( 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 = R,
enton es S
Por ejemplo, si
nmeros enteros,
s mismo,
M.
on la mtri a usual, y
es magro en
son magros en
S = Z,
onjunto de los
M.
( on la mtri a usual).
Otro ejemplo, menos trivial, lo podemos onseguir, en el espa io

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
M,
de las
44
CAPTULO 4.
Como
S,
M,
tomamos el sub onjunto de
EL TEOREMA DE BAIRE.
formado por todas aquellas fun-
iones ontinuas on derivada en algn punto de

Resulta (ver
[4],
pgina 195) que
[0, 1].
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
Si
no es magro en
M =R
ategora en R.
Ejemplo: sea
segunda
(o no-magro):
( on la mtri a usual), y
S = R.
Enton es,
es de
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
gunda ategora en l mismo.
ompleto, enton es,
En onse uen ia, si
mtri o ompleto y
M=
+
[
M 6=
es de se-
es un espa io
Ak
k=1
( on ada
es
Ak
no va o.
errado en
M)
enton es, el
interior de, por lo menos, algn Ak ,
Demostra in:
Supongamos que el espa io mtri o
mismo. Enton es,
M=
M 6=
+
[
es ompleto y magro en s
Ak ,
k=1
donde, ada
xn M,
on
Ak
es
raro en M. Construiremos una su esin de Cau hy, (xn ),
para todo
n,
la ual nos ondu ir a una ontradi in.
Veamos:
A1
es raro en
M,
M
A1 6= M .
s ontiene a un abierto, no va io (por ejemplo,
no va o. Pero
Luego,
de modo que
A1
no ontiene un sub onjunto abierto,
mismo).
45
Enton es,
c
A1
es
no va o y abierto.
Elijamos un punto
B1 = B(x1 ; r1 ) A1 ,
Como
x1
on
A1 , y
r1 < 12 .
en
una bola abierta, digamos,
A2 es raro en M , tenemos que A2
no ontiene un onjunto abierto,

r
no va o. Por ejemplo, no ontiene la bola abierta B(x1 ; 1 ).
2
c
A2
As,
Sea
B(x1 ; r21 )
es un abierto, no va o.
B2 = B(x2 ; r2 ) A2 c
B x1 ;
r1
2
r2 <
on
r1
.
2
Por indu in, obtenemos una su esin de bolas abiertas:
Bk = B(xk ; rk ),
Bk
tales que,
Como
Ak = y
1
, la su esin
2k
rk <
Por la ompletitud de
M,
Bk+1
(xk ),
1
,
2k
rk
B xk ;
Bk ,
2
rk <
on
k = 1, 2, ...
de los entros, es de Cau hy.
di ha su esin onverge, digamos,
xk x M
Bn B(xm ; r2m ), de
rm
d(xm , x) d(xm , xn ) + d(xn , x) <
+ d(xn , x).
2
Tambin, para
m,n,
on
n > m,
+ d(xn , x) r2m ,
rm
< rm ,
d(xm , x)
2
Como
rm
2
Adems, ya que
Bm Am
se tiene:
uando
n +,
es de ir,
x
/
+
[
(4.1)
se sigue de (4.1), que:
para todo m.
x Bm ,
, resulta que
manera que:
x
/ Am ,
para todo
m.
Luego
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;
no va o, de transforma iones lineales ontinuas de

de que
{Ti (x)}
es un sub onjunto a otado, de
||Ti (x)|| cx ,
N,
en
N,
para ada
i = 1, 2, . . .
{Ti },
onjunto,
on la propiedad
x B,
digamos,
(4.2)
46
CAPTULO 4.
{||Ti||}
Enton es,
tal que
es un sub onjunto,
||Ti || c,
a otado, de R; o sea, existe c R,
i = 1, 2, . . .
(4.3)
Demostra in:
k,
Para ada
nmero natural, sea
Ak = {x B : ||Tn (x)|| k
Tenemos que:
Ak
En efe to, sea
x Ak .
Enton es, existe
para
n = 1, 2, ...}.
es errado.
(xj ),
su esin en
Ak ,
tal que,
xj x.
Pero,
(4.4)
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

que,
x Ak ,
Por otro lado,
||Tn (x)|| cx ,
Enton es,
Ak
y as,
y la ontinuidad de la norma
es errado.
dado x B ,
para
Tn
|| ||; de
se tiene que, segn (4.2), existe
cx ,
modo
tal que
n = 1, 2, 3, ...
pertene e a algn
Ak
B=
(basta tomar
+
[
k cx ).
De modo que,
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
B0 . Lo dems, orre por uenta de la linealidad de Tn , para ada
ve tor est en
n;
vemoslo:
Sea
r
x + x0
2||x||
r
||z x0 || = < r
2
z B0
z=
o sea,
||Tn (z)|| k0 , n = 1, 2, 3, . . .

r
||Tn
x + x0 || k0 ,
2||x||
||
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
c=
4k0
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,

Es ribamos un polinomio
la forma:
p(t) =
+
X
j=0
j tj ,
p,
no puede ser ompleto.
distinto del polinomio nulo, de grado
donde
j = 0,
para
j > Np ,
Np ,
en
48
CAPTULO 4.
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||.
p X , la su esin (|Tn (p)|) satisfa e

Np , tiene Np + 1 oe ientes, y as,
Adems, para ada

polinomio
p,
de grado
(4.2), porque un
|Tn (p)| (Np + 1) max |j | = cp ,

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

pn = 1 +
puede probarse que
(pn )
t2 t3
tn
+ + ...+ ,
2! 3!
n!
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
de la Apli a in Abierta.
Teorema
El est rela ionado on la apli a iones abiertas; stas son fun iones que envan 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
Completitud
el
Teorema
de
la
Apli a in
Uniforme,
la
propiedad
de
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
en B .
B,
ontiene una esfera abierta, entrada en el origen,
Demostra in:
Denotamos por Sr ySr , las bolas abiertas, on radio
entradas en el origen, en B y B , respe tivamente. Es simple probar que
r,
T (Sr ) = T (rS1) = rT (S1 ),

as que, es su iente probar que
T (S1 )
Comenzaremos mostrando que

Ya que
ontiene alguna
T (Sr )
Sr .
ontiene alguna
Sr .
es sobreye tiva, resulta que
B =
+
[
T (Sn ).
n=1
Como
es
ompleto,
tiene un punto interior,

La apli a in
de manera que
y0 ,
y 7 y y0 ,
T (Sn0 ) y0
Adems, ya que
T (Sn0 )
T (Sn0 ).
se sigue del Teorema de Baire que algn

el ual podemos asumir que est en
es un
homeomorsmo de B
sobre s mismo,
tiene el origen omo punto interior
y0 T (Sn0 ),
(4.5)
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 ).
50
CAPTULO 4.
Por otro lado, la multipli a in por un es alar, no nulo, es un homeomorB sobre s mismo, as,
smo de
T (S2n0 ) = 2n0 T (S1 ) = 2n0 T (S1 ).

Luego, el origen es, tambin, un punto interior de
S T (S1 ),
Ahora probaremos que
es de ir,
Ya hemos utilizado la ompletitud de
B;
o sea,
>0
para algn
S T (S3 ),
T (S1 ),
(4.7)
S T (S1 ).
3
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 ,
||x1 || < 1,
on
||y0 y1 || <
,
2
donde,
y1 = T (x1 ).
(4.8)
Tambin, de (4.7) se obtiene:
S T (S 1 ),
2
que, junto on (4.8), permite es ribir:
y0 y1 T (S 1 ).
2
De modo que, existe
x2 B ,
1
||x2 || < ,
2
donde,
(xn ),
y2 = T (x2 ).
B , tal que:
tal que:
||y0 (y1 + y2 )|| < ,

4
Prosiguiendo de esta manera, onseguimos una su esin
en
||xn || <
(4.9)
2n1
||y0 (y1 + y2 + ...yn )|| <
,
2n
donde,
yn = T (xn ),
n = 1, 2, . . .
(4.10)
51
Sn = x1 + x2 + ... + xn ;
Llamemos
De (4.9) se dedu e que

Como
(Sn )
es una su esin de Cau hy, en
B.
es ompleto, existe x B , tal que Sn x.
Adems,
||Sn || ||x1 || + ||x2 || + ... + ||xn || < 1 +
1
1 1
+ + ... + n1 < 2.
2 4
2
Por otro lado,
||x|| || lm Sn || = lm ||Sn || 2 < 3,

Ahora bien, usando la ontinuidad de
T,
x S3 .
es de ir,
se tiene:
T (x) = T (lm Sn ) = lm T (Sn ) = lm(y1 + y2 + ... + yn ) = y0 ,

(usando (4.10)).
Es de ir,
Con lusin:
S T (S3 ).
y0 T (S3 )
Teorema de la Apli a in Abierta.

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

Enton es,
y + Sr 0
entrada en el origen de
T (Sr )
ontiene alguna
es una bola abierta, entrada en
y,
B.
Sr 0
ontenida en
T (G),
pues:
y + Sr 0 y + T (Sr ) = T (x) + T (Sr ) = T (x + Sr ) T (G),

Finalmente, si
T 1 : B B ,
existe, resulta que, omo
usando
(4,11)
es abierta,
T 1
es ontinua (vale de ir, a otada. Ver [7, pgina 238)
Ejer i ios:
1)
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.
Una proye in
B un espa io de Bana h,
L y sean M y N , subespa ios ve toriales, errados,
B , tales que B = M
N (suma dire ta).
Sea
de
ni a
z B , omo una
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.
Si
z = x+y
es la
representa in de un ve tor
Demostra in:
Lo que no es tan trivial es la prueba de la ontinuidad de
Sea
B,
el espa io ve torial
B,
P.
equipado on la norma denida por:
||z|| = ||x|| + ||y||.

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

se sigue que
es ontinua, omo una apli a in de
en
B.
Basta enton es, para lograr nuestro propsito, probar que
misma topologa.
Sea
T : B B,
denida por:
T (w) = w .
Tenemos:
||T (z)|| = ||z|| = ||x + y|| ||x|| + ||y|| = ||z|| .
tienen
la
53
Luego,
es ontinua,
y,
adems, biye tiva.
As, en virtud del Teorema de la Apli a in Abierta,
smo, lo ual impli a que B y B
es un
homeomor-
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:
R2
por el Teorema de la Apli a in Abierta,
es abierta.
es lineal, ontinua, sobreye tiva;
En ambio,
son espa ios de Bana h. Luego,
no lo es.
A = B((0, 0); 1),
Basta onsiderar
R2 .
y notar que
W (A) = (1, 1),
el ual no
es abierto en
3) Sea X , el espa io ve torial normado uyos puntos son las su esiones de

x = (i ),
nmeros omplejos
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
es lineal y a otada, pero
T 1
no es ontinua.
Solu in:
Sea
C,
enton es:
T (x) = T (1 , 2 , . . .) = (1 ,
2 3
2 3
,
, . . .) = (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 , . . .)
54
CAPTULO 4.
T (x + y) = (1 + 1 ,
(1 ,
2 + 2
, . . .)
2
2 3
2 3
, , . . .) + (1 , , , . . .) = T x + T y
2 3
2 3
T es lineal.
Ahora,

n
2 3
||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:
Como
||x0 || = 1,
pero
||T 1 x0 || = k = k||x0 ||
puede ser tan grande omo se quiera, no existe
||T 1 x|| c||x||,

Luego,
vo.
T 1
no es
c,
tal que:
para todo x X
a otado (vale de ir, ontinuo).
4) Sean: X e Y , espa ios de Bana h; T : X Y , lineal, a otado, inye tiDemostrar que:
T 1 : R(T ) X,
es a otado si, y slo si,
R(T )
(donde,
R(T )
es errado en
es el rango de
T ),
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:
Sea
T 1 : R(T ) X
es a otado.
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,
desigualdad, on lumos que

De modo que, existe
(xn )
x X,
(yn )
es de Cau hy, y, usando la anterior
tambin es de Cau hy.
tal que
Usando, ahora, la ontinuidad de
xn x
T,
(ya que
es ompleto)
tenemos:
yn = T (xn ) T x.
As, de (4.12) y (4.13), se sigue:
En otras palabras,
R(T )
y = T x,
es errado en
o sea,
(4.13)
y R(T )
Y.
5) Re ordemos que el onjunto T , de todos los sub onjuntos abiertos

X , es llamado una topologa para X . En onse uen ia,
de un espa io mtri o
X dene una topologa para X . Si

X1 = (X, || ||1) y X2 = (X, || ||2 ) son
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 ),
ada norma sobre un espa io ve torial
tenemos dos normas en
Probar que
X,
tales que
T1 = T2 .
Demostra in: Consideremos la apli a in identidad I ,

I : X1 X2
I(x) = x.
Tenemos que
es lineal;
ontinua, pues todo abierto en X2
es abierto en
X1
X1 y X2 son espa ios de Bana h, resulta,
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.
Como
es sobreye tiva, y adems,
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 importante, que es des rita en trminos del on epto de gr o de una fun in.
56
CAPTULO 4.
Sean B y
B por:
B , espa ios de Bana h.
Denimos una mtri a sobre el produ to
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 oordenada.

Sea
una transforma in lineal de
El gr o de T
B B
es el sub onjunto de
(x, T x).
pares ordenados de la forma
en
T es ontinuo,
de B B .
F ilmente, vemos que si

errado, omo sub onjunto
Por su parte,
que onsiste de todos los
enton es su gr o,
Gr(T),
El Teorema del Gr o Cerrado estable e que:
B son espa ios de Bana h, y si T es una transforma in

on Gr(T ) errado, enton es, T es ontinua.
y
lineal de
es
B
B,
si
en
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
es ontinua omo apli a in de
Resta probar que
B1
B1
en
B.
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
Apli a in Abierta, garantizara que

esto terminara la prueba.
Sea
(xn ),
ompleto,
enton es, el Teorema de la
I : B1 B
es un
homeomorsmo
una su esin de Cau hy, en B1 . Esto impli a que

B y en B , respe tivamente.
(xn )
(T xn )
son su esiones de Cau hy en
Ya que ambos son espa ios
ompletos,
que:
||xn x|| 0
existen:
x B,
||T xn y|| 0
y B,
tales
(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 ,
fun iones ontinuas de
T x = x , donde, Y = C[0, 1], espa io de las

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

0t1
mientras que
X = {x Y : x Y }.
Sea
(z, y) Gr(T ),
(zn ),
enton es existe
zn z,
( onvergen ia en
T (zn ) = zn y
Ya que la onvergen ia en
su esin en
tal que:
X)
Y)
( onvergen ia en
es la
X,
onvergen ia uniforme, tenemos: Para
t [0, 1],
Z
y(u)du =
lm
0 n+
zn (u)du
= lm
n+
zn (u)du
= lm (zn (t) zn (0)) = z(t) z(0)

n+
O sea,
z(t) = z(0) +
y(u)du.
58
CAPTULO 4.
z X
De modo que,
T z = z = y
(de a uerdo al Teorema
Fundamental del Cl ulo).

En otras palabras,
Para ver que
(z, y) Gr(T ),
y as,
Gr(T )
es errado en
no es ontinua, basta onsiderar la su esin
xn : [0, 1] R
X Y.
(xn ),
donde,
xn (t) = tn .
es dada por:
Tenemos:
||xn || = max |xn (t)| = 1;

0t1
Mientras que,
||T (xn || = ||xn || = max |ntn1 | = n

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

xn
x
T
= n 9 0 = T (0)
n
n
pero,
Ejer i io:
Sean,
Y,
espa ios ve toriales normados;
gr o es errado. Probar que:

a) Si K X
b) Si K Y
) Si Y
es ompa to, enton es
T (K)
T 1 (K)
es ompa to, enton es,
d) Si X es ompa to, y T
T : X Y ,
es errado en
lineal,
uyo
Y.
es errado en
X.
es a otado.
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
tal que:
xnj x K.
(xnj ),
subsu esin de
(xn ),
59
As,
(xnj , T (xnj )) (x, y).

Luego,
(x, y) Gr(T ) = Gr(T )

En onse uen ia,
y = T x,
xK
on
O sea,
Con lusin:
T (K)
y 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
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)
Sea
ompa to.
F Y,
errado.
As que, por la parte b),
es errado es
Como
T 1 (F )
X.
es errado en
tambin es
X.
Queda, enton es, probado, que la imagen inversa de ada errado en

un errado en
X.
Y,
es
60
CAPTULO 4.
Es de ir,
es ontinuo (lase, a otado).
d) Tenemos:
T 1 : Y X .
La ompa idad de
Sea
impli a que
F X,
errado.
tambin es ompa to.
Para nuestro propsito, basta probar que
(T 1 )1 (F )
O sea, que
la parte a).
T (F ) es
errado en
Y;
es errado en
Y;
pero esto es, pre isamente, lo que arma

61
Bibliografa
[1
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 Company, 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 Universidade Estadual de Campinas, Brasil, 1995.

Teoremas Fundamentales

Transféré par

Informations du document

Titre original

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Teoremas Fundamentales

Transféré par

Droits d'auteur :

Formats disponibles

Teoremas Fundamentales

Jess Prez Sn hez

1. Teorema Fundamental de la Aritmti a.

2. El Teorema Fundamental del lgebra.

3. El Teorema Fundamental del Cl ulo

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

debemos re urrir a los

El objeto 0 ( ero) pertene e al onjunto

(el su esor de x).

(0 no es su esor de otro nmero natural).

(un nmero natural no puede ser su esor

de dos naturales distintos).

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

(ver [1, pg. 33)

Primer Prin ipio de Indu in Completa:

TEOREMA FUNDAMENTAL DE LA ARITMTICA.

un nmero natural, y supongamos que para ada natural

hay aso iada una arma in

enton es Ak+1 tambin

es verdadera }. Tenemos que, segn i),

Ahora, en virtud de ii), resulta que

An es verdadera, para todo n n0.

Admitamos que sea posible probar que:

ii) Para ada natural

An0 +k+1 tambin es verdadera; de modo

As, S satisfa e las ondi iones del axioma

es mltiplo de 15, para todo nmero natural

b) Demostrar que 2n > 2n + 1, para todo nmero natural n 3.

a) En este aso, An signi a:

es mltiplo de 15, la ual es verdadera.

Supongamos ahora que:

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

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

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:

Queremos saber si (1.3) impli a que

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

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

2k+1 > 2k+2k + 2

Usando este ltimo resultado en

2k+1 > 2k + 3 = 2(k+1)+1,

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

Prin ipio de Buena Ordena in (que

abreviaremos omo P.B.O):

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

TEOREMA FUNDAMENTAL DE LA ARITMTICA.

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

No olvidemos que queremos probar que

Tambin resulta que

tiene un elemento mnimo.

(P5 ), on luimos que:

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

Supongamos, enton es que

existe un nmero natural

Veamos a ontinua in, que el

impli a el Primer Prin ipio de in-

una propiedad, referida a los nmeros naturales.

n n0 veri a la propiedad P, enton es,

P.B.O, dedu imos que Y

posee un elemento mnimo (llam-

m0 > n0 . Luego, mo 1 es un nmero natural,

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

hay aso iada una arma in

a) En este aso, An signi a:

n n0 veri a la propiedad P, enton es,

no estn en A. Esto signi a que

(x, y), de R2 , es entero si sus oordenadas son