Академический Документы
Профессиональный Документы
Культура Документы
es compacto.
[0,1]
1 2
,
3 3
2
[ ,1]
3
7 8
( , ).
9 9
se quita
1
[0, ]
3
se quita
1 2
( , )
9 9
Y asi
de
[0,1]
tenemos
que
demostrar
que
la
Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
K
es
El
En
van
llegara
pertenecer a la
1
3
1
3n
1
<
,
3n
, y en
en la segunda
1
9
tomamos la iteracin
categora?
c) Es de primera especie, ya que es la unin de un nico
conjunto denso en ninguna parte tal como hemos demostrado
Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
en
B .
2. Sea
f
f ( x )=xsen
( 1x )
( 2 )
x 0,
. Muestra que
(0, 2 )
Supongamos
intervalo abierto
(a , b)
que
extensin
era
una
y haba una
continua en
[a ,b ]
entonces
f era
f ,
de
x,
1
x
sen (x)
son continuas en
2
(0, )
y su
2
[0, ]
el valor
1
sen ( )
x tomara
. Luego
1
xsen( )
x
Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
g(0)=0
Y ya tenemos la funcin
2
[0, ]
es
2
uniformemente continua en (0, )
3. Sea
a) Muestra que f
f ( x )=
sen (x)
.
2
es una contraccin.
tal que
0<a <1
d ( f ( x), f ( y)) ad (x , y )
senx seny 1
= senxseny
2
2
2
x y
)
2
x y 1
1
3
x y d( x , y) d (x , y )
2
2
2
4
Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
3
4
tomado
1
2
servira.
b) Cul es su punto fijo?
Esa funcin no est bien definida, dice que es de
[0,2 ]
pero
[0,2 ]
en
Tal vez si
x=0
ya que
( sen 0 ) 0
= =0
2
2
Cf
4. Sea
[a, b]
[a ,b ]
, con
Considera la aplicacin
T :C f C f
[a ,b]
[a,b ]
, definida por:
T ( f )( x )= f ( t ) dt
a
Sea { f n }n N
Cf
[a, b]
Cf
[a, b]
Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
Por el enunciado est visto que se debe emplear ese corolario
de teorema de Arzela-Ascoli que ya usamos otra vez.
Primeramente
[a ,b ]
{T (f n) }
es equicontinua en
[a ,b ].
Lo ser si es
si
para toda g {T (f n) }
Comenzamos viendo cmo ser la distancia entre dos valores
de una funcin de {T (f n) }
x0
d ( T ( f n ) ( x ) , T ( f n ) ( x 0 ) ) =|T ( f n ) ( x ) T ( f n ) ( x 0 )|= f n ( t ) dt f n (t ) dt =
0
x0
x0
f n ( t ) dt f n ( t ) dt + f n (t ) dt = f n (t )dt
a
{f n }
fs
fi
. Toda funcin de
{f n }
x [ 0,1]
Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
El intervalo
[x , xo ]
intervalo sern
x0
x0
x0
f i ( t ) dt f n ( t ) dt f s ( t ) dt n
x
Sea
x0
x0
K=mx{ f i ( t ) dt , f s ( t ) dt }
x
Tendremos
x0
f n ( t ) dt K=Cx o x
x
Si tomamos = C
Tendremos
d (T (f n)( x ), T (f n )(x o )) Cx ox C =C
=
C
luego
d (T (f n)( x ), T (f n )(x o ))<
es equicontinua.
el conjunto
Eso
Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
lo cual sucede ya que los elementos de
V (x)
son integrales
fi
{T ( f n ) ( x ) } , es
{T (f n) }
es equicontinua y
Anlisis matemtico I
Unidad 3. Compacidad, complitud y categoras
que converge a una funcin f continua en
[a ,b ],
pero no
en el intervalo
ex
por ejemplo, y
T (f n )
y no sera
compacto.
Por lo tanto no es compacto por lo que acabo de decir.