UNIVERSIDAD PEDRO RUIZ GALLO

FACFYM
ESCUELA DE MATEMÁTICA

ASIGNATURA: Análisis Funcional

Ejemplos de Espacios de Banach

Semana: 2
Docente: M.Sc. Rimarachı́n López Betty
Grupo: B

12 de enero de 2022

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 1 / 22

Lista de Contenidos

Espacio de Banach Rn
Espacio de Banach `p
Espacio de funciones continuas C[a; b]

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 2 / 22

Espacio de Banach (Rn ; k kp )

Ejemplo 0.1.
Demostraremos que (Rn ; k kp ) es un espacio de Banach.

En la clase anterior yá se demostró que este es un espacio normado. Solo faltarı́a
verificar que el es completo. Para ello tomemos una sucesión de cauchy (x(k) )k∈N en
R(n) Por definición se tiene que dado un ε > 0, existe un No = No (ε) tal que

kx(k) − x(m) kp < ε, ∀k, m > No .

Esto equivale a que

n
!1/p
X (k) (m)
|xj − xj |p < ε, ∀k, m > No .
j=1

Para cada j = 1, . . . , n se tiene

n
!1/p
(k) (m)
X (k) (m)
(|xj − xj |p )1/p ≤ |xj − x j |p < ε, ∀k, m > No .
j=1

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 3 / 22

continuación de Espacio de Banach (Rn ; k kp )

Osea, para cada j = 1, . . . , n se tiene

n
!1/p
(k) (m) (k) (m)
X (k) (m)
|xj − xj | = (|xj − xj |p )1/p ≤ |xj − x j |p < ε, ∀k, m > No ,
j=1

(k)
lo cual indica que para cada j = 1, . . . , n, la sucesión (xj )k∈N es de cauchy en R y
(k)
por ser R completo, se tiene que para cada j = 1, . . . , n, la sucesión (xj )k∈N es
convergente. Luego para cada j = 1, . . . , n, existe
(k)
lı́m xj .
k→∞

Si para cada j = 1, . . . , n
(k)
xj = lı́m xj y x = (x1 , x2 , . . . , xn ),
k→∞

podemos afirmar lo siguiente:

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 4 / 22

continuación de Espacio de Banach (Rn ; k kp )

Existe un n1 ∈ N, tal que

(k) ε
|x1 − x1 | < √
p
, ∀k > n1 .
n
Existe un n2 ∈ N, tal que
(k) ε
|x2 − x2 | < √
p
, ∀k > n2 .
n

..
.
Existe un nn ∈ N, tal que
(k) ε
|xn − xn | < √
p
, ∀k > nn .
n
Sea M = máx{nj , j = 1, . . . , n}.

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 5 / 22

continuación de Espacio de Banach (Rn ; k kp )

Para
k > M, se tiene

n
!1/p n  p !1/p n
!1/p
X (k) p
X ε X εp
|xj − xj | < √
p
= <ε
j=1 j=1
n j=1
n

En resumen, tomando los extremos, podemos afirmar que para k > M se cumple que

kx(k) − xkp < ε

lo que indica que la sucesión de cauchy (x(k) )k∈N converge hacia

x = (x1 , x2 , . . . , xn ) ∈ Rn . Por tanto el espacio

(Rn ; k kp ) es completo .

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 6 / 22

Espacio normado (`p ; k kp )

Ejemplo 0.2.
Sea 1 ≤ p < ∞
∞
X
`p = {x = (ξn )n∈N , cada ξn ∈ K y |ξn |p < ∞}.
i=1

Esto es `p es el conjunto de sucesiones de elementos de K tales que la serie

∞
X
|ξn |p converge.
n=1

Definamos para x ∈ `p la norma

v
u∞
uX
p
kxkp = t |ξn |p
n=1

Veremos que (`p , k kp ) es un espacio normado.

1 `p es un espacio vectorial.
2 k kp es una norma.
M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 7 / 22
continuación de espacio normado (`p ; k kp )

`p es un espacio vectorial.
Definiremos las operaciones de adición y multiplicación por un escalar

+ : `p × `p → `p , · : K × `p → `p

Sean x, y ∈ `p y λ ∈ K definimos

x+y = (ξn + γn )n∈N , donde x = (ξn )n∈N , y = (γn )n∈N

λx = (λξn )n∈N

Veremos si esas operaciones están bien definidas.

Consideremos k ∈ N fijo. Usando Minkowsky tenemos
k
!1/p k
!1/p k
!1/p ∞
!1/p ∞
!1/p
X p
X p
X p
X p
X p
|ξn + γn | ≤ |ξn | + |γn | ≤ |ξn | + |γn |
n=1 n=1 n=1 n=1 n=1

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 8 / 22

continuación de espacio normado (`p ; k kp )
Considerando los extremos de la desigualdad anterior y aplicando lı́m en el lado
k→∞
izquierdo se tiene
∞
!1/p ∞
!1/p ∞
!1/p
X X X
|ξn + γn |p ≤ |ξn |p + |γn |p . (1)
n=1 n=1 n=1

De (1) se tiene que

∞
!1/p
X p
Luego |ξn + γn | < ∞
n=1
∞
X
|ξn + γn |p < ∞
n=1

Por tanto x + y ∈ `p . Además de (1) se tiene

kx + ykp ≤ kxkp + kykp
Por tanto se cumple (N4 ). Demostraremos ahora que
λx ∈ `p donde λx = (λξn )n∈N .

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 9 / 22

continuación de espacio normado (`p ; k kp )

∞
|ξn |p < ∞, luego
P
Sabemos que por estar x en `p , se cumple que
n=1

∞
X
|λ|p |ξn |p < ∞
n=1
∞
X
|λξn |p < ∞.
n=1

Por tanto λx ∈ `p . Esto indica que el producto por un escalar está bien definido.

Además de lo anterior se tiene

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 10 / 22

continuación de espacio normado (`p ; k kp )

∞
X ∞
X ∞
X
|λξn |p = |λ|p |ξn |p = |λ|p |ξn |p < ∞.
n=1 n=1 n=1

De esto último se tiene

∞
X ∞
X
|λξn |p = |λ|p |ξn |p .
n=1 n=1
v v v
u∞ u ∞ u∞
uX u X uX
p p p
Luego t |λξn |p = t |λ| p |ξn | = |λ| t
p |ξn |p .
n=1 n=1 n=1

Por tanto kλxkp = |λ|kxkp

y se cumple (N3 ).
Hemos demostrado hasta aquı́ no solo que las operaciones de + y · están bien
definidas sino que también se cumple (N4 ) y (N3 ).

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 11 / 22

 Espacio de Banach (`p ; k kp )

Ejemplo 0.3.
(`p ; k kp ) es un espacio de Banach.

En el ejemplo anterior yá se demostró que este es un espacio normado. Solo faltarı́a
verificar que el es completo. Para ello tomemos una sucesión de cauchy (x(k) )k∈N en
`p Por definición se tiene que dado un ε > 0, existe un No = No (ε) tal que

kx(k) − x(m) kp < ε, ∀k, m > No .

Esto equivale a que

∞
!1/p
X (k) (m)
|xj − xj |p < ε, ∀k, m > No .
j=1

Para cada i = 1, . . . , ∞ se tiene

∞
!1/p
(k) (m)
X (k) (m)
(|xi − xi |p )1/p ≤ |xj − x j |p < ε, ∀k, m > No .
j=1

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 12 / 22

continuación de espacio de Banach (`p ; k kp )

Osea, para cada i = 1, . . . , ∞ se tiene

∞
!1/p
(k) (m) (k) (m)
X (k) (m)
|xi − xi | = (|xi − xi |p )1/p ≤ |xj − x j |p < ε, ∀k, m > No ,
j=1

(k)
lo cual indica que para cada i = 1, . . . , ∞, la sucesión (xi )k∈N es de cauchy en K y
(k)
por ser K completo, se tiene que para cada i = 1, . . . , ∞, la sucesión (xi )k∈N es
convergente. Luego para cada i = 1, . . . , ∞, existe
(k)
lı́m xi .
k→∞

Si para cada i = 1, . . . , ∞
(k)
xi = lı́m xi y x = (x1 , x2 , . . .)
k→∞

demostraremos lo siguiente:

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 13 / 22

continuación de espacio de Banach (`p ; k kp )
1 x(k) → x y
2 x ∈ `p
Por ser (x(k) )k∈N de cauchy, dado un ε > 0, existe un N1 = N1 (ε) tal que
ε
kx(k) − x(m) kp < , ∀k, m > N1 .
2
Esto equivale a que
∞
!1/p
X (k) (m) ε
|xj − x j |p < , ∀k, m > N1 .
j=1
2

Para cada valor finito de n se tiene

n
!1/p ∞
!1/p
X (k) (m)
X (k) (m) ε
|xj − xj |p ≤ |xj − xj |p < , ∀k, m > N1 .
j=1 j=1
2

Tomando extremos en esta última desigualdad se llega a

n
X  ε p
(k) (m) p
|xj − xj | < , ∀k, m > N1 .
j=1
2

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 14 / 22

continuación de espacio de Banach (`p ; k kp )
Aplicando limite cuando m → ∞
n
X  ε p
(k)
|xj − xj |p ≤ , ∀k > N1 . (2)
j=1
2

Esta desigualdad vale para cualquier valor finito n.

Sea
(k)
s1 = |x1 − x1 |p
(k) (k)
s2 = |x1 − x1 |p + |x2 − x2 |p
..
.
(k) (k) (k)
sn = |x1 − x1 |p + |x2 − x2 |p + . . . + |xn − xn |p
Podemos ver que la sucesión de sumas parciales (sn )n∈N es creciente y de la
desigualdad (2) vemos
que la sucesión de sumas parciales (sn )n∈N es acotada
p
superiormente por 2ε . Luego podemos afirmar que existe limite de la sucesión
(sn )n∈N y además  ε p
lı́m sn ≤ , ∀k > N1 .
n→∞ 2
X∞  ε p
(k)
Es decir |xj − xj |p ≤ , ∀k > N1 . (3)
j=1
2

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 15 / 22

Continuación de espacio de Banach (`p ; k kp )

y equivalentemente

∞
!1/p
X (k) ε
kx(k) − xkp = |xj − xj |p ≤ < ε, ∀k > N1 . (4)
j=1
2

En conclusión de (3) podemos afirmar que para k > N1

x(k) − x ∈ lp .

De esto, se deduce que x ∈ lp , ya que

x = (x − x(k) ) + x(k) ∈ lp .

Además de (4) se tiene que la sucesión (x(k) )k∈N converge hacia x. Por tanto se ha
demostrado que (`p ; k kp ) es un espacio de Banach.

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 16 / 22

Espacio de Banach (C[a; b]; k k)

Ejemplo 0.4.
El espacio vectorial

C[a; b] = {f /f : [a; b] → R es continua }

con la norma definida como

kf k = máx |f (t)|. (5)
t∈[a;b]

es un espacio de Banach.

Para demostrar que (C[a; b]; k k) es un espacio de Banach tendremos que demostrar
primero que este es un espacio normado y luego que el es completo.
En primer lugar la norma dada en (5) está bien definida, ya que el teorema de
Weierstrass establece que una función continua en un intervalo cerrado y acotado (de
números reales) alcanza sus valores máximo y mı́nimo en puntos del intervalo.

Ejercicio: Demostrar que (C[a; b]; k k) es un espacio normado En el

material de la semana 1 ya se demostró la desigualdad triangular (N 4). Faltarı́a
verificar las otras condiciones que se deben cumplir para que sea una norma.

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 17 / 22

continuación de espacio de Banach (C[a; b]; k k)

Demostremos ahora que (C[a; b]; k k) es un espacio de Banach. Sea (fn )n∈N una
sucesión de cauchy en C[a; b]. Luego por definición de sucesión de cauchy, dado ε > 0,
existe un no ∈ N tal que

kfm − fn k < ε, ∀m, n > no .

Esto significa que

máx |fm (t) − fn (t)| < ε, ∀m, n > no .
t∈[a;b]

Osea ∀t ∈ [a; b] se tiene

|fm (t) − fn (t)| ≤ máx |fm (t) − fn (t)| < ε, ∀m, n > no .
t∈[a;b]

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 18 / 22

continuación de espacio de Banach (C[a; b]; k k)

Si tomamos los extremos quedarı́a

|fm (t) − fn (t)| < ε, ∀m, n > no , (6)

lo cual se cumple ∀t ∈ [a; b]. Esto indica que para cada t ∈ [a; b] la sucesión
(fn (t))n∈N es una sucesión de cauchy en R, y por ser R completo, existe

lı́m fn (t).
n→∞

Si definimos la función f en [a; b] y con valores reales, como

f (t) = lı́m |fn (t)|

n→∞

se demostrará lo siguiente:
1 f ∈ C[a; b] y
2 fn → f

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 19 / 22

continuación de espacio de Banach (C[a; b]; k k)
Por ser (fn )n∈N una sucesión de cauchy, dado ε > 0, existe un n1 ∈ N tal que
ε
kfm − fn k < , ∀m, n > n1 .
3
Esto significa que
ε
máx |fm (t) − fn (t)| < , ∀m, n > n1 .
t∈[a;b] 3
Repitiendo lo que se hizo anteriormente para obtener la desigualdad (6) podemos
llegar a obtener que para cualquier t ∈ [a; b]
ε
|fm (t) − fn (t)| <
, ∀m, n > n1 , (7)
3
Si m > n1 y aplicamos lı́mite cuando n → ∞ se tiene que para cualquier t ∈ [a; b]
ε
|fm (t) − f (t)| ≤ . (8)
3
Esta desigualdad nos permitirá demostrar que f es continua en [a; b]. Sea t0 ∈ [a; b] y
tomemos un número natural fijo k > n1 . Sabemos que fk es continua en [a; b]. Luego
para el ε dado, debe exitir un δ > 0, tal que si |t − t0 | < δ, entonces
ε
|fk (t) − fk (to )| < . (9)
3
M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 20 / 22
continuación de espacio de Banach (C[a; b]; k k)
Si |t − t0 | < δ, entonces para k > n1 se tiene de (8 ) y (9) que

|f (t) − f (to )| = |f (t) − fk (t) + fk (t) − fk (to ) + fk (to ) − f (to )|

≤ |f (t) − fk (t)| + |fk (t) − fk (to )| + |fk (to ) − f (to )|
ε ε ε
< + +
3 3 3
se ha demostrado que
|f (t) − f (to )| < ε
Por tanto f es continua en to y por ser to un punto arbitrario en [a; b] podemos
afirmar que f es continua en todo el intervalo cerrado [a; b]. Esto indica que
f ∈ C[a; b].
Solo faltarı́a demostrar la convergencia de (fn )n∈N hacia f . Pero esto es inmediato,
porque en la desigualdad (8) se tiene que para m > n1 y para cualquier t ∈ [a; b] se
cumple
ε
|fm (t) − f (t)| ≤ .
3
Luego
ε
kfm − f k = máx |fm (t) − f (t)| ≤ <ε
t∈[a;b] 3
M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 21 / 22
 GRACIAS

M.Sc. Rimarachı́n López Betty www.unprg.edu.pe 12 de enero de 2022 22 / 22