Documentos de Académico
Documentos de Profesional
Documentos de Cultura
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
21
31
4. El Teorema de Baire.
43
vi
NDICE GENERAL
Captulo 1
Teorema Fundamental de la
Aritmti
a.
N = {0, 1, 2, 3 . . .},
axiomas de Peano
(matemti o
italiano, 1858-1932):
(P1 )
(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.
x=y
(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,
s(x) = x + 1,
A partir de
para todo
(P5 ),
xN
podemos dedu ir el
CAPTULO 1.
Sea
n0
An0
i)
k k0 , si Ak
es verdadera.
En estas
ondi
iones,
Demostra
in:
Supongamos que
An0 +k
0 S.
k S.
es verdadera.
es verdadera,
S = {n N: An0 +n
Luego,
n n0 ,
es verdadera
Sea
An .
k + 1 S.
(P5 ).
S = N.
Ejemplo 1.1:
a)
Demostrar que
n 1.
24n 1
A1
es mltiplo de15.
es la arma in:
241 1
24k 1
Queremos ver si,
es mltiplo de 15, on
k 1.
(1.1)
3
Pero,
(1.2)
24(k+1) 1
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)
para
k3
2k+1 > 4k + 2
O sea,
Pero, omo
k 3,
resulta que
2k + 2 > 3.
(1.4)
(1.4), llegamos a:
omo queriamos.
CAPTULO 1.
{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,
A).
0 A, no
0
/ A,
X 6= N,
pues
luego,
enton es,
n0
/ A,
0 X.
X NA
As, en virtud de
m0 X
n0 X ,
que,
que
A 6= .
m0
tal
De modo que,
m0 + 1 A
En otras palabras,
m0 + 1
{0, 1, 2, . . . , m0 } N A.
es el elemento mnimo de
P.B.O
A.
du
in
ompleta.
En efe
to, sea
Supongamos que:
n0
tiene la propiedad
P.
(1.5)
Consideremos
Y = {n N, n n0 : n
Supongamos que
Apli
ando el
moslo
m0 ).
no umple
P}
Y 6= .
Que podemos de ir a er a de
m0 Y
m0 ?
(1.6)
5
(O sea:
m0 n0
m0
no umple P )
mo 1 no
tal que
y, adems,
m0
umple
Por lo tanto,
Y = .
Indu in Completa:
n n0
se umple
An
Si An0
Demostra in:
Sea
m0 ).
An ,
An
es falsa }
S 6= .
S
Tenemos que:
y
Am0
es falsa.
Como
(1.7)
S = .
m0 n0
on
Ak
n n0 .
S = {n N: n n0
n n0 ,
(para n0 k < n)
enton es, An
S = ,
An
Am0
(1.8)
para todo
k,
n n0 .
A N,
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 ).
no va o.
tales que
CAPTULO 1.
Como
X N A
A 6= ,
X 6= N.
Enton es, en virtud del Segundo Prin ipio de Indu in Completa, debe
existir un
que
m0 ,
Es de ir,
m0 A
0, 1, 2, . . . , m0 1
menores
es el elemento mnimo de A.
m0
equivalentes entre s.
El prximo Prin
ipio es de enun
iado muy sen
illo, pero de gran importan
ia,
ono
ido
omo el
Si
n+1 palomas son olo adas en n nidos, enton es, por lo menos, un nido
mximo de palomas, en
de gavetas ( on
r < n),
objetos en un
n.k+1 palomas
k+1 palomas"
k palomas, se ten-
Ejemplos:
1.1)
Solu in:
En este aso,
las personas de
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)
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.
(stos sern los "nidos": n=4). Como hay 5 puntos (5 "palomas"), enton
es,
en
aern, al menos,
dos
de di hos puntos.
1.3)
2 m.
Demostrar que
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 ).
x1 + x2
2
y1 + y2
2
(x2 , y2)
(x1 , y1 ),
es entero.
CAPTULO 1.
Ellos son los "ladrillos" de
onstru
in, a partir de los
uales, los otros
enteros son formados, multipli
ativamente.
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:
37 509,
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
Z[
5], va a estar
ons
a + b 5,
on a, b Z. (Tenemos as,
un sub onjunto de nmeros omplejos, on las opera iones de suma y multipli a in, usuales, de
C).
norma
2
2
N(a + b 5) = a + 5b (esta expresin se obtiene multipli
ando a + b 5
9
por su
y tambin,
21 = (1 + 2 5) (1 2 5).
(1.9)
3 = .
N(.) = N().N(),
ualesquiera sean
, Z[ 5]
As que,
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
a2 + 5b2 = 3,
Si
N() = 9,
= 1
enton es, es
on
N() = 1,
y resulta
enteros.
= 1.
3 =
1 3,
omo una
Z[ 5]
Z[ 5],
10
CAPTULO 1.
1 + 2 5 = .
Enton
es
Luego,
N() = 1,
Sea
3,
21.
= m + n 5.
Enton es
N() = 1
m = 1
impli a que
n=0
Si fuera
valores
Anlogamente, si
N() = 7,
Finalmente, para
N() = 21,
= 1
N() = 1,
= 1.
1 + 2 5 es irredu ible, en Z[ 5]
du to de irredu ibles, en
Z[ 5].
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
ni o
Lema 1.1:
Si
divide a
P = {2, 3, 5, 7, . . .}
Sean:
m.n,
p P,
enton es,
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:
Asumimos que
r, s N ,
tales que:
rp sm = 1
Por lo tanto
rpn smn = n
Ahora,
(1.10)
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
es un divisor de
q1 ,
(1.11)
Es ribamos:
Como p
q1 .q2 . . . qk
p divide
p = qk+1 .
divide a
qk+1 .
O sea,
divide a
q1 .q2 . . . qk
p = qj ,
para algn
j {1, 2, . . . , n}
nmeros
12
CAPTULO 1.
Demostra
in:
a) Existen
ia de la des
omposi
in de n.
Si
p1 = n.
n
/ P. Como n es un nmero
ompuesto, existe
d divide a n, digamos, n = d.n1 .
d N,
tal que:
1<d<n
1 < n1 < n.
Segundo Prin
ipio de Indu
in Completa,
uya hiptesis indu
tiva
onsiste
en admitir que:
r1 , r2 , . . . , rm , q1 , q2 , . . . , qs P,
d = r1 .r2 . . . rm ;
tales que,
n1 = q1 .q2 . . . qs
As,
p1 = q1 ,
qj s
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 .
qj s
que:
pi = qi ,
Si
l = k,
para todo
i {1, 2, . . . , k}
Sea, enton es
l > k.
i {1, 2, . . . , k}
13
En este
aso, llegaremos a que:
1 = qk+1 . . . ql ,
Por lo tanto,
on
lumos que
absurdo
Observa in:
n,
en la for-
n = p1 1 .p2 2 . . . pt t .
Donde los
pi s
ve es que el primo
son distintos, y
pi
apare e en la fa toriza in de
n.
P?
"
u = P1 .P2 . . . Pk + 1.
Este
u > Pi
para todo
i {1, 2, . . . , k}.
Pj P,
tal que
Pj
divide a
u.
m N,
u = P1 .P2 . . . Pk + 1 = m.Pj ,
lo
ual impli
a que:
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
neperianos.
He aqu, la
lsi
a prueba de que
es irra ional:
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
Como
es par
As podemos es ribir:
m = 2k ,
m2 = (2k)2 = 2n2
Luego, tambin
4k 2 = 2n2
k.
n2 = 2k 2 .
n es par.
n,
n.
es irra ional.
es solu in de la e ua in
x2 2 = 0
que
2 es un
ser solu
iones (ra
es) de e
ua
iones polinmi
as
on
oe
ientes enteros. (Para
analizar la irra
ionalidad de
e.
es
15
Resumiendo enton
es, ni
ni
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
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,
(a0 M + a1 M1 + . . . + an Mn ) + (a1 1 + a2 2 + . . . + an n ) = 0
(1.14)
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
entero k
no es
16
CAPTULO 1.
M=
donde,
(1.15)
grande.
Usaremos la siguiente nota
in:
M = e
= e
(1.16)
(1.17)
fun
in gamma:
() =
z 1 ez dz,
0
() = ( 1)!
(1.18)
(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
np+p
X Cj (j 1)!
(1)n (n!)p (p 1)!
+
.
(p 1)!
(p
1)!
j=p+1
M=
(j 1)!
(p 1)!
As, sa
ando
p,
resulta que:
es un entero mltiplo de p
no divide a
a0 6= 0, vemos
divisible por p.
Como adems,
a0
no es
En n, el produ to
a0 M
que si es ogemos
mayor que
p,
|a0 |,
enton es
grande.
M =
= z ,
e ,
olvidemos
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.
p! A
= p A ,
(p 1)!
= 1, 2, . . . , n.
M =
donde,
es un entero, y
es un entero,
mltiplo de p.
Y qu o urre on
a1 1 + a2 2 + . . . + an n ?
Segn (1.17),
n,
mayor que
|a0 |;
son:
g ,
los
z(z 1)(z 2) . . . (z n)
(z 1)(z 2) . . . (z n).ez+ ,
en
[0, n].
Luego,
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)
19
llega a ser, para valores de
>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,
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.
Con lusin:
es tras endente.
en el valor de una
20
CAPTULO 1.
Captulo 2
ai
an 6= 0 y n 1, tiene
f (z0 ) = 0.
n 2. Tenemos:
es un nmero omplejo,
Demostra in:
z0 ,
tal que:
22
CAPTULO 2.
donde,
|z| 1
As que,
|f (z)| |z|
Sea
n1
para
|z| mx
(2.1)
P0 = |f (0)| = |a0 |.
|f (z)| > P0 ,
Consideremos
D = {z C : |z| T }.
tal que,
|z| > T.
|z|n1 +,
n1 1
y que
T > 0,
para
Resulta que
es
R+1
1,
.
|an |
si
(2.2)
|z| +).
C = R2 ;
|f | : D R
punto z0 D .
al anza un
mnimo, en algn
|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 (z0 | |f (z)|,
z C.
para todo
z0
(2.3)
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,
P (0) = 0.
Pero,
P (z) = bn z n + bn1 z n1 + . . . + b1 z + b0 ,
donde,
bi C
P (0) = b0 .
Luego,
= 0. Supongamos que b0 6= 0,
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
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:
(2.6)
24
CAPTULO 2.
Por lo tanto,
k+1
|P (t0 w)| |b0 |(1 tk0 ) + tk+1
Q(t0 w)|
0 |w
(usando (2.6))
(2.7)
b0 6= 0
f (z0 ) = P (0) = b0 = 0
Corolario 2.1:
p(x) C[x],
on grado de
p(x),
mayor o igual a 1.
p(x)
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.
n.
p(x)
x0 C ,
tal que,
p(x0 ) = 0.
p(x) = (x x1 )(x x2 ) . . . (x xn ),
on
25
Corolario 2.3:
Un polinomio
real
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
p(x).
x zi
p(x).
donde,
R,
ya que es el
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
p(x).
(x zk )(x z k )
apare e en la fa toriza in de
Pero,
Corolario 2.4: Un polinomio real (no
onstante), irredu
ible, debe ser de
grado 1 2.
A : E E,
donde,
w E,
tal que,
Aw = w,
u, v E ,
v,
o sea,
Au = u + v
Av = u + v
Au
Av
26
CAPTULO 2.
E,
A,
Av ,
de
A : E E,
v F,
de ualquier ve tor
Si
a los ve tores de
uando
A(F ) F
F.
es invariante por
pertene e a
F , dene un
A : F F ). Enton
es,
nota in,
F E
A : E E,
la restri in
F ( E,
obtenemos un operador ms
Ejemplos:
a)
lineal
A:EE
{0}
0 ,
tal que,
Av = 0 v ,
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,
Au = u + v
Av = u + v
27
v E , se
A : E E ,
uando
auto-ve tor
llama
existe
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.
v tambin
w = v , que:
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
Ejemplos:
y
180o ,
eje
{ 0}
R2 .
y el plano
z = 0,
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:
A : E E,
mni o
donde,
es de
28
CAPTULO 2.
mayor poten
ia de
no-nulo,
v E,
es el 1)
tales que,
de grado 1 2, y un ve tor,
p(A)v = 0.
0 , 1 , ..., n ,no
0 I + 1 A + 2 A2 + ... + n An = 0
Sea
m ,
el oe iente,
(2.8)
m ,
resulta:
0 I + 1 A + ... + m1 Am1 + Am = 0
(2.9)
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:
pi (x)
Ahora s estamos en ondi iones de presentar la apli a in anun iada inmediatamente despus del orolario 2.4.
p(A)v = 0.
29
Si
p(x) = x ,
Luego,
enton es,
0 = p(A)v = (A I)v = Av v
Av = v .
p(x) = x2 + ax + b,
v,
es un subespa io (de
A.
(2.11)
A(Av) = aAv bv .
Av
es invariante por
A.
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
Av ,
tiene
30
CAPTULO 2.
Captulo 3
y
Re
ta pendiente:f
(x0 )
y = f (x)
A
y = f (x)
b
x0
a
A=
b
Rb
a
f (x)dx
32
CAPTULO 3.
y = f (x),
a,
x.
Es
ribimos:
F (x) =
f (u)du
Esta fun in
F (x)
y = f (u)
desde
u = a
hasta
u=x
y
F (x)
F : [a, b] R,
F : [a, b] R
enton
es,
es integrable, y
es denida por:
F (x) =
f (u)du,
x,
es:
F (x) = f (x).
33
F (x) F (x0 )
x0
O sea,
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
As que:
F (x) = lm+
xo x
Cuando
de
( laro
De imos
F (x) F (x0 )
= f (x)
x0 x
es
una primitiva
G (x) = f (x),
para todo
x [a, b]
enton es,
H(x) = G(x) + c,
donde,
es
ya que:
U = G H,
denida en
f,
en [a,b onsideremos:
[a, b].
Enton es,
34
CAPTULO 3.
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
[a, b],
Rx
F (x) =
anterior resulta:
f (u)du
F (x) = G(x) + c,
Pero,
G de f
Rb
siendo
f (x)dx,
f,
por lo
una onstante .
F (a) = G(a) + c
0 = G(a) + c
c = G(a).
As queda:
x = b,
obtenemos:
Ejemplos:
a) Como (ln x) =
1
, enton
es
x
2
1
dx = ln 2 ln 1 = ln 2.
x
sen 0 = 1.
2
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).
[a, b]
F es ontinua en
para todo
tenemos: existe
c (a, b),
tal que;
b
a
Y mo ser la derivada de
F (x) =
donde,
es ontinua, y
(x)
f (u)du,
a
es derivable?
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
(3.2)
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
on
x2
f (t, x3 )dt,
x1
x3 [c, d].
As,
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
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
dG
(p(y), q(y), y) =
dx3
q(y)
d
f (t, y)dt.
dy
p(y)
Ejemplos:
1) Sea
g(t) =
Solu in:
R t2
1
sen(x2 )dx.
2) Si
g(x) =
Solu in:
R tgx
x
et dt.
p
g ( 4 2 )
Hallar
r
4
=2
Solu in:
para todo
f (x) = f (x).
f (x) = cex ,
g (0) = 1 1 = 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
0
, y se reunen las
0
lm
x0
5) Una
Rx
0
sent2 dt
senx2
1
=
l
m
= .
3
2
x0 3x
x
3
a,
enton es,
1
2i
dz
za
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) = 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.
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
dw = xdt,
y resulta,
x2
g (x) = 2xe
ew
2
dw = 2ex
x
ew dw
f (x) + g (x) = 0,
donde,
a, b R,
w = tx;
para todo
son ualesquiera, on
x (a, b),
0
/ (a, b).
f (x) f (0)
= lm
f (0) = lm
x0
x0
x0
Rx
0
t2
2
dt
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,
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
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
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
ex (t +1)
lm
dt =
x+ t2 + 1
0dt = 0.
(3.7)
42
CAPTULO 3.
lm
x+
Z
x
0
2
2
et dt ,
y vale
lm
x+
Llamemos
an =
Tenemos que:
lmite es ).
4
Luego
(a2n )
Rn
et dt
0
et dt.
(an )
es una su esin
re iente,
De modo que
(an )
(an )
tal que
(a2n )
onverge (su
a otada.
tambin es
et dt
existe.
= 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.
la fuente de
Preparativos:
Un Sub
onjunto
S,
de un
Ejemplo:
donde,
Tambin,
Si
N, Q,
R,
numerable, es
raro en
( on la mtri a usual)
b) Magro en M
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).
f : [0, 1] R.
f, g M
se dene omo
43
M,
de las
44
CAPTULO 4.
Como
S,
M,
EL TEOREMA DE BAIRE.
[4],
[0, 1].
es magro en
M.
) 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
Teorema de Baire:
Si un espa
io mtri
o
M,
no va o, es
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
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
para todo
n,
Veamos:
A1
es raro en
M,
M
A1 6= M .
no va
o. Pero
Luego,
de modo que
A1
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
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
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, ...
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)
para todo m.
x Bm ,
, resulta que
manera que:
x
/ Am ,
para todo
m.
Luego
Am = M
k=1
B , espa io
de Bana h;
N,
{Ti (x)}
||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,
EL TEOREMA DE BAIRE.
i = 1, 2, . . .
(4.3)
Demostra
in:
k,
Para ada
Ak = {x B : ||Tn (x)|| k
Tenemos que:
Ak
x Ak .
para
n = 1, 2, ...}.
es errado.
(xj ),
su esin en
Ak ,
tal que,
xj x.
Pero,
(4.4)
||Tn (x)|| k,
x Ak ,
||Tn (x)|| cx ,
Enton
es,
Ak
y as,
y la ontinuidad de la norma
es errado.
dado x B ,
para
Tn
|| ||; de
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
47
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
c=
4k0
r
no es
ompleto.
Demostra
in:
Construiremos una
p(t) =
+
X
j=0
j tj ,
p,
donde
j = 0,
para
j > Np ,
Np ,
en
48
CAPTULO 4.
n,
denimos
EL TEOREMA DE BAIRE.
Tn : X R,
por:
Tn (0) = 0,
Tn (p) = 0 + 1 + ... + n1
La linealidad de
Tn
es inmediata; el que
Tn
as:
|j | ||p||
p,
de grado
(4.2), porque un
(Tn )
n = 1, 2, 3, ...
||Tn || c,
Sea
pn
para
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.
(pn )
t2 t3
tn
+ + ...+ ,
2! 3!
n!
(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.
en B .
B,
Demostra in:
r,
T (S1 )
ontiene alguna
T (Sr )
Sr .
ontiene alguna
Sr .
B =
+
[
T (Sn ).
n=1
Como
es
ompleto,
y0 ,
y 7 y y0 ,
T (Sn0 ) y0
Adems, ya que
T (Sn0 )
T (Sn0 ).
homeomorsmo de B
sobre s mismo,
y0 T (Sn0 ),
(4.5)
se sigue que
T (Sn0 ) y0 T (S2n0 ),
(4.6)
de modo que:
T (S2n0 ).
50
CAPTULO 4.
EL TEOREMA DE BAIRE.
Por otro lado, la multipli a in por un es alar, no nulo, es un homeomorB sobre s mismo, as,
smo de
S T (S1 ),
Ahora probaremos que
es de ir,
B;
o sea,
>0
para algn
S T (S3 ),
T (S1 ),
(4.7)
S T (S1 ).
3
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)
S T (S 1 ),
2
y0 y1 T (S 1 ).
2
x2 B ,
1
||x2 || < ,
2
donde,
(xn ),
y2 = T (x2 ).
B , tal que:
tal que:
en
||xn || <
(4.9)
2n1
,
2n
donde,
yn = T (xn ),
n = 1, 2, . . .
(4.10)
51
Sn = x1 + x2 + ... + xn ;
Llamemos
(Sn )
B.
Adems,
1
1 1
+ + ... + n1 < 2.
2 4
2
T,
x S3 .
es de ir,
se tiene:
Con lusin:
S T (S3 ).
y0 T (S3 )
B, B,
sobreye tiva.
Enton es,
T : B B,
transforma in lineal,
Por lo tanto, si
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.
tal que
y = T (x).
x + Sr ,
(4.11)
52
CAPTULO 4.
donde,
Sr
r,
y + Sr 0
EL TEOREMA DE BAIRE.
entrada en el origen de
T (Sr )
ontiene alguna
y,
B.
Sr 0
ontenida en
T (G),
pues:
T 1 : B B ,
usando
(4,11)
es abierta,
T 1
Ejer
i
ios:
1)
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.
son errados en
B ).
en
B.
misma topologa.
Sea
T : B B,
denida por:
T (w) = w .
Tenemos:
tienen
la
53
Luego,
es ontinua,
y,
es un
homeomor-
W : R2 R2 ,
denida por:
W (1 , 2 ) = (1 , 0)
Solu in:
R2
es abierta.
En ambio,
no lo es.
Basta
onsiderar
R2 .
y notar que
el ual no
es abierto en
nmeros omplejos
||x|| = sup |i |
i
Sea
T : X X,
denida as:
1
1
y = T x = 1 , 2 , 3 , . . .
2
3
Demostrar que
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 ,
EL TEOREMA DE BAIRE.
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.
T 1 (x) = (1 , 2 2 , 3 3 , . . .)
Si tomamos
tenemos:
Como
||x0 || = 1,
pero
||T 1 x0 || = k = k||x0 ||
vo.
T 1
no es
c,
tal que:
para todo x X
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 )
(xn )
x X,
(yn )
tal que
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.
de un espa io mtri o
Probar que
X,
tales que
T1 = T2 .
es lineal;
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
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:
EL TEOREMA DE BAIRE.
El gr o de T
B B
es el sub onjunto de
(x, T x).
en
T es ontinuo,
de B B .
enton es su gr o,
Gr(T),
lineal de
es
B
B,
si
en
B1
B1
en
B.
La apli a in identidad de
B1
sobre B
es ontinua, pues:
B1
es
(xn ),
ompleto,
I : B1 B
es un
homeomorsmo
(xn )
(T xn )
ompletos,
que:
||xn x|| 0
existen:
x B,
||T xn y|| 0
y B,
tales
(4.14)
57
(o sea,
Gr(T )
es errado en
B B,
impli a que:
(x, y) Gr(T ).
As,
y = T x.
B1
es ompleto, pues:
segn (4.14)
T : X Y ,
dada por
[0, 1]
en
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,
t [0, 1],
Z
y(u)du =
lm
0 n+
zn (u)du
= lm
n+
zn (u)du
O sea,
z(t) = z(0) +
y(u)du.
58
CAPTULO 4.
z X
De modo que,
EL TEOREMA DE BAIRE.
T z = z = y
(z, y) Gr(T ),
y as,
Gr(T )
es errado en
xn : [0, 1] R
X Y.
(xn ),
donde,
xn (t) = tn .
es dada por:
Tenemos:
Mientras que,
As,
xn
0,
uando n +,
n
xn
x
T
= n 9 0 = T (0)
n
n
pero,
Ejer
i
io:
Sean,
Y,
b) Si K Y
) Si Y
T (K)
T 1 (K)
d) Si X es ompa to, y T
T : X Y ,
es errado en
lineal,
uyo
Y.
es errado en
X.
es a otado.
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,
tal que:
xnj x K.
(xnj ),
subsu esin de
(xn ),
59
As,
y = T x,
xK
on
O sea,
Con lusin:
T (K)
y T (K).
es
errado en
Y.
(ynj ),
subsu esin de
(yn ),
tal que,
ynj y K.
Sea
xn = T 1 (yn ),
es de ir,
yn = T xn .
Tenemos que:
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.
es errado es
Como
T 1 (F )
X.
es errado en
tambin es
X.
X.
Y,
es
60
CAPTULO 4.
Es de ir,
EL TEOREMA DE BAIRE.
d) Tenemos:
T 1 : Y X .
La ompa idad de
Sea
impli a que
F X,
errado.
(T 1 )1 (F )
O sea, que
la parte a).
T (F ) es
errado en
Y;
es errado en
Y;
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
[3
[4
Lima, Elon Lages, Espa
os Mtri
os, Projeto Eu
lides, Rio de Janeiro,
1977.
[5
[6
[7
[8
[9
Kreyszig, Erwin, Introdu
tory Fun
tional Analysis with Appli
ations,
John Wiley
&
sons,INC., 1978.
[10
[11
[12
[13
Hans Radema
her y Otto Toeplitz, Nmeros y guras, Edi
iones Castilla,
S.A., 1970
[14
[15
[16
Howard Eves, Introdu o Historia da Matemti a, Editora Universidade Estadual de Campinas, Brasil, 1995.