Capı́tulo I

Espacios Normados
Profesor: Raúl Fierro Pradenas

En este capı́tulo, K denotará alguno de los cuerpos R o C.

1. Conceptos básicos y ejemplos

Definición 1 Sea E un espacio vectorial sobre K. Se dice que (E, ∥ ⋅ ∥) es un espacio

normado, si y solo si, ∥ ∥ ∶ E → R es una función que satisface las tres propiedades
siguientes:

(1.1) (∀x ∈ E)(∥x∥ = 0 ⇒ x = 0).

(1.2) (∀x ∈ E)(∀λ ∈ K)(∥λx∥ = ∣λ∣∥x∥).

(1.3) (∀x, y ∈ E)(∥x + y∥ ≤ ∥x∥ + ∥y∥).

Observaciones 2 Sea (E, ∥ ⋅ ∥) un espacio normado. Entonces,

(2.1) (∀x ∈ E)(∥x∥ ≥ 0) ∧ (∀x ∈ E)(∥x∥ = 0 ⇔ x = 0).

(2.2) La función dE ∶ E × E → R definida por dE (x, y) = ∥x − y∥ es una métrica

sobre E. Por lo tanto, todo espacio normado es un espacio métrico.

Definición 3 Sea (E, ∥ ⋅ ∥) un espacio normado. Se dice que (E, ∥ ⋅ ∥) es un espacio

de Banach, si y solo si, (E, dE ) es un esapcio métrico completo.

Ejemplos 4

(4.1) Si para x = (x1 , . . . , xd ) ∈ Kd definimos ∥x∥ = (∑dj=1 xj xj )1/2 , entonces

(Kd , ∥ ⋅ ∥) es un espacio de Banach. En efecto, es fácil ver que (Kd , ∥ ⋅ ∥) es un espacio
normado, de modo que solo demostraremos la completitud de este espacio.

Sea (xm ; m ∈ N) una sucesión de Cauchy en Kd . Luego, para todo j ∈ {1, . . . , d},
∣xm
j − xj ∣ ≤ ∥x − x ∥. Por consiguiente, para todo j ∈ {1, . . . , d}, (xj ; m ∈ N) es una
k m k m
2 Fierro

sucesión de Cauchy en K, y como K es completo, entonces existe xj ∈ K tal que

lı́mm→∞ ∣xm
j − xj ∣ = 0. Sea x = (x1 , . . . , xd ). Entonces,

∥xm − x∥ ≤ ∣xm
1 − x1 ∣ + ⋯ + ∣xn − xn ∣
m

y por lo tanto, lı́mm→∞ ∥xm − x∥ = 0, lo cual prueba que (Kd , ∥ ⋅ ∥) es un espacio de

Banach.

(4.2) k=0 ∣xk ∣ < ∞}.

Sean p ∈ [1, ∞[ y `p (K) = {x ∈ KN ∶ ∑∞ p

k=0 ∣xk ∣ )
Para cada x ∈ `p (K) sea ∥x∥p = (∑∞ p 1/p } y demostremos que (`p (K), ∥ ∥ ) es
p

un espacio de Banach. Es evidente que ∥ ⋅ ∥p satisface (1.1) y (1.2) para todo p ≥ 1, y

que la desigualdad triangular se satisface para p = 1. Supongamos entonces que p > 1.
Luego, existe q > 1 tal que 1/p + 1/q = 1.
a b
Sean a > 0, b > 0, S1 = ∫0 up−1 du y S2 = ∫0 v q−1 dv.

Sea c = ap−1 y supongamos que b ≥ c. Luego,

a b
S1 + S2 = ∫0 up−1 du + ∫0 v q−1 dv
a c b
= ∫0 up−1 du + ∫0 v q−1 dv + ∫c v q−1 dv
b
= ap /p + cq /q + ∫c v q−1 dv
≥ ap /p + cq /q + (b − c)cq−1
= cq + (b − c)cq−1 pues ap = cq
= ab.

Ahora bien, si b ≤ ap−1 , entonces a ≥ bq−1 y de manera análoga se verifica que

S1 + S2 ≥ ab. Por consiguiente, para todos a, b ≥ 0 se tiene que S1 + S2 ≥ ab, y por lo
tanto,
ap b q
+ ≥ ab. (1)
p q

Sea x, y ∈ `p (K) tales que ∥x∥p = ∥y∥p = 1. Aplicando la desigualdad (1) con a = ∣xk ∣
y b = ∣yk ∣, se tiene,
∣xk ∣p ∣yk ∣q
∣xk yk ∣ ≤ + ,
p q
k=0 ∣xk yk ∣ ≤ 1.
y entonces, ∑∞

Lo anterior implica que para todos x, y ∈ `p (K),

Espacios Normados 3

∞
∑ ∣xk yk ∣ ≤ ∥x∥p ∥y∥q (Desigualdad de Hölder) . (2)
k=0

Ahora bien, para todos a, b ∈ K,

(∣a∣ + ∣b∣)p = (∣a∣ + ∣b∣)p−1 ∣a∣ + (∣a∣ + ∣b∣)p−1 ∣b∣. (3)

Luego, aplicando (3) y después (2), se tiene

∑k=0 (∣xk ∣ + ∣yk ∣)p = ∑k=0 (∣xk ∣ + ∣yk ∣)p−1 ∣xk ∣ + ∑k=0 (∣xk ∣ + ∣yk ∣)p−1 ∣yk ∣
∞ ∞ ∞

k=0 (∣xk ∣ + ∣yk ∣)

≤ (∑∞ q(p−1) )1/q ( ∞ ∣x ∣p )1/p
∑k=0 k
+ (∑∞ k=0 (∣xk ∣ + ∣yk ∣)
q(p−1) )1/q ( ∞ ∣y ∣p )1/p
∑k=0 k
= (∑k=0 (∣xk ∣ + ∣yk ∣)
∞ q(p−1) ) (∥x∥p + ∥y∥p ).
1/q

Puesto que q(p − 1) = p, entonces para x ≠ 0 e y ≠ 0, se tiene

∞ 1−1/q
( ∑ (∣xk ∣ + ∣yk ∣) )
p
≤ ∥x∥p + ∥y∥p .
k=0

Es decir,
∞
( ∑ (∣xk ∣ + ∣yk ∣)p )1/p ≤ ∥x∥p + ∥y∥p .
k=0

Se obtiene de aquı́ entonces que ∥x + y∥p ≤ ∥x∥p + ∥y∥p . En particular, `p (K) es un

K-espacio vectorial.

Demostremos ahora que `p (K) es completo. Sea (xn ; n ∈ N) una sucesión de

Cauchy en `p (K). Luego, para todo k ∈ N, (xnk ; n ∈ N) es una sucesión de Cauchy
en K y por lo tanto converge. Sean xk su lı́mite y x = (xk ; k ∈ N).

Sean  > 0 y N ∈ N tal que ∑∞ k=0 ∣xk − xk ∣ ≤  si m, n ≥ N . Luego, para todo

m np p

M ∈ N, ∑M
k=0 ∣xk − xk ∣ <  si m, n ≥ N . Esto implica que ∑k=0 ∣xk − xk ∣ <  si m ≥ N
m np p M m p p

k=0 ∣xk − xk ∣ ≤  si m ≥ N . En particular, x − x ∈ ` (K) y ası́, x ∈ ` (K).

y entonces ∑∞ m p p N p p

Además, ∥xn − x∥p ≤  si n ≥ N . Por lo tanto, (xn ; n ∈ N) converge hacia x.

(4.3) Sean X un conjunto no vacı́o y B(X) = {f ∈ KX ∶ supx∈X ∣f (x)∣ < ∞}.

Definiendo ∥f ∥∞ = supx∈X ∣f (x)∣, se verifica fácilmente que (B(X), ∥⋅∥∞ ) es un espacio
normado. Demostremos que este espacio es de Banach.
4 Fierro

Sea (fn ; n ∈ N) una sucesión de Cauchy en B(X). Luego, para todo x ∈ X,

(fn (x); n ∈ N) es una sucesión de Cauchy en K y entonces converge hacia un va-
lor f (x) ∈ K. Demostremos que fn → f .

Sean  > 0 y N ∈ N tal que ∥fm − fn ∥∞ < /2 si m, n ≥ N . Luego, para todo x ∈ X,

∣fn (x) − f (x)∣ = lı́m ∣fn (x) − fm (x)∣ ≤ lı́m ∥fn − fm ∥∞ ≤ /2,
m→∞ m→∞

si n ≥ N .

Entonces, supx∈X ∣fn (x) − f (x)∣ ≤ /2 + supn≥N ∥fn ∥∞ . Por lo tanto, f ∈ B(X) y
fn → f , lo cual demuestra que (B(X), ∥ ⋅ ∥∞ ) es completo.

(4.4) Sean (X, τ ) un espacio topológico y Cb (X, K) = {f ∈ B(X) ∶ f es continua }.

Es claro que Cb (X, K) es un subespacio vectorial de B(X) y entonces (Cb (X, K), ∥⋅∥)
es un espacio normado. Para demostrar que este espacio es de Banach, basta verifi-
car que Cb (X, K) es cerrado en B(X). Sea f ∈ B(X) y (fn ; n ∈ N) una sucesión en
Cb (X, K) que converge hacia f . Luego, para todos x, y ∈ X se tiene

∣f (x) − f (y)∣ ≤ ∣f (x) − fn (x)∣ + ∣fn (x) − fn (y)∣ + ∣fn (y) − f (y)∣
≤ 2∥fn − f ∥∞ + ∣fn (x) − fn (y)∣.

Sean  > 0 y N ∈ N tal que si n ≥ N , entonces ∥fn −f ∥∞ < /4. Luego, ∣f (x)−f (y)∣ <
/2 + ∣fN (x) − fN (y)∣, y como f es continua en x, entonces existe V ∈ V(x) tal que
∣fn (x) − fn (y)∣ < /2 si y ∈ V . En consecuencia, ∣f (x) − f (y)∣ < , si y ∈ V , lo cual
prueba que f es continua en x.

Por lo tanto, Cb (X, K) es cerrado en B(X) y en consecuencia, (Cb (X, K), ∥ ⋅ ∥) es

completo.

(4.5) Para f ∈ C([−1, 1], R) = {f ∈ R[−1,1] ∶ f es continua}, definimos ∥f ∥ =

1
∫−1 ∣f (x)∣ dx.
Luego, se verifica fácilmente que (C([−1, 1], R), ∥ ⋅ ∥) es un espacio normado. Este
espacio no es de Banach. En efecto, para cada n ∈ N ∖ {0} sea
⎧
⎪
⎪
⎪ 0 si −1 ≤ x < 0
⎪
⎪
fn (x) = ⎨ nx si 0 ≤ x < 1/n
⎪
⎪
⎪
⎪
⎪
⎩ 1 si 1/n ≤ x ≤ 1.
Espacios Normados 5

Mediante un cálculo elemental se obtiene que si m > n, entonces

1 1 1
∥fn − fm ∥ = ( − ).
2 n m

Luego, (fn ; n ∈ N) es una sucesión de Cauchy en C([−1, 1], R) la cual no converge

como veremos a continuación.

Supongamos que existe f ∈ C([−1, 1], R) tal que ∥fn − f ∥ → 0.

Sean a ∈]0, 1] y δ > 0 tal que 0 < a − δ ≤ 1. Luego, si 1/n < a − δ entonces
a a
∫a−δ ∣f (x) − 1∣ dx = ∫ ∣f (x) − fn (x)∣ dx ≤ ∥f − fn ∥ → 0.
a−δ

Esto implica que f ≡ 1 sobre [a − δ, a] y por lo tanto f (a) = 1.

Análogamente se verifica que para todo a ∈ [−1, 0[, f (a) = 0. Por lo tanto, f no es
continua en 0, lo cual es una contradicción pues f ∈ C([−1, 1], R).

Observación 5 Recordemos que si (E, d) es un espacio métrico y S(d) el conjunto

de sus sucesiones de Cauchy, la completación de (E, d) es el espacio métrico (E ∗ , d∗ ),
donde E ∗ = S(d)/ ∼, con ∼ siendo la relación de equivalencia definida por x ∼ y,
si y solo si, lı́mn→∞ d(xn , yn ) = 0. La métrica d∗ está definida como d∗ ([x], [y]) =
lı́mn→∞ d(xn , yn ).

Si (E, ∥ ⋅ ∥) es un espacio normado y (E ∗ , d∗ ) su completación, se tiene que N =

{x ∈ S(d) ∶ xn → 0} es un subsepacio vectorial de S(d) y además, S(d)/N = S(d)/ ∼.
Por consiguiente, E ∗ es un espacio vectorial sobre K y se observa que la métrica d∗ es
inducida por la norma ∥⋅∥∗ definida por ∥x + N ∥∗ = lı́mn→∞ ∥xn ∥. Se observa también
que la inmersión natural f ∗ ∶ E → E ∗ definida por f ∗ (x) = x + N es una isometrı́a
lineal y f ∗ (E) es denso en E ∗ .

Ejemplo 6 Sea p ∈ [1, ∞[ y para f ∈ C([a, b], R) = {f ∈ R[a,b] ∶ f es continua}

b
definamos ∥f ∥p = (∫a ∣f (t)∣p dt)1/p .

Se verifica que para todo p ≥ 1, (C([a, b], R), ∥ ⋅ ∥p ) es un espacio normado que
no es de Banach (¡Demuéstrelo!). Sin embargo, podemos definir Lp ([a, b], R) =
C([a, b], R)∗ y entonces (Lp ([a, b], R), ∥ ⋅ ∥∗p ) es un espacio de Banach.

Definición 7 Sean E un espacio vectorial sobre K, y ∥ ⋅ ∥1 y ∥ ⋅ ∥2 dos normas sobre

6 Fierro

E. Se dice que estas normas son equivalentes, si y solo si, ellas generan la misma
topologı́a.

Proposición 8 Sean ∥ ⋅ ∥1 y ∥ ⋅ ∥2 dos normas sobre un espacio vectorial E. Entonces,

∥ ⋅ ∥1 es equivalente a ∥ ⋅ ∥2 , si y solo si,

(8.1) Existen a, b > 0 tales que ∥ ⋅ ∥2 ≤ a∥ ⋅ ∥1 ≤ b∥ ⋅ ∥2 .

Demostración. Supongamos que ∥ ⋅ ∥1 y ∥ ⋅ ∥2 son equivalentes. Luego, existe δ > 0 tal

que B1 (0, δ) ⊆ B2 (0, 1), donde Bi (a, r) = {x ∈ E ∶ ∥x − a∥i < r}, (a ∈ E, r > 0, i ∈ {1, 2}).
Es decir, si ∥x∥1 < δ entonces ∥x∥2 < 1.

Sea x ∈ E ∖ {0}. Luego, ∥(δ/2∥x∥1 )x∥1 < δ y en consecuencia ∥(δ/2∥x∥1 )x∥2 < 1,
con lo cual se obtiene que ∥x∥2 < (2/δ)∥x∥1 , probando ası́ que existe a > 0 tal que
∥ ⋅ ∥2 ≤ a∥ ⋅ ∥1 . Análogamente se tiene que existe c > 0 tal que ∥ ⋅ ∥1 ≤ c∥ ⋅ ∥2 y por lo
tanto (8.1) se satisface.

Queda como ejercicio demostrar que la condición (8.1) implica que las dos normas
en cuestión son equivalentes.

Corolario 9 Si (E, ∥ ⋅ ∥1 ) es un espacio de Banach y ∥ ⋅ ∥1 es equivalente a ∥ ⋅ ∥2 ,

entonces (E, ∥ ⋅ ∥2 ) es un espacio de Banach.

Proposición 10 Sean (E, ∥ ⋅ ∥) un espacio normado y Λ ∶ E → K un funcional lineal.

Las tres proposiciones siguientes son equivalentes:

(10.1) ker(Λ) es cerrado.

(10.2) Λ es acotada en una vecindad de cero.

(10.3) Λ es continua en cero.

(10.4) Λ es uniformemente continua.

(10.5) Λ es continua.

Demostración. (10.1) ⇒ (10.2)). Sea H = ker(Λ). Si H = E entonces Λ ≡ 0 y (10.2) se

satisface. Supongamos entonces que H ≠ E. Sean a′ ∉ H y a = a′ /Λa′ . Luego, Λa = 1 y
a ∉ H. Como H es cerrado, existe δ > 0 tal que B(a, δ) ∩ H = ∅. Demostraremos que
∣Λx∣ ≤ 1 para todo x ∈ B(0, δ). Sean x ∈ B(0, δ), α = −Λx y supongamos que ∣α∣ > 1.
Espacios Normados 7

Luego, ∥(1/α)x∥ = ∥x∥/∣α∣ < ∥x∥ < δ y entonces x

α + a ∉ H. Ası́,

Λx
−1 = ≠ −Λa = −1,
α

lo cual es una contradicción. Por lo tanto, ∣Λx∣ ≤ 1 y en consecuencia, Λ es acotada

sobre B(0, δ).

(10.2) ⇒ (10.3). Sean  > 0 y M ∈ R tal que ∣Λx∣ ≤ M para todo x ∈ B(0, ). Luego
para todo x ∈ E ∖ {0}, (1/2∥x∥)x ∈ B(0, ), y entonces ∣Λx∣ ≤ 2M ∥x∥. Esto prueba
que Λ es continua en cero.

(10.3) ⇒ (10.4). Sean  > 0 y x, y ∈ E. Como Λ es continua en cero, existe δ > 0

tal que si ∥x∥ < δ, entonces ∣Λx∣ < . Por lo tanto, si ∥x − y∥ < δ, entonces ∣Λx − Λy∣ =
∣Λ(x − y)∣ < . Esto prueba que Λ es uniformemente continua.

(10.4) ⇒ (10.5). Es evidente.

(10.5) ⇒ (10.1) Como {0} es cerrado en K y Λ es continua, entonces ker(Λ) =

Λ−1 ({0}) es cerrado, lo cual concluye la demostración.

2. Series en Espacios Normados

Definiciones 1 Sean (E, ∥ ⋅ ∥) un espacio normado, (xk ; k ∈ N) una sucesión en E y

Sn = ∑nk=0 xk , (n ∈ N). Si la sucesión (Sn ; n ∈ N) converge, anotaremos por ∑∞
k=0 xk su

lı́mite y diremos que la serie ∑k=0 xk converge. En caso contrario, diremos que la serie
∞

∑k=0 xk diverge.
∞

Observación 2 Sean (E, ∥ ⋅ ∥) un espacio normado, (xk ; k ∈ N) una sucesión en E y

Sn = ∑nk=0 xk , (n ∈ N). Consideremos al condición siguiente:

(2.1) ∀ > 0, ∃N ∈ N, ∀p ∈ N, (n ≥ N ⇒ ∥Sn+p − Sn ∥ < ).

Luego, si ∑∞ k=0 xk converge, entonces la condición (2.1) se satisface. Recı́proca-

mente, si la condición (2.1) se satisface y (E, ∥ ⋅ ∥) es un espacio de Banach, entonces

∑k=0 xk converge.
∞

k=0 xk converge, entonces lı́mn→∞ xk = 0.

Notamos además que si ∑∞
8 Fierro

Definición 3 Sean (E, ∥ ⋅ ∥) un espacio normado y (xk ; k ∈ N) una sucesión en E. Se

k=0 xk es absolutamente convergente, si y solo si, la serie ∑k=0 ∥xk ∥
dice que la serie ∑∞ ∞

converge.

Proposición 4 Sean (E, ∥⋅∥) un espacio de Banach y ∑∞

k=0 xk una serie absolutamente

convergente. Entonces, ∑∞
k=0 xk es convergente y además,

(4.1) k=0 xk ∥ ≤ ∑k=0 ∥xk ∥.

∥ ∑∞ ∞

Demostración. Por hipótesis y Observación 2, para todo  > 0, existe N ∈ N tal que
para todo p ∈ N ∖ {0} y todo n ≥ N , ∑n+p
k=n+1 ∥xk ∥ < .

k=n+1 xk ∥ <  para todo p ∈ N∖{0} y todo n ≥ N . Como (E, ∥⋅∥)

Esto implica que ∥ ∑n+p
es un espacio de Banach, sigue de Observación 2 que la serie ∑∞
k=0 xk converge.

Finalmente, (4.1) es consecuencia de la desigualdad ∥ ∑nk=0 xk ∥ ≤ ∑nk=0 ∥xk ∥, lo cual

concluye la demostración.

Corolario 5 Sean (an ; n ∈ N) una sucesión en (B(X), ∥⋅∥) y (Mn ; n ∈ N) una sucesión
en R. Supongamos que las dos condiciones siguientes se satisfacen:

(5.1) para todo x ∈ X y todo n ∈ N, ∣an (x)∣ ≤ Mn , y

∑n=0 Mn converge.
∞
(5.2)

n=0 an (x) converge uniformemente.

Entonces ∑∞

n=0 ∥an ∥ ≤ ∑n=0 Mn y entonces ∑n=0 an converge

Demostración. Por (5.1) se tiene que ∑∞ ∞ ∞

absolutamente en el espacio de Banach (B(X), ∥⋅∥). Por la proposición precedente,

∑n=0 an converge. Esto significa que existe S ∈ B(X) tal que
∞

∞
lı́m ∥ ∑ an − S∥ = 0.
N →∞ n=0

Vale decir, ∑∞
n=0 an converge uniformemente a S, completándose la demostración.

Teorema 6 Sean (E, ∥ ⋅ ∥) un espacio de Banach y (xk ; k ∈ N) una sucesión en E.

Entonces, las dos condiciones siguientes son equivalentes:

∑k=0 xk es absolutamente convergente, y

∞
(6.1)

(6.2) para toda biyección σ ∶ N → N, ∑∞

k=0 xσ(k) es absolutamente convergente.
Espacios Normados 9

Además, si se satisface alguna de estas condiciones, entonces para toda biyección

σ ∶ N → N, se tiene ∑∞
k=0 xσ(k) = ∑k=0 xk .
∞

Demostración. Supongamos verdadera la condición (0.1) y sean σ ∶ N → N una biyec-

ción, Sn = ∑nk=0 xk , Snσ = ∑nk=0 xσ(k) y mn = máx{σ(0), . . . , σ(n)}. Luego,
n mn ∞
∑ ∥xσ(k) ∥ ≤ ∑ ∥xk ∥ ≤ ∑ ∥xk ∥.
k=0 k=0 k=0

k=0 ∥xσ(k) ∥ es absolutamente convergente.

Por lo tanto, ∑∞

Sean  > 0 y N ∈ N tal que para todo p ∈ N ∖ {0} y todo n ≥ N , ∑n+p k=n+1 ∥xk ∥ < .
Sean I(N ) = {σ −1 (0), . . . , σ −1 (N )}, iN = máx I(N ) y J(N ) = {0, 1, . . . , iN } ∖ I(N ).

Sea n ≥ iN . Luego, n ≥ iN ≥ N y entonces,

∥Snσ − Sn ∥ ≤ ∥Snσ − SiσN ∥ + ∥SiσN − SN ∥ + ∥SN − Sn ∥

≤ ∑niN +1 ∥xσ(k) ∥ + ∥SiσN − SN ∥ + ∑nN +1 ∥xk ∥
< 2 + ∥SiσN − SN ∥
= 2 + ∥ ∑k∈J(N ) xσ(k) + ∑k∈I(N ) xσ(k) − ∑N
k=0 xk ∥

= 2 + ∥ ∑k∈J(N ) xσ(k) + ∑N
k=0 xk − ∑k=0 xk ∥
N

≤ 2 + ∑k∈J(N ) ∥xσ(k) ∥
< 3.

k=0 xk = ∑k=0 xσ(k) , lo cual concluye la demostración.

Por lo tanto ∑∞ ∞