Professional Documents
Culture Documents
Nociones de Cardinalidad
La noción de cardinalidad permite clasificar a los conjuntos, en cuanto al número de
sus elementos, como conjuntos finitos e infinitos, infinitos numerables e infinitos no nume-
rables. Esta noción será de particular utilidad en los temas de separabilidad y compacidad
de espacios métricos y normados. En este capı́tulo se introduce el concepto de cardinalidad
y se analizan algunas técnicas y resultados que ayudan a determinar cuándo un conjunto
pertenece a alguna de esas clases.
Jn = {k ∈ N | k ≤ n}, ∀n ∈ N,
1.4 Ejemplo. Se tiene: ]0, 1[∼]0, 1] ∼ [0, 1[∼ [0, 1] ∼ [a, b], ∀a < b.
1
Una relación “∼” sobre algún conjunto se dice que es una relación de equivalencia si satisface:
i. x ∼ x; ii. x ∼ y =⇒ y ∼ x; iii. x ∼ y y y ∼ z =⇒ x ∼ z, ∀x, y, z.
2 1. Nociones de Cardinalidad
Para probar, por ejemplo, que ]0, 1] ∼]0, 1[ basta definir f :]0, 1] →]0, 1[ como
⎧
⎪
⎨x si x = 1/n, n ∈ N,
f (x) =
⎪
⎩ 1
n + 1 si x = 1/n, n ∈ N.
El lector puede verificar las demás equivalencias como ejercicio.
1.5 Definición. La cardinalidad de un conjunto A, denotada por Card (A), es por defini-
ción el número de elementos de A. Por convención, Card (∅) = 0.
1.6 Definición. Se dice que un conjunto X es finito si es vacı́o o existe n ∈ N tal que
X ∼ Jn . En este último caso, se escribe
Card (X) = n.
Card (X) = ℵ0 .
es evidentemente biyectiva.
Es posible introducir un orden total entre los números cardinales de la siguiente manera.
Dados dos conjuntos X y Y se tienen, en principio, los cuatro casos siguientes:
4 1. Nociones de Cardinalidad
n < ℵ0 , ∀n ∈ N.
2
Una relación “<” sobre algún conjunto se dice que es una relación de orden total estricto si satisface:
i. x < y o y < x, ∀x = y; ii. x < y y y < z =⇒ x < z.
1.3. El Teorema de Cantor-Bernstein 5
cumplen
X2n+1 ⊂ X2n ⊂ · · · ⊂ X2 ⊂ X1 ⊂ X0 = X
y X2n ∼ · · · ∼ X2 ∼ X0 , X2n+1 ∼ · · · ∼ X3 ∼ X1 ,
Y2n+1 ⊂ Y2n ⊂ · · · ⊂ Y2 ⊂ Y1 ⊂ Y0 = Y
y Y2n ∼ · · · ∼ Y2 ∼ Y0 , Y2n+1 ∼ · · · ∼ Y3 ∼ Y1 ,
donde las equivalencias en el primer caso están dadas por g ◦ f y en el segundo, por f ◦ g.
Se afirma que X1 es equipotente con X. En efecto, se tiene
∞ ∞
X= (Xn \Xn+1 ) ∪ Xn ,
n=0 n=1
∞
∞
X1 = (Xn \Xn+1 ) ∪ Xn .
n=1 n=1
Sean
∞
∞
N0 = (X2n \X2n+1 ), N1 = (X2n+2 \X2n+3 ),
n=0 n=0
∞
∞
M= (X2n+1 \X2n+2 ) y D= Xn .
n=0 n=1
Observe que los conjuntos de las uniones anteriores son disjuntos, ası́ como N0 , M y D e
6 1. Nociones de Cardinalidad
igualmente N1 , M y D, además,
X = N0 ∪ M ∪ D y X1 = N1 ∪ M ∪ D.
Por otra parte, es claro que “≤” es una relación de orden parcial total3 en el conjunto de los
números cardinales (Justifique).
Una herramienta natural de comparación entre números cardinales serı́a la siguiente.
Demostración. (i). Suponga que Card (X) ≤ Card (Y ), es decir, Card (X) =
Card (Y ) o Card (X) < Card (Y ). Si Card (X) = Card (Y ), existe por definición una función
biyectiva de X sobre Y . Dicha función es, en particular, inyectiva. Si Card (X) < Card (Y ),
entonces X es, en particular, equipotente a un subconjunto de Y , es decir, existe una función
3
Una relación “≤” sobre algún conjunto se dice que es una relación de orden parcial total si satisface:
i. x ≤ y o y ≤ x; ii. x ≤ y y y ≤ x =⇒ x = y; iii x ≤ y y y ≤ z =⇒ x ≤ z, ∀x, y, z.
1.3. El Teorema de Cantor-Bernstein 7
y ∼ y si y sólo si f (y) = f (y ).
f (y) = f
(
y ) = f
(y
) = f (y )
y ), es decir, x = f (y), ∀y ∈ y
.
Defina g(x) = y donde y ∈ y
se fija arbitrariamente. Se afirma que la función g es inyectiva.
En efecto, si x = x en X y g(x) = y y g(x ) = y , entonces
f
(
y ) = f (y) = x = x = f (y ) = f
(y
),
de donde y
= y
. Necesariamente g(x) = y = y = g(x ), pues y ∈ y
y y ∈ y
. Por lo
tanto, g es inyectiva. Luego X es equipotente al subconjunto g(X) de Y . Por lo tanto,
Card (X) ≤ Card (Y ).
Defina ahora f (2n + 1), ∀n ∈ N, usando una tabla similar para los racionales negativos.
Finalmente, defina f (1) = 0. Es claro que f es una función suprayectiva de N sobre Q. Por
la Proposición 1.4, parte (ii), se debe tener Card (N) ≥ Card (Q). Ası́ pues, N es equipotente
a un subconjunto de Q y viceversa. Por el Teorema de Cantor-Bernstein se debe tener
Card (N) = Card (Q).
1.5 Lema. Un conjunto X no vacı́o es a lo sumo numerable si y sólo si existe una función
suprayectiva de N sobre X. En este caso, si x : N → X es tal función y xn = x(n), ∀n ∈ N,
entonces X puede ser escrito en la forma
X = {xn | n ∈ N}.
La idea empleada en el Ejemplo 1.9 sirve para probar la siguiente propiedad general
de los conjuntos numerables.
1.6 Proposición. La unión de toda familia a los sumo numerable de conjuntos numerables
es un conjunto numerable.
A = {An | n ∈ N},
1.4. Conjuntos numerables y no numerables 9
donde cada conjunto An es numerable. Nuevamente por el Lema 1.5, cada An puede ser
escrito en la forma
An = {an,m | m ∈ N}, ∀n ∈ N.
es claramente suprayectiva. Por el Lema 1.5, el conjunto A debe ser a lo sumo numerable,
es decir, Card (A) ≤ ℵ0 . Pero como A1 ⊂ A y A1 es numerable, necesariamente Card (A) ≥
Card (A1 ) = ℵ0 . Por lo tanto, Card (A) = ℵ0 , es decir, A es un conjunto numerable.
1.10 Ejemplo. Los conjuntos Q y N × N son numerables. En efecto basta observar que
∞
∞
Q= Qn y N×N= Nn ,
n=1 n=1
donde
m
Qn = m ∈ Z y Nn = {(n, m) | m ∈ N}
n
son claramente conjuntos numerables (¿Por qué?), ∀n ∈ N.
1.11 Observación. Recuerde que cada punto x ∈]0, 1[ admite al menos una representación
decimal de la forma
∞
xk
x = 0.x1 x2 x3 · · · = k
,
k=0
10
donde xk ∈ {0, . . . , 9}, ∀k ∈ N. Además,
0.x1 x2 x3 . . . = 0.y1 y2 y3 . . .
10 1. Nociones de Cardinalidad
xj = yj , j = 1, . . . , N − 1, xN = yN + 1, y xj = 0, yj = 9, ∀j > N,
x = 0.x1 x2 x3 · · · y y = 0.y1 y2 y3 · · ·
Card (R) = ℵ1 .
Note que como Q ⊂ R, se debe tener ℵ0 = Card (Q) ≤ Card (R) = ℵ1 ; pero siendo R
infinito no numerable, entonces R no puede ser equipotente a ningún subconjunto de Q (vea
la Proposición 1.2), luego Card (Q) < Card (R), es decir,
ℵ0 < ℵ1 .
En efecto, se razona por reducción al absurdo. Suponga pues que R fuese a lo sumo
numerable. Como R ∼]0, 1[, entonces ]0, 1[ también deberı́a ser a lo sumo numerable. Por el
Lema 1.5, ]0, 1[ puede ser escrito en la forma
Escriba cada rn con su representación decimal: rn = 0.rn,1 rn,2 rn,3 · · · Defina r ∈]0, 1[ me-
diante su representación decimal como
r = 0.r1 r2 r3 · · · ,
Jn+1 = {1, . . . , n + 1}. Por inducción se tiene pues definida una función inyectiva x : N → X.
Claramente, el subconjunto x(N) = {xn | n ∈ N} de X es numerable.
Como consecuencia de las Proposiciones 1.4 y 1.7 se tiene pues que ℵ0 debe ser el más
pequeño de los números cardinales infinitos.
X ∼ X ∪ N.
X = (X\M ) ∩ N = (X\M ) ∪ M1 ∪ M2 ,
X ∪ N = (X\M ) ∪ M ∪ N,
donde los conjuntos de la derecha en las identidades anteriores son disjuntos, respectivamente.
Además,
X\M ∼ X\M, M1 ∼ M y M2 ∼ N.
X = (X\M ) ∩ M1 ∩ M2 ∼ (X\M ) ∩ M ∩ N = X ∪ N.
En efecto, si I fuese a lo sumo numerable, se tendrı́a que R = Q∪I serı́a numerable, pues
Q es numerable (vea la Proposición 1.6). Por lo tanto, I es infinito no numerable. Además,
por el Lema 1.8, se debe tener
El resultado siguiente marca la diferencia esencial que hay entre los conjuntos finitos e
infinitos.
X tal que X ∼ A.
X = [(X\M ) ∪ M1 ] ∪ M2 ,
X = [(X\M ) ∪ M1 ] ∪ M2 ∼ X = (X\M ) ∪ M1 .
1.10 Proposición. Se tiene que P(N) es equipotente con [0, 1[, en sı́mbolos,
2 ℵ 0 = ℵ1 .
Se afirma ahora que [0, 1[ es equipotente con algún subconjunto de P(N). En la Ob-
servación 1.11 se mencionó que x ∈]0, 1[ satisface
∞
bn bn
∞
x= =
n=1
2n n=1
2n
si y sólo si bn = bn , ∀n ∈ N, o bien existe N ∈ N tal que bn = bn , n = 1, . . . , N − 1,
bn = bN + 1, bn = 0 y bn = 1, ∀n > N , donde esto último equivale a decir que
k
x ∈ Z2 = k < 2 , k, N ∈ N .
N
2N
Ası́ pues, los elementos de ]0, 1[\Z2 admiten un única representación binaria. Luego, si x, y ∈
]0, 1[\Z2 , donde
∞
bn ∞
bn
x= y y= ,
n=1
2n n=1
2n
entonces x = y si y sólo si bn = bn , ∀n ∈ N. Defina ahora la función f :]0, 1[\Z2 → P(N) de
la siguiente manera. Dado x ∈]0, 1[\Z2 , digamos
∞
bn
x= ,
n=1
2n
defina f (x) ∈ P(N) como
f (x) = {n ∈ N | bn = 1}.
(Justifique). Existe pues una función biyectiva g :]0, 1[→]0, 1[\Z2 . Finalmente, como [0, 1[∼
]0, 1[, existe otra función biyectiva h : [0, 1[→]0, 1[. Entonces la función f ◦g ◦h es una función
inyectiva de [0, 1[ en P(N). Esto prueba que [0, 1[ es equipotente con algún subconjunto de
P(N). El Teorema de Cantor-Bernstein concluye la prueba.
A = {x ∈ X | x ∈ f (x)}.
Puesto que f es suprayectiva, deberı́a existir a ∈ X tal que f (a) = A. Ahora bien, se deberı́a
tener que a ∈ f (a) o a ∈ f (a). Pero
Por cierto, la llamada Hipótesis del Continuo asegura que no existen números cardinales
intermedios en esta lista.
Ejercicios
1.1. Recuerde que Jn = {1, . . . , n}, n ∈ N. Pruebe que si k ∈ Jm , m > 1, entonces
Jm \{k} ∼ Jm−1 .
1.2. Demuestre que si A es un subconjunto propio no vacı́o de Jn , entonces A ∼ Jk para
algún k < n. Deduzca que todo subconjunto de un conjunto finito es un conjunto finito.
1.3. Demuestre por inducción sobre n que Jn ∼ Jm , ∀m > n. Muestre además que N ∼ Jn ,
∀n ∈ N.
1.4. Muestre que la unión de toda familia finita de conjuntos finitos es un conjunto finito.
1.5. Usando la definición de conjuntos equipotentes, pruebe que ]0, 1[∼ [0, 1].
1.6. Demuestre que los siguientes conjuntos son numerables.
i. Todos los números reales con dos representaciones decimales (ternarias o binarias)
distintas.
16 1. Nociones de Cardinalidad
2.1 Definición. Sea X un conjunto. Se dice que una función d : X ×X → R es una métrica
o distancia sobre X si, ∀x, y, z ∈ X, la función d tiene las propiedades siguientes.
i. d(x, y) ≥ 0. (No negatividad).
ii. d(x, y) = d(y, x). (Reflexividad).
iii. d(x, z) ≤ d(x, y) + d(y, z). (Desigualdad triangular).
iv. d(x, y) = 0 si y sólo si x = y.
Al par (X, d) se le llama espacio métrico.
es una métrica sobre X, conocida como la métrica discreta sobre X. Al par (X, d) se le
llama espacio métrico discreto.
d(a, a) = d(b, b) = d(c, c) = 0 y d(x, y) = d(y, x), ∀x, y ∈ X. Se verifica de inmediato (Ejer-
cicio) que d es una métrica sobre X. ¿Y si d(a, c) es igual a 1.5 en lugar de 2, seguirá siendo
d una métrica? (Justifique).
f (x)
1
x x
−1
−1
Figura 2.1
Se define la función d : R × R → R como
tomara cualquier función f continua, estrictamente creciente y con lı́mites finitos f (−∞) y
f (∞), por ejemplo, f (x) = arctan x, ∀x ∈ R.
2.7 Ejemplo. (Espacios métricos producto.) Si (X, dX ) y (Y, dY ) son dos espacios mé-
tricos, entonces la función
2.8 Ejemplo. (Subespacios métricos.) Sea (X, dX ) un espacio métrico y sea A cualquier
subconjunto de X. Entonces la restricción de dX a A, es decir, la función dA = dX A×A , o
sea,
dA (a, b) = dX A×A (a, b), ∀a, b ∈ A,
es claramente (Ejercicio) una métrica sobre A. Al par (A, dA ) se le llama subespacio métri-
co del espacio métrico (X, dX ). Se escribe indistintamente dX = dA = d si no hay peligro de
confusión.
Demostración. Suponga, por ejemplo, que d(x, y) ≥ d(y, z). Por la desigualdad trian-
gular, d(x, z) ≤ d(x, y) + d(y, z). Luego
2.9 Definición. Sea E un espacio vectorial sobre el campo R. Se dice que una función
N : E → R es una norma sobre E si la función N tiene las propiedades siguientes. ∀x, y ∈ E
2.1. Espacios métricos y normados 21
y ∀α ∈ R, se cumple:
i. N (x) ≥ 0.
ii. N (αx) = |α|N (x).
iii. N (x + y) ≤ N (x) + N (y). (Desigualdad triangular.)
iv. N (x) = 0 si y sólo si x = 0.
Al par (E, N ) se le llama espacio normado.
x = {xn }∞
n=1 ,
aunque para el caso de sucesiones x que son interpretados como puntos de los espacios de
sucesiones reales a veces será más conveniente emplear las notaciones
x = {x(n)}∞
n=1 = (x1 , x2 , x3 , . . .).
Ambas notaciones serán empleadas indistintamente a lo largo de este manuscrito sin mayor
advertencia.
Para todo par de sucesiones de números reales x = {xn }∞ ∞
n=1 y y = {yn }n=1 y para todo
α ∈ R, se escribe
αx = {αxn }∞
n=1 , x + y = {xn + yn }∞
n=1 y xy = {xn yn }∞
n=1 .
Observe que el conjunto formado por todas las sucesiones de números reales es un espa-
cio vectorial sobre el campo R provisto de las operaciones de adición y multiplicación por
escalares anteriores. En lo sucesivo se denotará por c la sucesión constante de valor c, c ∈ R.
2.10 Definición. Sea 1 ≤ p < ∞. Se denota por p al conjunto formado por todas las
sucesiones x de números reales tales que ∞n=1 |x(n)| < ∞. Se define la función Np : p → R
p
como
1/p
∞
Np (x) = |x(n)|p , ∀x ∈ p .
n=1
Se denota por ∞ el conjunto de todas las sucesiones x de números reales que son
acotadas, es decir, tales que supn≥1 |x(n)| < ∞. Se define la función N∞ : ∞ → R como
Serán necesarios varios resultados preliminares para probar que las funciones anteriores
son normas.
αλ β 1−λ ≤ λα + (1 − λ)β.
ϕ(t) = (1 − λ) + λt − tλ , ∀t ≥ 0.
Se tiene
de donde
es decir,
tλ ≤ (1 − λ) + λt, ∀t ≥ 0,
2.6 Teorema. (Desigualdad de Hölder.) Sean p, q ∈ [1, ∞] tales que 1/p + 1/q = 1. Si
x ∈ p y y ∈ q , entonces xy ∈ 1 y
1/p 1/q
∞
∞
∞
N1 (xy) = |x(n)y(n)| ≤ |x(n)|p |y(n)|q = Np (x)N1 (y)
n=1 n=1 n=1
en el caso 1 < p, q < ∞; y
∞
∞
N1 (xy) = |x(n)y(n)| ≤ sup |y(n)| |x(n)| = N1 (x)N∞ (y)
1≤n≤∞
n=1 n=1
en el caso p = 1 y q = ∞.
(a). Suponga adicionalmente que Np (x) = Nq (y) = 1. Aplique el Lema 2.5 con
1 1
α = |x(n)|p , β = |y(n)|q λ= y 1−λ= ,
p q
para cada n ∈ N. Resulta
1 1
|x(n)y(n)| = αλ β 1−λ ≤ λα + (1 − λ)β = |x(n)|p + |y(n)|q , ∀n ∈ N.
p q
Luego
∞
1
∞
1
∞
1 1 1 1
|x(n)y(n)| ≤ |x(n)|p + |y(n)|q = Np (x)p + Nq (y)q = + = 1,
n=1
p n=1 q n=1 p q p p
es decir,
∞
|x(n)y(n)| ≤ 1.
n=1
(b). En el caso general, observe que x/Np (x) ∈ p , y/Nq (y) ∈ q y
x y
Np = Nq = 1.
Np (x) Nq (y)
La parte (a) asegura entonces que
∞ ∞
x(n) y(n) 1
1≥ = |x(n)y(n)|.
Np (x) Nq (y) Np (x)Nq (y)
n=1 n=1
Luego, xy ∈ 1 y
∞
N1 (xy) = |x(n)y(n)| ≤ Np (x)Nq (y).
n=1
2.7 Teorema. (Desigualdad de Minkowski.) Sea p ∈ [1, ∞]. Si x, y ∈ p , entonces x +
y ∈ p y
Np (x + y) ≤ Np (x) + Np (y).
implica
∞
∞
∞
(2.1) |x(n) + y(n)|p ≤ |x(n) + y(n)|p−1 |x(n)| + |x(n) + y(n)|p−1 |y(n)|.
n=1 n=1 n=1
Por lo tanto,
siguientes:
1/p 1/q
N
N
N
1 1
i. |xn yn | ≤ |xn |p |yn |q , ∀p, q ∈]1, ∞[, + = 1.
n=1 n=1 n=1
p q
N
N
iii. |xn yn | ≤ |xn | máx |yn | .
1≤k≤N
n=1 n=1
2.11 Ejemplo. (Espacio finito dimensional.) Como consecuencia inmediata del Coro-
lario 2.8 se tiene que, para 1 ≤ p < ∞, la función Np : Rn → R dada por
n 1/p
Np (x) = |xk |p , ∀x = (x1 , . . . , xn ) ∈ Rn ,
k=1
es una norma sobre R , la distancia inducida por esta norma es la función ρp : Rn × Rn → R
n
definida como
1/p
n
ρp (x, y) = |xk − yk |p , ∀x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) ∈ Rn .
k=1
También, que la función N∞ : Rn → R dada por
definida como
1/p
∞
ρp (x, y) = |x(k) − y(k)| p
, ∀x, y ∈ p .
k=1
También, que el conjunto ∞ es un espacio vectorial sobre el campo R y que la función
N∞ : ∞ → R dada por
2.13 Ejemplo. (Espacio de funciones continuas.) Denote por C([a, b]) el espacio vec-
torial sobre el campo R de todas las funciones continuas del intervalo compacto [a, b] de R
en R.
Para cada 1 ≤ p < ∞, se define la función Np : C([a, b]) → R como
b 1/p
Np (f ) = |f (t)| dt
p
, ∀f ∈ C([a, b]).
a
El lector puede verificar por su cuenta (Ejercicio) que la Proposición 2.4, el Lema 2.5 y
las desigualdades de Hölder y Minkowski son válidas al reemplazar los x(n) por f (t) y los
sı́mbolos de sumatoria por el de integral. Luego, Np es una norma sobre C([a, b]). La distancia
inducida por esta norma es la función ρp : C([a, b]) × C([a, b]) → R dada por
b 1/p
ρp (f, g) = |f (t) − g(t)| dt
p
, ∀f, g ∈ C([a, b]).
a
También se define la función N∞ : C([a, b]) → R como
Se verifica fácilmente (Ejercicio) que N∞ es una norma sobre C([a, b]), llamada la norma
uniforme. La distancia inducida por esta norma es la función ρ∞ : C([a, b]) × C([a, b]) → R
dada por
es una métrica sobre X. Se verá más adelante que estas métricas son todas equivalentes.
2.15 Ejemplo. Si (X, dX ) y (Y, dY ) son dos espacios métricos y 1 ≤ p < ∞, se sigue también
del Corolario 2.8 (Ejercicio) que la función
respectivamente.
2.21 Ejemplo. En (R2 , N1 ), (R2 , N2 ) y (R2 , N∞ ) las respectivas bolas unitarias son los
30 2. Espacios Métricos
x x
1 1
Figura 2.2
y
1
Figura 2.3
1 x
−1
Figura 2.4
2.24 Ejemplo. En cualquier espacio métrico (X, d), los conjuntos ∅, X, B(a, r) y {x ∈ X |
d(x, a) > r}, ∀a ∈ X y ∀r > 0, son todos conjuntos abiertos. En (R, | · |), el conjunto {0} no
es abierto.
En efecto, claramente ∅ y X satisfacen la definición anterior. Sea ahora b ∈ B(a, r).
Si ρ = r − d(b, a) > 0, es fácil ver (Ejercicio) que B(b, ρ) ⊂ B(a, r). Luego, B(a, r) es un
conjunto abierto en X. De manera similar se demuestra (Ejercicio) que el conjunto {x ∈ X |
d(x, a) > r} es abierto. Por último, en (R, | · |), B(0, r) =] − r, r[⊂ {0}, ∀r > 0, implica que
{0} no es un conjunto abierto.
Por convención, la condición (i) implica que ∅ ∈ T , pues ∅ se puede entender como
la unión de una subfamilia vacı́a de elementos de T . Ası́ mismo, la condición (ii) implica
que X ∈ T , pues X se puede interpretar como la intersección de una subfamilia vacı́a de
elementos de T . En esta forma, ambos conjuntos ∅ y X siempre deben pertenecer a T .
2.9 Teorema. La familia T formada por todos los conjuntos abiertos de un espacio métrico
(X, d) (cf. Definición 2.23) es una topologı́a sobre X, llamada la topologı́a inducida por
la métrica d.
sea
G= Gα .
α∈A
Fije a ∈ G. Existe pues α ∈ A tal que a ∈ Gα . Como Gα es abierto, por la Definición 2.23
existe r > 0 tal que
B(a, r) ⊂ Gα ⊂ G.
De acuerdo a la Definición 2.23, G debe ser un conjunto abierto en (X, d), es decir, G ∈ T .
(b). Considere ahora una subfamilia finita no vacı́a {Gk }nk=1 de T y sea
n
G= Gk .
k=1
Fije a ∈ G. Entonces a ∈ Gk , k = 1, . . . , n. Por la Definición 2.23 para cada k existe rk > 0
tal que B(a, rk ) ⊂ Gk . Si r = mı́n{r1 , . . . , rn }, entonces r > 0 y B(a, r) ⊂ B(a, rk ) ⊂ Gk ,
k = 1, . . . , n. Por lo tanto,
n
B(a, r) ⊂ Gk = G.
k=1
De acuerdo a la Definición 2.23, G debe ser un conjunto abierto en (X, d), es decir, G ∈ T .
Lo anterior prueba que T es una topologı́a sobre X.
Observe que una topologı́a T sobre un conjunto X no necesariamente es cerrada bajo
intersecciones arbitrarias. Por ejemplo, en (R, | · |) se tiene que
∞
B(0, 1/n) = {0}
n=1
el cual, como se vio en el Ejemplo 2.24, no es un conjunto abierto.
2.27 Definición. Sea (X, T ) un espacio topológico. Se dice que un conjunto V es una
vecindad de un punto x ∈ X si existe G ∈ T tal que
x ∈ G ⊂ V.
B(x, r) ⊂ V.
2.28 Observación. Se deja como ejercicio para el lector la verificación de las propiedades
siguientes de la familia de vecindades V(x) de un punto x ∈ X.
i. Todo subconjunto de X que contenga a algún elemento de V(x) es un elemento de
V(x).
ii. La familia V(x) es cerrada bajo intersecciones finitas.
iii. Todo elemento de V(x) incluye a x entre sus elementos.
iv. Para todo V ∈ V(x) existe W ∈ V(x) tal que
y∈W =⇒ V ∈ V(y).
2.29 Ejemplo. Considere el sistema ampliado de los números reales R provisto de la métrica
d definida en el Ejemplo 2.6. De acuerdo al Ejemplo 2.18, el sistema de vecindades de un
punto a ∈ R queda descrito de la manera siguiente.
i. Si a ∈ R, entonces las vecindades de a en R son subconjuntos V de R para los
34 2. Espacios Métricos
cuales existe un intervalo abierto ]c, d[, con c, d ∈ R, que contiene a a. En particular, los
subconjuntos de R que son abiertos en R son los mismos que los conjuntos abiertos en R con
la distancia usual.
ii. Las vecindades de a = ∞ son subconjuntos V de R que contienen a un intervalo de
la forma ]M, ∞], para algún M ∈ R.
iii. Las vecindades de a = −∞ son subconjuntos V de R que contienen a un intervalo
de la forma [−∞, m[, para algún m ∈ R.
Lo anterior es equivalente a decir (vea la Proposición 2.10) que un subconjunto G de
R es abierto si y sólo si se cumple lo siguiente.
i. Si a ∈ G ∩ R, existe ε > 0 tal que ]a − ε, a + ε[⊂ G (en particular, los subconjuntos
de R que son abiertos en R son los mismos que los conjuntos abiertos en R con la distancia
usual).
ii. Si ∞ ∈ G, existe M > 0 tal que ]M, ∞] ⊂ G.
iii. Si −∞ ∈ G, existe m < 0 tal que [−∞, m[⊂ G.
2.31 Ejemplo. En cualquier espacio métrico (X, d), los conjuntos ∅, X, B (a, r) y {x ∈ X |
d(x, a) ≥ r}, ∀a ∈ X y ∀r ≥ 0, son todos conjuntos cerrados. En (R, | · |), el conjunto {0} es
cerrado.
En efecto, la primera parte se sigue de inmediato del Ejemplo 2.24. Para la segunda
parte, observe que {0} = B (0, 0).
2.33 Observación. Se siguen del Teorema 2.9 y de las Leyes de De Morgan1 (Ejercicio) las
1
Leyes de De Morgan:
Aα = Aα y Aα = Aα
α∈Ω α∈Ω α∈Ω α∈Ω
(2.5) A◦ ∩ B ◦ ⊂ ( A ∩ B ) ◦ ,
por definición de interior. Recı́procamente, fije x ∈ ( A ∩ B )◦ . Entonces existe r > 0 tal que
B(x, r) ⊂ A ∩ B, luego B(x, r) ⊂ A y B(x, r) ⊂ B. Por (v), x ∈ A◦ y x ∈ B ◦ , es decir,
x ∈ A◦ ∩ B ◦ . Por lo tanto,
(2.6) ( A ∩ B ) ◦ ⊂ A◦ ∩ B ◦ ,
36 2. Espacios Métricos
2.35 Ejemplo. El interior de la bola unitaria cerrada B (0, 1) en (R2 , N2 ) es la bola abierta
B(0, 1).
En efecto, como la bola abierta B(0, 1) es un conjunto abierto contenido en B (0, 1),
entonces
◦
B(0, 1) ⊂ B (0, 1) .
Para probar la otra contención se fija x ∈ B(0, 1) y se demuestra que x ∈ B (0, 1)◦ . Se tiene
que x ∈ B(0, 1) implica que N2 (x) ≥ 1. Se probará que B(x, r) ⊂ B (0, 1), ∀r > 0, es decir,
que x no es un punto interior de B (0, 1). Sea pues r > 0 arbitrario. El punto
r/2 r/2
y =x+ x= 1+ x
N2 (x) N2 (x)
pertenece a B(x, r) pero no pertenece a B (0, 1) (Haga un dibujo), pues
r/2 r/2 r
N2 (y − x) = N2 x = N2 (x) = < r
N2 (x) N2 (x) 2
y
r/2 r
N2 (y) = 1+ N2 (x) = N2 (x) + > N2 (x) ≥ 1.
N2 (x) 2
Luego, x ∈ B (0, 1). Ası́ pues,
◦
B (0, 1) ⊂ B(0, 1).
equivalentemente, V ∩ A = ∅, ∀V ∈ V(x).
38 2. Espacios Métricos
A ∪ B = A ∪ B.
es decir, A ∪ B = A ∪ B.
En espacios métricos es posible dar una útil caracterización de punto adherente me-
diante sucesiones.
elemento x de X si
lı́m xn = x.
n→∞
usual, es decir,
lı́m d(xn , x) = 0,
n→∞
lo cual serı́a absurdo. Por lo tanto, B(x, r)∩B(y, r) = ∅. Basta tomar (Ejercicio) U = B(x, r)
y V = B(y, r).
Se deja como ejercicio para el lector probar los dos resultados siguientes.
tonces {xn }∞ ∞
n=1 converge x si y sólo si toda subsucesión de {xn }n=1 converge a x.
El lector puede verificar como ejercicio que esto mismo se cumple si en lugar de la norma
N∞ se considera cualquiera de las normas Np , 1 ≤ p ≤ ∞), es decir, la sucesión de vectores
converge a algún vector lı́mite si y sólo si las sucesiones de las componentes convergen a las
respectivas componentes del vector lı́mite. Lo anterior también se se generaliza de inmediato
(Ejercicio) a RN .
Demostración. (a). Suponga primero que x ∈ A. Por el Corolario 2.14, B(x, 1/n) ∩
A = ∅, ∀n ∈ N. Tome un xn ∈ A ∩ B(x, 1/n), ∀n ∈ N. Entonces xn ∈ A y d(xn , x) < 1/n,
∀n ∈ N, en particular,
lı́m d(xn , x) = 0.
n→∞
Definición 2.39).
(b). Suponga ahora que existe una sucesión {xn }∞
n=1 en A que converge a x. Dado
B(x, ε) ∩ A = ∅, ∀ε > 0.
Demostración. (a). Suponga que A sea cerrado. Por la Proposición 2.12, parte (iii),
se debe tener que A = A. Sea {xn }∞
n=1 una sucesión en A que converja a algún punto x ∈ X.
A = {(x, y) ∈ R2 | y ≤ x2 }
lı́m xn = x y lı́m yn = y.
n→∞ n→∞
Esto prueba que (x, y) ∈ A. De acuerdo al Teorema 2.20, el conjunto A debe ser cerrado en
(R2 , N∞ ).
Siguiendo un procedimiento similar al anterior se puede demostrar (Ejercicio), por
ejemplo, que es cerrado el conjunto
ambos en (R2 , N∞ ).
Fr A = A ∩ A.
V ∩ A = ∅ y V ∩ A = ∅,
B(x, r) ∩ A = ∅ y B(x, r) ∩ A = ∅.
A ∩ Fr A = ∅
Fr A ⊂ A.
42 2. Espacios Métricos
Demostración. Sólo se demostrará (iv), el resto se deja como ejercicio para el lector.
De acuerdo a (iii) y la dualidad entre interior y adherencia,
◦
A◦ ∪ Fr A = Ext A = A = A = A.
A ∪ Fr A = A ∪ A◦ ∪ Fr A = A ∪ A = A.
Q◦ = ∅, Q = R, Fr Q = R y Ext Q = ∅.
2.44 Ejemplo. Se verá más adelante que en cualquier espacio normado (X, N ), como
(Rn , Np ), (p , Np ) o (C([a, b]), Np ), 1 ≤ p ≤ ∞, si A es una bola con centro a y radio
r > 0, abierta o cerrada, entonces
A◦ es la bola abierta correspondiente.
A es la bola cerrada correspondiente.
Fr A es la esfera correspondiente.
Ext A es el complemento de la bola cerrada correspondiente.
A◦ = A, A = A, Fr A = ∅ y Ext A = A.
de A.
Se dice que x es un punto aislado de A si existe una vecindad de x cuya intersección
con A se reduce a x, equivalentemente, si
de A que converge a x.
Las siguientes caracterizaciones del concepto de densidad por medio de conjuntos abier-
tos y sucesiones se siguen fácilmente (Ejercicio) del Corolario 2.14 y del Teorema 2.19.
∀x ∈ X y ∀r > 0, B(x, r) ∩ A = ∅.
2.50 Ejemplo. Denote por Qn el producto cartesiano de Q consigo mismo n veces, es decir,
n
Q =
n
Q.
k=1
Se afirma que Q es denso en (R , Np ), 1 ≤ p ≤ ∞. En efecto, dados x = (x1 , . . . , xn ) ∈ Rn
n n
N∞ (x − q) < r.
2.54 Ejemplo. Se verá más adelante que el espacio normado (C([a, b]), Np ), 1 ≤ p < ∞, es
separable (un conjunto denso numerable será, por ejemplo, el conjunto de funciones polino-
miales de [a, b] en R con coeficientes racionales).
D = {a = {a(n)}∞
n=1 ∈ p | a(n) ∈ Q, ∀n ∈ N, y ∃N ∈ N tal que a(n) = 0, ∀n > N }.
DN = {a = {a(n)}∞
n=1 ∈ p | a(n) ∈ Q, ∀n ∈ N, y a(n) = 0, ∀n > N }.
2.55 Ejemplo. Los espacios normados (∞ , N∞ ) y (B([a, b]), N∞ ) no son separables, porque
es posible encontrar un subconjunto infinito no numerable en esos espacios tal que la distancia
entre cualquier par de sus elementos sea mayor o igual a uno. Luego ambos espacios no pueden
ser separables (Justifique).
D = Q ∪ {±∞}
es denso en R. Para ver esto, considere un conjunto abierto no vacı́o G en R tal que ±∞ ∈ G
(si ∞ o −∞ pertenecen a G, entonces trivialmente D ∩ G = ∅). Fije x ∈ G. Se tiene entonces
que x ∈ R y, de acuerdo al Ejemplo 2.29, debe existir ε > 0 tal que ]x − ε, x + ε[⊂ G. Pero
se sabe que ]x − ε, x + ε[∩Q = ∅, luego G ∩ Q = ∅.
2.57 Definición. Sea B una familia de conjuntos abiertos en un espacio métrico X. Se dice
que B es una base de la topologı́a de X inducida por la métrica si cualquier conjunto abierto
puede ser escrito como unión de alguna subfamilia de elementos de B, los conjuntos de B
“generan” pues en el sentido anterior la topologı́a del espacio.
2.58 Ejemplo. La familia B formada por todas las bolas abiertas de radio menor que uno
en un espacio métrico X es una base de la topologı́a de X (Ejercicio). Por ejemplo, en un
espacio métrico discreto, B serı́a
B = {{x} | x ∈ X}.
2.59 Ejemplo. Es fácil probar (Ejercicio) que la familia B formada por todas las bolas
abiertas de la forma B(a, r), donde a ∈ Qn y r ∈ Q+ , donde Q+ denota el conjunto de
racionales positivos, es una base de la topologı́a de (Rn , Np ), 1 ≤ p ≤ ∞.
D = {xU | U ∈ B\{∅}}.
2.3. Espacios métricos separables 47
2.26 Teorema. Un espacio métrico es separable si y sólo su topologı́a posee alguna base a
lo sumo numerable.
x ∈ Bn,k ⊂ G.
Puesto que G es abierto y x ∈ G, existe k ∈ N tal que B(x, 1/k) ⊂ G. Siendo D denso en
X, existe xn ∈ B(x, 1/(2k)). Entonces la bola abierta Bn,k ∈ B satisface
En efecto, como xn ∈ B(x, 1/(2k)), entonces d(x, xn ) < 1/(2k), es decir, x ∈ Bn,k . Además,
si y ∈ Bn,k , entonces
1 1 1
d(x, y) ≤ d(x, xn ) + d(xn , y) < + = ,
2k 2k k
48 2. Espacios Métricos
Teorema de Lindelöf
2.27 Teorema. (Teorema de Lindelöf.) Sea {Gα }α∈Ω una familia arbitraria de conjuntos
abiertos en un espacio métrico separable X y sea
G= Gα .
α∈Ω
B = {Bn | n ∈ N}.
Para cada punto x ∈ G existe α ∈ Ω tal que x ∈ Gα y, por ser B base, existe n ∈ N tal que
(2.9) x ∈ B n ⊂ Gα .
Defina
B = {Bβ(n) | n ∈ N}.
Nuevamente por la definición de B , para cada n ∈ N existe α(n) ∈ Ω tal que Bβ(n) ⊂ Gα(n) .
La familia {Gα(n) }∞
n=1 es una subfamilia a lo sumo numerable de la familia {Gα }α∈Ω tal que
∞ ∞
G⊂ Bβ(n) ⊂ Gα(n) ⊂ Gα ⊂ G,
n=1 n=1 α∈Ω
es decir,
∞
G= Gα(n) .
n=1
es claramente (Ejercicio) una métrica sobre A. Al par (A, dA ) se le llama subespacio métri-
co del espacio métrico (X, dX ). Se escribe indistintamente dX = dA = d si no hay peligro de
confusión.
Por ejemplo,
B[0,1[ (1/2, 1/3) =]1/6, 5/6[, B[0,1[ (1/4, 1/2) = [0, 3/4[,
BA (a, r) = B(a, r) ∩ A.
W = V ∩ A,
S = F ∩ A,
S = G ∩ A,
V ∩ A = [B(a, r) ∪ W ] ∩ A = [B(a, r) ∩ A] ∪ [W ∩ A]
= [B(a, r) ∩ A] ∪ W = BA (a, r) ∪ W = W,
pues W ⊂ A y BA (a, r) ⊂ W .
Si ahora W = V ∩ A, donde V es una vecindad de a en X, entonces existe r > 0 tal
que B(a, r) ⊂ V . Luego,
BA (a, r) = B(a, r) ∩ A ⊂ V ∩ A = W.
x∈A y ∅=
BA (x, r) ∩ S = [B(x, r) ∩ A] ∩ S = B(x, r) ∩ S, ∀r > 0,
(pues S ⊂ A) si y sólo si x ∈ A y x ∈ S si y sólo si x ∈ S ∩ A. Por lo tanto, S A = S ∩ A.
(iv). Si S es un conjunto cerrado en A, entonces
S = S A = S ∩ A,
donde la contención se cumple por ser F ∩ A un conjunto cerrado en X más grande que
F ∩ A. Luego S es cerrado en A.
(v). S es un conjunto abierto en A si y sólo si A\S es un conjunto cerrado en A si y
sólo si A\S = F ∩ A, donde F es algún conjunto cerrado en X, si y sólo si
S = A\(A\S) = A\(F ∩ A) = A\F = A ∩ F ,
con la topologı́a de (R, | · |), es decir, los abiertos del subespacio R de R coinciden con los
abiertos usuales de R.
( Fr S )A = ∅, ( Fr T )A = {3/2} y ( Fr U )A = ∅,
por ejemplo, ya se vio que 3/2 ∈ T A y como
3 1
3/2 = lı́m − ,
n→∞ 2 n
donde {3/2 − 1/n}∞
n=3 es una sucesión de puntos de A\T , es decir, del complemento de T con
2.5. Continuidad 53
respecto a A, que converge al punto 3/2 de A, se sigue que 3/2 ∈ A\T . Por lo tanto,
A
3/2 ∈ ( Fr T )A .
2.64 Ejemplo. Los subespacios Q, [0, 1[ y [a, b] de R con la métrica usual, son todos sepa-
rables.
Más adelante se analizarán otras propiedades de los subespacios heredadas de las co-
rrespondientes propiedades que tenga el espacio métrico subyacente.
2.5. Continuidad
2.66 Definición. Sea f una función de un espacio métrico (X, d) en un espacio métrico
(Y, ρ). Se dice que f es una función continua o continua en X, si para cualquier conjunto
54 2. Espacios Métricos
es un conjunto abierto en X.
2.67 Ejemplo. La función identidad de un espacio métrico (X, d) en sı́ mismo es claramente
continua.
2.69 Ejemplo. Una función arbitraria de un espacio métrico discreto (X, d) en un espacio
métrico (Y, ρ) es continua. Esto se debe a cualquier subconjunto de X es un conjunto abierto
(vea el Ejemplo 2.26).
2.31 Teorema. Sea f una función de un espacio métrico (X, d) en un espacio métrico (Y, ρ).
Las afirmaciones siguientes son equivalentes.
i. f es una función continua.
ii. f A ⊂ f (A), ∀A ⊂ X.
iii. Para cualquier conjunto cerrado H de Y , su imagen inversa bajo f , es decir,
es un conjunto cerrado en X.
Demostración. (i) implica (ii). Fije A ⊂ X. Sea y ∈ f A . Existe x ∈ A tal
que y = f (x). Sea r > 0. Por hipótesis, f −1 (B(y, r)) es un conjunto abierto en X tal que
a ∈ f −1 (B(y, r)). Ya que x ∈ A, se debe tener
f −1 (B(y, r)) ∩ A = ∅.
2.5. Continuidad 55
Si a ∈ f −1 (B(y, r)) ∩ A, entonces f (a) ∈ B(y, r) ∩ f (A). Esto prueba que B(y, r) ∩ f (A) = ∅,
∀r > 0, es decir, que y ∈ f (A). Por lo tanto, f A ⊂ f (A), es decir, se cumple (ii).
(ii) implica (iii). Sea H un conjunto cerrado arbitrario en Y . Aplique la hipótesis al
conjunto A = f −1 (H). Resulta,
f f (H) = f A ⊂ f (A) = f (f −1 (H)) ⊂ H = H,
−1
f −1 (H) ⊂ f −1 (H).
es un conjunto abierto en X.
La definición de continuidad puntual es esencialmente la misma que la se ve en los cursos
de Cálculo y resulta ser de gran utilidad para probar la posible continuidad de funciones
especı́ficas.
2.70 Definición. Sea f una función de un espacio métrico (X, d) en un espacio métrico
(Y, ρ) y sea x0 ∈ X. Se dice que f es continua en el punto x0 si y sólo si para cada ε > 0
existe δ > 0 tal que
en lenguaje de conjuntos esto significa que para cada ε > 0 existe δ > 0 tal que
equivalentemente, que para cada ε > 0 el conjunto f −1 ( B(f (x0 ), ε) ) es una vecindad de x0 .
2.33 Proposición. Sea f una función de un espacio métrico (X, d) en un espacio métrico
(Y, ρ) y sea x0 ∈ X. Se tiene que f es continua en x0 si y sólo si para cada vecindad V de
f (x0 ) en Y existe una vecindad U de x0 en X tal que
f (U ) ⊂ V,
es decir,
U ⊂ f −1 (V ),
2.34 Teorema. Sea f una función de un espacio métrico (X, d) en un espacio métrico (Y, ρ)
y sea x0 ∈ X. Se tiene que f es continua en x0 si y sólo si para toda sucesión {xn }∞
n=1 que
converja a x0 en X. Sea ε > 0 y considere la bola B(f (x0 ), ε). Como f es continua en x0 ,
existe δ > 0 tal que
También existe N ∈ N tal que xn ∈ B(x0 , δ), luego f (xn ) ∈ B(f (x0 ), ε)), ∀n ≥ N . Por lo
tanto, la sucesión {f (xn }∞
n=1 converge a f (x0 ) en Y .
Suponga ahora que f no es continua en x0 . Se debe probar que existe una sucesión
{xn }∞ ∞
n=1 que converge a x0 en X pero tal que la sucesión {f (xn }n=1 no converge a f (x0 ) en
2.5. Continuidad 57
Y . Ya que f no es continua en x0 , existe ε0 > 0 tal que para cada n ∈ N es posible hallar
xn ∈ X con la propiedad de que
1
d(xn , x0 ) < y ρ(f (x0 ), f (xn )) ≥ ε0 .
n
Entonces la sucesión {d(xn , x0 )}∞ ∞
n=1 converge a cero, luego, {xn }n=1 que converge a x0 en X,
a f (x0 ) en Y .
2.36 Teorema. Una función f de un espacio métrico (X, d) en un espacio métrico (Y, ρ) es
continua en X si y sólo si f es continua en cada punto de X.
Por hipótesis f −1 (B(f (x0 ), ε)) es una vecindad de x0 , por lo que f −1 (G) también debe ser
vecindad de x0 . Esto prueba que f −1 (G) es vecindad de cada uno de sus puntos, es decir,
58 2. Espacios Métricos
2.72 Definición. Se dice que una función f de un espacio métrico (X, d) en un espacio
métrico (Y, ρ) es una función lipschitziana si existe una constante K ≥ 0 tal que
Es claro que toda función lipschitziana es continua en cada punto de X, luego debe ser
una función continua en X, por el Teorema 2.36.
satisface
1/p
N
Np (f (x) − f (x )) = Np ((x(1) − x (1), . . . , N (x(N ) − x (N )))) = k p |x(k) − x (k)|p
k=1
1/p
∞
≤N |x(k) − x (k)|p = N Np (x − x ), ∀x = {x(n)}∞ ∞
n=1 , x = {x (n)}n=1 ∈ p ,
k=1
si 1 ≤ p < ∞, y si p = ∞, entonces
= N N∞ (x − x ), ∀x = {x(n)}∞ ∞
n=1 , x = {x (n)}n=1 ∈ ∞ .
en p , 1 ≤ p ≤ ∞.
f (x) = x2 , ∀x = {x(n)}∞
n=1 ∈ 2 ,
que
(2.10) N2 (x − y) ≤ 1,
entonces
la primera desigualdad se cumple por la desigualdad de Hölder (vea el Teorema 2.6), con
p = q = 2; la segunda, por la desigualdad triangular; y la tercera, por (2.11). Sea
ε
δ = mı́n 1, .
1 + 2N2 (x)
Si y = {y(n)}∞
n=1 ∈ 2 satisface
N2 (x − y) < δ,
N2 (x − y) < δ,
entonces
2.78 Ejemplo. La función f del subespacio [0, 1[∪]1, 2[ de R en R, con la distancia usual,
dada por
⎧
⎪
⎨ x2 si 0 ≤ x < 1,
f (x) =
⎪
⎩2 si 1 < x < 2,
es continua en [0, 1[∪]1, 2[ (Ejercicio). Sin embargo, no existe alguna función continua de R
en R, con la distancia usual, cuya restricción a [0, 1[∪]1, 2[ sea f (Ejercicio).
Homeomorfismos
2.79 Definición. Se dice que una función f de un espacio métrico (X, d) en un espacio
métrico (Y, ρ) es una aplicación abierta si para cada conjunto abierto O en X, f (O) es un
conjunto abierto en Y . Y se dice que f es una aplicación cerrada si para cada conjunto
cerrado C en X, f (C) es un conjunto cerrado en Y .
2.5. Continuidad 61
2.80 Definición. Una función f de un espacio métrico (X, d) en un espacio métrico (Y, ρ)
se dice que es un homeomorfismo si f es biyectiva y tanto f como su función inversa f −1
son funciones continuas en X y Y , respectivamente. En este caso se dice que X y Y son
homeomorfos, y se escribe X ∼
= Y.
2.81 Ejemplo. Los subespacios [0, ∞[ y [0, 1[ de R con la distancia usual son homeomorfos.
Un homeomorfismo serı́a (Justifique), por ejemplo,
x
f (x) = , ∀x ≥ 0.
1+x
2.82 Ejemplo. La función x → ex es un homeomorfismo de R sobre el subespacio ]0, ∞[
de R, con la distancia usual (Justifique).
2.83 Definición. Se dice que una función f de un espacio métrico (X, d) en un espacio
métrico (Y, ρ) es una isometrı́a si preserva distancias, es decir, se cumple
Si existe una isometrı́a suprayectiva de (X, d) sobre (Y, ρ), se dice que X y Y son espacios
isométricos y se escribe X ≡ Y .
2.84 Ejemplo. La función f del sistema ampliado de los números reales R en el subespacio
[−1, 1] de R con la distancia usual, dada en el Ejemplo 2.6, es una isometrı́a suprayectiva de
R sobre [−1, 1].
Métricas equivalentes
2.86 Definición. Se dice que dos métricas d y ρ sobre un mismo conjunto X son topológi-
camente equivalentes si inducen una misma topologı́a sobre X, es decir, un conjunto G
es abierto en (X, d) si y sólo si es abierto en (X, ρ).
62 2. Espacios Métricos
2.37 Proposición. Sean d y ρ dos métricas sobre un conjunto X. Las afirmaciones siguien-
tes son equivalentes.
i. Las métricas d y ρ son equivalentes.
ii. Toda d−bola contiene una ρ−bola del mismo centro y viceversa.
iii. La función identidad de (X, d) sobre (X, ρ) es un homeomorfismo.
Se verifica de inmediato (Ejercicio) que ρ es una métrica acotada sobre X. Es claro que
Puesto que toda bola abierta contiene una bola abierta del mismo centro con radio menor
que uno, entonces toda d−bola contiene una ρ−bola del mismo centro de radio menor que
uno y viceversa. La Proposición 2.37 asegura entonces que d y ρ son métricas equivalentes
en X.
la cual es un homeomorfismo (pues se sabe que dicha función y su inversa son continuas) y
π π
tan : − , , | · | → (R, d)
2 2
la cual es una isometrı́a suprayectiva, pues
Continuidad uniforme
2.89 Definición. Sea f una función de un espacio métrico (X, d) en un espacio métrico
(Y, ρ).Se dice que f es uniformemente continua en X si ∀ε > 0 existe δ > 0 tal que,
∀u, v ∈ X,
Note, en particular, que toda función uniformemente continua en X debe ser continua
en X.
2.91 Ejemplo. Las funciones f : R → R y g :]0, ∞[→ R, con la distancia usual, dadas por
1
f (x) = x2 , ∀x ∈ R, y g(x) = , ∀x > 0,
x
son continuas pero no uniformemente continuas en R y ]0, ∞[, respectivamente.
Se verá solamente que f no es uniformemente continua en R, el caso de g se deja como
ejercicio para el lector. Se debe proponer un ε0 > 0 tal que para cualquier δ > 0 se puedan
encontrar dos puntos x, y ∈ R cuya distancia sea menor que δ pero tales que la distancia
entre f (x) y f (y) sea mayor o igual que ε0 . Fije ε0 = 1 y sea δ > 0 arbitrario. Sea n ∈ N tal
que 1/n < δ y sean x = n y y = n − 1/n. Entonces x, y ∈ R, |x − y| = 1/(2n) < δ, pero
2 2 1 1 1
|f (x) − f (y)| = |x − y | = |x + y||x − y| = n + n − ≥ (n) = 1 = ε0 .
n n n
Por lo tanto f no es uniformemente continua en R.
2.92 Definición. Se dice que dos métricas d y ρ sobre un conjunto X son uniformemen-
te equivalentes si la función identidad de (X, d) sobre (X, ρ) y su inversa son funciones
uniformemente continuas.
Observe que, por la Proposición 2.37, si dos métricas son uniformemente equivalentes,
entonces deben ser topológicamente equivalentes.
Se tiene la siguiente condición suficiente (cuya demostración se deja como ejercicio para
el lector) para que dos métricas sean uniformemente equivalentes. Se verá más adelante que
esta condición es también necesaria para espacios normados.
Ejercicios
2.3. Muestre que los espacios vectoriales siguientes son espacios normados.
i. (1 , N1 ).
ii. (∞ , N∞ ).
iii. (C([a, b]), Np ), p ∈ [1, +∞].
iv. (B([a, b]), N∞ ).
2.4. Considere dos métricas d1 y d2 sobre un conjunto X. Pruebe que d1 + d2 y máx{d1 , d2 }
son también métricas sobre X. También, dé un ejemplo donde mı́n{d1 , d2 } no sea una métrica
sobre X.
Sugerencia. Considere un conjunto con tres puntos.
2.5. Sea d : P(R) × P(R) → R la función
i. 0 ≤ ρ(x, y) y ρ(x, x) = 0.
ii. ρ(x, y) = ρ(y, x).
iii. ρ(x, z) ≤ ρ(x, y) + ρ(y, z).
∀x, x ∈ X se escribe x ∼ x si y sólo si ρ(x, x ) = 0. Muestre que “∼” es una
relación de equivalencia sobre X. Sea X ∗ el conjunto de todas las clases de equivalencia de
X. Demuestre que la función ρ : X ∗ × X ∗ → R dada por ρ(x∗ , y ∗ ) =: ρ(x, y), ∀x, y ∈ X,
está bien definida y que es una métrica sobre X ∗ .
2.7. Se denota por R([a, b]) al conjunto de todas las funciones Riemann-integrables sobre
[a, b]. Pruebe que la función ρ : R([a, b]) × R([a, b]) → R definida como
b
ρ(f, g) = |f (t) − g(t)| dt,
a
es una pseudométrica sobre R([a, b]) que no es métrica.
2.8. Pruebe que en todo espacio normado, si A es la bola con centro en a y radio r > 0,
abierta o cerrada, se cumplen las afirmaciones siguientes.
i. A◦ es la bola abierta correspondiente.
ii. A es la bola cerrada correspondiente.
iii. Fr A es la bola esfera correspondiente.
iv. Ext A es el complemento de la bola cerrada correspondiente.
¿Se cumplen (i)–(iv) para espacios métricos arbitrarios?
A = {x ∈ X|d(x, A) = 0}.
2.18 Pruebe que toda familia de conjuntos abiertos disjuntos en un espacio métrico sepa-
rable es a lo sumo numerable.
2.19. Considere un espacio métrico X.
i. Si A es un conjunto abierto en X, muestre que para todo B ⊂ X, se cumple
A ∩ B ⊂ A ∩ B.
ii. Proporcione un ejemplo de dos intervalos A, B en R tales que A ∩ B A ∩ B.
iii. Encuentre un ejemplo en R de dos conjuntos abiertos A, B tales que los cuatro
conjuntos: A ∩ B, A ∩ B, A ∩ B y A ∩ B sean todos distintos.
2.20. Si {Aα }α∈Ω es una familia arbitraria de subconjuntos de un espacio métrico X, de-
muestre que
Aα ⊃ Aα
α∈Ω α∈Ω
y en el caso de que Ω sea finito, que la inclusión se sustituye por la igualdad. Dé un ejemplo
en R de una familia {Aα }α∈Ω tal que
Aα = Aα .
α∈Ω α∈Ω
2.21. Considere un espacio métrico X. Pruebe las afirmaciones siguientes.
i. ∀A ⊂ X, se cumple Fr A ⊂ Fr A y Fr (A◦ ) ⊂ Fr A. Encuentre un ejemplo donde
Fr A, Fr A , Fr (A◦ ) sean todos distintos.
ii. ∀A, B ⊂ X, se cumple Fr (A ∪ B) ⊂ Fr A ∪ Fr B. Proporcione un ejemplo donde
Fr A, Fr B, Fr (A ∪ B), Fr A ∪ Fr B sean todos distintos.
iii. ∀A, B ⊂ X tales que A ∩ B = ∅, se cumple Fr (A ∪ B) = Fr A ∪ Fr B.
iv. ∀A, B ⊂ X, se cumple Fr (A\B) ⊂ Fr A ∪ Fr B.
Proporcione ejemplos en R en los que las inclusiones dadas en (ii) y (iv) sean estrictas.
2.22 Sean X un espacio métrico, A un subconjunto de X y x ∈ X. Demuestre que x es un
punto de acumulación de A si y sólo si B(x, r) ∩ A es un subconjunto infinito de A, ∀r > 0,
equivalentemente, V ∩ A es un subconjunto infinito de A, ∀V ∈ V(x).
2.23. Considere un espacio métrico (X, d) en el que d satisface la desigualdad “ultramétrica”
Demuestre lo siguiente.
i. d(x, y) = d(y, z) implica d(x, z) = máx{d(x, y), d(y, z)}.
ii. Cada bola abierta B(x, r) en X es a la vez un conjunto abierto y cerrado. Además,
y ∈ B(x, r) implica B(y, r) = B(x, r).
iii. Cada bola cerrada B (x, r) en X es a la vez un conjunto abierto y cerrado. Además,
y ∈ B (x, r) implica B (y, r) = B (x, r).
iv. Si dos bolas tienen un punto en común, una de ellas debe estar contenida en la
otra.
2.24. Demuestre que (∞ , N∞ ) no es separable.
Sugerencia. Construya una familia no numerable de elementos de ∞ que disten entre
sı́ en más de 1.
2.25. Muestre que el conjunto de puntos aislados de un espacio métrico separable debe ser
un conjunto a lo sumo numerable.
2.26. Se dice que x es un punto de condensación de un subconjunto A de un espacio
métrico X, si toda vecindad de x contiene un conjunto infinito no numerable de puntos de
A. El conjunto de puntos de condensación de A se designa por Cond A. Suponga que X es
separable. Pruebe las afirmaciones siguientes.
i. Si A ∩ Cond A = ∅, entonces A es a lo sumo numerable.
Sugerencia. Considere la intersección de A con los abiertos de alguna base numerable
de X.
ii. A ∩ C(Cond(A)) es un conjunto a lo sumo numerable.
iii. Cond A = Cond (A ∩ Cond A).
iv. Cond A es un conjunto cerrado.
v. Cond A ⊂ Cond (CondA).
2.27. En un espacio métrico (X, d) se define la función Diam : P(X) → R como
2.36. Suponga que X está provisto de la métrica discreta. Si f es una función arbitraria de
X en cualquier espacio métrico Y, demuestre que f es continua en X.
2.37. Si f : X → Y es continua y y ∈ Y, muestre que el conjunto
{x ∈ X | f (x) = y}
es cerrado en X.
2.38. Considere un espacio métrico (X, d) y fije un punto x0 ∈ X. Si fx0 : X → R es la
función
{x ∈ X | f (x) = x}
es cerrado en X.
72 2. Espacios Métricos
f (A) = f (A), ∀A ⊂ X.
n, m ≥ N =⇒ d(xn , xm ) < ε.
lı́m d(xn , xm ) = 0.
n,m→∞
3.3 Definición. Un espacio métrico X se dice que es completo si toda sucesión de Cauchy
converge a algún punto de X.
3.4 Ejemplo. Se sabe que R con la distancia usual es completo, lo mismo que (Rn , Np ),
1 ≤ p ≤ ∞.
76 3. Completez, compacidad y conexidad
3.5 Ejemplo. Todo espacio métrico discreto es completo, pues las únicas sucesiones de
Cauchy son las sucesiones constantes, las cuales son trivialmente convergentes.
3.6 Ejemplo. El subespacio [0, 1[ de R con la distancia usual no es completo, pues la su-
cesión {1 − 1/n}∞
n=1 es de Cauchy pero no converge a ningún punto de [0, 1[ (Ejercicio).
yν = lı́m xn (ν), ∀ν ∈ N.
n→∞
Defina y = {y(ν)}∞ ∞
ν=1 . Se afirma que y ∈ p y que la sucesión {xn }n=1 converge a y en p .
Np (xn − y) ≤ ε, ∀n ≥ N,
3.11 Ejemplo. El lector puede verificar como ejercicio que, para 1 ≤ p < ∞, el espacio
normado (C([a, b]), Np ) no es de Banach. Sin embargo, se verá más adelante que los espacios
normados (C([a, b]), N∞ ) y (B([a, b]), N∞ ) sı́ son espacios de Banach.
lı́m d(yn , ym ) = 0.
n,m→∞
se concluye que
lı́m d(xn , x) = 0,
n→∞
Para probar que A es un conjunto cerrado se debe probar que x ∈ A (vea el Teorema 2.20).
Como la sucesión es convergente en X, entonces satisface la condición de Cauchy, luego
{xn }∞
n=1 es una sucesión de Cauchy en A. Siendo A completo como subespacio métrico de
Entonces {xn }∞
n=1 es también una sucesión de Cauchy en X. Por hipótesis, la sucesión debe
Un teorema de extensión
3.12 Observación. Se verifica usando sólo las definiciones, que toda función f de un espacio
métrico (X, d) en otro espacio métrico (Y, ρ) que sea uniformemente continua transforma
sucesiones de Cauchy en sucesiones de Cauchy (Ejercicio).
En particular, si f es una función de X sobre Y tal que f y su inversa f −1 son funciones
uniformemente continuas, entonces X es completo si y sólo si Y es completo.
Más particularmente, si dos métricas d y ρ sobre un mismo conjunto X son uniforme-
mente equivalentes (vea la Definición 2.92), entonces (X, d) es completo si y sólo si (X, ρ) es
completo.
F (x) = f (x), ∀x ∈ A.
Si f es la restricción de F a A, se escribe f = F A .
{f (an )}∞
n=1 converge a algún punto y ∈ Y .
Sea pues ε > 0. Como f es uniformemente continua en A, existe δ > 0 tal que
Luego,
es decir,
Entonces
Luego,
Por lo tanto,
3.14 Observación. La conclusión del Teorema 3.3 puede fallar si se supone solamente que
f es continua o si el espacio métrico Y no es completo. Por ejemplo, el lector puede verificar
en detalle (Ejercicio) que la función f :]0, 1] → R dada por
1
f (x) = , ∀0 < x < 1,
x
es continua en el subespacio denso ]0, 1] de [0, 1] (con la distancia usual de R) pero que
no existe ninguna extensión continua F : [0, 1] → R de f . También, que la función g :
[0, 1]\{1/2} → [0, 1[\{1/2} dada por
(respectivamente, creciente) si
An ⊃ An+1 , ∀n ∈ N,
en R, se cumple que
∞
B (xn , rn ) = ∅.
n=1
Demostración. (a). Suponga que X es completo y considere una sucesión decreciente
de bolas cerradas {B (xn , rn )}∞ ∞
n=1 tales que {rn }n=1 tienda a cero en R.
d(xn , xm ) ≤ rn , ∀m ≥ n, ∀n ∈ N.
rn < ε, ∀n ≥ N.
Entonces, m ≥ n ≥ N implican
d(xn , xm ) ≤ rn < ε.
Esto prueba la afirmación. Por ser X completo, existe x ∈ X que es el lı́mite de la sucesión
de centros {xn }∞
n=1 .
misma {xn }∞
n=1 debe converger a x ∈ X, por ser ésta de Cauchy. Esto prueba que X es
completo.
En el Ejercicio 3.9 se pide demostrar que en el teorema de bolas anidadas la sucesión
de bolas cerradas anidadas puede ser reemplazada, de hecho, por una sucesión decreciente
de conjuntos cerrados arbitrarios cuyo diámetro tiende a cero.
Teorema de Baire
Una consecuencia importante del teorema de bolas anidadas (es decir, de la completez
del espacio) es el llamado teorema de categorı́a de Baire.
B ∩ A = ∅.
B(x, r) ∩ A = ∅.
3.1. Espacios métricos completos 85
Sea y ∈ B(x, r) ∩ A. Siendo abiertos en X estos últimos conjuntos, existe r0 > 0 tal
que B(y, r0 ) ⊂ B(x, r) ∩ A. En particular, B(y, r0 ) ⊂ B(x, r) y B(y, r0 ) ⊂ A, es decir,
" = B(y, ε) o B
B(y, r0 ) ∩ A = ∅. Si B " = B (y, ε), con 0 < ε < r0 , entonces
(iii) implica (i). Sea B una bola abierta arbitraria en X. Por hipótesis existe otra
" tal que B
bola abierta B "⊂B yB
" ∩ A = ∅. Luego, si x ∈ B,
" entonces x ∈ A, es decir,
B" ⊂ A.
◦
Esto implica que B ⊂
A. Por lo tanto A = ∅, es decir, A es un conjunto denso en ninguna
parte de X.
3.6 Teorema. (Teorema de Baire.) Un espacio métrico completo no puede ser escrito
como unión de ninguna familia a lo sumo numerable de conjuntos densos en ninguna parte.
(3.7) Bn ∩ An = ∅, ∀n ∈ N.
3.8 Corolario. Todo espacio métrico completo sin puntos aislados es un conjunto infinito
no numerable.
(Observe que en este caso, {x} serı́a un conjunto denso en ninguna parte, ∀x.)
3.17 Definición. Sea F una función de un espacio métrico X en sı́ mismo. Se dice que F
es una función contractante si existe una constante 0 ≤ α < 1 tal que
3.9 Teorema. (Teorema del punto fijo.) Si F es una función contractante de un espacio
métrico completo X en sı́ mismo, entonces F posee un único punto fijo, es decir, existe un
único punto x0 ∈ X tal que
F (x0 ) = x0 .
3.1. Espacios métricos completos 87
x0 = lı́m F n (x).
n→∞
lı́m d(xn , xm ) = 0.
n,m→∞
(3.10) lı́m xn = x0 .
n→∞
no es suficiente para que F posea algún punto fijo, aunque X sea completo. En efecto, el
subespacio métrico [1, ∞[ de R (con la distancia usual) es completo, por ser éste un conjunto
cerrado en R (vea el Teorema 3.2), y la función F : [1, ∞[→ [1, ∞[ dada por
1
F (x) = x + , ∀x ≥ 1,
x
satisface
1
|F (x) − F (y)| = |x − y| 1 − < |x − y|, ∀x, y ≥ 1.
xy
Sin embargo,
F (x) = x + 1/x = x, ∀x ≥ 1,
donde
1 1
α= 1/2
+
2π 2
es una constante tal que 0 ≤ α < 1.
Por el Teorema del Punto Fijo existe en [π, ∞[ una solución única de la ecuación (3.14),
equivalentemente, de la ecuación (3.13).
Un procedimiento similar al del Ejemplo 3.20 sirve para demostrar el resultado siguien-
te.
3.10 Corolario. Considere el subespacio métrico [a, b] de R (a, b ∈ R con a < b) con la
distancia usual. Si una función f : [a, b] → [a, b] satisface las condiciones siguientes:
i. f es continua en [a, b],
ii. f es derivable en ]a, b[,
iii. Existe 0 ≤ α < 1 tal que |f (x)| ≤ α, ∀x ∈]a, b[,
entonces f posee un único punto fijo en [a, b].
Completación
3.21 Definición. Sean (X, d) y (Y, ρ) dos espacios métricos. Se dice que Y es una comple-
tación de X si Y es completo y X es isométrico a algún subconjunto denso de Y (vea la
90 3. Completez, compacidad y conexidad
Definición 2.83).
deben converger a f (y) y f (y), respectivamente. Como ambas sucesiones son iguales a la
sucesión {j(xn )}∞
n=1 en j(X), necesariamente f (y) = f (y), ∀y ∈ Y , es decir, f = f .
completo, existe un elemento f (y) de Z que debe ser el lı́mite de {j(xn )}∞
n=1 .
{j(xn )}∞
n=1 es una sucesión en j(X) que converge al mismo punto f (y) de Z. En efecto,
se tiene que
0 = lı́m ρ(i(xn ), i(xn )) = lı́m d(xn , xn ) = lı́m σ(j(xn ), j(xn )).
n→∞ n→∞ n→∞
3.1. Espacios métricos completos 91
Ası́ pues,
definición de f , se tiene
Además,
Entonces
ρ(u, v) = lı́m ρ(i(un ), i(vn )) = lı́m σ(j(un ), j(vn )) = σ(f (u), f (v)).
n→∞ n→∞
sucesiones {xn }∞ ∞
n=1 y {i(xn )}n=1 deben ser de Cauchy en X y Y , respectivamente. Siendo Y
de la definición de f que
3.12 Teorema. (Existencia de la completación.) Para todo espacio métrico (X, d) exis-
te una única completación.
para denotar los puntos de X pues sus elementos son sucesiones), se dice que x y y son
equivalentes si ambas muestran una tendencia a converger a un mismo lı́mite (aún si éste no
92 3. Completez, compacidad y conexidad
existe), es decir,
{d(x(n), y(n))}∞
n=1 es una sucesión de Cauchy en R con la distancia usual. En efecto, se sigue
y ∗ , entonces
Ya que el lado derecho tiende a cero cuando n → ∞, por (3.15), se debe cumplir (3.16). Esto
prueba la afirmación.
Se define entonces la función ρ : X ∗ × X ∗ → R como
donde x = {x(n)}∞ ∗ ∞ ∗
n=1 ∈ x y y = {y(n)}n=1 ∈ y se escogen arbitrariamente. Se afirma
representantes x = {x(n)}∞ ∗ ∞ ∗ ∞ ∗
n=1 ∈ x y y = {y(n)}n=1 ∈ y y z = {z(n)}n=1 ∈ z , se tiene que
implica
Finalmente, se cumple
ρ(i(x), i(y)) = lı́m d(x(n), y(n)) = lı́m d(x, y) = d(x, y), ∀x, y ∈ X.
n→∞ n→∞
Por lo tanto, i es una isometrı́a de X sobre i(X). Para ver que i(X) es denso en X ∗ , fije
x∗ ∈ X ∗ y sea ε > 0. Si x = {x(n)}∞ ∗
n=1 es un representante de x , es decir, un elemento de
x∗ , entonces {x(n)}∞ ∞
n=1 = {xn }n=1 es una sucesión de Cauchy en X (aquı́, x(n) denotará al
d(xN , xm ) < ε, ∀m ≥ N.
sucesión {xn }∞
n=1 debe ser de Cauchy en X. Existe pues N ∈ N tal que
3.23 Definición. Una familia de conjuntos abiertos {Gi }i∈I de un espacio métrico X se
llama cubierta abierta de X si
X⊂ Gi .
i∈I
Una subcubierta de la cubierta abierta {Gi }i∈I es cualquier subfamilia {Gj }j∈J , con J ⊂ I,
que es a su vez una cubierta abierta de X, es decir, tal que
X⊂ Gj .
j∈J
C = {B ∈ B | ∃i ∈ I tal que B ⊂ Gi }.
Suponga ahora que se cumpla la condición. Sea {Hi }i∈I una cubierta de S por abiertos
de S. Como Hi = Gi ∩ S, donde Gi es un conjunto abierto en X, ∀i ∈ I, entonces {Gi }i∈I
debe ser una cubierta de S por abiertos de X. Existen pues i(1), . . . , i(n) ∈ I tales que
n
S⊂ Gi(k) ,
k=1
de donde
n
n
S⊂ (Gi(k) ∩ S) = Hi(k) .
k=1 k=1
Por lo tanto, S es un conjunto compacto en X.
punto x ∈ X, entonces
A = {xn | n ∈ N} ∪ {x}
es un conjunto compacto en X.
En efecto, sea {Gi }i∈I una cubierta abierta de A. Entonces, x ∈ Gi(0) para algún
i(0) ∈ I. Siendo Gi(0) abierto en X, existe N ∈ N tal que
xn ∈ Gi(0) , ∀n > N.
También existen i(1), . . . , i(N ) ∈ I tales que xk ∈ Gi(k) , k = 1, . . . , N . Entonces una subcu-
bierta finita de {Gi }i∈I serı́a {Gi(0) , Gi(1) , . . . , Gi(N ) }. Por el Teorema 3.14, A es un conjunto
compacto en X.
3.28 Ejemplo. Todo intervalo cerrado y acotado en R (con la distancia usual) es un con-
junto compacto.
En efecto, sea [a, b], a, b ∈ R con a < b, un intervalo cerrado y acotado en R. Sea C una
cubierta de [a, b] por conjuntos abiertos de R. Defina
c = sup E,
3.2. Espacios métricos compactos 97
de hecho, a ≤ c ≤ b.
Como C es cubierta de [a, b], existe G ∈ C tal que c ∈ G. Siendo G un conjunto abierto
en R, existe ε > 0 tal que
]c − ε, c + ε[⊂ G.
Puesto que c−ε no puede ser cota superior de E, existe x ∈ E tal que c−ε < x. Por definición
de E, existen G1 , . . . , Gn en C que recubren al intervalo [a, x]. Entonces {G1 , . . . , Gn , G} es
una cubierta del intervalo [a, c + ε[, luego de [a, y], ∀y ∈]c, c + ε[.
Por otra parte, si y ∈]c, c + ε[, entonces y ∈ E (por ser c el supremo de E). Otra vez
por definición de E, se debe tener b < y, ∀y ∈]c, c + ε[. Esto implica que b ≤ c, o sea, que
c = b. Ası́ pues, {G1 , . . . , Gn , G} es una cubierta finita del intervalo [a, b] por elementos de
C. Se concluye del Teorema 3.14 que [a, b] es conjunto compacto en R.
3.29 Ejemplo. El sistema ampliado de los números reales R es un espacio métrico compac-
to.
En efecto, recuerde que la familia B formada por los intervalos ]a, b[, ]M, +∞] y
[−∞, m[, donde a, b, M, m ∈ R y a < b, M > 0 y m < 0, constituyen una base para la
topologı́a de R. Sea pues C una cubierta básica de R. Por ser C cubierta, existen M > 0 y
m < 0 tales que [−∞, m[, ]M, +∞] ∈ C.
Recuerde que los conjunto abiertos en el subespacio métrico [m, M ] de R son los mismos
que los conjuntos abiertos del subespacio métrico [m, M ] de R con la distancia usual. Por
el Ejemplo 3.27, el conjunto [m, M ], que es compacto en R con la distancia usual, debe ser
compacto en R. Como C recubre a [m, M ] con abiertos de R, existen G1 , . . . , Gn ∈ C tales
que
n
[m, M ] ⊂ Gk .
k=1
3.16 Teorema. (Propiedad de intersección finita.) Para un espacio métrico X las si-
guientes afirmaciones son equivalentes.
i. X es compacto.
ii. Toda familia de conjuntos cerrados en X cuya intersección es el vacı́o contiene una
subfamilia finita con intersección vacı́a.
iii. Toda familia de conjuntos cerrados en X tal que cualquier subfamilia finita tenga
intersección no vacı́a, tiene intersección no vacı́a.
por las Leyes de De Morgan. Por hipótesis, existen i(1), . . . , i(n) ∈ I tales que
n
Fi(k) = X,
k=1
es decir,
n
Fi(k) = ∅.
k=1
(ii) implica (i). Sea {Gi }i∈I una cubierta abierta de X. Entonces { Gi }i∈I es una
familia de conjuntos cerrados en X cuya intersección es el vacı́o (por las Leyes de De Morgan).
Por hipótesis existen i(1), . . . , i(n) ∈ I tales que
n
Gi(k) = ∅,
k=1
3.2. Espacios métricos compactos 99
es decir,
n
Gi(k) = X,
k=1
o sea, que {Gi(k) }nk=1 es una subcubierta finita de X. Por lo tanto, X es compacto.
El siguiente resultado es consecuencia directa (Ejercicio) del Teorema 3.16 y del Teo-
rema de bolas anidadas (Teorema 3.4).
Aε = {a1 , . . . , an }
de puntos de A tal que las bolas abiertas {B(a1 , ε), . . . , B(an , ε)} forman una cubierta de X.
En particular, esto se cumple si X es secuencialmente compacto.
El enunciado anterior es equivalente al siguiente.
ii. Si existe ε0 > 0 tal que ninguna familia finita de bolas abiertas de radio ε0 forma
una cubierta de X, entonces existe una sucesión en X tal que ninguna de sus subsucesiones
es de Cauchy. En particular, X no puede ser secuencialmente compacto si se cumple esta
condición.
Demostración. Suponga que existe ε0 > 0 tal que ninguna familia finita de bolas
abiertas de radio ε0 es cubierta de X. Sea a1 ∈ X arbitrario. Suponga elegidos a1 , . . . , ak ∈ X
tales que
d(ai , aj ) ≥ ε0 , ∀i, j ∈ N, i = j.
3.21 Lema. Sea X un espacio métrico. Si para cada ε > 0 existe un conjunto finito
Aε = {a1 , . . . , an }
de puntos de A tal que las bolas abiertas {B(a1 , ε), . . . , B(an , ε)} forman una cubierta de X,
entonces X es separable. En particular, todo espacio métrico secuencialmente compacto es
3.2. Espacios métricos compactos 101
separable.
∅=
B(x, 1/n) ∩ A1/n ⊂ B(x, 1/n) ∩ D.
Luego, toda bola con centro en x y radio positivo tiene intersección no vacı́a con D, es
decir, D es denso en X. Por lo tanto, X es separable. En particular, si X es secuencialmente
compacto, por el Lema 3.20, se cumplen las hipótesis del presente lema, por lo tanto X es
separable.
C = {Cn }∞
n=1 .
102 3. Completez, compacidad y conexidad
Puesto que {Cα(1) , . . . , Cα(k) } no puede ser cubierta de X, existe un primer natural α(k + 1)
tal que α(k + 1) > α(k) y
k
Cα(k+1) ⊂ Cα(i) .
i=1
Luego,
k+1
α(k+1)
Cα(i) = Cj .
i=1 j=1
es una subcubierta de C y
n−1
Cα(n) \ Cα(i) = ∅, ∀n ∈ N.
i=1
Se puede escoger entonces
n−1
(3.18) xn ∈ Cα(n) \ Cα(i) , ∀n ∈ N.
i=1
3.2. Espacios métricos compactos 103
xn ∈ Cα(n0 ) , ∀n > n0 .
3.31 Definición. Se dice que un espacio métrico X es semicompacto o que tiene la pro-
piedad de Bolzano-Weierstrass si todo subconjunto infinito de X posee al menos un
punto de acumulación en X.
Como {Gx }x∈X es una cubierta abierta de X, existen x(1), . . . , x(n) ∈ X tales que
n
X= Gx(i) .
i=1
Ya que A ⊂ X, se debe tener
n
A\{x(1), . . . , x(n)} = (X ∩ A)\{x(1), . . . , x(n)} = Gx(i) \{x(1), . . . , x(n)} ∩ A
i=1
n
n
# $
⊂ Gx(i) \{x(i)} ∩A= Gx(i) \{x(i)} ∩ A = ∅,
i=1 i=1
por (3.19). Entonces
A ⊂ {x(1), . . . , x(n)},
x(N) posee por lo menos un punto de acumulación a ∈ X. Existe pues α(1) ∈ N tal que
d(xα(1) , a) < 1.
Suponga elegidos naturales α(1), . . . , α(j) tales que α(j − 1) < α(j) y
1
d(xα(j) , a) < .
j
Puesto que la bola con centro a y radio 1/(j + 1) contiene una infinidad de términos de la
sucesión {xn }∞
n=1 , existe α(j + 1) ∈ N tal que α(j) < α(j + 1) y
1
d(xα(j+1) , a) < .
j+1
Inductivamente se tiene definida una función α : N → N estrictamente creciente tal que
1
(3.20) d(xα(n) , a) < , ∀n ∈ N.
n
3.2. Espacios métricos compactos 105
satisface
lı́m d(xα(n) , a) = 0,
n→∞
Note que la función diámetro es creciente en el sentido de que ∀A, B ∈ P(X) tales que
A ⊂ B, se cumple Diam (A) ≤ Diam (B).
3.35 Ejemplo. En cualquier espacio métrico, la unión de cualquier familia finita de con-
juntos acotados es un conjunto acotado (Ejercicio). En particular, todo conjunto totalmente
106 3. Completez, compacidad y conexidad
acotado es acotado.
3.36 Ejemplo. La bola unitaria cerrada B (0, 1) del espacio se sucesiones (1 , N1 ) no es
totalmente acotada.
En efecto, ∀ν ∈ N defina eν = {eν (n)}∞
n=1 ∈ 1 como la sucesión
⎧
⎪
⎨1 si n = ν,
eν (n) =
⎪
⎩0 si n = ν.
Se verifica de inmediato (Ejercicio) que el conjunto
{eν | ν ∈ N}
Esto prueba que ninguna familia finita de conjuntos cuyo diámetro sea menor o igual a uno
puede ser cubierta de B (0, 1). Por lo tanto, el conjunto B (0, 1) no es totalmente acotado
en 1 .
Se tienen las caracterizaciones siguientes del acotamiento total para espacios métricos.
3.26 Proposición. Sea X un espacio métrico. Las siguientes afirmaciones son equivalentes.
i. X es totalmente acotado.
ii. Para cada ε > 0 existe una cubierta finita de X por bolas de radio ε.
iii. Toda sucesión en X contiene una subsucesión de Cauchy.
Demostración. (ii) implica (i). Sea ε > 0. Por hipótesis existe una cubierta finita
C de X por bolas de radio ε/2. Ya que toda bola de radio ε/2 es un conjunto de diámetro
menor o igual a ε (vea el Ejemplo 3.33), entonces C es una cubierta finita de X por conjuntos
de diámetro menor o igual a ε. Por lo tanto, X es totalmente acotado.
3.2. Espacios métricos compactos 107
∀n ∈ N,
1
Diam (Dn ) <
n
y x−1 (Dn ) es un conjunto infinito en N, es decir, Dn contiene una infinidad de términos de
la sucesión {xn }∞
n=1 .
Por hipótesis existe una cubierta finita Cn de X formada por conjuntos de diámetro
menor o igual que 1/n, ∀n ∈ N. Como
N= x−1 (A)
A∈C1
D1 = A1 . Suponga definidos D1 , . . . , Dj tales que Diam (Dj ) ≤ 1/j, Dj ⊂ Dj−1 y x−1 (Dj ) es
un subconjunto infinito de N, es decir, Dj contiene una infinidad de términos de la sucesión
{xn }∞
n=1 . Puesto que
# $
x−1 (Dj ) = x−1 (Dj ∩ A)
A∈Cj+1
es un subconjunto infinito de N y Cj+1 es un conjunto finito, existe Aj+1 ∈ Cj+1 tal que
x−1 (Dj ∩ Aj+1 ) es un subconjunto infinito de x−1 (Dj ), es decir, Dj ∩ Aj+1 contiene una
infinidad de términos de la sucesión {xn }∞
n=1 . Defina Dj+1 = Dj ∩Aj+1 . Entonces Dj+1 ⊂ Dj ,
Diam (Dj+1 ) ≤ 1/(j +1) y x−1 (Dj+1 ) es un subconjunto infinito de N, es decir, Dj+1 contiene
una infinidad de términos de la sucesión {xn }∞
n=1 . Inductivamente se ha definido pues la
α(1) ∈ x−1 (D1 ), es decir, xα(1) ∈ D1 . Suponga escogidos α(1), . . . , α(j) tales que α(j − 1) <
α(j) y α(j) ∈ x−1 (Dj ), es decir, xα(j) ∈ Dj . Puesto que el subconjunto x−1 (Dj+1 ) es infinito,
es decir, que Dj+1 contiene una infinidad de términos de la sucesión x = {xn }∞
n=1 , existe
α(j + 1) ∈ x−1 (Dj+1 ), es decir, xα(j+1) ∈ Dj+1 , tal que α(j + 1) > α(j). Inductivamente se
108 3. Completez, compacidad y conexidad
(3.21) xα(n) ∈ Dn , ∀n ∈ N.
xα(k) ∈ Dn , ∀k ≥ n.
Ası́ pues,
1
d(xα(k) , xα(l) ) ≤ Diam (Dn ) ≤ , ∀k, l ≥ n y ∀n ∈ N.
n
De esto se sigue sin más que la subsucesión {xα(n) }∞ ∞
n=1 de x = {xn }n=1 es una sucesión de
Cauchy.
(iii) implica (ii). Si no se cumple (ii), entonces no puede cumplirse (iii), por el Le-
ma 3.20.
sucesión convergente, pero la condición de Cauchy implica que la sucesión misma debe ser
convergente (y al mismo lı́mite que la subsucesión).
Suponga ahora que X es completo y totalmente acotado. Entonces toda sucesión en X
posee una subsucesión de Cauchy (vea la Proposición 3.26), la cual debe ser convergente, por
ser X completo. Esto prueba que X es secuencialmente compacto. El Teorema 3.25 implica
entonces que X es compacto.
3.37 Ejemplo. (El Cubo de Hilbert.) El cubo de Hilbert se define como el subespacio
métrico Q de 2 dado por
1
Q = x = {x(n)}∞
n=1 ∈ 2
0 ≤ x(n) ≤ , ∀n ∈ N .
2n
Se demostrará que Q es un conjunto compacto.
Se afirma pues que Q es un subespacio métrico completo de 2 . En efecto, como 2 es
un espacio de Banach (vea el Ejemplo 3.9), basta probar que el conjunto Q es cerrado en 2 ,
por el Teorema 3.2. Para cada n ∈ N, la función πn : 2 → R dada por
Q∗ = {x∗ | x = {x(n)}∞
n=1 ∈ Q}.
3.2. Espacios métricos compactos 111
del subespacio métrico Q∗ de 2 en (RN , N2 ) es claramente una isometrı́a. Ya que toda iso-
metrı́a transforma conjuntos acotados sobre conjuntos acotados del mismo diámetro (Ejer-
cicio), el conjunto π(Q∗ ) debe ser acotado en RN . Puesto que en RN todo conjunto acotado
es totalmente acotado y que una isometrı́a transforma conjuntos totalmente acotados sobre
conjuntos totalmente acotados (Ejercicio), necesariamente π(Q∗ ) es totalmente acotado en
RN y Q∗ = π −1 (π(Q∗ )) es totalmente acotado en 2 . Existe pues un número finito de bolas
{B(a1 , ε/2), . . . , B(ar , ε/2)} tales que
r
(3.23) Q∗ ⊂ B(ak , ε/2).
k=1
Se sigue de (3.22) y (3.23) que
r
Q⊂ B(ak , ε)
k=1
(¿Por qué?). Por lo tanto, Q es totalmente acotado. La conclusión se sigue pues del Teore-
ma 3.29.
3.38 Ejemplo. (El Conjunto de Cantor.) Para definir al conjunto de Cantor se cons-
truirá inductivamente una sucesión decreciente {Eν }∞
ν=0 de conjuntos cerrados en [0, 1].
a derecha) Jν,1 , . . . , Jν,2ν , cada uno de longitud 1/3ν . Para k = 1, . . . , 2ν , a Jν,k se le resta el
intervalo abierto Iν+1,k de longitud 1/3ν+1 centrado en el punto medio de Jν,k , se obtienen
2ν+1 intervalos cerrados disjuntos (numerados de izquierda a derecha) Jν+1,1 , . . . , Jν+1,2ν+1
cada uno de longitud 1/3ν+1 . Defina
ν+1
2
Eν+1 = Jν+1,k .
k=1
Entonces Eν+1 ⊂ Eν . Note, por cierto, que el extremo izquierdo del intervalo Jν,k es el
extremo izquierdo de Jν+1,2k−1 y que el extremo derecho de Jν,k es el extremo derecho de
Jν+1,2k , k = 1, . . . , 2ν , por lo que dichos extremos nunca serán removidos. Esto termina el
proceso inductivo.
Se define entonces el Conjunto Ternario de Cantor como
∞
C= Eν .
ν=0
Como el conjunto C es cerrado y acotado en R, debe ser compacto.
Se afirma ahora que C es un conjunto infinito no numerable. En efecto, por lo que se
hizo notar al final del penúltimo párrafo, los extremos de todos los intervalos Jν,k deben
pertenecer a C. Ahora bien, siendo R completo y C cerrado en R, si se prueba que C es
un conjunto no vacı́o tal que todos sus puntos son puntos de acumulación, es decir, que C
no tiene puntos aislados, entonces C debe ser un conjunto infinito no numerable, por una
consecuencia del Teorema de Categorı́a de Baire (vea el Corolario 3.8). En efecto, C es no
vacı́o porque los extremos de todo intervalo Jν,k pertenecen a C. Sea ahora x ∈ C. Entonces
x ∈ Eν , ∀ν ∈ N. Luego, ∀ν ∈ N existe k(ν) ∈ {1, . . . , 2ν } tal que x ∈ Jν,k(ν) . Sea xν uno de
los dos extremos de Jν,k(ν) tal que x = xν , ∀ν ∈ N. Puesto que
1
|xν − x| ≤ L (Jν,k(ν) ) = , ∀ν ∈ N,
3ν
donde L denota “longitud”, entonces {xν }∞
ν=1 es una sucesión en C de elementos distintos de
de la forma
∞
tν
x= , tν ∈ {0, 1, 2}, ∀ν ∈ N.
ν=1
3ν
Observe que los puntos de [0, 1] que son removidos en la primera etapa de la construcción del
conjunto de Cantor, es decir, los pertenecientes al intervalo I1,1 , son precisamente aquellos
para los cuales t1 = 1. Ası́ mismo, ∀ν ∈ N, los puntos que son removidos de Eν en la
ν + 1−ésima etapa de la construcción, es decir, los pertenecientes a algún intervalo Iν+1,k ,
k = 1, . . . , 2ν , son aquellos para los cuales tν+1 = 1. Se concluye pues que los elementos
del conjunto de Cantor son aquellos puntos de [0, 1] tales que en su expansión ternaria no
aparece ningún uno (exceptuando aquellos puntos que poseen dos representaciones ternarias
distintas, o sea, de la forma k/3N , donde k y N son enteros no negativos, es decir, aquellos
puntos pertenecientes a Z3 (vea la Observación 1.11). Por lo tanto,
!
∞
tk
C = x ∈ [0, 1]x = , tk ∈ {0, 2}, ∀k ∈ N .
3k
k=1
Compacidad relativa
A ⊂ C = C,
donde la última igualdad se cumple por ser C un conjunto cerrado en X (vea el Corola-
rio 3.30). Siendo A un conjunto cerrado en X contenido en C, A debe ser un conjunto
cerrado en el subespacio métrico compacto C, luego A es un conjunto compacto, por la
Proposición 3.19. Ası́ pues, A es relativamente compacto.
Si ahora A es relativamente compacto en X, entonces A está contenido en el subcon-
junto compacto A de X.
114 3. Completez, compacidad y conexidad
Continuidad
3.36 Teorema. Sea f una función continua de un espacio métrico (X, d) en un espacio
métrico (Y, ρ). Si A es un conjunto compacto en X, entonces f (A) es un conjunto compacto
en Y .
3.37 Corolario. Toda función continua de un espacio métrico compacto en otro espacio
métrico es una aplicación cerrada.
Demostración. Esto es inmediato del Teorema 3.36 y del Corolario 3.37, ya que, en
este caso, tanto f como f −1 son aplicaciones cerradas.
3.39 Teorema. Toda función continua de un espacio métrico compacto en R con la distancia
usual, alcanza sus valores máximo y mı́nimo en puntos del compacto.
3.40 Teorema. (Teorema de Heine.) Toda función continua de un espacio métrico com-
pacto en un espacio métrico es uniformemente continua.
lı́m xα(n) = x,
n→∞
lı́m yα(n) = x.
n→∞
lo cual implicarı́a
Esto serı́a absurdo porque (3.26) contradice (3.25). Por lo tanto, f debe ser uniformemente
continua en X.
Caracterizaciones
3.40 Definición. Se dice que un espacio métrico es conexo si ningún subconjunto propio
no vacı́o de X es al mismo tiempo abierto y cerrado.
3.41 Definición. Una familia {Ai }i∈I de subconjuntos de un conjunto S se llama partición
de S si satisface:
i. Ai = ∅, ∀i ∈ I.
ii. S = Ai .
i∈I
iii. Ai ∩ Aj = ∅, ∀i, j ∈ I, i = j.
Puesto que la definición de conexidad está dada en términos negativos, para demostrar
esta propiedad tı́picamente se procede negativamente, ya sea por reducción al absurdo o por
negación.
3.41 Teorema. Sea X un espacio métrico. Las siguientes afirmaciones son equivalentes a
pares.
i. X es conexo.
ii. No existe una partición de X en dos conjuntos abiertos.
iii. No existe una partición de X en dos conjuntos cerrados.
Por convención, el conjunto vacı́o y todo subconjunto reducido a un punto serán con-
siderados conjuntos conexos.
3.43 Observación. Una condición necesaria y suficiente (Ejercicio) para que un subcon-
junto A en un espacio métrico X sea un conjunto conexo es que no existan dos abiertos (o
cerrados) U y V en X tales que
U ∩ A, V ∩ A = ∅, (U ∩ A) ∩ (V ∩ A) = ∅ y (U ∩ A) ∪ (V ∩ A) = A.
3.44 Ejemplo. El lector puede verificar fácilmente (Ejercicio) que en R con la distancia
usual, los subconjuntos: N, Q, I y [1, 2] ∪ [3, 4], son todos conjuntos no conexos o disconexos,
como también suele llamárseles.
3.45 Ejemplo. En un espacio métrico discreto X los únicos conjuntos conexos son aquellos
reducidos a un punto (recuerde que en un espacio discreto todo conjunto reducido a un punto
es un conjunto abierto y cerrado).
3.46 Ejemplo. En R con la distancia usual, los únicos conjuntos conexos son los intervalos
(posiblemente reducidos a un punto o vacı́os). En particular, R es conexo.
(a). Suponga que A es un conjunto conexo en R, no es vacı́o y no reducido a un punto.
Hay que probar que A es un intervalo no degenerado. Sean pues x, y ∈ A, x < y, y sea
z ∈]x, y[. Para probar que A es un intervalo se debe mostrar que z ∈ A. Suponga por el
contrario que z ∈ A. Entonces {] − ∞, z[∩A, ]z, ∞[∩A[} serı́a una partición de A en dos
conjuntos abiertos de A (ambos conjuntos son no vacı́os, disjuntos y su unión es A), lo cual
serı́a absurdo. Ası́ pues, z ∈ A. Por lo tanto, A es un intervalo.
Sean a = ı́nf A y b = sup A en R. Se afirma que A es un intervalo con extremos a y b.
En efecto, sea x ∈]a, b[. Por definición de supremo e ı́nfimo, existen x , y ∈ A tales que
Por lo anterior, se tiene ]x , y [⊂ A. Luego, x ∈ A. Esto prueba que ]a, b[⊂ A. Como clara-
3.3. Espacios métricos conexos 119
c = sup ( [x, y] ∩ B ) .
de donde
Entonces, para
se tendrı́a z > c. Esto serı́a absurdo porque c es cota superior de [x, y] ∩ B. Se concluye pues
que c ∈ B.
Suponga ahora que c ∈ C. Entonces x < c (por ser B y C disjuntos). Ya que C es un
conjunto abierto en I, existe 0 < s < c − x tal que BI (c, s) ⊂ C, luego,
]c − s, c] ⊂ [x, y],
120 3. Completez, compacidad y conexidad
de donde
(3.27) ]c − s, c] ⊂ [x, y] ∩ C.
Observe que
en particular, todos los elementos de [x, y] ∩ B serı́an menores o iguales que c − s, donde
la primera contención se cumple porque c es el supremo de [x, y] ∩ B y última igualdad se
cumple por (3.27) y por ser B y C disjuntos. Ası́ pues, si z ∈]c − s, c[, entonces z serı́a una
cota superior de [x, y] ∩ B y z < c. Esto también serı́a absurdo porque c es la mı́nima de las
cotas superiores de [x, y] ∩ B.
En esta forma se llegarı́a a la conclusión de que c ∈ I = B ∪ C y c ∈ B ∪ C = I, lo
cual serı́a absurdo. Por lo tanto, I debe ser un conjunto conexo.
3.47 Ejemplo. Los únicos conjuntos conexos en el subespacio métrico Q de R con la dis-
tancia usual, son aquellos reducidos a un punto y el vacı́o (Ejercicio).
Se tendrı́a entonces que {A1 , B1 } serı́a una partición de [0, 1]. Se afirma que A1 y B1 son
conjuntos abiertos en [0, 1]. En efecto, basta observar que la función f : [0, 1] → Rn dada por
es continua en [0, 1] y que A1 = f −1 (A) y B1 = f −1 (B). Ası́ pues, {A1 , B1 } serı́a una
partición de [0, 1] en dos conjuntos abiertos de [0, 1]. Esto serı́a absurdo ya que, de acuerdo
al Ejemplo 3.46, el intervalo [0, 1] es un conjunto conexo en R. Por lo tanto, Rn es conexo.
3.3. Espacios métricos conexos 121
3.49 Ejemplo. En (Rn , Np ), 1 ≤ p ≤ ∞, los únicos conjuntos que pueden ser simultánea-
mente abiertos y cerrados son Rn y ∅
Propiedades operacionales
A ⊂ B ⊂ A,
3.44 Teorema. Si {Ai }i∈I es una familia de conjuntos conexos en un espacio métrico X tal
que Ai ∩ Aj = ∅, ∀i, j ∈ I con i = j, entonces el conjunto
A= Ai
i∈I
es conexo.
Ai ∩ M = ∅ o Ai ∩ N = ∅,
122 3. Completez, compacidad y conexidad
de otra forma {Ai ∩ M, Ai ∩ N } serı́a una partición del subespacio métrico Ai de X en dos
conjuntos abiertos, ∀i ∈ I. Luego, Ai ⊂ M o Ai ⊂ N , ∀i ∈ I. Fije i0 ∈ I. Suponga que
Ai0 ⊂ M . Ya que Ai ∩ Ai0 = ∅, necesariamente Ai ∩ M = ∅, luego Ai ∩ N = ∅, de donde,
Ai ⊂ M , ∀i ∈ I. Se sigue que A ⊂ M , luego, N = ∅. Por lo tanto, A es conexo.
( Fr A ) ∩ B = ∅.
3.47 Corolario. En un espacio métrico conexo, cualquier subconjunto propio no vacı́o tiene
frontera no vacı́a.
Continuidad
Puesto que
A⊂A∪C ⊂A y B ⊂ B ∪ C ⊂ B,
se sigue del Teorema 3.43 que ambos conjuntos A∪C y B ∪C son conexos. Siendo ( A ∪ C )∩
( B ∪ C ) = ∅, el Teorema 3.44 implica que
(A ∪ C ) ∪ (B ∪ C ) = D
La demostración se sigue directamente (Ejercicio) del Teorema 3.48 y del Ejemplo 3.46.
une a x con y en X si
3.52 Definición. Se dice que un espacio métrico X es conexo por arcos si cualquier par
de elementos de X puede ser unido por un camino en X.
Demostración. Sea X un espacio métrico conexo por arcos. Fije x0 ∈ X. Por hipótesis,
∀x ∈ X, existe un camino que une x con x0 . Ya que la imagen de cualquier camino en X
es un conjunto conexo (por el Ejemplo 3.46 y el Teorema 3.48) y X es la unión de los
caminos que unen a x0 con cualquier otro punto x de X, entonces X es unión de una familia
conjuntos conexos que tienen a x0 como elemento común. La conclusión se sigue sin más del
Teorema 3.44.
La recı́proca del Teorema 3.51 no es cierta, en general, como lo muestra el siguiente
ejemplo.
3.53 Ejemplo. Considere el subespacio métrico del espacio normado (R2 , N∞ ) dado por
D = A ∪ B ∪ C,
donde
∞
1
A= × [−2, 2], B = [0, 1] × {−2} y C = {(0, 0)}
n=1
n
(Haga un bosquejo de D). Procediendo de manera similar al Ejemplo 3.50 se demuestra que
A es un conjunto conexo en R2 (Ejercicio). Se probará que A no es conexo por arcos; más
precisamente, que no existe ningún camino en D que una a (0, 0) con algún otro punto de
D.
Considere pues un camino arbitrario ϕ : [0, 1] → D tal que ϕ(0) = (0, 0). Puesto que ϕ
es continua y el conjunto {(0, 0)} es cerrado en R2 , el conjunto ϕ−1 ({(0, 0)}) es cerrado en el
subespacio métrico [0, 1] de R (con la distancia usual). Se afirma que ϕ−1 ({(0, 0)}) es también
un conjunto abierto en [0, 1]. En efecto, considere la bola abierta B((0, 0), 1) en R2 . Siendo
ϕ continua, ϕ−1 (B((0, 0), 1)) es un conjunto abierto en el subespacio métrico [0, 1] de R el
cual contiene a 0. Se verá que ϕ−1 (B((0, 0), 1)) está enteramente contenido en ϕ−1 ({(0, 0)}).
126 3. Completez, compacidad y conexidad
Por ser ϕ−1 (B((0, 0), 1)) abierto en [0, 1] que contiene a 0, existe 0 < δ < 1 tal que
Suponga que ϕ(t) llegara a tomar algún otro valor en D distinto de (0, 0) al variar t a lo
largo de [0, δ[, es decir, que existiera (1/n0 , y0 ) ∈ ϕ([0, δ[), donde n0 ∈ N y y0 ∈ [−1, 1] (note
que B((0, 0), 1) ∩ B = ∅). Entonces al fijar 0 < x0 < 1/n0 tal que x0 = 1/n, ∀n ∈ N, y al
considerar los conjuntos abiertos disjuntos en R2 dados por
se tendrı́a
Luego G∩ϕ([0, δ[) y H ∩ϕ([0, δ[) serı́an dos conjuntos abiertos disjuntos no vacı́os en ϕ([0, δ[)
tales que
Esto prueba que el conjunto ϕ−1 ({(0, 0)}) es abierto en [0, 1]. Siendo el conjunto ϕ−1 ({(0, 0)})
abierto, cerrado y no vacı́o en el espacio conexo [0, 1], se concluye que ϕ−1 ({(0, 0)}) = [0, 1].
Por lo tanto, cualquier función continua de ϕ : [0, 1] → D tal que ϕ(0) = (0, 0) debe cumplir
que ϕ(t) = (0, 0), ∀t ∈ [0, 1]. Esto prueba que no existe ningún camino en D que una a (0, 0)
3.3. Espacios métricos conexos 127
3.54 Ejemplo. Se verifica de inmediato (Ejercicio) que los conjuntos A y B del Ejemplo 3.50
son conexos por arcos, luego conexos, pero que el conjunto D no es conexo por arcos. Para
ver esto último, se podrı́a seguir una idea similar a la del ejemplo anterior (Ejercicio).
Ejercicios
no es completo.
128 3. Completez, compacidad y conexidad
que
+∞
d(sn , s) ≤ d(si , si+1 ), ∀n ∈ N.
i=n
3.9. Demuestre que un espacio métrico (X, d) es completo si y sólo si toda sucesión
decreciente {An }∞
n=1 de conjuntos cerrados en X tal que
lı́m Diam An = 0
n→+∞
3.12. Pruebe que en todo espacio métrico sin puntos aislados existe por lo menos una
familia de subconjuntos abiertos densos cuya intersección es el vacı́o.
3.13. Proporcione un ejemplo de una función contractante de un espacio métrico en
sı́ mismo que no tenga puntos fijos.
3.14. En el espacio métrico completo R, provisto de la distancia usual, considere la
función F : R → R definida como
⎧
⎪
⎨x + e−x si x ≥ 0,
F (x) =
⎪
⎩1x + 1
2 si x < 0.
lo siguiente.
i. Muestre que, ∀x, y ∈ R con x = y, se cumple |F (x) − F (y)| < |x − y|.
ii. Verifique que F no tiene puntos fijos.
3.15. Demuestre el Corolario 3.10. Aplique este resultado para probar que la ecuación
1 − x2 4x3
+ − 9x = 0
1 + x2 3
tiene un única solución en el intervalo [0, 1] e indique un proceso iterativo para determinarla.
3.16. Admita que el espacio normado (C([0, 1]), N∞ ) de todas funciones continuas de
[0, 1] en R con la norma uniforme, es de Banach. Considere la función F : C([0, 1]) → C([0, 1])
que a cada función continua x : [0, 1] → R le asocia la función continua F (x) : [0, 1] → R
definida como
t
2 sen u
F (x)(t) = t tan t + x(u) du, ∀t ∈ [0, 1].
0 2
Pruebe que F es una función contractante. Deduzca que la ecuación integral
t
2 sen u
x(t) = t tan t + x(u) du, ∀t ∈ [0, 1],
0 2
tiene una solución única en C([0, 1]), es decir, que existe una única función continua h :
[0, 1] → R tal que
t
2 sen u
h(t) = t tan t + h(u) du, ∀t ∈ [0, 1].
0 2
(De hecho, la función t → t2 tan t anterior puede ser reemplazada por cualquier función
continua g de [0, 1] en R sin alterar el resultado.)
130 3. Completez, compacidad y conexidad
Recuerde que un espacio métrico (X, d) se dice que es acotado si Diam X < +∞.
Sugerencia. Suponga que B(a, r) = A∪B, donde A, B son no vacı́os, abiertos en B(a, r)
y A ∩ B = ∅. Si a ∈ A, considere un punto x ∈ B tal que d(a, x) = ı́nf d(a, b) (Justifique).
b∈B
3.41. Sea X el subespacio compacto de (R2 , N∞ ) definido como
{(x1 , x2 ) | x1 = 0 y 0 ≤ x2 ≤ 1 ó 0 ≤ x1 ≤ 1 y x2 = 0}.
Pruebe que en X cada bola abierta es conexa, pero que la adherencia de cierta bola abierta
no es la bola cerrada correspondiente.
3.42. Muestre que toda bola en (Rn , Np ), 1 ≤ p ≤ ∞, es un conjunto conexo.
3.43. Demuestre que si G es un conjunto abierto conexo en el espacio normado
(R2 , N2 ), entonces G es conexo por arcos.
Sugerencia. Fije x0 ∈ G. Considere los conjuntos
Pruebe que J = ∅.
3.44. Sea
x
1
2
A= x, ∈ R 0 ≤ x ≤ 1, n ∈ N ∪ , 1 × {0},
n 2
donde R2 está provisto de la distancia euclidiana. Pruebe que A es conexo.
3.45. Sea E un espacio normado y sean x, y ∈ E. Se llama segmento de extremos
x y y al conjunto
Anteriormente se definió un espacio normado (vea la Definición 2.9) como una pareja
(E, N ) donde E es un espacio vectorial sobre el campo R y N es una función de E en R con
las propiedades siguientes.
i. N (x) ≥ 0, ∀x ∈ E.
ii. N (λx) = |λ|N (x), ∀x ∈ E y ∀λ ∈ R.
iii. N (x + y) ≤ N (x) + N (y), ∀x, y ∈ E.
iv. N (x) = 0 si y sólo si x = 0.
En un espacio normado (E, N ) se cumplen las desigualdades siguientes (vea la Propo-
sición 2.3):
Todos los conceptos y resultados sobre espacios métricos se aplican pues a espacios normados
al proveer a éstos de esta métrica.
Algunos conceptos relacionados con una métrica se comportan de manera más natural
136 4. Espacios normados
4.1 Proposición. En un espacio normado E, si A es una bola con centro en a y radio r > 0
(abierta o cerrada), entonces se cumplen las afirmaciones siguientes.
i. A◦ es la bola abierta correspondiente.
ii. A es la bola cerrada correspondiente.
iii. Fr A es la bola esfera correspondiente.
iv. Ext A es el complemento de la bola cerrada correspondiente.
Demostración. Sólo se probará (ii) para el caso A = B(a, r), el resto se deja como
ejercicio para el lector.
Como B (a, r) es un conjunto cerrado que contiene a A, entonces
4.1 Definición. Sea {(E1 , N1 ), . . . , (En , Nn )} una familia finita de espacios normados sobre
el campo R. Considere el producto cartesiano
E = E1 × · · · × En .
4.1. Conceptos básicos 137
∀x = (x1 , . . . , xn ), y = (y1 , . . . , yn ) ∈ E y ∀λ ∈ R.
Se sabe que E provisto con estas operaciones es un espacio vectorial sobre el campo R
conocido como producto algebraico o suma directa de los espacios vectoriales E1 , . . . , En .
Se verifica de inmediato (Ejercicio) que la función N : E → R dada por
es una norma sobre E. Al par (E, N ) se le llama espacio normado producto de los
espacios {(Ek , Nk ), k = 1, . . . , n.
Las funciones πk : E → Ek definidas como
πk ((x1 , . . . , xn )) = xk , ∀(x1 , . . . , xn ) ∈ E,
4.3 Proposición. Sea (E, N ) un espacio normado. Se cumplen las afirmaciones siguientes.
i. La adición en E, es decir, la función
(x, y) → x + y
(λ, x) → λx
x → N (x)
de E en R es uniformemente continua en E.
≤ |λ|N (x − x0 ) + |λ − λ0 |N (x0 ).
Entonces |λ − λ0 | ≤ 1, de donde, |λ| ≤ 1 + |λ0 |. Ası́ pues, (4.3) implica, por (4.2), que
y suponga que
Entonces se deben cumplir (4.3) y (4.5) y, por (4.2), (4.4) y (4.6), se debe tener
x → a + x, x → λx y x → a + λx
4.5 Lema. Sean E y F dos espacios normados. Una sucesión {(xn , yn )}∞
n=1 es convergente
si y sólo si {xn }∞ ∞
n=1 es convergente (de Cauchy) en E, {yn }n=1 es convergente (de Cauchy)
en F y
lı́m xn = x y lı́m yn = y.
n→∞ n→∞
Una consecuencia inmediata de la Proposición 4.3 y del Lema 4.5 es el resultado si-
guiente (Ejercicio).
y {yn }∞
n=1 dos sucesiones en E. Si
4.3 Ejemplo. (Espacios de sucesiones reales.) Los espacios de sucesiones reales (p , Np ),
1 ≤ p ≤ ∞, son espacios de Banach (vea los Ejemplos 3.9 y 3.10).
Sea S un conjunto (no vacı́o). Se denota por B(S) el conjunto de todas las funciones
acotadas de S en R. Con la suma y el producto por escalares definidos puntualmente, es
decir, ∀f, g ∈ B(S) y ∀λ ∈ R,
4.2. Ejemplos clásicos 141
B(S) es un espacio vectorial sobre el campo R (pues la suma y el producto por escalares de
funciones acotadas son funciones acotadas). Se define la función N∞ : B(S) → R como
Se verifica de inmediato que N∞ es una norma sobre B(S), llamada la norma uniforme.
Al par (B(S), N∞ ) se le llama el espacio de funciones acotadas de S en R.
Observe que en los casos particulares S = {1, . . . , n} y S = N, el espacio normado
(B(S), N∞ ) coincide con (Rn , N∞ ) y (∞ , N∞ ), respectivamente.
En principio, una sucesión de funciones {fn }∞
n=1 de un conjunto S en R puede converger
o uniformemente en S, es decir,
donde un mismo N ∈ N se utiliza en la desigualdad anterior para todos los puntos s ∈ S. Note
que si {fn }∞
n=1 es una sucesión en el espacio normado (B(S), N∞ ), entonces dicha sucesión
lı́m N∞ (fn − f ) = 0,
n→∞
Puesto que
B(S). Sea ε > 0. Puesto que por hipótesis existe N ∈ N tal que
necesariamente,
o sea,
concluyendo ası́ que f es acotada, es decir, f ∈ B(S). Se sigue también de (4.9) que
lı́m N∞ (fp − f ) = 0,
p→∞
4.3. Subespacios 143
4.4 Ejemplo. En cursos posteriores se demostrará que el espacio (C([0, 1]), N1 ) de funciones
continuas de [0, 1] en R provisto de la norma
1
N1 (f ) = |f (t)| dt, ∀f ∈ C([0, 1]),
0
no es un espacio de Banach.
4.3. Subespacios
Si E es un espacio vectorial sobre el campo R y A es un subconjunto de E, recuerde
que A es a su vez un espacio vectorial sobre campo R si y sólo si las restricciones de la adición
y del producto por escalares de E sobre A hacen de A un espacio vectorial sobre el campo
R, es decir, si y sólo se cumple la condición
x, y ∈ A y λ ∈ R =⇒ x + λy ∈ A.
4.5 Definición. Sea (E, N ) un espacio normado sobre el campo R y sea A un subespacio
vectorial de E. La restricción de N a A es también una norma sobre A. Al espacio normado
(A, N ) se le llama subespacio normado (o si no hay peligro de confusión, subespacio)
del espacio normado (E, N ).
Espacio de sucesiones φ0
Se denota por φ0 el conjunto de todas las sucesiones de números reales que son even-
tualmente constantes de valor cero, es decir, x = {x(n)}∞
n=1 ∈ φ0 si y sólo si x(n) = 0 salvo
para un número finito de ı́ndices n, o sea, existe N ∈ N, donde N = N (x) depende de x, tal
que x(n) = 0, ∀n > N .
144 4. Espacios normados
de hecho, si x = {x(n)}∞
n=1 ∈ φ0 y N ∈ N es tal que x(n) = 0, ∀n > N , entonces
N
x= x(n)en .
n=1
El conjunto φ0 claramente (Ejercicio) está contenido en p . Luego (φ0 , Np ) es un subes-
pacio normado de (p , Np ), 1 ≤ p ≤ ∞.
es decir, y ∈ B(x, ε) ∩ φ0 .
Espacio de sucesiones c0
Se denota por c0 el conjunto de todas las sucesiones de números reales que convergen
a cero, es decir, x = {x(n)}∞
n=1 ∈ c0 si y sólo si
lı́m x(n) = 0.
n→∞
entonces
Sea (S, d) un espacio métrico. Se denota por C(S) el conjunto de funciones continuas de
S en R y por BC(S), el conjunto de funciones continuas y acotadas de S en R. Los conjuntos
anteriores son espacios vectoriales sobre el campo R con la adición y producto por escalares
definidas puntualmente.
Se tiene que BC(S) es un subespacio vectorial del espacio vectorial B(S) de funciones
acotadas de S en R, de hecho,
ε
n
ε ε
≤ + |rk − λk |N (ak ) ≤ + = ε.
2 k=1 2 2
Esto prueba la afirmación.
Finalmente, se afirma que D es un conjunto numerable. En efecto, basta observar que
∞
D∼ Qn
n=1
4.3. Subespacios 149
Rn = in({ej | j = 1, . . . , n}),
φ0 = in({en | n ∈ N}),
φ0 = in({en | n ∈ N}),
f (k) = g(k), k = 1, . . . , n,
si y sólo si
entonces los espacios normados (B({1, . . . , n}), N∞ ) y (Rn , N∞ ) son isométricos vı́a esta otra
identificación. Se concluye pues que (B(S), N∞ ) y (Rn , N∞ ) son isométricos. Como (Rn , N∞ )
es separable (vea el Ejemplo 4.6), entonces (B(S), N∞ ) también es separable (¿Por qué?).
Necesidad. Suponga ahora que S es infinito. Se debe probar que (B(S), N∞ ) no es
separable. Por la Proposición 1.11, Card S < Card P(S), luego P(S) debe ser un conjunto
infinito no numerable (pues S contiene un subconjunto numerable -vea la Proposición 1.7-).
Para cada A ∈ P(S) se define la función caracterı́stica χA : S → R como
⎧
⎪
⎨
χA(s) = 1 si s ∈ A,
⎪
⎩0 si s ∈ A.
por (4.16), luego A = B, por (4.15). Ası́ pues, Card P(S) ≤ Card D. Por lo tanto, D es
infinito no numerable.
4.9 Ejemplo. El espacio normado (∞ , N∞ ) no es separable. Esto se sigue de inmediato del
ejemplo anterior al observar que el espacio normado (∞ , N∞ ) es linealmente isométrico a
(B(N), N∞ ) (Explique).
4.3. Subespacios 151
Subespacios y subconjuntos
Ya que {xn + yn }∞
n=1 y {λxn }∞
n=1 son dos sucesiones en A (por ser A subespacio), se concluye
que x + y, λx ∈ A. Por lo tanto, A es un subespacio vectorial de E.
λA = {λa | a ∈ A} y A + B = {x + y | x ∈ A, y ∈ B}.
Se sigue del Ejercicio 2.12 que f es una función (uniformemente) continua en E. Siendo A
un conjunto compacto en E, f alcanza su mı́nimo valor en algún punto de A, es decir, existe
a0 ∈ A tal que
Por lo tanto,
es decir, x ∈ A + B.
Por ejemplo, si B es un subconjunto arbitrario de un espacio normado E, el lector
puede verificar como ejercicio que
Por la proposición anterior este conjunto debe ser abierto en E. ¿Será cerrado el conjunto
{x ∈ E | d(x, B) ≤ 1}? (Ejercicio).
Sin embargo la suma de dos conjuntos cerrados en un espacio normado puede no ser
un conjunto cerrado, como lo muestra el siguiente ejemplo.
A + B = {(x, y) ∈ R2 | y > 0}
no es un conjunto cerrado.
154 4. Espacios normados
Sean E y F dos espacios vectoriales sobre el campo R. Recuerde que una función
T : E → F se llama aplicación lineal si
4.20 Teorema. Sea T una aplicación lineal de un espacio normado E en un espacio normado
F . Las afirmaciones siguientes son equivalentes a pares.
i. T es continua en E.
ii. T es continua en 0E .
iii. Existe M > 0 tal que
NF (T (x)) ≤ M NE (x), ∀x ∈ E.
Se afirma que
1
(4.19) NF (T (x)) ≤ NE (x), ∀x ∈ E.
δ
En efecto, la desigualdad se cumple trivialmente si x = 0E . Suponga pues que x = 0E . Ya
que [δ/NE (x)]x ∈ B (0E , δ), se tiene
4.4. Aplicaciones lineales continuas 155
δ δ
1 ≥ NF x = NF (T (x)),
NF (T (x)) NE (x)
por (4.18). Esto prueba la afirmación. Si M = 1/δ, entonces (4.19) implica
NF (T (x)) ≤ M NE (x), ∀x ∈ E.
(iii) implica (i). Observe que por ser T lineal, la hipótesis implica
4.21 Corolario. Toda aplicación lineal continua de un espacio normado en un espacio nor-
mado es uniformemente continua.
Esto prueba que T es continua (más adelante se mostrará que toda aplicación lineal entre
dos espacios normados de dimensión finita siempre es continua).
4.13 Ejemplo. Considere el espacio vectorial φ0 de todas las sucesiones de números reales
eventualmente constantes de valor cero. Se define f ∈ φ0 como
∞
f (x) = x(n), ∀x = {x(n)}∞ n=1 ∈ φ0 .
n=1
Note que f está bien definido porque sólo un número finito de términos de la sucesión x son
distintos de cero. Además, f : φ0 → R es claramente lineal.
Se afirma que si se identifica a φ0 como subespacio de 1 , entonces f ∈ φ∗0 , pero que si
φ0 se identifica como subespacio de ∞ , entonces φ0 no es continuo.
156 4. Espacios normados
En efecto, se tiene
∞ ∞
|f (x)| = x(n) ≤ |x(n)| = 1 · N1 (x), ∀x ∈ φ0 .
n=1 n=1
Esto prueba que f es continuo sobre (φ0 , N1 ).
Por otra parte, dado M > 0 arbitrario, si
M +1
x= {x(k)}∞
k=1 = ek ,
k=1
es decir,
⎧
⎪
⎨1 si k ≤ M + 1,
x(k) =
⎪
⎩0 si k > M + 1,
entonces
Ası́ pues, no se cumple la condición (iii) del Teorema 4.20. Por lo tanto, f no es continuo
sobre (φ0 , N∞ ).
4.14 Ejemplo. Considere el espacio vectorial C([a, b]) formado por todas las funciones con-
tinuas f : [a, b] → R. Sea φ : C([a, b]) → R el funcional lineal
b
φ(f ) = f (t) dt, ∀f ∈ C([a, b]).
a
∗
Se afirma que φ ∈ C([a, b]) si se provee a C([a, b]) ya sea de la norma uniforme N∞ o
de la norma N1 .
En efecto, se tiene
b b b
|φ(f )| = f (t) dt ≤ |f (t)| dt ≤ N∞ (f ) dt = (b − a)N∞ (f ), ∀f ∈ C([a, b]).
a a a
Esto prueba que φ es continuo sobre (C([a, b]), N∞ ).
También se tiene que
b b
|φ(f )| = f (t) dt ≤ |f (t)| dt = 1 · N1 (f ), ∀f ∈ C([a, b]).
a a
Leugo φ es continuo sobre (C([a, b]), N1 ).
sión {sn }∞
n=1 es la sucesión de sumas parciales de la serie. Se dice que la serie de término
lı́m sn = s.
n→∞
lı́m sn = x,
n→∞
donde
n
sn = xk , ∀n ∈ N.
k=1
Por ser T lineal y continua, se debe tener
n
n
∞
T (x) = lı́m T (sn ) = lı́m T xk = lı́m T (xk ) = T (xn ).
n→∞ n→∞ n→∞
k=1 k=1 n=1
158 4. Espacios normados
Normas equivalentes
4.16 Definición. Se dice que dos normas N y · sobre un mismo espacio vectorial E
son normas equivalentes si las métricas inducidas por dichas normas son topológicamente
equivalentes.
4.23 Teorema. Dos normas N y · sobre un mismo espacio vectorial E son equivalentes
si y sólo si existen constantes α, β > 0 tales que
4.24 Corolario. Sean N y · dos normas equivalentes sobre un mismo espacio vectorial
E. Entonces (E, N ) es de Banach si y sólo si (E, · ) es de Banach.
Puesto que (Rn , N∞ ) es el espacio normado producto de (R, | · |) con sı́ mismo n veces
4.5. El espacio normado CL(E, F ) 159
y éste es de Banach, se concluye de los Corolarios 4.8 y 4.24 que (Rn , Np ) es un espacio de
Banach para 1 ≤ p ≤ ∞.
4.25 Corolario. Sean N y · dos normas equivalentes sobre un mismo espacio vectorial E
y sea X un espacio métrico. Entonces f : E → X y g : X → E son uniformemente continuas
con respecto a la norma N si y sólo si lo son con respecto a la norma · .
4.26 Corolario. Sean N y · dos normas equivalentes sobre un mismo espacio vectorial
E. Entonces (E, N ) y (E, · ) poseen los mismos conjuntos acotados.
CL(E, F ),
E ∗ = CL(E, R),
La norma de CL(E, F )
Es posible definir una norma sobre el espacio vectorial de aplicaciones lineales continuas
como a continuación se indica.
en virtud del Teorema 4.20, luego la función · : CL(E, F ) → R está bien definida.
(i). Escriba
NF (T (x))
s(T ) = sup x ∈ E\{0} .
NE (x)
Se demostrará que T = s(T ). Sea pues M ≥ 0 tal que se cumpla (4.20). Entonces
NF (T (x))
≤ M, ∀x ∈ E\{0}.
NE (x)
Por definición de s(T ), se tiene s(T ) ≤ M . Dado que s(T ) es una cota superior para el
conjunto de las M ≥ 0 que satisfacen (4.20), se debe tener
Luego
Ası́ pues, s(T ) ∈ {M > 0 | NF (T (x)) ≤ M NE (x), ∀x ∈ E}, lo cual implica que
Ya que
NF (T (x))
NF (T (x)) ≤ ≤ s(T ), ∀x ∈ UE \{0},
NE (x)
se debe tener q(T ) ≤ s(T ). Recı́procamente, si x ∈ E\{0}, entonces x/NE (x) ∈ UE . Luego
NF (T (x)) T (x) x
= NF = NF T ≤ q(T ), ∀x ∈ E\{0}.
NE (x) NE (x) NE (x)
Esto prueba que
NF (T (x))
s(T ) = sup x ∈ E\{0} ≤ q(T ).
NE (x)
Por lo tanto, q(T ) = s(T ). Se concluye de (i) que q(T ) = T .
(iii). Por definición de s(T ) y (i), se tiene
NF (T (x))
≤ s(T ) = T , ∀x ∈ E\{0}.
NE (x)
Luego
La demostración se deja como ejercicio para el lector (aplique la parte (ii) del Teore-
ma 4.27 y el Teorema 4.20).
f = sup f (U ).
|f (x)| ≤ N1 (x), ∀x ∈ φ0 ,
∀m ∈ N. Se tiene,
luego xm ∈ Uφ0 , ∀m ∈ N, y
∞
f (xm ) = xm (n) = m, ∀m ∈ N.
n=1
Esto prueba que f (Uφ0 ) no es acotado en R.
luego φ ≤ b−a. Se afirma que, de hecho, φ = b−a. En efecto, para probar la desigualdad
φ ≥ b − a se procede como en ejemplos anteriores. La función constante de valor uno
1 ∈ UC([a,b]) , pues
y satisface
b b
φ(1) = 1(t) dt = dt = b − a.
a a
Por la parte (ii) del Teorema 4.27 se debe tener
de donde φ ≤ 1. Se afirma que, de hecho, φ = 1. En efecto, para probar la desigualdad
φ ≥ 1 observe que la función constante 1/(b − a) ∈ UC([a,b]) , pues
b
b−a
N1 (1/(b − a)) = |1/(b − a)(t)| = = 1,
a b−a
y satisface
b b
1 1 1
φ = (t) dt = dt = 1.
b−a a b−a a b−a
Por la parte (ii) del Teorema 4.27 se debe tener
1
1=φ ≤ sup{|φ(f )| | f ∈ C([a, b])} = φ.
b−a
Esto prueba la afirmación.
Por cierto, se puede demostrar que la función identidad
T (x) = {T (x)(n)}∞
n=1 como T (x)(1) = 0 y T (x)(n + 1) = x(n), ∀n ∈ N, es decir, si
entonces
{y = {y(n)}∞
n=1 ∈ ∞ | y(1) = 0}.
S(y) = {S(y)(n)}∞
n=1 como S(y)(n) = x(n + 1), ∀n ∈ N, es decir, si
entonces
N∞ (S(y)) ≤ 1 · N∞ (y), ∀y ∈ ∞ .
4.23 Ejemplo. Sea 1 < p < ∞, luego también 1 < p∗ < ∞ (recuerde que 1/p + 1/p∗ 1 = 1).
Fije c = {c(n)}∞
n=1 ∈ p∗ y defina T : p → 1 como
T (x) = cx = {c(n)x(n)}∞
n=1 , ∀x = {x(n)}∞
n=1 ∈ p .
166 4. Espacios normados
y note que sgn (t)t = |t|, ∀t ∈ R. Procediendo igual que en los dos ejemplos anteriores, el
vector
∗ /p ∗ /p
!∞
sgn (c)|c|p sgn (c(n))|c(n)|p
x0 = p∗ /p
= p∗ /p
∈ U p ,
Np∗ (c) Np∗ (c) n=1
donde sgn (c) denota la sucesión { sgn (c(n))}∞ α ∞
n=1 y |c| denota a la sucesión {|c(n)| }n=1 ,
α
∀α ∈ R, pues
∞ p 1/p ∞ 1/p
sgn (c(n))|c(n)|p∗ /p | 1 p∗ /p
Np∗ (c)
p∗
= p∗ /p |c(n)| = p∗ /p = 1,
n=1
p∗ /p
Np∗ (c) Np∗ (c) n=1 Np∗ (c)
satisface
∗ /p
!∞ ∗ /p)
!∞ ∗
!∞
c(n) sgn (c(n))|c(n)|p |c(n)|1+(p |c(n)|p
T (x0 ) = p∗ /p
= p∗ /p
= p∗ /p
,
Np∗ (c) n=1
Np∗ (c) n=1
Np∗ (c) n=1
porque
p∗ ∗ 1 1
1+ =p + = p∗ ,
p p∗ p
de donde,
∞
|c(n)|p
∗
1
∞
∗
(4.22) N1 (T (x0 )) = p∗ /p
= p∗ /p
|c(n)|p
n=1 Np∗ (c) Np∗ (c) n=1
∗
Npp∗ (c) p∗ −(p∗ /p)
= p∗ /p
= Np ∗ (c) = Np∗ (c),
N p∗ (c)
ya que
∗ p∗ ∗ 1 p∗
p − =p 1− = ∗ = 1.
p p p
4.5. El espacio normado CL(E, F ) 167
lo cual implica
3
f ≥ lı́m 2 − = 2.
n→∞ m + 1
Por lo tanto, f = 2. Esto prueba la afirmación.
ker f = f −1 ({0})
Completez de CL(E, F )
lı́m Tn − T = 0.
n→∞
aunque T no necesariamente debe ser continua, como lo muestra el próximo ejemplo. En par-
ticular, de esto se seguirá (vea el Lema 4.33) que la convergencia puntual de una sucesión en
CL(E, F ) no necesariamente implica la convergencia con respecto a la norma de CL(E, F ).
4.25 Ejemplo. Considere el espacio normado (φ0 , N∞ ) de todas las sucesiones de números
reales eventualmente constantes de valor cero provisto de la norma uniforme. Para cada
170 4. Espacios normados
n ∈ N, defina fn : φ0 → R como
n
fn (x) = x(k), ∀x = {x(n)}∞
n=1 ∈ φ0 .
k=1
Se verifica de inmediato (Ejercicio) que fn ∈ φ∗0 y que fn = n, ∀n ∈ N. Aunque {fn }∞
n=1
Tn ≤ M, ∀n ∈ N,
NF (T (x)) = lı́m NF (Tn (x)) ≤ sup NF (Tn (x)) ≤ sup[Tn NE (x)] ≤ M NE (x), ∀x ∈ E.
n→∞ n∈N n∈N
y {Tn }∞ ∞
n=1 es de Cauchy en CL(E, F ), entonces {Tn (x)}n=1 es una sucesión de Cauchy en F .
De acuerdo al Lema 4.33, T ∈ CL(E, F ). Sea ε > 0. Por hipótesis existe N ∈ N tal que
Necesariamente,
por (4.26) y por la parte (ii) del Teorema 4.27, es decir, ε es una cota superior del conjunto
de valores reales
En particular,
lı́m Tp − T = 0,
p→∞
un espacio de Banach.
4.6. Isomorfismos
Dos espacios normados serán isomorfos si tienen estructuras topológicas y algebraicas
similares, mientras que dos espacios normados serán linealmente isométricos si son práctica-
mente indistinguibles.
si y sólo si
NF (T (x)) = NE (x), ∀x ∈ E,
Puesto que toda aplicación lineal continua es uniformemente continua (vea el Corola-
rio 4.21), entonces transforma sucesiones de Cauchy sobre sucesiones de Cauchy y sucesiones
convergentes sobre sucesiones convergentes. De estas observaciones se sigue sin más el resul-
tado siguiente.
(C([0, 1]), N∞ ) ∼
= (C([0, 1]), N1 ),
4.6. Isomorfismos 173
4.38 Corolario. Si N y · son dos normas equivalentes sobre un mismo espacio vectorial
E, entonces (E, N ) es de Banach si y sólo si (E, · ) es de Banach.
4.39 Teorema. Sea T una aplicación lineal de un espacio normado E sobre un espacio
normado F . Se tiene que T es un isomorfismo de E sobre F si y sólo si existen constantes
α, β > 0 tales que
Por lo tanto,
1
NE (x) ≤ NF (T (x)) ≤ T NE (x), ∀x ∈ E.
T −1
(ii). Suponga ahora que se cumple (4.28). Entonces T es continua, porque
La condición
implica que T es inyectiva (¿Por qué?), luego T es, de hecho, biyectiva, y, por tanto, dicha
condición es equivalente a la condición
es decir,
1
NE (T −1 (y)) ≤ NF (y), ∀y ∈ F.
α
Ası́ pues, T −1 también es continua. Por lo tanto, T es un isomorfismo de E sobre F .
Se concluye de inmediato del teorema anterior el resultado siguiente (Ejercicio).
Espacio de sucesiones c
Se denota por c el conjunto de todas las sucesiones de números reales que son conver-
gentes en R, es decir, x = {x(n)}∞
n=1 ∈ c si y sólo si existe l ∈ R tal que
lı́m x(n) = l.
n→∞
Aunque la función
establece una correspondencia natural entre c y c0 , ésta serı́a de poca utilidad por no ser
inyectiva. Sin embargo, se verá que la función
{T (x)(n)}∞
n=1 definida como T (x)(1) = l(x) y T (x)(n + 1) = x(n) − l(x), ∀n ∈ N, sı́ es un
isomorfismo de c sobre c0 .
Es claro que T es una aplicación lineal de c en c0 . Para probar que T es biyectiva basta
mostrar que existe su función inversa. Se verifica de inmediato (Ejercicio) que la función
S : c0 → c dada por
Luego
Se concluye que
Puesto que (c0 , N∞ ) es un espacio de Banach, se sigue del Teorema 4.37 que (c, N∞ )
es también un espacio de Banach.
∞
4.28 Definición. Se dice que una serie n=1 xn en un espacio normado (E, N ) es absolu-
tamente convergente si la serie de términos no negativos
∞
N (xn )
n=1
es convergente en R.
176 4. Espacios normados
∞
Decir que la serie n=1 N (xn ) converge equivale a decir que su suma es finita, o sea,
∞
N (xn ) < ∞,
n=1
por tratarse de una serie de términos no negativos.
Una serie en un espacio normado puede, en general, ser convergente sin que sea abso-
lutamente convergente, por ejemplo, en R con la distancia usual, la serie
∞
(−1)n+1
n=1
n
es convergente pero no es absolutamente convergente. Y viceversa, una serie puede converger
absolutamente en un espacio normado sin ser convergente, por ejemplo, la serie
∞
1
n=1
n!
converge absolutamente en el subespacio normado Q de R pero no converge en Q (¿Por
qué?). Sin embargo, se tiene el resultado siguiente.
4.42 Teorema. Para que un espacio normado (E, N ) sea de Banach es necesario y suficiente
que toda serie en E que sea absolutamente convergente, converja a algún punto de E.
Demostración. Necesidad. Sea ∞ n=1 xn una serie absolutamente convergente en E.
Puesto que
q
q
N (sq − sp ) = N xk ≤ N (xk ), ∀q > p,
k=p+1 k=p+1
se debe cumplir
N (sq − sp ) ≤ ε, ∀q > p ≥ N,
4.7. Caracterización de la completez por series 177
∞
por (4.29). Esto prueba que la sucesión de sumas parciales {sn }∞
n=1 de la serie n=1 xn es
de Cauchy en E. Siendo E completo, existe x ∈ E tal que
lı́m sn = x,
n→∞
∞
es decir, la serie n=1 xn converge a x ∈ E.
Suficiencia. Sea {xn }∞ ∞
n=1 una sucesión de Cauchy en E. Para probar que {xn }n=1
converge en E bastará mostrar que alguna de sus subsucesiones es convergente (por ser de
Cauchy). Se construirá pues una serie en E que sea absolutamente convergente y tal que la
sucesión de sumas parciales de dicha serie coincida con alguna subsucesión de {xn }∞
n=1 .
Se analizan varios resultados generales relacionados con los espacios normados de di-
mensión finita, entre otros, la continuidad de transformaciones lineales, la propiedad de com-
pletez y el teorema de Riesz, donde este último resultado proporciona una caracterización
de la propiedad puramente algebraica de dimensión en términos de la propiedad puramente
topológica de compacidad.
Se demostrará que todas las aplicaciones lineales con kernel cerrado y rango de di-
mensión finita son continuas. Antes, será necesario probar un lema. Este lema proporciona
condiciones para que la suma de dos subespacios de espacio normado sea un subespacio
cerrado. Hasta el momento lo que se ha visto es que, en general, la suma de dos conjun-
tos cerrados no siempre es un conjunto cerrado (vea el Ejemplo 4.11) y que la suma de un
conjunto cerrado y un conjunto compacto sı́ es un conjunto cerrado (vea la Proposición 4.19).
A = {x ∈ E | d(x, A) = 0}.
x ∈ A + in{b}
y se demostrará que d(x, A + in{b}) > 0. Esto implicará, de acuerdo al Ejercicio 2.13, que
x ∈ A + in{b}. Luego, A + in{b} ⊂ A + in{b} concluyendo en esta forma que A + in{b}
es un conjunto cerrado.
Observe que
in{b} = {λb | λ ∈ R} = B1 ∪ B2 ,
donde
! !
2N (x) 2N (x)
B1 = λb |λ| ≤ y B2 = λb |λ| > .
δ δ
Entonces
A + in{b} = (A + B1 ) ∪ (A + B2 ).
Se afirma que d(x, A+B1 ) > 0. En efecto, note que el conjunto B1 es compacto (por ser
la imagen del intervalo compacto [−2N (x)/δ, 2N (x)/δ] bajo la función continua λ → λb de R
en E, lo cual puede ser verificado fácilmente como ejercicio por el lector). La Proposición 4.19
implica entonces que el conjunto A + B1 es un conjunto cerrado en E. Ya que x ∈ A + in{b},
necesariamente x ∈ A+B1 = A + B1 . Por el Ejercicio 2.13, se concluye que d(x, A+B1 ) > 0.
180 4. Espacios normados
Se tiene
1
N ([a + λb] − x) ≥ N (a + λb) − N (x) = |λ|N b − − a − N (x)
λ
2N (x)
≥ |λ|δ − N (x) ≥ δ − N (x) = N (x),
δ
donde la segunda desigualdad se cumple por ser A un subespacio y por (4.32); y la tercera,
por (4.33). Ası́ pues
B = in{b1 , . . . , bn } + in{bn+1 },
entonces
A + B = [A + in{b1 , . . . , bn }] + in{bn+1 }.
[A + in{b1 , . . . , bn }] + in{bn+1 } = A + B
4.44 Corolario. Cualquier subespacio de dimensión finita en un espacio normado debe ser
un conjunto cerrado.
4.8. Espacios normados de dimensión finita 181
Para la demostración, basta aplicar el Lema 4.43 con A = {0} (Haga los detalles como
ejercicio).
4.45 Teorema. Sea T una aplicación lineal de un espacio normado E en un espacio normado
F . Si ker T es un subespacio cerrado de E y el rango T (E) de T es un subespacio de dimensión
finita de F , entonces T es continua.
Demostración. Sea {y1 , . . . , yn } una base de T (E). Para cada x ∈ E, se tiene que
T (x) ∈ T (E) implica que T (x) puede ser escrito de manera única como combinación lineal
de la base {y1 , . . . , yn }, es decir, existen escalares únicos, denotados por f1 (x), . . . , fn (x),
tales que
n
T (x) = fi (x)yi .
k=1
La relación anterior define implı́citamente n funciones f1 , . . . , fn : E → R. Usando la li-
nealidad de T se demuestra de inmediato que las funciones f1 , . . . , fn también son lineales
(Ejercicio), es decir, que f1 , . . . , fn ∈ E .
Se afirma que los funcionales lineales f1 , . . . , fn son continuas. En efecto, por simetrı́a
basta probar que f1 es continuo. Escoja x1 ∈ T −1 ({y1 }), . . . , xn ∈ T −1 ({yn }). Se verá primero
que
Si x ∈ ker T , entonces
n
n
fk (x)yk = T (x) = 0 = 0 · yk ,
k=1 k=1
luego fk (x) = 0, k = 1, . . . , n, por la unicidad de los escalares f1 (x), . . . , fn (x); en particular,
f1 (x) = 0, es decir, x ∈ ker f1 . Ası́ pues, ker T ⊂ ker f1 . Sea ahora x ∈ in{x2 , . . . , xn }.
Entonces,
n
x= α k xk ,
k=2
luego,
n
n
n
fk (x)yk = T (x) = αk T (xk ) = α k yk = 0 · y1 + α 2 y2 + · · · + α n yn ,
k=1 k=2 k=2
182 4. Espacios normados
donde la primera igualdad se cumple por definición de f1 (x), . . . , fn (x); la segunda, por line-
lidad de T ; y la tercera, por la elección de x1 , . . . , xn . Dado que los escalares f1 (x), . . . , fn (x)
son únicos, necesariamente f1 (x) = 0 y fk (x) = αk , k = 2, . . . , n. Ası́ pues, x ∈ ker f1 . Se
concluye pues
Para la demostración, basta recordar que la función identidad es una aplicación lineal
y aplicar el Corolario 4.46.
La recı́proca del Corolario 4.51 también es cierta, se llama el teorema de Riesz el cual
será tratado en la próxima subsección.
El teorema de Riesz
N (x) = 1 y d(x, A) ≥ 1 − ε.
184 4. Espacios normados
δ = d(y, A) > 0
(vea el Ejercicio 2.13). Sea 0 < ε < 1. Por ser δ/(1 − ε) > δ, existe a ∈ A tal que
δ
N (y − a) < .
1−ε
Defina
y−a
x= .
N (y − a)
Trivialmente se cumple que N (x) = 1. Además, ∀b ∈ A, se tiene
N [y − a − N (y − a)b] N (y − a ) δ δ
N (x − b) = = ≥ > = 1 − ε,
N (y − a) N (y − a) N (y − a) δ/(1 − ε)
donde la primera desigualdad se cumple porque a = a + N (y − a)b ∈ A. Por lo tanto,
d(x, A) = ı́nf N (x − b) ≥ 1 − ε.
b∈A
X = V = in{b1 , . . . , bn },
4.8. Espacios normados de dimensión finita 185
4.54 Corolario. Para que un espacio normado E tenga dimensión finita es necesario y
suficiente que su bola unitaria cerrada UE sea un conjunto compacto en E.
nUE = {x ∈ E | N (x) ≤ n}
B (x0 , r) = x0 + rUE
de dimensión finita.
Una consecuencia inmediata del Teorema 4.55 es el resultado siguiente.
Ejercicios
ii. Si x = {x(n)}∞
n=1 ∈ c0 , entonces en ∞ se cumple la igualdad
∞
x= x(n)en ,
n=1
donde, para toda n ∈ N, en = {en (k)}∞
k=1 ∈ c0 está dado por
⎧
⎪
⎨1 si k = n,
en (k) =
⎪
⎩0 si k = n.
E × E → F dada por
x → a + x, x → λx y x → a + λx,
Vr = {x ∈ E | d(x, A) ≤ r}
Wr = {x ∈ E | d(x, C) ≤ r} = C + B (0, r)
fique.
*4.11. Proporcione un ejemplo de dos conjuntos cerrados en E tal que su suma no
sea un conjunto cerrado.
*4.12. Demuestre que si E es separable y E es isomorfo a F , entonces F es separable.
Deduzca que el espacio normado (c, N∞ ) de todas las sucesiones convergentes de números
reales provisto de la norma uniforme es separable.
*4.13. Admita que para toda función continua f : [0, 1] → R y para todo ε > 0 existe
una función polinomial p : [0, 1] → R tal que
(este resultado será demostrado más adelante). Pruebe que es separable el espacio normado
(C([0, 1]), Np ), 1 ≤ p ≤ ∞, de todas las funciones continuas de [0, 1] en R.
4.14. Si T : E → F es una aplicación lineal continua y no nula, muestre que ker T es
un conjunto denso en ninguna parte en E.
4.15. Sea T : E → F una aplicación lineal. Demuestre las afirmaciones siguientes.
i. Si T es continua y A es un conjunto acotado en E, entonces T (A) es un conjunto
acotado en F .
ii. T es continua si y sólo si para toda sucesión acotada {xn }n∈N en E, el conjunto
{T (xn )|n ∈ N} es acotado en Y.
4.16. Pruebe que 1 está contenido, como conjunto, en 2 , luego se puede identificar a
1 como un subespacio normado (2 , N2 ). Pruebe que N1 y N2 no son normas equivalentes
sobre 1 .
4.17. Si f : E → F es una función con la propiedad
4.18. Pruebe que la aplicación lineal T de (R2 , N∞ ) en sı́ mismo, cuya matrı́z, con
respecto a la base canónica de R2 , es
⎡ ⎤
a b
⎣ ⎦,
c d
tiene norma T = máx{|a| + |b|, |c| + |d|}.
4.19. Sea I la función identidad de (Rn , N1 ) en (Rn , Np ), donde 1 ≤ p ≤ ∞. Calcule
I y I −1 .
4.20. Fije N ∈ N. Sea T la función de (1 , N1 ) en (RN , Np ), 1 ≤ p ≤ ∞, dada por
c(x) = c, ∀x ∈ X.
respectivamente.
función.
i. Se dice que {fn }∞
n=1 converge puntualmente a f en X si, para cada x ∈ X, se
cumple
es decir,
o sea, para cada x ∈ X y para cada ε > 0 existe N = N (ε, x) ∈ N (es decir, N depende
tanto de ε como del punto x ∈ X) tal que
lı́m fn = f puntualmente en X.
n→∞
donde un mismo N ∈ N, que depende de ε, se utiliza en la desigualdad anterior para todos los
puntos x ∈ S. Geométricamente, esto quiere decir que, a partir de cierto ı́ndice N , la gráfica
de fn se inscribe enteramente dentro de una banda de ancho 2ε centrada en la gráfica de f
(Haga un bosquejo). A f se le llama el lı́mite uniforme en X de la sucesión de funciones
{fn }∞
n=1 y se escribe
lı́m fn = f uniformemente en X.
n→∞
puntualmente a f en X, pues
5.2 Ejemplo. Una sucesión de funciones que no converge en ningún punto serı́a el siguiente.
Para cada n ∈ N, defina fn :]0, 1[→ R como
fn = (−1)n 1.
t ∈]0, 1[.
∀n ≥ N , de donde
Ası́ pues,
R. En efecto, puesto que convergencia uniforme implica convergencia puntual, basta probar
que la sucesión {χ]0,xn [ }∞
n=1 no converge uniformemente a
χ]0,∞[ en R. Puesto que
sup |χ]0,xn [ (t) − χ]0,∞[ (t)| = 1
t∈R
χ]−∞,x [
0 en R\{x0 }. En efecto, si t < x0 , entonces existe N1 ∈ N tal que t ∈] − ∞, xn [,
∀n ≥ N1 , de donde,
Ası́ pues,
∀n ∈ N. Puesto que
⎧
⎪
⎨0 si 0 ≤ t < 1,
lı́m fn (t) =
n→∞ ⎪
⎩1 si t = 1,
En efecto, sea ε0 = 1/2. Ya que, para cada n ∈ N, existe δn > 0 tal que
1
|fn (t) − fn (1)| = |tn − 1| < , ∀1 − δn < t < 1,
2
necesariamente
1
tn > , ∀1 − δn < t < 1.
2
Luego
1
sup |fn (t) − f (t)| ≥ |tn − 0| > = ε0 ,
t∈[0,1] 2
para una infinidad de ı́ndices n (de hecho, ∀n ∈ N). Esto prueba la afirmación.
Se afirma en cambio que si g : [0, 1] → R es continua y g(1) = 0, entonces la sucesión
de funciones {gfn }∞
n=1 sı́ converge uniformemente a la función constante 0 de valor cero en
196 5. Espacios de funciones
|g(t)| ≤ ε, ∀t ∈ [1 − δ, 1].
Entonces
Puesto que
lı́m M (1 − δ)n = 0,
n→∞
(5.6) M (1 − δ)n ≤ ε, ∀n ≥ N.
sup |g(t)tn | ≤ ε, ∀n ≥ N.
t∈[0,1]
que la función
|x|
x →
1 + nx2
es par, no negativa y continua en R, diferenciable en ]0, ∞[, toma el valor cero en cero y tiene
5.1. Sucesiones de funciones 197
√
lı́mite cero en ∞, dicha función alcanza su valor máximo sobre R en el punto x = 1/ n, el
cual es su único punto crı́tico de la función en ]0, ∞[. Luego,
√
x 1/ n 1
|fn (x)| = 2
≤
√ 2 = √ , ∀x ∈ R y ∀n ∈ N,
1 + nx 1 + n(1/ n) 2 n
es decir,
equivalentemente,
Demostración. Necesidad. Primero se probará (5.7). Sea ε > 0. Por hipótesis existe
N ∈ N tal que
ε
sup |fn (t) − f (t)| ≤ , ∀n ≥ N.
t∈E 2
Entonces ∀n, m ≥ N , se tiene
En particular,
que es (5.7).
Se verá ahora la equivalencia entre (5.8) y (5.7). Es claro que (5.8) es un caso particular
de (5.7). Recı́procamente, suponga que se cumple (5.8). Entonces, para cada t ∈ X, se tiene
En particular,
que es (5.7).
Suficiencia. Se afirma que para cada t ∈ X, la sucesión {fn (t)} de los valores de las
funciones en el punto t es de Cauchy en R. En efecto, sea ε > 0. Por hipótesis, existe N ∈ N
tal que
Luego,
También existe, desde luego, un criterio de Cauchy para la convergencia puntual: Una
sucesión de funciones {fn }∞
n=1 de un conjunto X en R converge puntualmente a alguna
Cauchy en R (Ejercicio).
o sea,
lı́m f (t) = lı́m lı́m fn (t) = lı́m lı́m fn (t) = lı́m fn (x) = f (x),
t→x t→x n→∞ n→∞ t→x n→∞
200 5. Espacios de funciones
lı́m fn = f uniformemente en E
n→∞
l = lı́m f (t)
t→x
(5.12) lı́m ln = lı́m lı́m fn (t) = lı́m lı́m fn (t) = lı́m f (t) = l.
n→∞ n→∞ t→x t→x n→∞ t→x
Demostración. Sea ε > 0. Por el criterio de Cauchy (vea el Teorema 5.1), existe
N ∈ N tal que
lı́m ln = l.
n→∞
l = lı́m f (t).
t→x
lı́m f (t) = lı́m lı́m fn (t) = lı́m lı́m fn (t) = lı́m fn (x) = f (x).
t→x t→x n→∞ n→∞ t→x n→∞
f : [a, b] → R, se cumplen
|fm (x) − fn (x) − fm (t) + fn (t)| = |x − t||fm (ξ) − fn (ξ)|
|x − t|ε ε
≤ ≤ , ∀x, t ∈ [a, b] y ∀m ≥ n ≥ N,
2(b − a) 2
5.1. Sucesiones de funciones 203
|fm (x) − fn (x)| ≤ |fm (x) − fn (x) − fm (x0 ) + fn (x0 )| + |fm (x0 ) − fn (x0 )|
ε ε
≤ + = ε, ∀x ∈ [a, b] y ∀m ≥ n ≥ N,
2 2
es decir,
Fije ahora x ∈ [a, b]. La igualdad (5.17) se cumple si y sólo si se cumple la siguiente
cadena de igualdades
fn (t) − fn (x)
(5.22) lı́m fn (x) = lı́m lı́m
n→∞ n→∞ t→x t−x
fn (t) − fn (x) f (t) − f (x)
= lı́m lı́m = lı́m = f (x).
t→x n→∞ t−x t→x t−x
Como la primera igualdad se cumple por hipótesis y la tercera, por (5.16), si se demuestra
que es válido el intecambio de orden de los lı́mites de la segunda igualdad, necesariamente
existirá f (x) y se cumplirá (5.17). Se aplicará pues el Teorema 5.2 para justificar dicho
intercambio de orden de lı́mites. Defina hn , h : [a, b]\{x} → R como
fn (t) − fn (x) f (t) − f (x)
hn (t) = y h(t) = , ∀t ∈ [a, b], t = x, y ∀n ∈ N.
t−x t−x
Note que x es un punto de acumulación de [a, b]\{x} en R. Hay que probar que
De acuerdo a (5.21),
ε ε ε
|hn (t) − hm (t)| ≤ + = , ∀t ∈ [a, b], t = x, y ∀m ≥ n ≥ N,
2(b − a) 2(b − a) b−a
es decir,
ε
sup |hn (t) − hm (t)| ≤ , ∀m ≥ n ≥ N,
t∈[a,b]\{x} b−a
o sea, se cumple la condición de Cauchy para la convergencia uniforme en [a, b]\{x} de
la sucesión de funciones {hn }∞ ∞
n=1 . Por el Teorema 5.1, {hn }n=1 converge uniformemente en
[a, b]\{x}. Por lo tanto, se cumplen las dos hipótesis del Teorema 5.2. Ası́ pues, (5.23) es
válido. Se concluye de (5.22) que f es diferenciable en [a, b] y que se cumple (5.17).
f (x) = 0, ∀x ∈ R.
Observe que
1 − nx2
fn (x) = , ∀x ∈ R y ∀n ∈ N.
(1 + nx2 )2
Claramente,
1 − nx2
lı́m fn (x) = lı́m = g(x), ∀x ∈ R,
n→∞ n→∞ (1 + nx2 )2
donde
⎧
⎪
⎨1 si x = 0,
g(x) =
⎪
⎩0 si x = 0.
a g en ningún intervalo de R que tenga al origen como punto interior, por el Teorema 5.4,
a pesar de que la sucesión {fn }∞
n=1 converja uniformemente a f en esos intervalos. No basta
5.1. Sucesiones de funciones 205
pues la convergencia uniforme de la sucesión para que la sucesión de las derivadas converja
puntualmente a la derivada de la función lı́mite.
Se afirma, sin embargo, que la sucesión {fn }∞
n=1 sı́ converge uniformemente a g en
cualquier intervalo que no tenga al origen como punto de acumulación. Por paridad, basta
probar la afirmación para intervalos de la forma [a, ∞[ con a > 0. Fije arbitrariamente
x ∈ [a, ∞[. Sea K ∈ N tal que
1
√ ≤ a.
K
√
Para toda n ≥ K, se tiene 1/ n ≤ a ≤ x, luego, nx2 ≥ 1, de donde,
1 − nx2 2
nx2
= nx − 1 ≤ ≤
1 1
≤ 2.
(1 + nx2 )2 (1 + nx2 )2 2
(1 + nx ) 2 nx 2 na
Ası́ pues,
1 − nx2
sup |fn (x)| = sup ≤ 1 , ∀n ≥ K.
2 2 na2
x∈[a,∞[ x∈[a,∞[ (1 + nx )
Por lo tanto,
Aplicaciones importantes del Teorema 5.4 aparecen en los temas de funciones definidas
por series de potencias y de funciones definidas por integrales impropias (tratados tı́picamente
en cursos posteriores de análisis complejo y análisis real), es decir, funciones que no estén
dadas mediante alguna fórmula explı́cita.
El problema de la integrabilidad de la función lı́mite de una sucesión de funciones inte-
grables y del intercambio entre lı́mite e integral será discutido en detalle en cursos posteriores
de teorı́a de integración de Lebesgue, razón por la cual será omitido.
Series de funciones
{sn }∞
n=1 es la sucesión de sumas parciales de la serie. Para designar a la serie de término
puntualmente en X, es decir,
a f uniformemente en X, es decir,
1
Se debe tener cuidado en no confundir esta convergencia absoluta con la convergencia absoluta en espacios
normados dada en la Definición 4.28
5.1. Sucesiones de funciones 207
equivalentemente
p
(5.25) fk (t) ≤ ε, ∀p ≥ N.
k=N
Esto se debe simplemente a que R es completo y a las desigualdades
y
p
f k (t) = |sp (t) − sN −1 (t)|, ∀p ≥ N
k=N
(haga los detalles como ejercicio).
Es claro que si una serie de funciones ∞ n=1 fn de un conjunto X en R es absolutamente
convergente en X, entonces la serie ∞ n=1 fn debe ser puntualmente convergente en X, pues
equivalentemente,
p
(5.27) fk (t) ≤ ε, ∀p ≥ N y ∀t ∈ X.
k=N
Demostración. Basta observar que
q
fk = |sq − sp−1 |, ∀q ≥ p > N,
k=p
y que
p
fk = |sp − sN −1 |, ∀p > N,
k=N
donde {sn }∞
n=1 es la sucesión de sumas parciales de la serie. Aplique ahora el Teorema 5.1
para obtener la conclusión (Ejercicio).
Criterio M de Weierstrass
sucesión {Mn }∞
n=1 de números reales no negativos tal que
y
∞
Mn < ∞,
n=1
∞
entonces la serie de funciones n=1 fn converge absoluta y uniformemente en X.
función
⎧
⎪
⎨x si 0 ≤ x < 1,
s(x) =
⎪
⎩0 si x = 1,
donde fn (x) = xn (1 − x) es continua en [0, 1], ∀n ∈ N, y s no es continua en el punto
1 ∈ [0, 1], se sigue del Teorema 5.3, que la serie no puede converger uniformemente a s en
[0, 1].
Los dos ejemplos anteriores muestran que la convergencia uniforme de ∞ n=1 fn junto
con la convergencia puntual de ∞ n=1 |fn | no implica necesariamente la convergencia uniforme
∞
de n=1 |fn |.
Criterios de Abel
Aparte del criterio de Weierstrass para la convergencia uniforme de una serie de funcio-
nes existen otros criterios importantes como los de Abel que se demuestran a a continuación.
{fn }∞
n=1 es una sucesión creciente (decreciente, respectivamente) si fn ≤ fn+1 , ∀n ∈ N
5.13 Definición. Sea {fα }α∈I una familia de funciones de un conjunto X en R. Se dice
que {fα }α∈I es una familia de funciones equiacotada o uniformemente acotada si existe
M ≥ 0 tal que
|fα (x)| ≤ M, ∀x ∈ X y ∀α ∈ I.
Por ejemplo, toda familia finita de funciones acotadas de X en R es una familia equia-
cotada de funciones. La familia de funciones exponenciales {e−αx }α∈[0,∞[ es equiacotada en
[0, ∞[.
lı́m gn = 0 uniformemente en X.
n→∞
5.1. Sucesiones de funciones 213
ε
q
ε
≤ (gj (x) − gj−1 (x)) + |gp−1 |
3M j=p 3M
ε
= (gq (x) − gp−1 (x) + |gp−1 (x)|)
3M
ε
≤ (3M )
3M
= ε, ∀x ∈ X y ∀q ≥ p ≥ N,
donde la primera desigualdad se cumple por (5.34); la segunda, por (5.32); y la última, por
(5.35). Se sigue pues del Teorema 5.5 que la serie ∞n=1 fn gn converge uniformemente en X.
Se tiene
q q q
q
fk (x)gk (x) ≤ (gj (x) − gj−1 (x)) fk (x) + |gp−1 (x)| fk (x)
k=p j=p k=j k=p
q q
j−1
= (gj (x) − gj−1 (x)) fk (x) − fk (x)
j=p k=1 k=1
q
p−1
+ |gp−1 (x)| fk (x) − fk (x)
k=1 k=1
q q j−1
≤ (gj (x) − gj−1 (x)) fk (x) + fk (x)
j=p k=1 k=1
q p−1
+ |gp−1 (x)| fk (x) + fk (x)
k=1 k=1
q
≤ (2K) (gj (x) − gj−1 (x)) + (2K)|gp−1 (x)|
j=p
donde la primera desigualdad se cumple por (5.34); la tercera, por (5.33); y la última, por
(5.36). Por el Teorema 5.5, la serie ∞n=1 fn gn converge uniformemente en X.
das son funciones constantes, entonces se recobran los criterios de Abel usuales para series
numéricas, en particular, el conocido teorema de series alternadas (Ejercicio).
donde
fn (x) = an , ∀x ∈ [0, ∞[ y ∀n ∈ N,
y
1
gn (x) = , ∀x ∈ [0, ∞[ y ∀n ∈ N.
nx
La sucesión de funciones {gn }∞n=1 es claramente decreciente en [0, ∞[ y
1
|gn (x)| = x ≤ 1, ∀x ∈ [0, ∞[ y ∀n ∈ N,
n
es decir, la sucesión de funciones es uniformemente acotada (o equiacotada) en [0, ∞[. Además
la serie de funciones
∞
∞
fn (x) = an
n=1 n=1
es uniformemente convergente en [0, ∞[, pues toda serie de funciones constantes que sea con-
vergente es trivialmente uniformemente convergente sobre cualquier conjunto. Por el primer
criterio de Abel, la serie de funciones
∞
an
n=1
nx
es uniformemente convergente en [0, ∞[.
Ya que todas las funciones
an
x →
nx
son continuas en [0, ∞[, se sigue del Teorema 5.3 que la función suma
∞
an
f (x) = , ∀x ∈ [0, ∞[
n=1
nx
debe ser continua en [0, ∞[. En particular, se tiene
∞ ∞
an
f (0) = an = lı́m+ x
= lı́m+ f (x).
n=1
x→0
n=1
n x→0
Observe que
∞
∞
(−1) x (1 − x) =
n n
fn (x)gn (x),
n=1 n=1
donde
Puesto que
n
fn (x) ≤ 2, ∀x ∈ [0, 1] y ∀n ∈ N,
k=1
la sucesión {gn }∞
n=1 es claramente decreciente en [0, 1] y (vea el Ejemplo 5.10) se cumple
M
sup |gn (x)| ≤ , ∀n ∈ N,
x∈[0,1] n+2
donde M > 0 es constante, entonces
Teorema de Dini
f en X.
5.1. Sucesiones de funciones 217
(¿Por qué?). Sea pues ε > 0. Por hipótesis, para cada x ∈ X existe N (x) ∈ N tal que
ε
0 ≤ f (x) − fn (x) ≤ , ∀n ≥ N (x).
3
En particular,
ε
(5.37) 0 ≤ f (x) − fN (x) (x) ≤ , ∀x ∈ X.
3
Para cada x ∈ X, existe una vecindad abierta Vx de x en X tal que
ε ε
(5.38) |f (y) − f (x)| ≤ y |fN (x) (y) − fN (x) (x)| ≤ , ∀y ∈ Vx ,
3 3
por ser f y fN (x) continuas.
Por ser {Vx }x∈X una cubierta abierta del compacto X, existen x1 , . . . , xk ∈ X tales que
k
X⊂ V xj .
j=1
Sea N = máx{N (x1 ), . . . , N (xk )}. Sean x ∈ X y n ≥ N arbitrarios. Entonces x ∈ Vxj para
algún j ∈ {1, . . . , k}. Ası́ pues,
puede demostrar en este caso (Ejercicio) que, de hecho, la convergencia es uniforme en todo
R.
5.2. Compacidad
5.19 Ejemplo. Todo conjunto finito de funciones de un espacio métrico X en R que sean
continuas en x0 ∈ X es un conjunto equicontinuo en x0 . Ası́ mismo, la unión de cualquier
familia finita de conjuntos de funciones equicontinuas en x0 es equicontinua en x0 . El lector
pude verificar fácilmente las afirmaciones anteriores como ejercicio.
{fn }∞
n=1 es equicontinua en un punto x0 ∈ X y converge puntualmente a alguna función g
en X, entonces g es continua en x0 .
|g(x) − g(x0 )| = lı́m |fn (x) − fn (x0 )| ≤ sup |fn (x) − fn (x0 )| ≤ ε.
n→∞ n∈N
Esto significa que una sucesión de funciones en B(X) es convergente con respecto a la norma
del espacio si y sólo es uniformemente convergente como sucesión de funciones de X en R.
220 5. Espacios de funciones
Aparte del teorema de Dini se cuenta con el resultado siguiente que permite el paso de
la convergencia puntual a la convergencia uniforme.
uniformemente en X.
Luego
ε
(5.40) |g(y) − g(x)| = lı́m |fn (y) − fn (x)| ≤ sup |fn (y) − fn (x)| ≤ , ∀y ∈ Vx .
n→∞ n∈N 3
Por ser X compacto, existen x1 , . . . , xk ∈ X tales que Vx1 , . . . , Vxk forman una subcubierta
finita de X. Como {fn }∞
n=1 converge puntualmente a g en X, existe N ∈ N tal que
ε
(5.41) |fn (xj ) − g(xj )| ≤ , ∀n ≥ N y j = 1, . . . , k.
3
Si y ∈ X y n ≥ N , existe j ∈ {1, . . . , k} tal que y ∈ Vxj , luego
ε ε ε
|fn (y) − g(y)| ≤ |fn (y) − fn (xj )| + |fn (xj ) − g(xj )| + |g(xj ) − g(y)| ≤ + + = ε,
3 3 3
por (5.39), (5.40) y (5.41). Esto prueba que ε es cota superior del conjunto de valores en R
En particular,
H(x) = {f (x) | f ∈ H}
|f (x)| ≤ M, ∀f ∈ H.
|f (y) − f (x)| ≤ |f (y) − fj (y)| + |fj (y) − fj (x)| + |fj (x) − f (x)|
ε
≤ N∞ (f − fj ) + + N∞ (f − fj ) = ε, ∀y ∈ V,
3
donde la segunda desigualdad se cumple por (5.43) y la tercera, por (5.42). Esto prueba que
H es un conjunto equicontinuo en C(X). Además,
ε
|f (x) − fj (x)| ≤ N∞ (f − fj ) ≤
3
222 5. Espacios de funciones
implica
ε
|f (x)| ≤ |fj (x)| + ≤ |fj (x)| + 1.
3
Se concluye pues que
|f (x)| ≤ M, ∀f ∈ H,
Observe que dada cualquier f ∈ H, el valor f (xj ) y debe ser “casi” igual a algún valor
ci . Esto sugiere agrupar los elementos de H en subconjuntos que dependan de la cercanı́a
que tenga f (xj ) con algún ci , donde es posible que varios f (xj ) estén cerca de un mismo ci .
Más precisamente, defina el conjunto finito
Luego, para cada k ∈ {1, . . . , n} existe α(k) ∈ {1, . . . , m} tal que f (xj ) ∈ B(cα(k) , ε/4), por
(5.46). En esta forma se tiene definida una función α ∈ Φ con la propiedad de que f ∈ Lα .
Esto prueba que
H⊂ Lϕ .
ϕ∈Φ
|f (x) − g(x)| ≤ |f (x) − f (xj )| + |f (xj ) − cϕ(j) | + |cϕ(j) − g(xj )| + |g(xj ) − g(x)|
ε ε ε ε
≤ + + + = ε.
4 4 4 4
Ası́ pues,
5.3. Aproximación
En esta sección de demuestran algunos resultados relacionados con la densidad de
algunos subconjuntos de los espacios de funciones continuas, destacando el teorema de Stone-
Weierstrass. En particular, se concluye la separabilidad de algunos de estos espacios.
Sublatices
Dadas dos funciones f y g de un conjunto S en R, la envoltura superior e inferior de
f y g, respectivamente, se definen como las funciones f ∨ g, f ∧ g : S → R dadas por
f ∨ g, f ∧ g ∈ E, ∀f, g ∈ E.
iii. Se dice que E separa puntos de S si ∀x = y en S existe f ∈ E tal que f (x) = f (y).
iv. Se dice que E separa fuertemente puntos de S si ∀x = y en S y ∀α, β ∈ R
existe f ∈ E tal que f (x) = α y f (y) = β.
5.22 Ejemplo. La familia Cp ([−1, 1]) de todas las funciones continuas pares de [−1, 1] en
R es un sublatice lineal de C([−1, 1]), pero no separa puntos de [−1, 1] (Ejercicio).
5.23 Ejemplo. Interpretando a ∞ como el espacio B(N) de todas las funciones acotadas
de N en R, c0 y φ0 serı́an dos sublatices lineales de ∞ que separan fuertemente puntos de N
(Ejercicio).
En efecto, puesto que E separa fuertemente puntos de X, para cada y ∈ X debe existir
hy ∈ E tal que hy (x) = f (x) y hy (y) = f (y). Siendo hy − f continua en X y (hy − f )(y) = 0,
existe una vecindad abierta Vy de y en X tal que (hy − f )(z) ≥ −ε, ∀z ∈ Vy . Ası́ pues, para
cada y ∈ X, se tiene
g x = h y1 ∨ · · · ∨ h ym
pertenece a E por ser éste un sublatice. Además, dado y ∈ X arbitrario, se tiene que y ∈ Vyk
para algún k ∈ {1, . . . , m}, luego, por (5.49) se debe tener
g = g x1 ∧ · · · ∧ g xn
pertenece a E por ser éste un sublatice. Además, dado cualquier x ∈ X, se tiene que x ∈ Wxj
para algún j ∈ {1, . . . , n}. Por (5.48), se debe tener
y, por (5.51),
Esto prueba (5.50). Se sigue de las dos desigualdades anteriores que g ∈ E satisface
es decir,
Subálgebras
(f g)(s) = f (s)g(s), ∀s ∈ S.
f g ∈ E, ∀f, g ∈ E.
5.14 Proposición. Sea S un conjunto. Si E es una subálgebra del espacio normado B(S)
provisto de la norma uniforme N∞ , entonces su adherencia E en B(S) también es una subálge-
bra.
[−1, 1].
(5.52) 0 ≤ pn ≤ Δ y pn ≤ pn+1 , ∀n ∈ N.
En efecto, es claro que, ∀t ∈ [−1, 1], se cumple 0 ≤ p1 (t) ≤ |t|, luego p21 (t) ≤ t2 , de donde
1
p1 (t) ≤ p1 (t) + [t2 − p21 (t)] = p2 (t).
2
Ası́ pues, se cumple (5.52) para n = 1. Suponga ahora que se cumple (5.52) para n = k.
Observe que
1
(5.53) |t| − pk+1 (t) = |t| − pk (t) − [t2 − p2k (t)]
2
1
= [|t| − pk (t)] 1 − (|t| + pk (t)) , ∀t ∈ [−1, 1].
2
Si t ∈ [−1, 1], entonces pk (t) ≤ |t|, por la hipótesis inductiva, luego |t| + pk (t) ≤ 2|t| ≤ 2, de
donde,
1
[|t| + pk (t)] ≤ 1,
2
es decir,
1
(5.54) 1 − [|t| + pk (t)] ≥ 0.
2
También, por la hipótesis inductiva, se tiene
a la función continua Δ en el compacto [−1, 1]. Se sigue del Teorema de Dini (Teorema 5.8),
que dicha sucesión converge a Δ uniformemente en [−1, 1].
5.16 Teorema. Sea S un conjunto. Si E es una subálgebra cerrada del espacio B(S) de
funciones acotadas de S en R provisto de la norma uniforme N∞ , entonces E es un sublatice
de B(S).
p(t) = α1 t + · · · + αn tn
g = p(f ) = α1 f + · · · + αn f n .
5.3. Aproximación 229
|f (s)| ≤ N∞ (f ) ≤ 1, ∀s ∈ S,
se debe tener
N∞ (|f | − g) ≤ ε.
El teorema de Stone-Weierstrass
|f (t) − p(t)| ≤ ε, ∀t ∈ X.
p0 (t) = t, ∀t ∈ X,
claramente separa cualquier par de puntos de X. Por el Teorema 5.18, P(X) es denso en
C(X).
5.3. Aproximación 231
Ejercicios
fn (x) = nα x(1 − x2 )n
|fn (x)| ≤ M, ∀x ∈ X y ∀n ∈ N.
en algún conjunto X.
i. Pruebe que {fn + gn }∞
n=1 es uniformemente convergente en X.
232 5. Espacios de funciones
uniformemente convergente en X.
5.7. Demuestre que si {fn }∞
n=1 es una sucesión de funciones continuas de un espacio
y sólo si
sen x = cos x, ∀x ∈ R.
qué intervalos sı́ converge uniformemente. ¿Es f continua? ¿Es f acotada? Justifique.
5.12. Determine si es o no uniformemente convergente en [0, 1[ la serie de funciones
∞
nxn .
n=1
5.13. Investigue la convergencia puntual, absoluta y/o uniforme en [0, 1] de la serie
de funciones
∞ 2n+1
x xn+1
− .
n=1
2n + 1 2n + 2
5.14. Demuestre que la serie de funciones
∞
x2 + n
(−1)n
n=1
n2
converge uniformemente en todo intervalo acotado pero que no converge absolutamente para
ningún x ∈ R. En particular, la convergencia uniforme de una serie no implica en general su
convergencia absoluta.
5.15. Pruebe que la serie de funciones
∞
(−1)n x
√ sen 1 +
n=1
n n
es uniformemente convergente en todo conjunto compacto de R.
5.16. Muestre que si {gn }∞
n=1 es una sucesión decreciente de funciones que converge
lı́m ncn = 0.
n→∞
Sugerencia. Para probar una de las implicaciones, siga la idea empleada en la demos-
tración de los criterios de Abel. Para la otra: razone por negación, observe que no habrá con-
vergencia uniforme en R si no la hay en algún intervalo compacto a la derecha de cero,
recuerde que la función t → sen t es creciente y no negativa en [0, π/2] y use la identidad
trigonométrica empleada en el Ejercicio 5.16, (iv).
5.19. Si {fn }∞
n=1 es una sucesión de funciones monótonas en [a, b] (fn puede ser creciente
para algunos valores de n y decreciente para otros) que converge puntualmente a un función
f continua en [a, b], demuestre que {fn }∞
n=1 converge a f uniformemente en [a, b].
Sugerencia. Pruebe primero que f debe ser monótona. Suponiendo que f es creciente,
deduzca que f ([a, b]) = [f (a), f (b)]. Dado ε > 0, considere una subdivisión de [f (a), f (b)]
por un número finito de puntos tal que la distancia entre dos puntos consecutivos sea menor
que ε.
5.20. Pruebe que el subconjunto de (C([0, 1]), N∞ ) dado por
no es equicontinuo.
5.3. Aproximación 235
H(x) = {f (x) ∈ R | f ∈ H}