Cardinalidad de Intervalos Abiertos y Semiabiertos
Cardinalidad de Intervalos Abiertos y Semiabiertos
Nociones de Cardinalidad
El número de elementos de un conjunto será llamado la cardinalidad del conjunto. Los
conjuntos, en cuanto a su cardinalidad, pueden ser clasificados como conjuntos finitos, infini-
tos numerables e infinitos no numerables. Para determinar la cardinalidad de un conjunto es
necesario compararlo con algún otro conjunto conocido que es usado como referencia para el
conteo. Esta comparación se hace a través de alguna función entre ambos conjuntos que per-
mita concluir si los dos conjuntos tienen la misma cardinalidad o si uno tiene mayor número
cardinalidad que el otro. La noción de cardinalidad es usada en diversas áreas del análisis
y será de particular utilidad en temas como separabilidad y compacidad. En este capı́tu-
lo se introduce el concepto de cardinalidad y se analizan varios resultados que ayudarán a
determinar la cardinalidad un conjunto.
Jn = {k ∈ N | k ≤ n}, ∀n ∈ N,
Se verifica fácilmente (Ejercicio) que “∼” satisface los axiomas de una relación de
equivalencia1 .
respectivamente. J
1.4 Ejemplo. Se tiene: ]0, 1[∼]0, 1] ∼ [0, 1[∼ [0, 1] ∼ [a, b], ∀a < b.
Para probar, por ejemplo, que ]0, 1] ∼]0, 1[ basta definir f :]0, 1] →]0, 1[ como
x si x 6= 1/n, n ∈ N,
f (x) =
1
n + 1 si x = 1/n, n ∈ N.
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, donde Card (∅) = 0 por convención.
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. J
Demostración. Basta probar el resultado para N (¿Por qué?). Sea pues A ⊂ N. Supon-
ga primero que A es acotado. Existe entonces n ∈ N tal que A ⊂ Jn . Por la Proposición 1.1,
A = ∅ o existe k ≤ n tal que A ∼ Jk . En ambos casos, A es finito.
Suponga ahora que A no es acotado. Se construirá inductivamente una función biyectiva
α de N sobre A. Sea α(1) el primer elemento de A, es decir, 1 ≤ α(1) < k, ∀k ∈ A\{α(1)},
6 ∅ por ser A no acotado. Suponga definidos α(1), . . . , α(n) tales que n ≤
donde A\{α(1)} =
α(n) < k, ∀k ∈ A\{α(1), . . . , α(n)}. Como A no es acotado, A\{α(1), . . . , α(n)} =
6 ∅. Defina
entonces α(n + 1) como el primer elemento de A\{α(1), . . . , α(n)}, es decir, α(n + 1) < k,
∀k ∈ A\{α(1), . . . , α(n + 1)}, donde A\{α(1), . . . , α(n + 1)} =
6 ∅ por ser A no acotado. En
4 1. Nociones de Cardinalidad
particular, n ≤ α(n) < α(n+1), de donde, n+1 ≤ α(n+1). Se tiene pues definida una función
α : N → A tal que n ≤ α(n), α(n) < α(n + 1) y α(n + 1) < k, ∀k ∈ A\{α(1), . . . , α(n)}
y ∀n ∈ N. La función α es pues inyectiva. Si existiera a ∈ A tal que a 6= α(k), ∀k ∈ N,
necesariamente k ≤ α(k) < a, ∀k ∈ N, lo cual serı́a absurdo. Ası́ pues, la función α es
también suprayectiva. Por lo tanto, A es numerable.
El caso (iv) es imposible, lo cual será aceptado como un axioma adicional. Ası́ pues, la
relación “<” es un orden total estricto2 en el conjunto de los números cardinales.
Se sigue de inmediato de la Proposición 1.1, por ejemplo, que
n < ℵ0 , ∀n ∈ N.
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
6 1. Nociones de Cardinalidad
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
igualmente N1 , M y D, además,
X = N0 ∪ M ∪ D y X1 = N1 ∪ M ∪ D.
Se tiene por construcción de los Xn y los Yn que g ◦ f es una biyección de N0 sobre N1 , luego
N0 ∼ N1 . Entonces es claro que X ∼ X1 . Ya que por hipótesis X1 ∼ Y , se concluye que
X ∼Y.
Por otra parte, es claro que la relación “≤” es un 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.
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
sobre X.
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, en particular, es inyectiva. Si Card (X) < Card (Y ),
entonces X, en particular, es equipotente a un subconjunto de Y , es decir, existe una función
inyectiva de X en Y . En ambos casos se cumple la condición del enunciado.
Recı́procamente, si existe una función inyectiva f de X en Y , entonces f (X) es un
subconjunto de Y que es equipotente con X. Luego Card (X) ≤ Card (Y ).
(ii). Suponga nuevamente que Card (X) ≤ Card (Y ). Por (i), existe una función inyec-
tiva g : X → Y . Sea f : Y → X cualquier ampliación a Y de la función g −1 : g(X) → Y .
Entonces f debe ser una función suprayectiva de Y sobre X.
Suponga finalmente que existe una función suprayectiva f : Y → X. Entonces
[
Y = f −1 ({x}),
x∈X
donde los conjuntos de la derecha son todos disjuntos y no vacı́os (por ser f suprayectiva).
Para cada x ∈ X seleccione yx ∈ f −1 ({x} y defina g : X → Y como
g(x) = yx , ∀x ∈ X.
La función g de X en Y es inyectiva, pues los conjuntos f −1 ({x}) son todos disjuntos. Luego
X es equipotente al subconjunto g(X) de Y , de donde Card (X) ≤ Card (Y ).
Defina ahora f (2n + 1), ∀n ∈ N, usando una tabla similar para los racionales negativos.
8 1. Nociones de Cardinalidad
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), es decir, Q es equipotente
a un subconjunto de N. Por otra parte, claramente N es equipotente a un subconjunto de Q.
Por el Teorema de Cantor-Bernstein se debe tener Card (N) = Card (Q). J
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}.
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},
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.
Card (A1 ) = ℵ0 .
a1,1 → a1,2 a1,3 → a1,4
. % .
a2,1 a2,2 a2,3 ·
↓ % . ·
a3,1 a3,2 · ·
. · ·
a4,1 · ·
· · ·
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
nm o
Qn = m∈Z y Nn = {(n, m) | m ∈ N}
n
son claramente conjuntos numerables (¿Por qué?), ∀n ∈ N. J
1.11 Observación. Recuerde que cada punto x ∈]0, 1[ admite al menos una representación
decimal de la forma
∞
X 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 . . .
xj = y j , j = 1, . . . , N − 1, xN = yN + 1, y xj = 0, yj = 9, ∀j > N,
Por ejemplo,
3425
0.3424999 . . . = 0.3425000 . . . = ,
104
10 1. Nociones de Cardinalidad
pues
∞
X 9 1
j
= 4.
j=5
10 10
Como consecuencia de lo anterior se tiene que si x, y ∈]0, 1[ tienen representaciones decimales
x = 0.x1 x2 x3 · · · y y = 0.y1 y2 y3 · · ·
Card (R) = ℵ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 entonces en la forma
Escriba cada rn con su representación decimal: rn = [Link],1 rn,2 rn,3 · · · Defina r ∈]0, 1[ (repre-
sentado decimalmente) como
r = 0.r1 r2 r3 · · · ,
ℵ0 < ℵ1 . J
X ∼ X ∪ N.
12 1. Nociones de Cardinalidad
X = (X\M ) ∪ M = (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
X = [(X\M ) ∪ M1 ] ∪ M2 ,
1.5. Propiedades de los conjuntos infinitos 13
X = [(X\M ) ∪ M1 ] ∪ M2 ∼ (X\M ) ∪ M1 .
1.10 Proposición. Se tiene que P(N) es equipotente con [0, 1[, en sı́mbolos,
2ℵ0 = ℵ1 .
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 6∈ f (x)}.
1.5. Propiedades de los conjuntos infinitos 15
Puesto que f es suprayectiva, deberı́a existir a ∈ X tal que f (a) = A. Ahora bien, necesa-
riamente a ∈ f (a) o a 6∈ 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 6∼ Jm , ∀m > n. Muestre además que N 6∼ 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.
ii. Todos los intervalos de R con extremos racionales.
iii. Todos los polinomios reales con coeficientes racionales.
1.7. Pruebe las afirmaciones siguientes:
i. X numerable y N finito implica X \ N es numerable.
ii. X infinito y N a lo sumo numerable implica X ∪ N ∼ X.
Sugerencia. Adapte la demostración del Lema 1.8.
iii. X no numerable y N a lo sumo numerable implica X \ N ∼ X.
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. J
2.6 Ejemplo. (Sistema ampliado de los números reales) El conjunto R se define como
la unión de R con dos elementos que no pertenecen a R, denotados por +∞ y −∞. Dados
x y y en R, se definen x + y, x · y y x < y del modo usual si x, y ∈ R, y
+∞ + x = x + (+∞) = +∞, −∞ + x = x + (−∞) = −∞, ∀x ∈ R,
+∞ + (+∞) = +∞, −∞ + (−∞) = −∞
(+∞) · x = x · (+∞) = +∞, (−∞) · x = x · (−∞) = −∞, ∀x > 0,
(+∞) · x = x · (+∞) = −∞, (−∞) · x = x · (−∞) = +∞, ∀x < 0
(+∞)(+∞) = (−∞)(−∞) = +∞, (+∞)(−∞) = (−∞)(+∞) = −∞.
Además,
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. J
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. J
También se cumple
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
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 alternativas
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 ∞ p
P
n=1 |x(n)| < ∞. Se define la función Np : `p → R
como
" ∞
#1/p
X
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
X X X
p q
N1 (xy) = |x(n)y(n)| ≤ |x(n)| |y(n)| = Np (x)Nq (y)
n=1 n=1 n=1
para el caso 1 < p, q < ∞; y
∞ "X
∞
#
X
N1 (xy) = |x(n)y(n)| ≤ sup |y(n)| |x(n)| = N1 (x)N∞ (y)
1≤n≤∞
n=1 n=1
para el caso p = 1 y q = ∞.
Suponga entonces que 1 < p, q < ∞. Si Np (x)Nq (y) = 0, se cumple trivialmente la igualdad
con cero en la desigualdad de Hölder. Se puede suponer pues que Np (x)Nq (y) 6= 0.
(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
∞ ∞ ∞
X 1X 1X 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
|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 x(n) y(n) 1 X
1≥ =
Np (x) Nq (y) Np (x)Nq (y) |x(n)y(n)|.
n=1 n=1
Luego, xy ∈ `1 y
∞
X
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).
Puesto que
implica
∞
X ∞
X ∞
X
p p−1
(2.1) |x(n) + y(n)| ≤ |x(n) + y(n)| |x(n)| + |x(n) + y(n)|p−1 |y(n)|.
n=1 n=1 n=1
Por lo tanto,
N
" N
#1/p " N
#1/q
X X X 1 1
i. |xn yn | ≤ |xn |p |yn |q , ∀p, q ∈]1, ∞[, + = 1.
n=1 n=1 n=1
p q
N
" N
#
X X
iii. |xn yn | ≤ |xn | máx |yn | .
1≤k≤N
n=1 n=1
2.11 Ejemplo. (Espacio finito dimensional) Como consecuencia inmediata del Corola-
rio 2.8 se tiene que, para 1 ≤ p < ∞, la función Np : Rn → R dada por
" n #1/p
X
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
" n #1/p
X
ρ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
2.13 Ejemplo. (Espacio de funciones continuas) Denote por C([a, b]) el espacio vecto-
rial 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
Z b 1/p
p
Np (f ) = |f (t)| dt , ∀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
Z b 1/p
p
ρp (f, g) = |f (t) − g(t)| dt , ∀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
28 2. Espacios Métricos
uniforme. La distancia inducida por esta norma es la función ρ∞ : C([a, b]) × C([a, b]) → R
dada por
2.14 Ejemplo. (Espacio de funciones acotadas) Denote por B([a, b]) el espacio vectorial
sobre el campo R de todas las funciones acotadas del intervalo compacto [a, b] de R en R.
Se define la función N∞ : B([a, b]) → R como
Se verifica fácilmente (Ejercicio) que N∞ es una norma sobre B([a, b]), llamada la norma
uniforme. La distancia inducida por esta norma es la función ρ∞ : B([a, b]) × B([a, b]) → R
dada por
es una métrica sobre X. Se verá más adelante que estas métricas son todas equivalentes. J
2.16 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
es una métrica sobre X × Y , la cual también se verá más adelante que es equivalente a la
métrica definida en el Ejemplo 2.7. J
respectivamente.
2.22 Ejemplo. En (R2 , N1 ), (R2 , N2 ) y (R2 , N∞ ) la respectiva bola unitaria B(0, 1) se mues-
tra en las Figuras 2.2 y 2.3.
y y
x x
1 1
Figura 2.2
2.2. Topologı́a de espacios métricos 31
y
1
Figura 2.3
1 x
−1
Figura 2.4
2.25 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. Sin embargo, en el espacio métrico discreto (R, d) dicho conjunto {0} sı́ es un
conjunto 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.
32 2. Espacios Métricos
En (R, | · |), B(0, r) =] − r, r[6⊂ {0}, ∀r > 0, implica que {0} no es un conjunto abierto.
Sin embargo, en el espacio métrico discreto (R, d), el conjunto {0} es la bola abierta B(0, 1/2)
el cual, como se dijo, es un conjunto abierto. J
2.9 Teorema. La familia T formada por todos los conjuntos abiertos de un espacio métrico
(X, d) (cf. Definición 2.24) es una topologı́a sobre X, llamada la topologı́a inducida por
la métrica d.
B(a, r) ⊂ Gα ⊂ G.
De acuerdo a la Definición 2.24, G debe ser un conjunto abierto en (X, d), es decir, G ∈ T .
2.2. Topologı́a de espacios métricos 33
(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.24 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.24, G debe ser un conjunto abierto en (X, d), es decir, G ∈ T .
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.25, no es un conjunto abierto.
2.28 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.
34 2. Espacios Métricos
B(x, r) ⊂ V.
2.29 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.30 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.19, 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 cuales
existe un intervalo abierto ]c, d[, con c, d ∈ R, que contiene a a.
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
2.2. Topologı́a de espacios métricos 35
2.32 Ejemplo. En cualquier espacio métrico (X, d), los conjuntos ∅, X, B 0 (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.25. Para la segunda,
observe que {0} = B 0 (0, 0). J
Se siguen del Teorema 2.9 y de las Leyes de De Morgan1 (Ejercicio) las propiedades
siguientes de la familia de conjuntos cerrados.
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 ◦ ,
2.35 Ejemplo. El interior de la bola unitaria cerrada B 0 (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 (0, 1),
2.2. Topologı́a de espacios métricos 37
entonces
◦
B(0, 1) ⊂ B 0 (0, 1) .
Fije ahora x 6∈ B(0, 1). Se demostrará que x 6∈ B 0 (0, 1)◦ . Se tiene que x 6∈ B(0, 1) implica
que N2 (x) ≥ 1. Se afirma que B(x, r) 6⊂ B 0 (0, 1), ∀r > 0, es decir, que x no es un punto
interior de B 0 (0, 1). En efecto, sea 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 (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 6∈ B 0 (0, 1)◦ . Ası́ pues,
◦
B 0 (0, 1) ⊂ B(0, 1).
i. A es un conjunto cerrado.
ii. A ⊂ A.
iii. A = A si y sólo si A es un conjunto cerrado.
iv. A = A.
v. A ⊂ B implica A ⊂ B.
o sea, { A = { A◦ .
equivalentemente, V ∩ A 6= ∅, ∀V ∈ V(x).
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 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 {xα(n) }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 ≤ ∞. Ası́ pues, una 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 generaliza fácilmente
(Ejercicio) a RN . J
Demostración. (a) Suponga primero que x ∈ A. Por el Corolario 2.15, B(x, 1/n)∩A 6=
∅, ∀n ∈ N. Tome xn ∈ A ∩ B(x, 1/n), ∀n ∈ N. Entonces xn ∈ A y d(xn , x) < 1/n, ∀n ∈ N,
2.2. Topologı́a de espacios métricos 41
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 ε > 0
B(x, ε) ∩ A 6= ∅, ∀ε > 0.
Demostración. (a) Suponga que A sea cerrado. Por la Proposición 2.13, 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.21, el conjunto A debe ser cerrado en
(R2 , N∞ ).
42 2. Espacios Métricos
ambos en (R2 , N∞ ). J
Fr A = A ∩ { A.
V ∩ A 6= ∅ y V ∩ { A 6= ∅,
B(x, r) ∩ A 6= ∅ y B(x, r) ∩ { A 6= ∅.
A ∩ Fr A = ∅
Fr A ⊂ A.
Demostración. Sólo se demostrará (iv), el resto se deja como ejercicio para el lector.
2.2. Topologı́a de espacios métricos 43
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. J
A◦ = A, A = A, Fr A = ∅ y Ext A = { A. J
B(x, r) ∩ 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.15 y del Teorema 2.20.
∀x ∈ X y ∀r > 0, B(x, r) ∩ A 6= ∅.
2.3. Espacios métricos separables 45
ii. A es denso en X si y sólo si para cualquier punto x de X existe una sucesión {xn }∞
n=1
2.50 Ejemplo. Denote por Qn el producto cartesiano de Q consigo mismo n veces, es decir,
Yn
n
Q = 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). J
D = {a = {a(n)}∞
n=1 ∈ `p | a(n) ∈ Q, ∀n ∈ N, y ∃N ∈ N tal que a(n) = 0, ∀n > N }.
46 2. Espacios Métricos
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). J
D = Q ∪ {±∞}
2.3. Espacios métricos separables 47
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 (la inducida por la métrica) si cualquier conjunto
abierto puede ser escrito como unión de alguna subfamilia de elementos de B. En este sentido
los conjuntos de B “generan” toda 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, dicha base B serı́a
B = {{x} | x ∈ X}. J
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 ≤ ∞. J
D = {xU | U ∈ B\{∅}}.
2.27 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
o sea, y ∈ B(x, 1/k). Ası́ pues, Bn,k ⊂ B(x, 1/k) ⊂ G.
2.3. Espacios métricos separables 49
Teorema de Lindelöf
2.28 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 ∈ Bn ⊂ Gα .
Defina
B 0 = {Bβ(n) | n ∈ N}.
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[,
W = V ∩ A.
iii. S A
= S ∩ A.
iv. S es un conjunto cerrado del subespacio A si y sólo si existe un conjunto cerrado
F de X tal que
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 .
52 2. Espacios Métricos
BA (a, r) = B(a, r) ∩ A ⊂ V ∩ A = W.
x∈A y ∅=
6 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 ,
( 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 3 1
= lı́m − ,
2 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
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 . J
2.64 Ejemplo. Los subespacios Q, [0, 1[ y [a, b] de R con la métrica usual, son todos sepa-
rables. J
Más adelante se analizarán otras propiedades de los subespacios heredadas de las co-
rrespondientes propiedades que tenga el espacio.
2.5. Continuidad
El concepto de continuidad formaliza la idea de que no haya interrupciones en el reco-
rrido de la gráfica de una función. El concepto de continuidad aparecerá una y otra vez de
manera importante en todos los temas subsecuentes, razón por la cual se puede decir que
esta teorı́a consiste esencialmente en un estudio inicial sobre la continuidad de las funcio-
nes. En esta sección se introducen pues los conceptos de función continua, homeomorfismo,
isometrı́a y función uniformemente continua. Se discuten distintas caracterizaciones de estos
conceptos ası́ como algunas de sus propiedades. Se discute, en particular, el concepto de
métricas equivalentes.
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 en X, si para cualquier conjunto abierto G
de Y , su imagen inversa bajo f , es decir,
es un conjunto abierto en X.
2.5. Continuidad 55
2.67 Ejemplo. La función identidad de un espacio métrico (X, d) en sı́ mismo es claramente
continua. J
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.27). J
2.32 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) ⇒ (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 x ∈ f −1 (B(y, r)).
Ya que x ∈ A, se debe tener
f −1 (B(y, r)) ∩ A 6= ∅.
Si a ∈ f −1 (B(y, r)) ∩ A, entonces f (a) ∈ B(y, r) ∩ f (A). Esto prueba que B(y, r) ∩ f (A) 6= ∅,
∀r > 0, es decir, que y ∈ f (A). Por lo tanto, f A ⊂ f (A), es decir, se cumple (ii).
(ii) ⇒ (iii). Sea H un conjunto cerrado arbitrario en Y . Aplique la hipótesis al conjunto
A = f −1 (H). Resulta,
f f −1 (H) = f A ⊂ f (A) = f (f −1 (H)) ⊂ H = H,
56 2. Espacios Métricos
f −1 (H) ⊂ f −1 (H).
f −1 (H) = f −1 { G = { f −1 (G),
es un conjunto abierto en X.
La definición de continuidad puntual es esencialmente la misma que la de 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 términos 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.34 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.35 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
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
58 2. Espacios Métricos
a f (x0 ) en Y .
2.37 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,
que es un conjunto abierto en X. De acuerdo a la Definición 2.66, f es continua en X.
2.73 Ejemplo. La función f del subespacio [0, 1[∪]1, 2[ de R en R (con la distancia usual),
dada por
x 2
si 0 ≤ x < 1,
f (x) =
2
si 1 < x < 2,
es continua en [0, 1[∪]1, 2[ (Ejercicio). Sin embargo, no existe ninguna función continua de R
en R (con la distancia usual) cuya restricción a [0, 1[∪]1, 2[ sea f (Ejercicio). J
2.74 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 o que tiene la propiedad de Lipschitz si
existe una constante K ≥ 0 tal que
Luego la función norma es lipschitziana (por ejemplo, con K = 1) y, por tanto, continua en
E. J
60 2. Espacios Métricos
satisface
= N Np (x − x0 ), ∀x = {x(n)}∞ 0 0 ∞
n=1 , x = {x (n)}n=1 ∈ `p ,
si 1 ≤ p < ∞, y si p = ∞, entonces
= N N∞ (x − x0 ), ∀x = {x(n)}∞ 0 0 ∞
n=1 , x = {x (n)}n=1 ∈ `∞ .
Notación. Si x = {x(n)}∞ ∞
n=1 y y = {y(n)}n=1 son dos sucesiones en R, se escribirá
x2 = {x2 (n)}∞
n=1 , x2 − y 2 = {x2 (n) − y 2 (n)}∞
n=1 ,
f (x) = x2 , ∀x = {x(n)}∞
n=1 ∈ `2 .
Es claro que f está bien definida (por definición de `2 ). Se afirma que f es continua en `2 .
Fije x = {x(n)}∞ ∞
n=1 ∈ `2 y sea ε > 0. Si y = {y(n)}n=1 ∈ `2 es tal que
N2 (x − y) ≤ 1,
entonces
donde 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.10). Sea
ε
δ = mı́n 1, .
1 + 2N2 (x)
Si y = {y(n)}∞
n=1 ∈ `2 satisface N2 (x − y) < δ, entonces se cumplen
ε
(2.12) N2 (x − y) < 1 y N2 (x − y) < ,
1 + 2N2 (x)
en particular se cumple (2.11). Se sigue pues de (2.11) que si N2 (x − y) < δ, entonces
ε
N1 (f (x) − f (y)) ≤ [1 + 2N2 (x)] N2 (x − y) < [1 + 2N2 (x)] = ε,
1 + 2N2 (x)
por (2.12), es decir, N2 (x − y) < δ implica
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.80 Definición. Una función f de un espacio métrico (X, d) en un espacio métrico (Y, ρ)
62 2. Espacios Métricos
2.81 Ejemplo. Los subespacios [0, ∞[ y [0, 1[ de R (con la distancia usual) son homeomor-
fos. Un homeomorfismo serı́a (Justifique), por ejemplo,
x
f (x) = , ∀x ≥ 0. J
1+x
2.82 Ejemplo. La función x 7→ ex es un homeomorfismo de R sobre el subespacio ]0, ∞[
de R, con la distancia usual (Justifique). J
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]. J
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, ρ).
2.38 Proposición. Sean d y ρ dos métricas sobre un conjunto X. Las afirmaciones siguien-
2.5. Continuidad 63
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.38 asegura entonces que d y ρ son métricas equivalentes
en X. J
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.
En efecto, se verá solamente que f no es uniformemente continua en R, el caso 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 en R 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. J
2.92 Definición. Se dice que dos métricas d y ρ sobre un mismo conjunto X son uni-
formemente 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.38, 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 en el caso de 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, x0 ∈ X se escribe x ∼ x si y sólo si ρ(x, x0 ) = 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
Zb
ρ(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α 6= 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
Demuestre lo siguiente.
i. d(x, y) 6= 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 0 (x, r) en X es a la vez un conjunto abierto y cerrado. Además,
y ∈ B 0 (x, r) implica B 0 (y, r) = B 0 (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.
2.5. Continuidad 73
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 (esto es debido esencialmente
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. J
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).
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 de Banach. J
Para probar que A es un conjunto cerrado se debe probar que x ∈ A (vea el Teorema 2.21).
Como {xn }∞
n=1 es convergente en X, entonces debe satisfacer la condición de Cauchy. Siendo
78 3. Completez, compacidad y conexidad
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 fácilmente a partir de las definiciones (Ejercicio), que toda
función f uniformemente continua de un espacio métrico (X, d) en un espacio métrico (Y, ρ)
transforma sucesiones de Cauchy en X sobre sucesiones de Cauchy en Y .
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 debe converger a algún punto y ∈ Y .
Sea pues ε > 0. Como f es uniformemente continua en A, existe δ > 0 tal que
lı́m ρ(f (a0n ), y) ≤ lı́m [ρ(f (a0n ), f (an )) + ρ(f (an ), y)] = 0.
n→∞ n→∞
80 3. Completez, compacidad y conexidad
Por lo tanto,
Entonces
Por lo tanto,
3.14 Observación. La conclusión del Teorema 3.2 puede fallar si se supone que f es nada
más continua o que si 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 :
3.1. Espacios métricos completos 81
(respectivamente, creciente) si
An ⊃ An+1 , ∀n ∈ N,
se cumple
∞
\
B 0 (xn , rn ) 6= ∅.
n=1
Demostración. (a) Suponga que X es completo. Considere una sucesión decreciente
de bolas cerradas {B 0 (xn , rn )}∞ ∞
n=1 tales que {rn }n=1 tienda a cero.
d(xn , xm ) ≤ rn , ∀m ≥ n y ∀n ∈ N.
rn < ε, ∀n ≥ N.
Entonces, m ≥ n ≥ N implican
d(xn , xm ) ≤ rn < ε.
82 3. Completez, compacidad y conexidad
cerradas {Bn }∞ 0
n=1 = {B (xα(n) , 1/2
n−1 ∞
)}n=1 , tales que Bn ⊃ Bn+1 , ∀n ∈ N, y cuyos radios
tienden a cero. Por hipótesis debe existir
\
x∈ Bn .
n=1
n−1
En particular, d(x, xα(n) ) < 1/2 , ∀n ∈ N, luego
misma {xn }∞
n=1 debe converger a x ∈ X, por ser de Cauchy. Ası́ pues, X es completo.
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 6= ∅.
B(x, r) ∩ { A 6= ∅.
84 3. Completez, compacidad y conexidad
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 = { A , es
decir, B(y, r0 ) ∩ A = ∅. Si B e = B 0 (y, ε), con 0 < ε < r0 , entonces
e = B(y, ε) o B
e ⊂ B(y, r0 ) ⊂ B(x, r) ⊂ B
B y e ∩ A = ∅.
B
(iii) ⇒ (i) Sea B una bola abierta arbitraria en X. Por hipótesis existe otra bola
e ⊂ { A ◦ = { A. Ası́ pues,
abierta B e⊂ByB
e tal que B e ∩ A = ∅, es decir, B
e ⊂ { A, o sea, B
◦
B 6⊂ A. Por lo tanto A = ∅, es decir, A es un conjunto denso en ninguna parte de X.
3.5 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.5) Bn ∩ An = ∅, ∀n ∈ N.
3.7 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.8 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 .
x0 = lı́m F n (x).
n→∞
d(x, F (x))
≤ αn ,
1−α
donde la primera y tercera desigualdades se cumplen por (3.6) y la segunda, por la desigual-
dad triangular. Ya que 0 ≤ α < 1, necesariamente
d(x, F (x))
lı́m αn = 0.
n→∞ 1−α
Se sigue de esto y de (3.7) que
lı́m d(xn , xm ) = 0.
n,m→∞
(3.8) lı́m xn = x0 .
n→∞
3.19 Ejemplo. Si F no es contractante el teorema del punto fijo puede fallar, aunque X
sea completo, aún suponiendo que
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.1), 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 6= 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.12),
equivalentemente, de la ecuación (3.11). J
Un procedimiento similar al del Ejemplo 3.20 sirve para demostrar el resultado siguien-
te.
3.9 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 0 (x)| ≤ α, ∀x ∈]a, b[,
entonces f posee un único punto fijo en [a, b].
Completación
Se demostrará que cualquier espacio métrico puede ser completado “agregándole” los
lı́mites faltantes de sus sucesiones de Cauchy.
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 , es decir,
existe una función i : X → Y que preserva distancias y tal que i(X) es denso en Y .
3.1. Espacios métricos completos 89
3.10 Teorema. (Unicidad) Para todo par de espacios métricos (Y, ρ) y (Z, σ) que sean
completaciones de un espacio métrico (X, d) y para todo par de isometrı́as i y j de X en los
subespacios densos i(X) y j(X) de Y y Z, respectivamente, existe una única isometrı́a f de
Y sobre Z tal que f ◦ i = j.
deben converger a f (y) y f 0 (y), respectivamente. Como ambas sucesiones son iguales a la
sucesión {j(xn )}∞ 0 0
n=1 en j(X), necesariamente f (y) = f (y), ∀y ∈ Y , es decir, f = f .
{j(x0n )}∞
n=1 es una sucesión en j(X) que converge al mismo punto z de Z. En efecto, se
tiene que
0 = lı́m ρ(i(xn ), i(x0n )) = lı́m d(xn , x0n ) = lı́m σ(j(xn ), j(x0n )).
n→∞ n→∞ n→∞
90 3. Completez, compacidad y conexidad
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
lı́m d(yn , ym ) = 0.
n,m→∞
luego, {xn }∞
n=1 converge a x ∈ X.
3.12 Teorema. (Existencia) Todo espacio métrico (X, d) posee una única completación.
ambas sucesiones tienen la tendencia de converger a un mismo lı́mite (aún si éste no existe),
más precisamente,
{d(x(n), y(n))}∞
n=1 es una sucesión de Cauchy en R con la distancia usual. En efecto, se sigue
92 3. Completez, compacidad y conexidad
y ∗ , entonces
Ya que el lado derecho tiende a cero cuando n → ∞, por (3.14), se debe cumplir (3.15). 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 son arbitrarios. ρ está bien definida en
virtud de (3.15). Se afirma ahora que ρ es una métrica sobre X ∗ . En efecto, claramente se
cumplen ρ(x∗ , y ∗ ) ≥ 0 y ρ(x∗ , y ∗ ) = ρ(y ∗ , x∗ ), ∀x∗ , y ∗ ∈ X ∗ . Además, ∀x∗ , y ∗ , z ∗ ∈ X ∗ , si
x = {x(n)}∞ ∗ ∞ ∗ ∞ ∗
n=1 ∈ x , 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 ∗ , se fija
x∗ ∈ X ∗ y se toma ε > 0. Dado x ∈ x∗ , se escribirá indistintamente {xn }∞ ∞
n=1 o {x(n)}n=1
d(xN , xm ) < ε, ∀m ≥ N.
donde la desigualdad se cumple por (3.16). Esto prueba que la sucesión {i(xn )}∞
n=1 converge
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
3.24 Definición. Se dice que X es un espacio métrico compacto si toda cubierta abierta
de X posee una subcubierta finita.
C = {B ∈ B | ∃i ∈ I tal que B ⊂ Gi }.
punto x ∈ X, entonces
A = {xn | n ∈ N} ∪ {x}
es un conjunto compacto en X.
En efecto, sea {Gi }i∈I una cubierta de A por abiertos de X. Entonces, x ∈ Gi(0) para
96 3. Completez, compacidad y conexidad
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.
Note, sin embargo, que el conjunto B = {xn | n ∈ N} puede no ser compacto. Por
ejemplo, se verifica de inmediato (Ejercicio) que el conjunto {1/n | n ∈ N} no es compacto
en R con la distancia usual. /
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
y satisface 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 6∈ 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. J
3.2. Espacios métricos compactos 97
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 la topologı́a de [m, M ] visto como subespacio métrico de R es la misma
que como subespacio métrico de R con la distancia usual. Por el Ejemplo 3.27, el conjunto
[m, M ] es compacto en R (con la distancia usual), luego debe ser también compacto en R.
Como C es una cubierta de [m, M ] por abiertos de R, existen pues G1 , . . . , Gn ∈ C tales que
[n
[m, M ] ⊂ Gk .
k=1
3.15 Proposición. En todo espacio métrico, la unión de cualquier familia finita de conjun-
tos compactos es un conjunto compacto. En particular, todo conjunto finito en un espacio
métrico debe ser un conjunto compacto.
3.16 Teorema. (Propiedad de intersección finita) Las siguientes afirmaciones son equi-
valentes.
i. X es un espacio métrico compacto.
ii. Si {Fi }i∈I es cualquier familia de conjuntos cerrados en X tal que
\
Fi = ∅,
i∈I
es decir, 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. Existen pues i(1), . . . , i(n) ∈ I tales que
n
[
{ Fi(k) = X,
k=1
es decir,
n
\
Fi(k) = ∅.
k=1
(ii) ⇒ (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
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.3).
3.17 Proposición. En todo espacio métrico, los conjuntos compactos son subespacios
métricos completos.
3.31 Ejemplo. Toda sucesión acotada en R (con la distancia usual) contiene una subsuce-
sión que converge a algún punto de R. En particular, todo intervalo cerrado y acotado en R
es un subespacio métrico secuencialmente compacto.
En efecto, sea {xn }∞
n=1 una sucesión acotada en R. Existen pues a < b en R tales que
Claramente, u = lı́m supn→∞ xn y l = lı́m inf n→∞ xn pertenecen a [a, b]. Se puede demostrar
que {xn }∞
n=1 converge a algún punto x ∈ R si y sólo si u = l y en este caso u = l = x, de
milarmente, el lector puede construir como ejercicio otra subsucesión que converge a l). En
efecto, por definición de ı́nfimo, para ε = 1 existe n0 ∈ N tal que
u ≤ sup xk < u + 1.
k≥n0
u ≤ sup xk < u + 1, ∀n ≥ n0 ,
k≥n
converge a u.
El argumento anterior se aplica sin cambios si [a, b] es un intervalo cerrado y acota-
do en R y {xn }∞
n=1 es una sucesión en [a, b]. Por lo tanto, [a, b] es un subespacio métrico
secuencialmente compacto de R. J
S(0, 1) = {x = {xn }∞
n=1 ∈ `∞ | N∞ (x) = 1} ,
k 6= n, ∀n ∈ N, satisfacen
N∞ (en − em ) = 1, ∀n 6= m,
luego dicha sucesión no puede tener subsucesiones de Cauchy, lo cual implica que ninguna
de sus subsucesiones es convergente. J
Aε = {a1 , . . . , an }
de puntos de X tal que las bolas abiertas {B(a1 , ε), . . . , B(an , ε)} forman una cubierta de
X. En particular, esta condición se cumple si X es secuencialmente compacto.
El enunciado anterior es equivalente al siguiente.
ii. Si para algún ε0 > 0 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, si esta condición se cumple, entonces X no puede ser secuencialmente
compacto.
Demostración. Suponga que existe ε0 > 0 tal que ninguna familia finita de bolas
abiertas de radio ε0 forma una cubierta de X. Sea a1 ∈ X arbitrario. Suponga elegidos
a1 , . . . , ak ∈ X tales que
k
[
ak+1 ∈ X\ B(ai , ε0 ).
i=1
Entonces,
d(ai , aj ) ≥ ε0 , ∀i, j ∈ N, i 6= j.
102 3. Completez, compacidad y conexidad
3.21 Lema. Si para un espacio métrico X se cumple la condición de que para cada ε > 0
existe un conjunto finito
Aε = {a1 , . . . , an }
de puntos de X 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
debe ser separable.
∅=
6 B(x, 1/n) ∩ A1/n ⊂ B(x, 1/n) ∩ D.
C = {Cn }∞
n=1 .
donde una unión vacı́a se define, por convención, como el conjunto vacı́o. Defina α(1) = 1.
Como {Cα(1) } no puede ser cubierta de X, existe un primer natural α(2) tal que α(2) > α(1)
y Cα(2) 6⊂ Cα(1) . Observe que
α(2)
[
Cα(1) ∪ Cα(2) = Ci .
i=1
Suponga elegidos naturales α(1), . . . , α(k) tales que α(k − 1) < α(k),
α(k)
"k−1 # k
[ [ [
Cα(k) \ Cα(i) 6= ∅ y Cα(i) = Cj .
i=1 i=1 j=1
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) 6⊂ 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) 6= ∅, ∀n ∈ N.
i=1
Se afirma que si
"n−1 #
[
(3.17) xn ∈ Cα(n) \ Cα(i) , ∀n ∈ N,
i=1
104 3. Completez, compacidad y conexidad
xn 6∈ Cα(n0 ) , ∀n > n0 .
3.33 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 y X es compacto, existen x(1), . . . , x(n) ∈ X
tales que
n
[
X= Gx(i) .
i=1
Ya que A ⊂ X, se debe tener
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 + 1) > α(j) y
1
d(xα(j+1) , a) < .
j+1
106 3. Completez, compacidad y conexidad
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.37 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
acotado es acotado. J
3.38 Ejemplo. La bola unitaria cerrada B 0 (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 = 6 ν.
{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 (0, 1). Por lo tanto, el conjunto B 0 (0, 1) no es totalmente acotado
en `1 . J
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) ⇒ (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.35), entonces C es una cubierta finita de X por conjuntos de
108 3. Completez, compacidad y conexidad
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
3.2. Espacios métricos compactos 109
(3.20) 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) ⇒ (ii) Si no se cumple (ii), entonces no puede cumplirse (iii), por el Lema 3.20.
3.39 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.1. Para cada n ∈ N, la función πn : `2 → R dada por
Q∗ = {x∗ | x = {x(n)}∞
n=1 ∈ Q}.
112 3. Completez, compacidad y conexidad
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.22) Q∗ ⊂ B(ak , ε/2).
k=1
Se sigue de (3.21) y (3.22) 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. J
3.40 Ejemplo. (El Conjunto de Cantor) Para definir al conjunto de Cantor se construirá
inductivamente una sucesión decreciente {Eν }∞
ν=0 de conjuntos cerrados en [0, 1].
Defina E0 = J0,1 = [0, 1]. Restando a J0,1 el intervalo abierto I1,1 de longitud 1/3
centrado en el punto medio de E0 , se obtienen dos intervalos cerrados disjuntos J1,1 y J1,2 ,
cada uno de longitud 1/3. Defina E1 = J1,1 ∪ J1,2 . Entonces E1 ⊂ E0 . Esto completa la
primera etapa de la construcción.
Suponga definidos E0 ⊃ · · · ⊃ Eν tales que Eν es la unión de 2ν intervalos cerrados
disjuntos (numerados de izquierda a derecha) Jν,1 , . . . , Jν,2ν , cada uno de longitud 1/3ν .
3.2. Espacios métricos compactos 113
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,
(
∞
)
X tk
C = x ∈ [0, 1]x = , tk ∈ {0, 2}, ∀k ∈ N . J
k=1
3k
Compacidad relativa
3.41 Definición. Un subconjunto A de un espacio métrico X se llama relativamente
compacto si su adherencia A es un conjunto compacto en X.
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.
Se sigue inmediatamente de la definición que si un conjunto es totalmente acotado,
entonces cualquier subconjunto de él también es totalmente acotado (Ejercicio). De esta
observación y del Teorema 3.32 se obtiene de inmediato el resultado siguiente (Ejercicio).
3.2. Espacios métricos compactos 115
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 otro 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.25) contradice (3.24). Por lo tanto, f debe ser uniformemente
continua en X.
Caracterizaciones
3.42 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.43 Definición. Una familia {Ai }i∈I de subconjuntos de un conjunto S se llama partición
de S si satisface:
i. Ai 6= ∅, ∀i ∈ I.
[
ii. S = Ai .
i∈I
iii. Ai ∩ Aj = ∅, ∀i, j ∈ I, i 6= j.
118 3. Completez, compacidad y conexidad
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.45 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 6= ∅, (U ∩ A) ∩ (V ∩ A) = ∅ y (U ∩ A) ∪ (V ∩ A) = A.
3.3. Espacios métricos conexos 119
3.46 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 se les suele llamar. J
3.47 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). J
3.48 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). J
3.49 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 el cual no es vacı́o ni 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 6∈ 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 x0 , y 0 ∈ A tales que
Por lo anterior, se tiene ]x0 , y 0 [⊂ A. Luego, x ∈ A. Esto prueba que ]a, b[⊂ A. Como clara-
mente A ⊂ [a, b], se concluye que A es un intervalo de extremos a y b.
(b) Suponga ahora que I es un intervalo no degenerado de R. Hay que probar que I
es un conjunto conexo. Se procederá por reducción al absurdo. Suponga entonces que I no
fuese conexo. Existirı́a pues una partición {B, C} de I en dos conjuntos abiertos de I. Sean
x ∈ B y y ∈ C. Se puede suponer que x < y. Sea
c = sup ( [x, y] ∩ B ) .
120 3. Completez, compacidad y conexidad
luego,
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 6∈ 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. Pero, por la elección de s,
]c − s, c] ⊂ [x, y] ⊂ I,
luego,
de donde
(3.26) ]c − s, c] ⊂ [x, y] ∩ C.
Observe que
donde la primera contención se cumple porque c es el supremo de [x, y]∩B y última igualdad
se cumple por (3.26) y por ser B y C disjuntos. En particular, todos los elementos de [x, y]∩B
3.3. Espacios métricos conexos 121
serı́an menores o iguales que c − s, 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 6∈ B ∪ C = I, lo
cual serı́a absurdo. Por lo tanto, I debe ser un conjunto conexo. J
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.49, el intervalo [0, 1] es un conjunto conexo en R. Por lo tanto, Rn es conexo. J
3.51 Ejemplo. En (Rn , Np ), 1 ≤ p ≤ ∞, los únicos conjuntos que pueden ser simultánea-
mente abiertos y cerrados son Rn y ∅ J
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 6= ∅, ∀i, j ∈ I con i 6= j, entonces el conjunto
[
A= Ai
i∈I
es conexo.
Ai ∩ M = ∅ o Ai ∩ N = ∅,
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 6= ∅, necesariamente Ai ∩ M 6= ∅, 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 6= ∅.
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 ) 6= ∅, 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.49.
3.54 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.49 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
126 3. Completez, compacidad y conexidad
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.55 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.52 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)}).
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 6= 1/n, ∀n ∈ N, y al
3.3. Espacios métricos conexos 127
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)
con algún otro punto de D, es decir, que D no es conexo por arcos. J
3.56 Ejemplo. Se verifica de inmediato (Ejercicio) que los conjuntos A y B del Ejemplo 3.52
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). J
Ejercicios
no es completo.
3.8. Considere la sucesión {sn }∞
n=1 del espacio métrico completo (X, d) tal que la serie
+∞
X
d(sn , sn+1 )
n=1
es convergente. Muestre que la sucesión {sn }∞
n=1 debe converger a un elemento s de X y
que
+∞
X
d(sn , s) ≤ d(si , si+1 ), ∀n ∈ N.
i=n
3.3. Espacios métricos conexos 129
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→+∞
Recuerde que un espacio métrico (X, d) se dice que es acotado si Diam X < +∞.
3.25. Verifique que el conjunto ternario de Cantor puede ser escrito alternativamente
en la forma
( ∞
)
X xn
C= x ∈ [0, 1] x = , xn ∈ {0, 2}, ∀n ∈ N .
n=1
3n
Usando esta representación de C, pruebe que C es equipotente a [0, 1].
3.26. Si X es un espacio métrico compacto y Y es otro espacio métrico, muestre que
toda función continua f : X → Y es acotada (es decir, que el subconjunto f (X) de Y es
acotado). En el caso de que Y = R, pruebe que existe a, b ∈ X tales que
{(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
n x o 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
138 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 0 (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 139
∀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) 7→ x + y
(λ, x) 7→ λx
x 7→ 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 7→ a + x, x 7→ λx y x 7→ 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). J
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 143
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 145
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
Z 1
N1 (f ) = |f (t)| dt, ∀f ∈ C([0, 1]),
0
no es un espacio de Banach. J
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 .
146 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= 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,
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 6∈ 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). J
4.3. Subespacios 153
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 6∈ 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. J
156 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 6= 0E . Ya
que [δ/NE (x)]x ∈ B 0 (0E , δ), se tiene
4.4. Aplicaciones lineales continuas 157
δ δ
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). J
4.13 Ejemplo. Considere el espacio vectorial φ0 de todas las sucesiones de números reales
eventualmente constantes de valor cero. Se define f ∈ φ00 como
X∞
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.
158 4. Espacios normados
En efecto, se tiene
X ∞ X ∞
|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
X +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∞ ). J
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
Z 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
Z b Z b Z 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
Z b Z 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 ). J
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
X
sn = xk , ∀n ∈ N.
k=1
Por ser T lineal y continua, se debe tener
" n # n ∞
X X X
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
160 4. Espacios normados
Normas equivalentes
4.16 Definición. Se dice que dos normas N y k · k 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 k · k sobre un mismo espacio vectorial E son equivalentes
si y sólo si existen constantes α, β > 0 tales que
4.24 Corolario. Sean N y k · k dos normas equivalentes sobre un mismo espacio vectorial
E. Entonces (E, N ) es de Banach si y sólo si (E, k · k) 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 ) 161
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 ≤ ∞. J
4.25 Corolario. Sean N y k·k 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 k · k.
4.26 Corolario. Sean N y k · k dos normas equivalentes sobre un mismo espacio vectorial
E. Entonces (E, N ) y (E, k · k) 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 k · k : CL(E, F ) → R está bien definida.
(i). Escriba
NF (T (x))
s(T ) = sup x ∈ E\{0} .
NE (x)
Se demostrará que kT k = 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 ) = kT k.
(iii). Por definición de s(T ) y (i), se tiene
NF (T (x))
≤ s(T ) = kT k, ∀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).
kf k = sup f (U ).
|f (x)| ≤ N1 (x), ∀x ∈ φ0 ,
∀m ∈ N. Se tiene,
luego xm ∈ Uφ0 , ∀m ∈ N, y
∞
X
f (xm ) = xm (n) = m, ∀m ∈ N.
n=1
Esto prueba que f (Uφ0 ) no es acotado en R. J
luego kφk ≤ b−a. Se afirma que, de hecho, kφk = b−a. En efecto, para probar la desigualdad
kφk ≥ b − a se procede como en ejemplos anteriores. La función constante de valor uno
1 ∈ UC([a,b]) , pues
y satisface
Z b Z b
φ(1) = 1(t) dt = dt = b − a.
a a
Por la parte (ii) del Teorema 4.27 se debe tener
de donde kφk ≤ 1. Se afirma que, de hecho, kφk = 1. En efecto, para probar la desigualdad
kφk ≥ 1 observe que la función constante 1/(b − a) ∈ UC([a,b]) , pues
Z b
b−a
N1 (1/(b − a)) = |1/(b − a)(t)| = = 1,
a b−a
y satisface
Z b Z 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])} = kφk.
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 .
168 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 p∗ /p
X sgn (c(n))|c(n)|p∗ /p | 1 Np∗ (c)
p∗
X
p∗ /p
= p∗ /p |c(n)| = p∗ /p = 1,
n=1
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,
∞ ∗
" ∞
#
X |c(n)|p 1 X ∗
(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∗ p∗
∗ ∗ 1
p − =p 1− = ∗ = 1.
p p p
4.5. El espacio normado CL(E, F ) 169
dada por
1 si n = m,
em (n) =
0 si n 6= m,
lo cual implica
3
kf k ≥ lı́m 2 −
= 2.
n→∞ m + 1
Por lo tanto, kf k = 2. Esto prueba la afirmación. J
ker f = f −1 ({0})
Observe que
f (x)
x− y ∈ ker f,
f (y)
pues
f (x) f (x)
f x− y = f (x) − f (y) = 0,
f (y) f (y)
y
x − x − f (x) y
= f (x) kyk < kyk ≤ ε,
f (y)
f (y)
por (4.25). Entonces B(x, ε) ∩ ker f 6= ∅. Esto prueba la afirmación.
Completez de CL(E, F )
lı́m kTn − T k = 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
172 4. Espacios normados
n ∈ N, defina fn : φ0 → R como
n
X
fn (x) = x(k), ∀x = {x(n)}∞
n=1 ∈ φ0 .
k=1
Se verifica de inmediato (Ejercicio) que fn ∈ φ∗0 y que kfn k = n, ∀n ∈ N. Aunque {fn }∞
n=1
kTn k ≤ M, ∀n ∈ N,
NF (T (x)) = lı́m NF (Tn (x)) ≤ sup NF (Tn (x)) ≤ sup[kTn kNE (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 kTp − T k = 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∞ ) ∼
6= (C([0, 1]), N1 ),
4.6. Isomorfismos 175
4.38 Corolario. Si N y k · k son dos normas equivalentes sobre un mismo espacio vectorial
E, entonces (E, N ) es de Banach si y sólo si (E, k · k) 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)) ≤ kT kNE (x), ∀x ∈ E.
kT −1 k
(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.
P∞
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
X∞
N (xn )
n=1
es convergente en R.
178 4. Espacios normados
P∞
Decir que la serie n=1 N (xn ) converge equivale a decir que su suma es finita, o sea,
∞
X
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
∞
X (−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
∞
X 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.
Puesto que
q q
!
X X
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 179
P∞
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→∞
P∞
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 6∈ A + `in{b}
y se demostrará que d(x, A + `in{b}) > 0. Esto implicará, de acuerdo al Ejercicio 2.13, que
x 6∈ 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 λ 7→ λ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 6∈ A + `in{b},
necesariamente x 6∈ A+B1 = A + B1 . Por el Ejercicio 2.13, se concluye que d(x, A+B1 ) > 0.
182 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 183
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
X
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 0 .
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
X n
X
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
x= α k xk ,
k=2
luego,
n
X n
X n
X
fk (x)yk = T (x) = αk T (xk ) = αk yk = 0 · y1 + α2 y2 + · · · + αn yn ,
k=1 k=2 k=2
184 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 − ε.
186 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 − a0 ) δ δ
N (x − b) = = ≥ > = 1 − ε,
N (y − a) N (y − a) N (y − a) δ/(1 − ε)
donde la primera desigualdad se cumple porque a0 = 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 187
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 0 (x0 , r) = x0 + rUE
de dimensión finita.
Una consecuencia inmediata del Teorema 4.55 es el resultado siguiente.
Ejercicios
En lo que sigue E y F denotarán dos espacios normados.
4.1. Muestre que todo subespacio no trivial de E, es decir, que no se reduce a {0},
es un conjunto no acotado.
4.2. Si A es un subespacio propio de E, pruebe que Fr A es un subespacio de X.
4.3. Demuestre las afirmaciones siguientes.
i. Fr B(a, r)) = Fr B 0 (a, r) = S(a, r), r > 0.
ii. Diam S(a, r) = 2r, r > 0.
4.4. Muestre que E provisto de la métrica inducida por su norma, es homeomorfo a
su subespacio métrico B(0, r), r > 0.
4.5. Si {xn }∞
n=1 es una sucesión que converge a x ∈ E, demuestre que
1
lı́m (x1 + · · · + xn ) = x.
n→∞ n
ii. Si x = {x(n)}∞
n=1 ∈ c0 , entonces en `∞ se cumple la igualdad
X∞
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 6= n.
x 7→ a + x, x 7→ λx y x 7→ a + λx,
Vr = {x ∈ E | d(x, A) ≤ r}
Wr = {x ∈ E | d(x, C) ≤ r} = C + B 0 (0, r)
(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 kT k = máx{|a| + |b|, |c| + |d|}.
4.19. Sea I la función identidad de (Rn , N1 ) en (Rn , Np ), donde 1 ≤ p ≤ ∞. Calcule
kIk y kI −1 k.
4.20. Fije N ∈ N. Sea T la función de (`1 , N1 ) en (RN , Np ), 1 ≤ p ≤ ∞, dada por