Análisis Matemático 3 - Licenciatura en Fı́sica y Matemáticas
Lectura 4: Transformaciones adjuntas
Miguel Ángel Valencia Bucio
1. Definición. Sea V un espacio normado sobre F. Definimos la función ⟨· |· ⟩ : V × V ∗ → F como
∀ v ∈ V φ ∈ V ∗ (⟨v|φ⟩ = φ(v)) .
(⟨v|φ⟩ es llamado el apareamiento de v con φ.
2. Observación. El apareamiento es una forma bilineal (¿por qué?).
En espacios de Hilbert tenemos la definición de transformaciones y operadores adjuntos. Para espacios
de Banach tenemos un concepto similar:
3. Teorema/definición. Sean V, W dos espacios de Banach sobre F, y sea T : V → W una transformación
lineal continua. Entonces existe una única transformación lineal continua T ∗ : W ∗ → V ∗ que satisface
∀ v ∈ V, ψ ∈ W ∗ (⟨T v|ψ⟩ = ⟨v|T ∗ ψ⟩) .1
La transformación lineal T ∗ es llamada la transformación adjunta de T .
Demostración. Para cada ψ ∈ W ∗ tenemos que ψ ◦ T es lineal (pues ψ y T son lineales); además para todo
v ∈ V tenemos
|ψ(T v)| ≤ ∥φ∥· ∥T ∥· ∥v∥;
luego ψ ◦ T ∈ V ∗ para todo ψ ∈ W ∗ . Definimos T ∗ : W ∗ → V ∗ como
∀ ψ ∈ W ∗ (T ∗ ψ := ψ ◦ T ) .
Afirmamos que T ∗ es lineal y continua. En efecto, sean ψ1 , ψ2 ∈ W ∗ , α, β ∈ F, y sea v ∈ V fijo. Entonces
T ∗ (αψ1 + βψ2 )(v) = (αψ1 + βψ2 )(T v) = αψ1 (T v) + βψ2 (T v) = αT ∗ ψ1 (v) + βT ∗ ψ2 (v).
Además, es claro que ∥T ∗ ψ∥ = ∥ψ ◦ T ∥ ≤ ∥T ∥· ∥ψ∥ para todo ψ ∈ W ∗ . Finalmente tenemos para todo
v ∈ V, ψ ∈ W ∗
⟨T v|ψ⟩ = ψ(T v) = T ∗ ψ(v) = ⟨v|T ∗ ψ⟩.
Para la unicidad, sea U : W ∗ → V ∗ una transformación lineal continua tal que
∀ v ∈ V, ψ ∈ W ∗ (⟨T v|ψ⟩ = ⟨v|U ψ⟩) .
Por la linealidad en la segunda entrada y por definición de T ∗ , tenemos (T ∗ − U )ψ(v) = 0 para todo v ∈ V
y para toda ψ ∈ W ∗ ; luego (T ∗ − U )ψ = 0 por el corolario 3 de la lectura 2. Esto implica T ∗ ψ = U ψ para
1 Si bien estamos empleando la misma notación para ambas formas bilineales, el apareamiento de la izquierda tiene por
dominio W × W ∗ , mientras que el de la derecha tiene por dominio V × V ∗ .
1
toda ψ ∈ W ∗ .
4. Observación. Sean V, W dos espacios de Hilbert. Entonces V ∗ ≃ V y W ∗ ≃ W . Más aún, por el
teorema de representación de Riesz tenemos que el isomorfismo de V ∗ sobre V viene dado a través del
producto interno de V : Para todo ϕ ∈ V ∗ existe un único w ∈ V tal que
⟨v|φ⟩ = ⟨v|w⟩
para todo v ∈ V . Notemos que el lado derecho es el apareamiento de la definición 1, mientras que el lado
izquierdo es el producto interno de V . En este sentido, tenemos que, si T : V → W es una transformación
lineal, entonces la transformación adjunta entre duales T ∗ es precisamente la transformación adjunta entre
espacios de Hilbert T ∗ : W → V . Es decir, en espacios de Hilbert estos dos conceptos son equivalentes.
Al igual que en espacios de Hilbert, la adjunción tiene las siguientes propiedades:
5. Proposición. Sean V, W, X espacios de Banach, y sean S, T : V → W , U : W → X transformaciones
lineales continuas. Entonces:
(i ) La adjunción es lineal: (αS + βT )∗ = αS ∗ + βT ∗ para cualesquiera α, β ∈ F.
(ii ) La adjunción es anticonmutativa: (U T )∗ = T ∗ U ∗ .
(iii ) La adjunción es una isometrı́a: ∥T ∗ ∥ = ∥T ∥.
Demostración. El punto (i) se sigue de la linealidad de la segunda entrada del apareamiento. Para el punto
(ii) tenemos para todo v ∈ V y toda χ ∈ X ∗
⟨v|(U T )∗ χ⟩ = ⟨U T v|χ⟩ = ⟨T v|U ∗ χ⟩ = ⟨v|T ∗ U ∗ χ⟩.
Por el teorema 3 tenemos que (U T )∗ = T ∗ U ∗ . Finalmente, para el punto (iii) tenemos
∥T ∥ = sup sup |ψ(T v)| = sup sup |(T ∗ ψ)v| = sup ∥T ∗ ψ∥ = ∥T ∗ ∥.
∥v∥=1 ∥ψ∥=1 ∥ψ∥=1 ∥v∥=1 ∥ψ∥=1
Tenemos lo siguiente:
6. Teorema. Teorema de Schauder. Sea T : V → W una transformación lineal compacta entre dos
espacios de Banach V y W . Entonces T ∗ es compacta.
Demostración. Sea B la bola unitaria en V . Como T es compacta, tenemos que T (B) es totalmente
n
S
acotado. Sea ε > 0 arbitrario, y sean xv , . . . , vn ∈ B tales que T (B) ⊆ B(T vk , ε/4). Ahora bien, el
k=1
mapeo S : W ∗ → Fn dado por
∀ ψ ∈ W ∗ (Sψ = (ψ(T v1), . . . , ψ(T vn )))
es lineal y continuo (¿por qué?). Esto implica que S es compacta (por ser de rango finito); luego la imagen
de la bola unitaria de W ∗ bajo S es un conjunto totalmente acotado, y existen ψ1 , . . . , ψm ∈ W ∗ tales que
m
[
S(B(0, 1)W ∗ ) ⊆ B(ψj , ε/4).
j=1
Sean v ∈ V, ψ ∈ W ∗ tales que ∥v∥, ∥ψ∥ < 1. Entonces existen vk ∈ V, ψj ∈ W ∗ tales que ∥T v − T vk ∥, ∥Sψ −
Sψj ∥ < ε/4. Esto implica
|ψ(T v) − ψj (T v)| ≤ |ψ(T v) − ψ(T vk )| + |ψ(T vk ) − ψj (T vk )| + |ψj (T vk ) − ψj (T v)|
≤ ∥ψ∥· ∥T v − T vk ∥ + ∥Sψ − Sψj ∥ + ∥ψj ∥∥T vk − T v∥
1
< (∥ψ∥ε + ε + ∥ψk ∥ε)
4
3
< ε.
4
2
m
Esto implica ∥T ∗ ψ − T ∗ ψj ∥ ≤ 3ε/4; luego T ∗ (B(0, 1)W ∗ ) ⊆ B(T ∗ ψj , ε).
S
j=1
Cerramos la lectura con el siguiente resultado:
7. Teorema. Teorema del rango cerrado. Sean V, W dos espacios de Banach, y sea T : V → W una
transformación lineal continua. Entonces la imagen de T es cerrada en W si y solo si la imagen de T ∗ lo
es en V ∗ .
Demostración. Supongamos que im(T ) es cerrado en W . Tenemos que la imagen de T ∗ está contenida en
(ker(T ))⊥ (¿por qué?). Probaremos la contención opuesta. Sea φ ∈ (ker(T ))⊥ , es decir, T v = 0 implica
φv = 0 para todo v ∈ V . Considerando a T como una transformación lineal de V sobre im(T ), tenemos
que el mapeo χ : T v 7→ φv es una funcional lineal continua de im(T ) (¿por qué?). Por el teorema de
Hahn-Banach existe ψ ∈ W ∗ que extiende a χ. Esto implica para todo v ∈ V
φv = χ(T v) = ψ(T v) = T ∗ ψv,
es decir, φ = T ∗ ψ. En consecuencia, (ker(T ))⊥ = im(T ∗ ). Como (ker(T ))⊥ es un subespacio cerrado de
V ∗ (por la proposición 8 de la lectura 2), tenemos que im/T ∗ es cerrado en V ∗ .
Recı́procamente, supongamos que im/T ∗ es cerrado en V ∗ . Sea W = im(T ). Consideremos la transfor-
mación lineal Ä ä
T̃ : V → W, ∀ v ∈ V T̃ v = T v .
Afirmamos que im(T̃ ∗ ) = im(T ∗ ). En efecto, sea φ ∈ W ∗ . Por el teorema de Hahn-Banach existe ψ ∈ V ∗
que extiende a φ; luego para todo v ∈ V tenemos
(T ∗ ψ)v = ψ(T v) = ψ(T̃ v) = (T̃ ∗ φ)v.
Esto prueba im(T̃ ∗ ) ⊆ im(T ∗ ). De manera análoga, y considerando que toda funcional lineal continua de
V se puede restringir a W , tenemos la otra contención. Ahora bien, dado que el anulador de im(T̃ ) en
W es 0 (¿por qué?), concluimos que T̃ ∗ es una función inyectiva y tiene por imagen im(T̃ ∗ ). Luego, para
todo φ ∈ W ∗ tenemos que existe α > 0 tal que ∥T̃ ∗ φ∥ ≥ α∥φ∥ por el primer teorema de isomorfismo (cf.
ejercicio 1). Como el conjunto A = T̃ (B(0, 1)) es convexo y balanceado (¿por qué?), por el teorema del
hiperplano separante (cf. ejercicio 2) todo w ∈ W \ A puede ser separado de A a través de una funcional
ψ ∈ W ∗ , es decir, existe r > 0 tal que
Ä ä
∀ v ∈ B(0, 1)V |ψ(T̃ v)| ≤ r < |ψw|
Ahora bien, notemos que ∥T̃ ∗ ψ∥ ≤ r. Luego
1 ∗ r
r < |ψw| ≤ ∥ψ∥· ∥w∥ ≤ ∥T̃ ψ∥· ∥w∥ ≤ ∥w∥.
α α
Como ∥w∥ > α para todo w ∈ W \ A, tenemos que A ⊇ B(0, α)W . Sin embargo, por la prueba del teorema
del mapeo abierto tenemos que T̃ (B(0, 1)V ) contiene una bola abierta de W centrada en 0. Esto solo puede
pasar si T̃ es suprayectiva (¿por qué?), es decir, im(T̃ ) = im(T ) es el espacio cerrado W .
· · · ·
Ejercicios
1. Primer teorema de isomorfismo. Sean V, W dos espacios de Banach, y sea T : V → W una
transformación lineal continua. Pruebe que las siguientes afirmaciones son equivalentes:
3
(i ) V / ker(T ) ≃ im(T ).
(ii ) im(T ) es cerrado en W .
(iii ) Existe α > 0 tal que ∥v + ker(T )∥ ≤ α∥T v∥ para todo v ∈ V .
2. Teorema del hiperplano separante. Sea V un espacio normado, sea A un subconjunto convexo
balanceado2 de V , y sea v ∈ V \ A. Demuestre que existen una funcional φ ∈ V ∗ y un número real α > 0
tales que para todo w ∈ A tenemos
|φw| < α < |φv|.
3. Sea V un espacio de Banach, sea W ≤ V y sea T ∈ CL(V ). Demuestre que T ∗ mapea (T (W ))⊥
en W ⊥ de manera inyectiva. Deduzca que si W es T -invariante, entonces W ⊥ es T ∗ -invariante.
4. Sean V, W espacios de Banach, y sea T : V → W una transformación de rango finito. Pruebe que
T ∗ es de rango finito.
5. Sean V, W dos espacios de Banach, y sea T ∈ CL(V, W ). Demuestre lo siguiente:
(i ) T ∗ es inyectiva si y solo si im(T ) es densa en W
(ii ) Si im(T ∗ ) es densa en V ∗ , entonces T es inyectiva.
6. Sean V, W dos espacios de Banach, y sea T ∈ CL(V, W ). Pruebe que
ker(T ∗ ) = (im(T ))⊥ , ker(T ) = (im(T ∗ ))⊥ , im(T ) = (ker(T ∗ ))⊥ , im(T ∗ ) ⊆ (ker(T ))⊥ .
7. Sean V, W espacios de Banach y sea T ∈ CL(V, W ). Considere el doble adjunto T ∗∗ : V ∗∗ → W ∗∗
dado por T ∗∗ = (T ∗ )∗ . Demuestre que T ∗∗ |V ≡ T .
2 Decimos que un conjunto convexo A de un espacio vectorial es balanceado si eiα A = A para todo α ∈ R.