Documente Academic
Documente Profesional
Documente Cultură
1. Espacios Métricos 3
1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Espacios métricos . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Nociones topológicas . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.4. Límites y continuidad . . . . . . . . . . . . . . . . . . . . . . . . 14
1.5. Espacios métricos completos . . . . . . . . . . . . . . . . . . . . 18
1.6. Ejemplos de espacios métricos completos . . . . . . . . . . . . . 22
1.6.1. El espacio C ( X; K) . . . . . . . . . . . . . . . . . . . . . . 23
1.6.2. El espacio `∞ . . . . . . . . . . . . . . . . . . . . . . . . . 25
1.6.3. El espacio ` p , 1 ≤ p < ∞ . . . . . . . . . . . . . . . . . . . 28
1.6.4. Otra prueba de la desigualdad de Minkowski en ` p . . . 36
1.7. Ejemplos de espacios métricos incompletos . . . . . . . . . . . . 38
1.7.1. El espacio Q de los números racionales . . . . . . . . . . 38
1.7.2. El espacio de los polinomios . . . . . . . . . . . . . . . . 39
1.7.3. El espacio C ([ a, b]) . . . . . . . . . . . . . . . . . . . . . . 39
1.8. Completamiento de un espacio métrico . . . . . . . . . . . . . . 42
1.9. El Teorema de Categoría de Baire . . . . . . . . . . . . . . . . . . 47
1.10. Problemas y ejercicios . . . . . . . . . . . . . . . . . . . . . . . . 53
i
Capítulo 1
Espacios Métricos
1.1. Introducción
En los cursos de Análisis Real hemos estudiado el espacio Rn así como sus
propiedades algebraicas y métricas. Los elementos de Rn fueron llamados
vectores y representados por x = ( x1 , x2 , . . . , xn ) . Sobre Rn definimos las
operaciones de adición y multiplicación por un escalar, que dotaron a Rn de
una estructura de espacio vectorial, lo cual nos permitió hablar de propiedades
y nociones de carácter geométrico como rectas, segmentos, planos, paralelismo,
ortogonalidad, etc.
En Rn las nociones métricas de distacia entre dos puntos surgen de manera
natural. Cuando n = 1, la distancia entre los puntos x, y ∈ R es dada por
| x − y| . Sobre R2 , la distancia entre los puntos P ( x1 , y1 ) y Q ( x2 , y2 ) se calcula
por medio de
q
PQ = ( x1 − x2 )2 + (y1 − y2 )2
PQ = ∑ ( x k − y k )2
k =1
1
2 Sección 1.1. Espacios Métricos
negativa que cumple con las propiedades intuitivas que tenemos en mente al
pensar en la distancia entre dos puntos del plano R2 : la propiedad triangular,
es decir, en todo triángulo ABC, la longitud de uno de los lados es menor
que la suma de las longitudes de los otros dos; la invarianza del valor de
la distancia al permutar el orden de los puntos y la nulidad del valor de la
distancia si y sólo si los puntos coinciden.
Una vez que Rn ha sido dotado de esta estructura métrica, definimos la
noción de convergencia de una sucesión en Rn , y demostramos dos resultados
básicos sobre los que descansa el Análisis Real: el Teorema de Cauchy-Bolzano
según el cual una sucesión es convergente si y sólo si es de Cauchy, y el Teorema
de Bolzano-Weierstrass que afirma que de toda sucesión acotada se puede extraer
una subsucesión convergente.
La propiedad sobre Rn según la cual toda sucesión de Cauchy en Rn es
convergente motiva la definición de espacios más generales con esta propiedad,
los espacios métricos completos, que estudiaremos en las próximas páginas.
La noción de espacio métrico fue introducida
por Maurice Fréchet1 en su famosa tesis doctoral
Sur quelques points du calcul fonctionnel, publicada
en 1906 y que tuvo una enorme influencia no
solo en el desarrollo del Análisis Funcional, sino
también de la Topología. En su tesis, Fréchet
introdujo la noción abstracta de distancia en un
conjunto, lo que permitió extender las nociones
habituales de vecindades, límites, continuidad,
etc. a conjuntos abstractos.
En este capítulo estudiaremos las ideas de
Fréchet. Presentaremos los espacios métricos M. Fréchet (1878-1973)
y estudiaremos los análogos abstractos de
distancia, topología y convergencia estudiados
1 M.R.
Fréchet (1878-1973). Matemático francés que estudió bajo la dirección de Jacques
Hadamard. Sus estudios lo llevaron a buscar una estructura más general que el espacio
euclideano Rn . En su tesis de 1906 introdujo las nociones de espacio métrico, completitud
y separabilidad.
V. R. Cabanillas Zannini
1.2. Introducción 3
m1) d ( x, y) ≥ 0;
m2) d ( x, y) = 0 ⇔ x = y;
m3) d ( x, y) = d (y, x ) ;
m4) d ( x, z) ≤ d ( x, y) + d (y, z) .
d ( x, y) = ∑ | x i − y i |2 ,
i =1
x = ( x 1 , . . . , x n ) , y = ( y 1 , . . . , y n ) , z = ( z 1 , . . . , z n ) ∈ Kn ,
y denotemos
ai = | xi − yi | , bi = | y i − z i |
Entonces
!1 !1
n 2 n 2
d ( x, y) + d (y, z) = ∑ | x i − y i |2 + ∑ | y i − z i |2
i =1 i =1
!1 !1
n 2 n 2
= ∑ a2i + ∑ bi2
i =1 i =1
!1
n 2
≥ ∑ ( a i + bi ) 2
.
i =1
V. R. Cabanillas Zannini
1.2. Introducción 5
d ( x, y) + d (y, z) ≥ ∑ ( a i + bi ) 2
i =1
!1
n 2
= ∑ (|xi − yi | + |yi − zi |) 2
i =1
!1
n 2
≥ ∑ | xi − zi | 2
= d ( x, z)
i =1
(1.3) d M ( x, y) = máx | xi − yi | ,
1≤ i ≤ n
Teorema 1.1. Desigualdad de Minkowski. Sean a1 , a2 , ..., an , b1 , b2 , ..., bn números reales no negativos,
entonces
!1 !1 !1
n 2 n 2 n 2
∑ ( a k + bk ) 2 ≤ ∑ a2k + ∑ bk2
k =1 i =1 i =1
dY ( x, y) = d ( x, y) , ∀ x, y ∈ Y
lı́m xn = x.
n→∞
Equivalentemente, d ( xn , x ) → 0.
2. Si xn → x , yn → y , entonces d ( xn , yn ) → d ( x, y) .
d ( xn , yn ) ≤ d ( xn , x ) + d ( x, y) + d (y, yn )
V. R. Cabanillas Zannini
1.2. Introducción 7
Análogamente
d ( x, y) ≤ d ( xn , x ) + d ( xn , yn ) + d (y, yn ) .
Luego
−d ( xn , x ) − d (y, yn ) ≤ d ( xn , yn ) − d ( x, y) ≤ d ( xn , x ) + d (y, yn ) .
Es decir
|d ( xn , yn ) − d ( x, y)| ≤ d ( xn , x ) + d (y, yn ) → 0.
Como xn → x, yn → y entonces d ( xn , x ) y d (y, yn ) tienden a cero, por lo
tanto d ( xn , yn ) → d ( x, y).
Demostración. La prueba sigue las mismas ideas del caso real. Queda como
ejercicio para el lector.
1
(0, 1) con la métrica euclideana, consideremos la sucesión xn = , n ∈ N.
n
Probemos que esta sucesión es de Cauchy: dado ε > 0, existe n0 ∈ N tal que
2 1 1 1
< ε. Entonces, para todo n, m ≥ n0 se tiene que , ≤ , luego
n0 n m n0
1 1 2
d ( xn , xm ) = − ≤
< ε.
n m n0
Por lo tanto { xn } es una sucesión de Cauchy en el espacio métrico (0, 1) con
la métrica euclideana. Sin embargo, esta sucesión no es convergente en tal
espacio.
V. R. Cabanillas Zannini
1.3. Introducción 9
Br ( a) = { x ∈ X; d ( x, a) < r } .
Br ( a) = { x ∈ X; d ( x, a) ≤ r } .
Sr ( a) = { x ∈ X; d ( x, a) = r } .
Las bolas abiertas son conjuntos abiertos. Las bolas cerradas son ejemplos
de conjuntos cerrados
c. El conjunto A es denso en X si A = X.
V. R. Cabanillas Zannini
1.3. Introducción 11
ii ) x ∈ B si y solamente si ı́nf {d ( x, y) ; y ∈ B} = 0.
∀r>0: Br ( x0 ) ∩ ( A − { x0 }) 6= ∅.
V. R. Cabanillas Zannini
1.4. Introducción 13
todo ε > 0, existe δ > 0 tal que para todo x ∈ A con 0 < d X ( x, p) < δ se tiene
que dY ( f ( x ) , q) < ε. En tal caso, denotaremos
lı́m f ( x ) = q.
x→ p
Teorema 1.10. Con las mismas notaciones de la definición anterior se tiene que
lı́m f ( x ) = q
x→ p
lı́m f ( xn ) = q.
n→∞
a ) f es continua en el punto x ∈ X.
V. R. Cabanillas Zannini
1.4. Introducción 15
i ) f es continua.
f ( Bδ ( x )) ⊂ Bε ( f ( x )) .
Ejemplo 1.6. Todo espacio métrico discreto es completo pues sus sucesiones
de Cauchy son constantes.
V. R. Cabanillas Zannini
1.5. Introducción 17
V. R. Cabanillas Zannini
1.5. Introducción 19
Esto quiere decir que la sucesión {d ( xnk , x0 )} está acotada, lo cual es absurdo
pues
d ( xnk , x0 ) > nk , para todo k ∈ N.
V. R. Cabanillas Zannini
1.6. Ejemplos de espacios completos 21
1.6.1. El espacio C ( X; K)
Definición 1.17. Sea ( X, d) un espacio métrico. El conjunto de las funciones
continuas f : X → K será denotado por C ( X; K) . Supongamos que ( X, d)
es compacto, entonces por el teorema 1.19, la siguiente aplicación está bien
definida sobre C ( X; K):
(1.4) d ( f , g) = sup {| f ( x ) − g ( x )| ; x ∈ X } , ∀ f , g ∈ C ( X; K) .
d ( f , g) = sup {| f ( x ) − g ( x )| ; x ∈ X } = 0.
| f ( x ) − g ( x )| ≤ sup {| f ( x ) − g ( x )| ; x ∈ X } = 0, ∀ x ∈ X.
d ( f , g) = sup | f ( x ) − g ( x )|
x∈X
≤ sup (| f ( x ) − h ( x )| + |h ( x ) − g ( x )|)
x∈X
≤ sup | f ( x ) − h ( x )| + sup |h ( x ) − g ( x )|
x∈X x∈X
= d ( f , h) + d (h, g) .
| f n ( x ) − f ( x )| < ε,
es decir,
| f n ( x ) − f ( x )| → 0, para todo x ∈ X.
Luego, como
V. R. Cabanillas Zannini
1.6. Ejemplos de espacios completos 23
d ( f n , f m ) = sup {| f n ( x ) − f m ( x )| ; x ∈ X } < ε.
(1.6) | f n ( x ) − f ( x )| ≤ ε.
Observación 1.16. El teorema anterior, nos da otra razón para que la métrica
(1.4) sea llamada uniforme. Dada una sucesión { f n } ⊂ C ( X ) tal que d ( f n , f ) →
0, entonces como se probó en (1.6), { f n } converge a f uniformemente sobre
X.
1.6.2. El espacio `∞
Sea X el conjunto de todas las sucesiones acotadas de números reales (o
complejos), es decir, cualquier elemento de X es una sucesión real o compleja
ξ = { ξ 1 , ξ 2 , . . .} = { ξ k } ,
|ξ k | ≤ Cξ ,
donde η = {ηk } ∈ X.
Se prueba que la aplicación (1.7) define una métrica sobre X (pruébelo) con
lo cual ( X, d) es un espacio métrico. En adelante, denotaremos a este espacio
métrico por `∞ . A continuación probaremos algunas propiedades de `∞ .
ξ n = {ξ n1 , ξ n2 , . . .} .
(1.8) |ξ ni − ξ mi | < ε,
(1.9) |ξ ni − αi | ≤ ε,
V. R. Cabanillas Zannini
1.6. Ejemplos de espacios completos 25
|αi | ≤ |αi − ξ ni | + |ξ ni | ≤ ε + k n
d (ξ n , α) = sup |ξ ni − αi | ≤ ε.
i
c = {{ xn } ; xn ∈ C, { xn } es convergente} ,
y n o
c0 = { xn } ; xn ∈ C, lı́m xn = 0 .
n→∞
Notemos que al ser convergentes, cualquier sucesión en c o c0 también es
un elemento de `∞ . Más aún, ya que la combinación lineal de sucesiones
convergentes, es convergente y si las sucesiones componentes tienden a cero,
entonces cualquier combinación lineal de ellas también tenderá a cero, podemos
afirmar que c y c0 son subespacios vectoriales de `∞ . Luego, (c, d) y (c0 , d) son
espacios métricos con la métrica inducida por `∞ .
con la métrica
!1
∞ p
(1.10) d (ξ, η ) = ∑ | ξ k − ηk | p , ∀ ξ, η ∈ ` p ,
k =1
∞ ∞
donde ξ = {ξ k } , η = {ηk } y ∑ |ξ k | p < ∞, ∑ |ηk | p < ∞.
k =1 k =1
Es claro que la fórmula anterior satisface las condiciones (d1) , (d2) y (d3)
de la definición de métrica sobre ` p . Con el fin de demostrar la desigualdad
triangular, necesitamos unos resultados previos.
Dado p > 1, el número q definido por medio de la fórmula
1 1
+ =1
p q
V. R. Cabanillas Zannini
1.6. Ejemplos de espacios completos 27
Luego,
si y = x p−1 entonces x = yq−1 .
Dados dos números reales positivos α y β, entonces
β < α p −1 ó β > α p −1 ó β = α p −1
Gráficamente tenemos
mientras que el área 2 es menor que el área de la región bajo la curva y = x p−1
y comprendida entre x = 0 y x = α, es decir,
Z α
Área 2 < x p−1 dx.
0
Luego,
αp βq
Z α Z β
p −1
αβ = Área 1 + Área 2 < x dx + yq−1 dy = + .
0 0 p q
αp βq
αβ ≤ + ,
p q
x = p ln α , y = q ln β.
V. R. Cabanillas Zannini
1.6. Ejemplos de espacios completos 29
(1.12) ∑ | ξ k ηk | ≤ ∑ |ξ k | p ∑ | ηk | q .
k =1 k =1 k =1
Demostración. Denotemos
!1 !1
∞ p ∞ q
(1.13) A= ∑ |ξ k | p y B= ∑ | ηk | q ,
k =1 k =1
n o
entonces, las sucesiones ξe = ξe1 , ξe2 , . . . = ξek y η = (ηe1 , ηe2 , . . .) = {ηek }
definidas por
ξ η
ξek = k y ηek = k
A B
p q
pertenecen a ` y ` respectivamente. Notemos que
∞ p ∞
∑ ξ k = ∑ |ηek |q = 1.
e
k =1 k =1
Entonces, aplicando el lema anterior a ξek y |ηek | obtenemos
p
|ηe |q
e
ξ k
ξ k ηek ≤ + k .
e
p q
∞ 1 ∞ e p 1 ∞ 1 1
∑ ξ k ηek ≤ p ∑ ξ k + q ∑ |ηek |q = p + q = 1.
e
k =1 k =1 k =1
Pero
∞ 1 ∞
∑ k k AB ∑ |ξ k ηk | .
=
e
ξ η
e
k =1 k =1
Luego, por (1.13), tenemos
!1 !1
∞ ∞ ∞ p ∞ q
∑ |ξ k ηk | ≤ AB ∑ ξ k ηk = AB = ∑ |ξ k | p
∑ | ηk | q
.
e
e
k =1 k =1 k =1 k =1
∑ | ξ k ηk | ≤ ∑ | ξ k | 2
∑ | ηk | 2
,
k =1 k =1 k =1
(1.14) ∑ | ξ k + ηk | p
≤ ∑ |ξ k | p
+ ∑ | ηk | p
k =1 k =1 k =1
para 1 ≤ p < ∞.
V. R. Cabanillas Zannini
1.6. Ejemplos de espacios completos 31
Luego
| ξ k + ηk | p ≤ 2 p | ξ k | p + | ηk | p .
es decir
(1.16) | ω k | p ≤ | ξ k | | ω k | p −1 + | η k | | ω k | p −1 .
entonces
| a + b| p ≤ 2 p (máx {| a| , |b|}) p .
Pero
(máx {| a| , |b|}) p = máx | a| p , |b| p ,
enonces
| a + b| p ≤ 2 p máx | a| p , |b| p ≤ 2 p | a| p + |b| p
= ∑ |ξ k | p
∑ | ωk | p
.
k =1 k =1
n o
p −1
Análogamente como {ηk } ∈ y | ωk | `p ∈ `q , aplicando la desigualdad
de Hölder a la segunda serie de (1.17):
!1 !1
∞ ∞ p ∞ q q
(1.19) ∑ | η k | | ω k | p −1 ≤ ∑ | ηk | p ∑ | ω k | p −1
k =1 k =1 k =1
!1 !1
∞ p ∞ q
= ∑ | ηk | p
∑ | ωk | p
.
k =1 k =1
≤ ∑ |ξ k | p
∑ | ωk | p
+ ∑ | ηk | p
∑ | ωk | p
.
k =1 k =1 k =1 k =1
1 1 1
Dividiendo por ∑ |ωk | p q
y teniendo en cuenta que 1 − = obtenemos la
q p
versión finita de (1.14)
!1 !1 !1
∞ p ∞ p ∞ p
∑ | ωk | p ≤ ∑ |ξ k | p + ∑ | ηk | p .
k =1 k =1 k =1
∑ | ξ k + ηk | p
≤ ∑ |ξ k | p
+ ∑ | ηk | p
,
k =1 k =1 k =1
V. R. Cabanillas Zannini
1.6. Ejemplos de espacios completos 33
d (x, y) = ∑ | ξ k − ηk | p ≤ ∑ [|ξ k − ζ k | + |ζ k − ηk |] p
k =1 k =1
!1 !1
∞ p ∞ p
≤ ∑ |ξ k − ζ k | p + ∑ | ζ k − ηk | p = d (x, z) + d (z, y)
k =1 k =1
xn = (ξ n1 , ξ n2 , . . .) .
(1.20) d (xn , xm ) = ∑ |ξ ni − ξ mi | p
< ε,
i =1
x = ( ξ 1 , ξ 2 , . . .) .
Haciendo m → ∞, obtenemos
k
∑ |ξ ni − ξ i | p < ε p , para k = 1, 2, ...
i =1
x = xn + (x − xn ) ∈ ` p .
f ( t ) = t 1− p a p + (1 − t )1− p b p .
V. R. Cabanillas Zannini
1.6. Ejemplos de espacios completos 35
f 0 ( t ) = (1 − p ) t − p a p − (1 − p ) (1 − t ) − p b p .
t − p a p = (1 − t ) − p b p ,
a
de donde t = es un punto crítico de f . Como p > 1, a > 0 y b > 0
a+b
entonces
∞ ∞ ∞
( )
(1.23) ∑ |ξ k + ηk | p ≤ ı́nf
0< t <1
t 1− p ∑ | ξ k | p + (1 − t )1− p ∑ | ηk | p .
k =1 k =1 k =1
ı́nf
0< t <1
t 1− p ∑ | ξ k | p + (1 − t )1− p ∑ | ηk | p = ∑ |ξ k | p + ∑ | ηk | p .
k =1 k =1 k =1 k =1
∑ | ξ k + ηk | p
≤ ∑ |ξ k | p
+ ∑ | ηk | p
.
k =1 k =1 k =1
d ( p, q) = | p − q| , p, q ∈ Q.
V. R. Cabanillas Zannini
1.7. Ejemplos de espacios completos 37
d ( p1 , p2 ) = máx | p1 ( x ) − p2 ( x )| .
x ∈[ a,b]
Z b
(1.25) d ( f , g) = | f ( x ) − g ( x )| dx,
a
define una métrica sobre C ([ a, b]) . ¿Es C ([ a, b]) completo con esta métrica?
De manera más general, si ( X, d) es un espacio métrico completo y d1 es otra
métrica sobre X, ¿es completo el espacio ( X, d1 )?
Consideremos la sucesión de funciones continuas { f n } en C ([0, 1]) definida
por
1
0 , 0≤x<
2
n+1 1 1 1
f n (x) = ( n + 1) x − , ≤x< +
2 2 2 n+1
1 1
1 , + ≤x≤1
2 n+1
Probaremos que estas funciones forman una sucesión de Cauchy que no es
convergente en C ([0, 1]) . Basta observar el comportamiento geométrico de la
sucesión, para lo cual mostramos las cuatro primeras de ellas en la siguiente
figura:
V. R. Cabanillas Zannini
1.8. Completamiento de un espacio métrico 39
Si C ([0, 1]) fuese completo con la métrica (1.25) entonces existiría una
función f ∈ C ([0, 1]) tal que d ( f n , f ) → 0, es decir
1 1 1
2 + n +1
Z Z Z 1
2
d ( fn, f ) = | f ( x )| dx + 1
| f n ( x ) − f ( x )| dx + 1 1
|1 − f ( x )| dx.
0 2 2 + n +1
V. R. Cabanillas Zannini
1.8. Completamiento de un espacio métrico 41
d X ( x1 , x2 ) = dY (i ( x1 ) , i ( x2 )) , ∀ x1 , x2 ∈ X
De esta definición vemos que una isometría es una aplicación que “preserva
distancias”. Además, si dos espacios métricos son isométricos, estos poseen
la misma estructura topológica. Por ejemplo, una sucesión { xk }k∈N converge
a x en X si y solamente si, su imagen {i ( xk )}k∈N bajo la isometría i, converge
a i ( x ) en Y. Definamos el completamiento de un espacio métrico X.
Probaremos que cualquier espacio métrico puede ser completado por medio
de una inmersión isométrica y densa en un espacio métrico completo.
d ( xn , yn ) ≤ d ( xn , xm ) + d ( xm , ym ) + d (ym , yn ) ,
d ( xn , yn ) − d ( xm , ym ) ≤ d ( xn , xm ) + d (ym , yn ) .
d ( xm , ym ) − d ( xn , yn ) ≤ d ( xm , xn ) + d (yn , ym ) .
V. R. Cabanillas Zannini
1.8. Completamiento de un espacio métrico 43
|d ( xn , yn ) − d ( xm , ym )| ≤ d ( xn , xm ) + d (ym , yn ) .
Como { xn } e {yn } son sucesiones de Cauchy en X, entonces d ( xn , xm ) y
d (ym , yn ) pueden hacerse arbitrariamente pequeños, de donde concluimos
que {d ( xn , yn )} es una sucesión de Cauchy de números reales. Luego, la
completitud de R implica la existencia de lı́m d ( xn , yn ) . Por lo tanto, db está
n→∞
bien definida. Ahora probaremos que db es una métrica sobre X b . En efecto,
de la definición de db discurre que db( xb, yb) ≥ 0 para todo xb, yb ∈ X. b Además, si
db( xb, yb) = 0 entonces lı́m d ( xn , yn ) = 0, lo cual quiere decir que las sucesiones
n→∞
{ xn } y {yn } son equivalentes y en consecuencia, sus clases de equivalencia
son iguales, i.e., xb = yb. La condición de simetría db( xb, yb) = db(yb, xb) es evidente.
Probemos la desigualdad triangular. Como
d ( xn , yn ) ≤ d ( xn , zn ) + d (zn , yn ) ,
haciendo n → ∞ tenemos
1
(1.28) zn ) < .
db( xbn , b
n
De aquí, por la desigualdad triangular:
db(b zn ) ≤ db(b
zm , b zm , xbm ) + db( xbm , xbn ) + db( xbn , b
zn )
1 1
< + db( xbm , xbn ) + .
m n
b entonces db( xbm , xbn ) → 0. Luego db(b
Como { xbn } es de Cauchy en X zn ) < ε
zm , b
para todo m, n suficientemente grandes, es decir, {b zm } es una sucesión de
Cauchy. Siendo T : X → Y una isometría y {b zm } de Cauchy en Y, entonces la
sucesión
z m = T −1 b
zm
1
db( xbn , xb) ≤ db( xbn , b zn , xb) < + db(b
zn ) + db(b zn , xb) .
n
Como {zm } ∈ xb y {b
zn } ⊂ Y entonces (zn , zn , . . .) ∈ b
zn , luego
zn , xb) = db((zn , zn , . . .) , b
db(b zm ) = db((zn , zn , . . .) , (zm , zm , . . .)) = lı́m d (zn , zm ) .
n→∞
1 1 1
db( xbn , xb) < + db(b
zn , xb) = + lı́m d (zn , zm ) = .
n n n→∞ n
V. R. Cabanillas Zannini
1.9. El Teorema de Baire 45
db(ub, vb) = lı́m db(ubn , vbn ) = lı́m de(uen , ven ) = de(ue, ve) = de( ϕ (ub) , ϕ (vb)) .
n→∞ n→∞
aun, notó que la demostración de Baire también era válida para este caso
más general, dando así lugar al resultado que hoy en día conocemos como
Teorema de Baire, o tal vez debería llamarse Teorema de Osgood-Baire-Banach.
V. R. Cabanillas Zannini
1.9. El Teorema de Baire 47
ahora que A es un subconjunto flaco de X, entonces int A = ∅, es decir,
c c
int A = ∅. Entonces, por lo que acabamos de observar, esto es
c
equivalente a que A es denso en X, es decir, X − A es denso en X. Por
lo tanto
A es flaco si, y sólo si X − A = X.
Ejemplo 1.12. Si ( X, d) es un espacio métrico discreto entonces el único conjunto
En efecto, seaA ⊂ X un conjunto flaco no vacío y
flaco es el conjunto vacío.
sea x ∈ A, entonces int { x } ⊂ int A = ∅ . Pero en un espacio discreto,
{ x } es abierto y cerrado, entonces int { x } = { x } . Luego, tendríamos que
{ x } ⊂ ∅, lo cual es absurdo. Por lo tanto, A = ∅ .
Definición 1.22. Sea ( X, d) un espacio métrico. Diremos que un conjunto
A ⊆ X es de categoría I si se puede expresar como la unión numerable de
subconjuntos flacos. Los subconjuntos de X que no son de categoría I son
llamados de categoría II.
Ejemplo 1.13. Como el conjunto vacío ∅ es un conjunto flaco, entonces ∅ es
de categoría I.
Ejemplo 1.14. El conjunto Q de los números racionales con la métrica usual
que hereda de R es de categoría I. En efecto,
sea {q1 , q2 , . . .} una enumeración
de Q, entonces Q = { xi } . Como int { xi } = ∅, entonces para cada i, el
[
1
r k +1 < r1 .
2k
V. R. Cabanillas Zannini
1.9. El Teorema de Baire 49
1
d ( xm , xn ) ≤ 2rk0 < r1 < ε,
2k 0 −2
es decir, { xk } es una sucesión de Cauchy y consecuentemente, converge a un
elemento x ∈ X, debido a la completitud de X. Más aun, si n > m tenemos
1
d ( xm , x ) ≤ d ( xm , xn ) + d ( xn , x ) < rm + d ( xn , x ) ,
2
y haciendo n → ∞ obtenemos
1
d ( xm , x ) ≤ rm .
2
Teorema 1.27. Sea ( X, d) un espacio métrico completo, y sea {Cn } una familia
S
numerable de subconjuntos cerrados de X tal que Cn = X. Entonces, al menos
n =1
uno de los conjuntos Cn contiene una bola abierta, es decir, existe n0 ∈ N y ε > 0 tal
que Bε ( x0 ) ⊂ Cn0 .
Proposición 1.5. El espacio (con cualquier métrica) de los polinomios en una variable
no es un espacio completo.
V. R. Cabanillas Zannini
1.10. El Teorema de Baire 51
6. Pruebe que las aplicaciones definidas en (1.1), (1.2) y (1.3) definen métricas.
15. Con la misma notación del ejercicio anterior, pruebe que las aplicaciones
q
d ( x, y) = d X ( x1 , y1 )2 + dY ( x2 , y2 )2
e
db( x, y) = máx {d X ( x1 , y1 ) , dY ( x2 , y2 )}
definen métricas sobre X × Y.
V. R. Cabanillas Zannini
1.10. El Teorema de Baire 53
Y = { f ∈ C ([ a, b]) ; f ( a) = f (b)}
es completo.
5 Sugerencia. Basta encontrar una sucesión de Cauchy en P ([ a, b]) que converge a una
función continua en [ a, b] pero que no es un polinomio.
V. R. Cabanillas Zannini
Bibliografía
[8] Fréchet, M., Sur quelques points du calcul fonctionnel, Thèse, Paris, 1905.
Rendiconti Circolo Mat. Palermo, 22, 1906, 1–74.
55
56 Sección 1.10. BIBLIOGRAFÍA
[13] Kreyszig, E., Introductory Functional Analysis with Applications. John Wiley
& Sons, Inc., 1978.
[14] Lang, S., Real and Functional Analysis, Springer, New York, 1993.
[16] Lima, E., Curso de Análise, vol 1, 14va edición, Projeto Euclides, IMPA,
Brasil, 2016.
[17] Lima, E., Curso de Análise, vol 2, 11va edición, Projeto Euclides, IMPA,
Brasil, 2015.
[19] Royden, H.L., Real Analysis, MacMillan Publishing Co., Inc., 1988.
[23] Zeidler, E., Nonlinear Functional Analysis and its Applications: Volume
(II/A) Linear Monotone Operators. Springer, New York, 1990.
V. R. Cabanillas Zannini