4.
9 Convergencia de Sucesiones de Operadores y Funcionales
Las sucesiones de operadores y funcionales lineales acotados surgen frecuentemente en la formulación
abstracta de situaciones concretas, por ejemplo en conexión con problemas de convergencia de series de
Fourier o sucesiones de polinomios de interpolación o métodos de integración numérica, por nombrar solo
algunos. En tales casos, usualmente uno se preocupa por la convergencia de esas sucesiones de operadores o
funcionales, con la acotación de las sucesiones correspondientes de normas o con propiedades similares.
La experiencia muestra que para sucesiones de elementos en un espacio normado, la convergencia fuerte
y débil como se definieron en la sección anterior son conceptos útiles. Para sucesiones de operadores Tn ∈
B(X, Y ), tres tipos de convergencia resultan ser de valor teórico y práctico. Estos son (1) Convergencia en
la norma sobre B(X, Y ), (2) Convergencia fuerte de (Tn x) en Y , (3) Convergencia débil de (Tn x) en Y .
Las definiciones y terminología son las siguientes; fueron introducidas por J. von Neumann (1929–30b).
4.9-1 Definición (Convergencia de sucesiones de operadores).
Sean X e Y espacios normados. Se dice que una sucesión (Tn ) de operadores Tn ∈ B(X, Y ) es: (1)
uniformemente convergente de operadores 5 si (Tn ) converge en la norma sobre B(X, Y )
5
A menudo se omite “de operadores” en cada uno de los tres términos. Lo conservamos para mayor
claridad.
(2) fuertemente convergente de operadores si (Tn x) converge fuertemente en Y para todo x ∈ X,
(3) débilmente convergente de operadores si (Tn x) converge débilmente en Y para todo x ∈ X.
En fórmulas, esto significa que existe un operador T : X −→ Y tal que
(1) ∥Tn − T ∥ −→ 0
(2) ∥Tn x − T x∥ −→ 0 para todo x ∈ X
(3) |f (Tn x) − f (T x)| −→ 0 para todo x ∈ X y todo f ∈ Y ′
respectivamente. T se llama el límite uniforme, fuerte y débil de operadores de (Tn ), respectivamente.
Señalamos en la sección anterior que incluso en cálculo, en una situación mucho más simple, el uso
de varios conceptos de convergencia brinda mayor flexibilidad. No obstante, el lector aún puede sentirse
desconcertado por los muchos conceptos de convergencia que acabamos de introducir. Puede preguntar por
qué es necesario tener tres tipos de convergencia para sucesiones de operadores. La respuesta es que muchos
de los operadores que aparecen en problemas prácticos se dan como algún tipo de límite de operadores más
simples. Y es importante saber qué se entiende por “algún tipo” y saber qué propiedades del operador límite
están implicadas por las propiedades de la sucesión. Además, al inicio de una investigación, no siempre se
sabe en qué sentido existirán los límites; por lo tanto, es útil tener una variedad de posibilidades. Quizás en
un problema específico uno primero pueda establecer convergencia solo en un sentido muy “suave”, de modo
que se tenga al menos algo desde donde comenzar, y luego desarrollar herramientas para probar convergencia
en un sentido más fuerte, que garantice “mejores” propiedades del operador límite. Esta es una situación
típica, por ejemplo, en ecuaciones diferenciales parciales.
No es difícil mostrar que
(1) =⇒ (2) =⇒ (3)
(el límite es el mismo), pero lo contrario generalmente no es cierto, como puede verse en los siguientes
ejemplos.
Ejemplos
4.9-2 (Espacio l2 ).
En el espacio l2 consideramos una sucesión (Tn ), donde Tn : l2 −→ l2 está definida por
Tn x = (0, 0, · · · , 0, ξn+1 , ξn+2 , ξn+3 , · · · );
1
(n ceros)
aquí, x = (ξ1 , ξ2 , · · · ) ∈ l2 . Este operador Tn es lineal y acotado. Claramente, (Tn ) es fuertemente con-
vergente de operadores a 0 ya que Tn x −→ 0 = 0x. Sin embargo, (Tn ) no es uniformemente convergente de
operadores pues tenemos ∥Tn − 0∥ = ∥Tn ∥ = 1.
4.9-3 (Espacio l2 ).
Otra sucesión (Tn ) de operadores Tn : l2 −→ l2 está definida por
Tn x = (0, 0, · · · , 0, ξ1 , ξ2 , ξ3 , · · · )
(n ceros)
donde x = (ξ1 , ξ2 , · · · ) ∈ l2 . Este operador Tn es lineal y acotado. Mostramos que (Tn ) es débilmente
convergente de operadores a 0 pero no fuertemente.
Todo funcional lineal acotado f sobre l2 tiene una representación de Riesz 3.8-1, es decir, por 3.1-6,
∞
X
f (x) = ⟨x, z⟩ = ξj ζ̄j
j=1
donde z = (ζj ) ∈ l2 . Por lo tanto, haciendo j = n + k y usando la definición de Tn , tenemos
∞
X ∞
X
f (Tn x) = ⟨Tn x, z⟩ = ξj−n ζ̄j = ξk ζ̄n+k .
j=n+1 k=1
Por la desigualdad de Cauchy-Schwarz en 1.2-3,
∞
X ∞
X
|f (Tn x)|2 = |⟨Tn x, z⟩|2 ≤ |ξk |2 |ζm |2 .
k=1 m=n+1
La última serie es el resto de una serie convergente. Por lo tanto, el lado derecho se aproxima a 0 cuando
n −→ ∞; así f (Tn x) −→ 0 = f (0x). En consecuencia, (Tn ) es débilmente convergente de operadores a 0.
Sin embargo, (Tn ) no es fuertemente convergente de operadores porque para x = (1, 0, 0, · · · ) tenemos
p √
∥Tm x − Tn x∥ = 12 + 12 = 2 (m ̸= n).
Los funcionales lineales son operadores lineales (con rango en el campo escalar R o C), de modo que (1),
(2) y (3) se aplican inmediatamente. Sin embargo, (2) y (3) ahora se vuelven equivalentes, por la siguiente
razón. Teníamos Tn x ∈ Y , pero ahora tenemos fn (x) ∈ R (o C). Por lo tanto, la convergencia en (2) y (3)
ahora tiene lugar en el espacio de dimensión finita (unidimensional) R (o C) y la equivalencia de (2) y (3) se
sigue del Teorema 4.8-4(c). Los dos conceptos restantes se llaman convergencia fuerte y convergencia débil*
(léase “convergencia débil estrella”):
4.9-4 Definición (Convergencia fuerte y débil* de una sucesión de funcionales).
Sea (fn ) una sucesión de funcionales lineales acotados sobre un espacio normado X. Entonces: (a) Con-
vergencia fuerte de (fn ) significa que existe un f ∈ X ′ tal que ∥fn − f ∥ −→ 0. Esto se escribe
fn −→ f.
(b) Convergencia débil* de (fn ) significa que existe un f ∈ X ′ tal que fn (x) −→ f (x) para todo x ∈ X.
Esto se escribe6
∗
fn ⇀ f.1
f en (a) y (b) se llama el límite fuerte y límite débil* de (fn ), respectivamente.
1 Nota ∗
del traductor: La notación ⇀ es común para la convergencia débil*. El texto original usa −→ también para débil*,
pero la nota al pie explica la distinción.
2
Volviendo a los operadores Tn ∈ B(X, Y ), preguntamos qué se puede decir sobre el operador límite
T : X −→ Y en (1), (2) y (3).
Si la convergencia es uniforme, T ∈ B(X, Y ); de lo contrario ∥Tn −T ∥ no tendría sentido. Si la convergencia
es fuerte o débil, T sigue siendo lineal pero puede ser no acotado si X no es completo.
6
Este concepto es algo más importante que la convergencia débil de (fn ), que, por 4.8-2, significa que
g(fn ) −→ g(f ) para todo g ∈ X ′′ . La convergencia débil implica convergencia débil*, como puede verse
mediante el uso de la aplicación canónica definida en la Sec. 4.6. (Cf. Prob. 4.)
Ejemplo.
El espacio X de todas las sucesiones x = (ξj ) en l2 con solo finitos términos distintos de cero, tomado con
la métrica de l2 , no es completo. Una sucesión de operadores lineales acotados Tn sobre X se define por
Tn x = (ξ1 , 2ξ2 , 3ξ3 , · · · , nξn , ξn+1 , ξn+2 , · · · ),
de modo que Tn x tiene términos jξj si j ≤ n y ξj si j > n. Esta sucesión (Tn ) converge fuertemente al
operador lineal no acotado T definido por T x = (ηj ), donde ηj = jξj .
Sin embargo, si X es completo, la situación ilustrada por este ejemplo no puede ocurrir ya que entonces
tenemos el
4.9-5 Lema (Convergencia fuerte de operadores).
Sean Tn ∈ B(X, Y ), donde X es un espacio de Banach e Y un espacio normado. Si (Tn ) es fuertemente
convergente de operadores con límite T , entonces T ∈ B(X, Y ).
Demostración.
La linealidad de T se sigue fácilmente de la de Tn . Dado que Tn x −→ T x para todo x ∈ X, la sucesión
(Tn x) es acotada para todo x; cf. 1.4-2. Como X es completo, (∥Tn ∥) es acotada por el teorema de acotación
uniforme, digamos, ∥Tn ∥ ≤ c para todo n. De esto, se sigue que ∥Tn x∥ ≤ ∥Tn ∥∥x∥ ≤ c∥x∥. Esto implica
∥T x∥ ≤ c∥x∥.
Un criterio útil para la convergencia fuerte de operadores es
4.9-6 Teorema (Convergencia fuerte de operadores).
Una sucesión (Tn ) de operadores Tn ∈ B(X, Y ), donde X e Y son espacios de Banach, es fuertemente
convergente de operadores si y solo si: (A) La sucesión (∥Tn ∥) es acotada. (B) La sucesión (Tn x) es de Cauchy
en Y para todo x en un subconjunto total M de X.
Demostración.
Si Tn x −→ T x para todo x ∈ X, entonces (A) se sigue del teorema de acotación uniforme (dado que X
es completo) y (B) es trivial.
Recíprocamente, suponga que (A) y (B) se cumplen, de modo que, digamos, ∥Tn ∥ ≤ c para todo n.
Consideramos cualquier x ∈ X y mostramos que (Tn x) converge fuertemente en Y . Sea ε > 0 dado. Dado
que el span M es denso en X, existe un y ∈ span M tal que
ε
∥x − y∥ < .
3c
Como y ∈ span M , la sucesión (Tn y) es de Cauchy por (B). Por lo tanto, existe un N tal que
ε
∥Tn y − Tm y∥ < (m, n > N ).
3
3
Usando estas dos desigualdades y aplicando la desigualdad triangular, vemos fácilmente que (Tn x) es de
Cauchy en Y porque para m, n > N obtenemos
∥Tn x − Tm x∥ ≤ ∥Tn x − Tn y∥ + ∥Tn y − Tm y∥ + ∥Tm y − Tm x∥
ε
< ∥Tn ∥∥x − y∥ + + ∥Tm ∥∥x − y∥
3
ε ε ε
< c + + c = ε.
3c 3 3c
Dado que Y es completo, (Tn x) converge en Y . Como x ∈ X era arbitrario, esto prueba la convergencia
fuerte de operadores de (Tn ).
4.9-7 Corolario (Funcionales).
Una sucesión (fn ) de funcionales lineales acotados sobre un espacio de Banach X es débil* convergente,
siendo el límite un funcional lineal acotado sobre X, si y solo si: (A) La sucesión (∥fn ∥) es acotada. (B) La
sucesión (fn (x)) es de Cauchy para todo x en un subconjunto total M de X.
Demostración.
El teorema se aplica a Y = R (o C) ya que estos espacios son completos. La convergencia débil* de (fn ) es
la convergencia fuerte de operadores de (fn ) por la equivalencia de (2) y (3) que se señaló después de 4.9-3.
Problemas
1. Muestre que la convergencia uniforme de operadores Tn −→ T, Tn ∈ B(X, Y ), implica convergencia
fuerte de operadores con el mismo límite T .
2. Si Sn , Tn ∈ B(X, Y ), y (Sn ) y (Tn ) son fuertemente convergentes de operadores con límites S y T ,
muestre que (Sn + Tn ) es fuertemente convergente de operadores con el límite S + T .
3. Muestre que la convergencia fuerte de operadores en B(X, Y ) implica convergencia débil de operadores
con el mismo límite.
4. Muestre que la convergencia débil en la nota al pie 6 implica convergencia débil*. Muestre que lo
contrario se cumple si X es reflexivo.
5. La convergencia fuerte de operadores no implica convergencia uniforme de operadores. Ilustre esto
considerando Tn = fn : l1 −→ R, donde fn (x) = ξn y x = (ξn ).
6. Sea Tn ∈ B(X, Y ), donde n = 1, 2, · · ·. Para motivar el término ü[Link] la Def. 4.9-1, muestre que
Tn −→ T si y solo si para todo ε > 0 existe un N , que depende solo de ε, tal que para todo n > N y todo
x ∈ X de norma 1 se tiene
∥Tn x − T x∥ < ε.
7. Sea Tn ∈ B(X, Y ), donde X es un espacio de Banach. Si (Tn ) es fuertemente convergente de operadores,
muestre que (∥Tn ∥) es acotada.
8. Sea Tn −→ T , donde Tn ∈ B(X, Y ). Muestre que para todo ε > 0 y toda bola cerrada K ⊂ X existe
un N tal que
∥Tn x − T x∥ < ε
para todo n > N y todo x ∈ K.
9. Muestre que
∥T ∥ ≤ lı́m inf ∥Tn ∥
n→∞
en el Lema 4.9-5.
10. Sea X un espacio de Banach separable y M ⊂ X ′ un conjunto acotado. Muestre que toda sucesión de
elementos de M contiene una subsucesión que es débil* convergente a un elemento de X ′ .
