Teor´ıa de la Integración

Anuncio
Teorı́a de la Integración
Prof. Alejandro Ramı́rez
Facultad de Matemáticas, PUC
Primer Semestre, 2013
Tarea 1
1. Caracterización de los abiertos en R. Sea O un abierto en R. Para cada x ∈ O definimos
bx := sup{b : (x, b) ⊂ O} y ax := inf{a : (a, x) ⊂ O}.
(i) Demuestre que los conjuntos {b : (x, b) ⊂ O} y {a : (a, x) ⊂ O} son no vacı́os.
(ii) Demuestre que (ax , bx ) ⊂ O.
(iii) Demuestre que ax ∈
/ O y bx ∈
/ O.
(iv) Concluya que existe una colección numerable de intervalos abiertos disjuntos {(ak , bk ) :
k ∈ N} tales que O = ∪∞
k=0 (ak , bk ).
2. Supremo de medida externa Considere un conjunto de ı́ndices I. Para cada i ∈ I considere
una medida externa µi . Pruebe que
inf µi
i∈I
es una medida externa.
3. Caracterización de continuidad. Sea f (x) : R → R una función que satisface la propiedad
del valor intermedio: si f (x0 ) = y0 y f (x1 ) = y1 , y y0 < y < y1 , entonces existe un x entre x0
y x1 tal que f (x) = y. Suponga que f (x) es monótona. Demuestre que f es continua.
4. Abierto extraño. Sea f , una biyección desde los naturales a los numeros racionales del
intervalo [0, 1]. Sea rn > 0, n ∈ N una sucesión decreciente tal que r1 < 1/2 y definamos el
abierto,
O(f, r) = ∪∞
n=1 B(f (n), rn ),
dónde para x ∈ [0, 1], r > 0, definimos B(x, r) = {y ∈ [0, 1] : |x − y| < r}. ¿ Si limn→∞ rn = 0,
existe una biyección f tal que 0(f, r) 6= [0, 1]?
5. Puntos de continuidad. Decimos que un subconjunto E de un espacio métrico es un conjunto
de tipo Fσ si se puede escribir como la unión de una cantidad numerable de cerrados. Sea D(f )
el conjunto de discontinuidades de una función f real acotada definida en un intervalo cerrado
[a, b]. Demuestre que D(f ) es un conjunto de tipo Fσ .
Sugerencia: Note que x ∈ D(f ) si y solo sihwf (x) > 0 donde wf (x) : [a, b] →i R es el módulo
de continuidad definido por w(x) := limδ→0 supy∈B(x;δ) f (y) − inf y∈B(x;δ) f (y) .
6. Puntos de convergencia. Sea fn una sucesión de funciones reales continuas. Muestre que el
conjunto de puntos donde esta sucesión converge es un Fσδ .
1
Descargar