Tema 7: Convergencia Débil

Daniel Santiago

Por una universidad con calidad, moderna e incluyente.

Carrera 6ª. No. 77-305 Montería NIT. 891080031-3 – Teléfonos: 7860300 – 7860920
www.unicordoba.edu.co

Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 1 / 12

Convergencia Débil
E. Kreyszig - Tema 7

• Sabemos que en cálculo se definen diferentes tipos de

convergencia (convergencia ordinaria, condicional, absoluta y
uniforme). Esto produce mayor flexibilidad en la teoría y
aplicación de sucesiones y series.
• En el análisis funcional la situación es similar, y se tiene una
variedad aún mayor de posibilidades que resultan de interés
práctico.

Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 2 / 12

Convergencia Débil
E. Kreyszig - Tema 7

• En la presente sección (4.8. Convergencia Débil Y Fuerte - E.

Kreyszig) nos ocuparemos principalmente de la “convergencia
débil”. Este es un concepto básico. Lo presentamos ahora ya que
su teoría hace uso esencial del teorema de acotación uniforme
discutido en la sección anterior.
• De hecho, esta es una de las principales aplicaciones de ese
teorema.

Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 3 / 12

Convergencia Débil
E. Kreyszig - Tema 7

• La convergencia de sucesiones de elementos en un espacio

normado se definió en la Sec. 2.3. (E. Kreyszig) y, en adelante,
se denominará convergencia fuerte, para distinguirla de la
“convergencia débil” que se introducirá en breve. Por lo tanto,
primero afirmamos lo siguiente.

Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 4 / 12

Convergencia Débil
E. Kreyszig - Tema 7

Definición 4.8 - 1: Convergencia Fuerte

Una sucesión {xn } en un espacio normado X se dice fuerte-
mente convergente (o convergente en la norma) si existe un
x ∈ X tal que
lı́m ∥xn − x∥ = 0
n−→∞

Esto se escribe como

lı́m xn = x
n−→∞

o simplemente
xn −→ x
x es llamado el límite fuerte de {xn }, y decimos que {xn } converge
fuertemente a x.
Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 5 / 12
Convergencia Débil
E. Kreyszig - Tema 7

Definición 4.8 - 2: Convergencia Débil

Una sucesión {xn } en un espacio normado X se dice débilmen-
te convergente si existe un x ∈ X tal que para todo f ∈ X ′ se
tiene que
lı́m f (xn ) = f (x)
n−→∞

Esto se escribe como

w
xn −→ x
o simplemente
xn −→ x
x es llamado el límite débil de {xn }, y decimos que {xn } converge
débilmente a x.
Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 6 / 12
Convergencia Débil
E. Kreyszig - Tema 7

• La convergencia débil tiene varias aplicaciones a lo largo del

análisis (por ejemplo, en el cálculo de variaciones y la teoría
general de ecuaciones diferenciales).
• El concepto ilustra un principio básico del análisis funcional, a
saber, el hecho de que la investigación de los espacios a menudo
se relaciona con la de sus espacios duales.

Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 7 / 12

Convergencia Débil
E. Kreyszig - Tema 7

Lema 4.8 - 7: Convergencia Débil

En el espacio ℓp , donde 1 < p < ∞, tenemos que
w
xn −→ x

si y sólo si
1. La sucesión {∥xn ∥} es acotada.
(n)
2. Para cada j fijo tenemos que ξj −→ ξj cuando n −→ ∞,
n o
(n)
donde xn = ξj y x = {ξj }.

Dem! Para el caso de la convergencia débil, tenemos que (1) se sigue

del Lema 4.8 - 3 que se enuncia como sigue.

Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 8 / 12

Convergencia Débil
E. Kreyszig - Tema 7

Lema 4.8 - 3: Convergencia Débil

Sea {xn } una sucesión débilmente convergente en un espacio
w
normado X, digamos xn −→ x. Luego,
• El límite débil x de {xn } es único.
• Toda subsucesión de {xn } converge débilmente a x.
• La sucesión {∥xn ∥} es acotada.

Y la parte (2) es trivial.

Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 9 / 12

Convergencia Débil
E. Kreyszig - Tema 7

Inversamente, supongamos que (1) y (2) se cumplen. Consideremos

cualquier f ∈ X ′ y veamos que f (xn ) −→ f (x), lo que implica la
convergencia débil, por definición.
Por la parte (1) tenemos que ∥xn ∥ ⩽ c para todo n y ∥x∥ ⩽ c, donde c
es suficientemente grande. Como M es total en X ′ , para todo f ∈ X ′
existe una sucesión {fj } en el span (M ) tal que fj −→ f . Por tanto,
para cualquier ε > 0 dado podemos encontrar un j tal que
ε
∥fj − f ∥ <
3c

Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 10 / 12

Convergencia Débil
E. Kreyszig - Tema 7

Más aún, como fj ∈ span (M ), por la hipótesis (2) existe un N tal que
para todo n > N tenemos que
ε
|fj (xn ) − fj (x)| <
3
Usando estas dos últimas desigualdades y aplicando la desigualdad
triangular, para todo n > N tenemos lo siguiente.

Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 11 / 12

Convergencia Débil
E. Kreyszig - Tema 7

|f (xn ) − f (x)| ⩽ |f (xn ) − fj (xn )| + |fj (xn ) − fj (x)| + |fj (x) − f (x)|
ε
< ∥f − fj ∥ ∥xn ∥ + + ∥fj − f ∥ ∥x∥
3
ε ε ε
< ·c+ + ·c
3c 3 3c
ε ε ε
= + +
3 3 3
=ε

Como f ∈ X ′ era arbitrario, tenemos que la sucesión {xn } converge

débilmente a x.

Dr. Danilo Garcia Dr. Daniel Santiago 9 de febrero de 2022 12 / 12