Sesiones 1 - Universidad de Colima

Transcripción

Sesiones 1 - Universidad de Colima
Una introducción al problema del subespacio invariante
en espacios de Hilbert
Rubén A. Martı́nez-Avendaño
Centro de Investigación en Matemáticas
Universidad Autónoma del Estado de Hidalgo
Pachuca, Mexico
email: [email protected]
Escuela de Análisis Matemático
Universidad de Colima
26 al 30 de septiembre de 2016
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
1 / 87
Ejemplo
Consideremos la transformación lineal T : R2 → R2 dada por
T (x, y ) = (x + 3y , x − y ).
Sea M := {(x, y ) ∈ R2 : x = 3y }.
Si u ∈ M, entonces u = (3s, s) para algún s ∈ R. Entonces
T (u) = T (3s, s) = (3s + 3s, 3s − s) = (6s, 2s)
el cual está en M.
2
T (u)
1
−1
M
u
0
Rubén A. Martı́nez-Avendaño (UAEH)
1
2
3
4
Problema del subspacio invariante
5
6
Escuela Análisis Matemático
2 / 87
Subespacios invariantes
M es un subespacio vectorial y es invariante bajo T .
Definición
Sea V un espacio vectorial y T : V → V una transformación lineal. Sea
M un subespacio. Decimos que M es invariante bajo T si T (M) ⊆ M.
¿Hay siempre subespacios invariantes?
M = V siempre es invariante.
M = {0} siempre es invariante.
Llamaremos a estos espacios triviales.
¿Hay siempre subespacios invariantes no triviales?
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
3 / 87
Ejemplo
Consideremos la transformación lineal T : R2 → R2 dada por
T (x, y ) = (x − y , x + y ).
¿Tiene T subespacios invariantes no triviales?
No: es una rotación (+ homotecia).
5
T (u)
4
3
2
u
1
0
Rubén A. Martı́nez-Avendaño (UAEH)
1
2
3
4
Problema del subspacio invariante
5
Escuela Análisis Matemático
4 / 87
Ejemplo
Consideremos a la transformación lineal anterior en los números complejos;
i.e., T : C2 → C2 dada por
T (z, w ) = (z − w , z + w ),
entonces sı́ tiene subespacios invariantes no triviales:
M := {(z, w ) ∈ C2 : w = ı̇z}.
Si v ∈ M, entonces v = (λ, ı̇λ) para algún λ ∈ C. Entonces
T (v ) = T (λ, ı̇λ) = (λ − ı̇λ, λ + ı̇λ) = (λ − ı̇λ, ı̇(λ − ı̇λ))
por lo tanto T (v ) ∈ M.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
5 / 87
Subespacios invariantes
En general, T : Cn → Cn tiene un eigenvalor y un eigenvector: Tv = λv ,
con v 6= 0. Por lo tanto,
M := span{v } := {µv : µ ∈ C}
es un subespacio invariante, el cual es no trivial si n > 1.
¿Qué sucede en el caso T : Rn → Rn ? Ahı́ no necesariamente hay
eigenvectores (reales). Sin embargo, si n ≥ 3, sı́ hay subespacios
invariantes.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
6 / 87
Ejemplo
Sea T : R4 → R4 dada por
T (x1 , x2 , x3 , x4 ) = (−2x2 − x4 , x1 , x2 , x3 )
El polinomio caracterı́stico de T es p(x) = (x 2 + 1)2 (ejercicio) y por lo
tanto no tiene eigenvalores (reales).
Si u = (1, 0, −1, 0) y v = (0, 1, 0, −1), entonces
M := span{u, v } := {su + tv : s, t ∈ R}
es un subespacio invariante no trivial pues T (u) = v y T (v ) = −u.
Ejercicio: mostrar que si T : Rn → Rn es una transformación lineal y
n ≥ 3, entonces T tiene un subespacio invariante no trivial.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
7 / 87
Espacios de dimensión infinita
¿Qué sucede si el espacio vectorial es de dimensión infinita?
Sea V un espacio vectorial de dimensión infinita y sea T una
transformación lineal en V .
¿Cómo generarı́amos un subespacio invariante?
Sea v ∈ V . Consideremos el conjunto
Mv := span{v , Tv , T 2 v , T 3 v , . . . }.
Este es un subespacio lineal y es invariante. (Ejercicio muy fácil.) Si v 6= 0,
entonces Mv no es el espacio {0}. ¿Podrı́a ser que Mv sea todo V ? Sı́.
Pero una pequeña modificación de este argumento funciona (gracias a
P. Rosenthal por el argumento):
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
8 / 87
Ejemplo
El conjunto ker T := {x ∈ V : Tx = 0} es un subespacio invariante
(ejercicio). Si no es trivial, terminamos. Si es trivial hay dos casos:
Si ker T = V , entonces T es el operador 0, el cual tiene espacios
invariantes no triviales.
Si ker T = {0}, entonces sea v ∈ V , v 6= 0. El espacio
N := span{Tv , T 2 v , T 3 v , . . . }
es invariante. No es el espacio {0}.
Si v no está en N , entonces N 6= V .
Si v está en N , entonces v es una combinación lineal finita de
vectores T k v . Por lo tanto N es de dimensión finita (ejercicio) y
N 6= V .
Por lo tanto, todas las transformaciones lineales en espacios de dimensión
infinita tienen subespacios invariantes no triviales.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
9 / 87
Espacios vectoriales de dimensión infinita
¿Qué pasa si ponemos una norma en el espacio? Debemos entonces
considerar subespacios cerrados.
Sea V el espacio vectorial de todos polinomios con la norma
Z
1
2
1/2
|p(x)| dx
.
0
Sea T el operador de multiplicación por x. Es decir, (Tp)(x) = xp(x).
Si p es cualquier polinomio, espacio vectorial invariante más pequeño que
contiene a p es
span{p(x), xp(x), x 2 p(x), x 3 p(x), . . . } = {q(x)p(x) : q un polinomio }.
Cualquier polinomio es el lı́mite de vectores en este espacio. Por lo tanto,
no puede haber subespacios cerrados invariantes, excepto todo V y {0}.
(El argumento es una observación de T. Crimmins.)
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
10 / 87
Ejemplo
¿Qué pasa en espacios completos?
Sea L2 [0, 1] el espacio de funciones (con valores reales o complejos)
cuadrado integrables (con respecto a la medida de Lebesgue).
Para cada f ∈ L2 [0, 1] definimos (Mx f )(x) = xf (x).
Sea E un conjunto medible en [0, 1] con medida positiva y menor que uno.
Si definimos
ME := {f ∈ L2 [0, 1] : f = 0 casi en todo E },
entonces ME es un subespacio cerrado invariante no trivial para Mx .
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
11 / 87
Problema del subespacio invariante
¿Pasará lo mismo para cualquier operador en L2 [0, 1]? El espacio L2 [0, 1]
es un ejemplo de un espacio de Hilbert.
Problema del subespacio invariante
Dado un operador T en un espacio de Hilbert, ¿existe un subespacio
invariante no trivial para T ?
Para entrar a estudiar el problema con más detalle, necesitamos
definiciones.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
12 / 87
Definiciones básicas
Definición
Sea V un espacio vectorial sobre C. Una función h·, ·i : V × V → C es un
producto interno sobre V si para todo u, v , w ∈ V y λ, µ ∈ C se tiene
hv , v i > 0 si v 6= 0,
hλu + µv , w i = λhu, w i + µhv , w i,
hu, v i = hv , ui.
Dado un espacio vectorial con producto interno, definimos
p
kv k := hv , v i.
Ejercicio: mostrar que esto es una norma.
Definición
Decimos que H es un espacio de Hilbert si H es un espacio vectorial
(sobre C) con un producto interno h·, ·i, y es completo bajo la norma dada
por el producto interno.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
13 / 87
Ejemplos
Cn := {(z1 , z2 , . . . , zn ) : zi ∈ C} con producto interno
hz, w i := z1 w1 + z2 w2 + · · · + zn wn .
`2 (N) := {x = (x1 , x2 , x3 , . . .) :
∞
X
|xj |2 < ∞} con producto interno
j=1
hz, w i :=
∞
X
zj wj .
j=1
Ejercicio: ¿Por qué es esta suma siempre finita?
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
14 / 87
Ejemplos
Z
2
|f |2 dm < ∞}, donde m es la
L [0, 1] := {f : [0, 1] → C :
[0,1]
medida de Lebesgue en [0, 1] y producto interno
Z
hf , g i :=
f g dm.
[0,1]
Ejercicio: ¿Por qué es esta integral siempre finita?
H2 (D) := {f : D → C : f (z) =
∞
X
ak z k y
k=0
producto interno
hf , g i :=
donde f (z) =
∞
X
k=0
Rubén A. Martı́nez-Avendaño (UAEH)
ak z k y g (z) =
∞
X
|ak |2 < ∞} y
k=0
∞
X
ak bk ,
k=0
∞
X
bk z k .
k=0
Problema del subspacio invariante
Escuela Análisis Matemático
15 / 87
Operadores acotados
Un operador en un espacio de Hilbert es una función lineal A : H → H.
Decimos que A es acotado si existe C > 0 tal que kAxk ≤ C kxk para todo
x ∈ H.
Teorema
Un operador en un espacio de Hilbert es acotado si y solo si es continuo.
Ejercicio: Demostrar la equivalencia.
La norma del operador A se define como
kAk := sup{kAxk : kxk ≤ 1}.
Ejercicio: Demostrar que esto define una norma.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
16 / 87
Operadores acotados
Resulta ser que
sup{kAxk : kxk ≤ 1}
=
=
=
sup{kAxk : kxk = 1}
kAxk
sup
: kxk =
6 0
kxk
ı́nf{C > 0 : kAxk ≤ C kxk}
Ejercicio: demostrar las igualdades.
También se cumple que si A y B son operadores acotados, entonces
kABk ≤ kAk kBk (Ejercicio: demostrar.)
De aquı́ en adelante operador significa operador acotado.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
17 / 87
Ejemplos
En Cn todas las transformaciones lineales son continuas. (Ejercicio.)
De hecho, cualquier operador A : Cn → Cn se puede representar por
una matriz n × n.
En `2 dos ejemplos de transformaciones lineales son S : `2 → `2 (el
desplazamiento hacia adelante) definido como
S(a0 , a1 , a2 , a3 , . . . ) = (0, a0 , a1 , a2 , . . . )
y B : `2 → `2 (el desplazamiento hacia atrás) definido como
B(a0 , a1 , a2 , a3 , . . . ) = (a1 , a2 , a3 , a4 , . . . ).
Ambas son continuas. De hecho,
Ejercicio: kSk = 1 y kBk = 1. Más aún, S es una isometrı́a:
kSxk = kxk para todo x ∈ `2 .
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
18 / 87
Ejemplos
En L2 [0, 1], definimos el operador Mx como
(Mx f )(x) = x f (x).
Ejercicio: Mx es acotado y kMx k = 1.
Sea φ ∈ H2 (D). Si φ es acotada, el operador Mφ se define como
(Mφ f )(z) = φ(z) f (z).
Se puede demostrar que Mφ es acotado y que
kMφ k = kφk∞ := sup{|φ(z)| : z ∈ D}.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
19 / 87
Ejemplos
El operador Mx en L2 (0, ∞) no está acotado. (Ejercicio.) De hecho,
ni siquiera está definido en todo L2 (0, ∞). Su dominio natural es
(
)
Z
x 2 |f (x)|2 dm(x) < ∞ ,
f : (0, ∞) → C :
(0,∞)
el cual es un conjunto denso en L2 (0, ∞).
Si φ(z) = (z − 1)−1 , el operador Mφ no está acotado en H2 (D).
Su dominio es un conjunto denso en H2 (D) y contiene a todos los
polinomios con raı́z en 1.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
20 / 87
Operadores compactos
Definición
Un operador F : H → H es de rango finito si F es acotado y el subespacio
ran F := {Fx : x ∈ H} es de dimensión finita.
Definición
Un operador K : H → H es compacto si {Kx : kxk ≤ 1} es un conjunto
compacto.
Nota: un operador T es acotado si {Tx : kxk ≤ 1} es acotado. Por lo
tanto, compacto =⇒ acotado.
Obsérvese también que si el operador identidad I : H → H es compacto,
entonces I es de dimensión finita.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
21 / 87
Operadores compactos
Proposición
Sea K un operador en un espacio de Hilbert (de dimensión infinita).
Entonces K es compacto si y solo si existen operadores Kn , cada uno de
rango finito, tales que kKn − K k → 0 si n → ∞.
Proposición
Sea K un operador compacto y sea A un operador. Entonces KA y AK
son operadores compactos.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
22 / 87
Ejemplos
Cualquier operador T de rango finito es compacto. Esto es porque
{Tx : kxk ≤ 1} es un conjunto cerrado y acotado dentro de un
espacio vectorial normado de dimensión finita: ran T . Por lo tanto, el
conjunto es compacto.
En `2 el operador T definido como
T (a0 , a1 , a2 , . . . ) := (α0 a0 , α1 a1 , α2 a2 , . . . )
es compacto si αn → 0. (Ejercicio.) Este operador claramente no es
de rango finito.
En L2 [0, 1] definimos el operador de Volterra V como
Z
(Vf )(x) =
f (y ) dm(y ).
[0,x]
El operador V es compacto y no es de rango finito
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
23 / 87
Espectro
Definición
Sea T un operador acotado.
El espectro de T es
σ(T ) := {λ ∈ C : T − λI no es invertible}.
Si existe λ tal que Tx = λx para algún x 6= 0, decimos que λ es un
eigenvalor y x un eigenvector. Denotamos por σp (T ) al conjunto de
eigenvalores.
El espectro es no vacı́o.
Claramente, si λ ∈ σp (T ) entonces λ ∈ σ(T ). No es cierto en general que
σp (T ) = σ(T ).
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
24 / 87
Radio espectral
Definición
Sea T un operador acotado. El radio espectral de T es el número
sup{|λ| : λ ∈ σ(T )}.
La siguiente fórmula resulta ser muy útil.
Proposición (Fórmula del radio espectral)
Sea T un operador acotado. Entonces
r (T ) = lı́m kT n k1/n .
n→∞
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
25 / 87
Ejemplos
Si T es de rango finito, entonces σ(T ) = σp (T ).
Si K es compacto, y H es de dimensaión infinita, se puede demostrar
(Teorema de la Alternativa de Fredholm) que σ(K ) = {0} ∪ σp (K ) y
es un conjunto a lo mas numerable y que unicamente se puede
acumular en 0.
Si B es el operador de desplazamiento hacia atrás en `2 , entonces
σp (B) = D, σ(B) = D. (Ejercicio.) Obviamente r (B) = 1.
Si S es el operador de desplazamiento hacia adelante en `2 , entonces
σp (S) = ∅ y σ(S) = D. (Ejercicio.) Obviamente r (S) = 1.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
26 / 87
Ejemplos
Si Mx es el operador de multilplicación por x en L2 [0, 1], entonces
σp (Mx ) = ∅ (Ejercicio.) y σ(Mx ) = [0, 1]. Obviamente r (Mx ) = 1.
Si V es el operador de Volterra en L2 [0, 1], entonces σp (V ) = ∅
(Ejercicio.) y σ(V ) = {0}. Obviamente r (V ) = 0.
Sea {αn } una sucesión acotada. El operador T en `2 definido como
T (a0 , a1 , a2 , . . . ) := (α0 a0 , α1 a1 , α2 a2 , . . . )
cumple que σp (T ) = {ak } y σ(T ) = {ak }. (Ejercicio.) Obviamente
r (T ) = sup{|αk | : k ∈ N0 }.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
27 / 87
Subespacios invariantes
Definición
Sea H un espacio de Hilbert, sea T un operador en H y sea M un
subespacio cerrado de H. Decimos que M es un subespacio invariante
para T si
T (M) ⊆ M,
Es decir, M es invariante si x ∈ M implica que Tx ∈ M.
Nota: todos los subespacios que consideraremos de aquı́ en adelante serán
siempre cerrados.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
28 / 87
Ejemplos
Sea A : Cn → Cn un operador. Es decir, A es una matriz.
Supongamos que A tiene un eigenvalor λ con eigenvector z ∈ Cn : es
decir Az = λz. Entonces
M = span z := {µz : µ ∈ C}
es un subespacio vectorial de Cn y es invariante, pues si x ∈ M,
entonces x = µz para algún µ ∈ C. Pero entonces
Ax = Aµz = µAz = µλz
el cual está en M. Por lo tanto M es un subespacio invariante para
A.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
29 / 87
Ejemplos
Sea S : `2 → `2 el operador de desplazamiento hacia adelante. Para
n ∈ N0 definimos el subespacio
Mn := {(a0 , a1 , a2 , a3 , a4 , . . . ) ∈ `2 : a0 = a1 = · · · = an = 0};
es decir, el espacio de todas aquellas sucesiones que son 0 en las
primeras n + 1 coordenadas. Claramente, Mn es un subespacio de `2 .
Sea x = {ak } ∈ Mn , entonces a tiene ceros en las primeras n + 1
coordenadas. Entonces Sx tiene ceros en las primeras n + 2
coordenadas: en particular Sx ∈ Mn . Es decir, Mn es un subespacio
invariante para S.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
30 / 87
Ejemplos
Sea Ω un subconjunto medible de [0, 1]. Definimos un subespacio de
L2 [0, 1] como
MΩ := {f ∈ L2 [0, 1] : f = 0 en Ω}.
El subespacio MΩ es cerrado y claramente si f ∈ MΩ entonces
Mx f ∈ MΩ . Por lo tanto MΩ es un subespacio invariante. Este
espacio es no trivial siempre que Ω no tenga medida cero o uno.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
31 / 87
Ejemplos
El operador de Volterra se definió como el operador
V : L2 [0, 1] → L2 [0, 1] dado por
Z
(Vf )(x) =
f (y ) dm(y ).
[0,x]
Recordemos que σp (V ) = ∅ y σ(V ) = {0}. Los espacios invariantes
de V son todos de la forma
Ma := f ∈ L2 [0, 1] : f = 0 en [0, a]
para a ∈ [0, 1].
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
32 / 87
Ejemplos
Sea φ ∈ H2 (D). Las funciones en H2 (D) tienen lı́mites radiales casi
en todas partes. Si φ ∈ H2 (D) cumple que |φ(e ı̇t )| = 1 para casi todo
t ∈ [0, 2π], decimos que φ es una función interna.
Consideremos el operador Mz en H2 (D).
Definamos M := φH2 (D). Si f ∈ φH2 (D), entonces f = φg para
algún g ∈ H2 (D). Pero entonces
(Mz f )(z) = zf (z) = zφ(z)g (z)
la cual está en φH2 (D). Por lo tanto M es un subespacio invariante
para Mz .
Se puede demostrar (pero no es fácil) que si M es un subespacio
invariante distinto del espacio trivial {0}, entonces existe una función
interna φ ∈ H2 (D) tal que M = φH2 (D).
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
33 / 87
Subespacios invariantes
Sea H un espacio de Hilbert y sea T un operador sobre H. Denotamos por
Lat T al conjunto de todos los subespacios invariantes de T .
Claramente H ∈ Lat T y {0} ∈ Lat T . A estos espacios invariantes les
llamamos triviales.
Este conjunto tiene la estructura de una retı́cula (lattice, en inglés).
Se conoce la retı́cula Lat T para muchos ejemplos de operadores T . Por
ejemplo:
Si V es el operador de Volterra, entonces Lat V ∼
= [0, 1].
Si Mx es el operador de multiplicación por x en L2 [0, 1], entonces
Lat Mx ∼
= {[Ω] : Ω es medible en [0, 1]}, donde [Ω] denota la clase de
equivalencia de conjuntos que son iguales salvo conjuntos de medida
cero.
Si Mz es el operador de multiplicación por z en H2 (D), entonces
Lat Mz ∼
= {φ ∈ H2 (D) : φ es una función interna }.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
34 / 87
Subespacios invariantes
¿Por qué nos interesan los espacios invariantes?
Si M ∈ Lat T , y M es no trivial, entonces podemos escribir al espacio de
Hilbert como una suma directa: H = M ⊕ M⊥ . Entonces podemos
escribir al operador T con una matriz 2 × 2.
M
M
A
T =
⊥
M
0
M⊥ B
C
Si A tuviera un subespacio invariante no trivial entonces A : M → M se
podrı́a escribir de la misma forma. Lo mismo sucederı́a con
C : M⊥ → M⊥ .
De hecho, a menos que en algún momento el subespacio invariante o su
espacio ortogonal sean de dimensión 1, esto se puede seguir haciendo para
que la matriz sea cada vez más diagonal.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
35 / 87
Subespacios invariantes para H = Cn
Si H = Cn es de dimensión finita, entonces este proceso se puede seguir
haciendo hasta obtener una matriz de la forma


a1


0



0


A = 0


 ..
.



0

0
∗
∗
∗
...
∗
a2
∗
∗
...
∗
0
a3
∗
...
∗
0
..
.
0
..
.
a4
..
.
...
∗
..
.
0
0
0
...
an−1
0
0
0
...
0
∗


∗



∗


.
∗


.. 
.



∗

an
Es decir, con respecto a cierta base, la matriz es triangular superior.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
36 / 87
Subespacios invariantes para H = Cn
Si A tiene alguna propiedad extra, por ejemplo, es autoadjunta (i.e.,
A = A∗ ) entonces esto demuestra que la matriz A es diagonal (con
respecto a cierta base)


a1


0


A=
0

.
 ..


0
0
0
0
...
a2
0
0
...
0
..
.
a3
..
.
0
..
.
...
0
0
0
...
0


0


.
0

.. 
.


an
A este resultado se le conoce como Teorema de los Ejes Principales (o
Teorema Espectral). Es decir, la existencia de espacios invariantes nos da
un teorema muy fuerte sobre la estrucutura de ciertas clases de operadores.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
37 / 87
¿Existen espacios invariantes?
Dado un espacio de Hilbert H y un operador T acotado en H, ¿existe un
subespacio invariante no trivial?
Si H es de dimensión finita, la respuesta es sı́, a menos que el espacio
sea de dimensión 1. (Consecuencia de la existencia de eigenvalores).
Si H no es separable, la respuesta es sı́.
Si x ∈ H y x 6= 0, se tiene que la cerradura de
span{T n x : n ∈ N0 }
es un subespacio invariante (ejercicio). Pero este espacio es separable
por lo que no puede ser igual a H.
El caso interesante es, entonces, qué pasa si H es de dimensión
infinita y separable.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
38 / 87
Subespacios invariantes
¿Cómo se pueden encontrar subespacios invariantes no triviales?
Si T tiene un eigenvalor λ con eigenvector x, entonces span{x} es un
subespacio invariante no trivial. De hecho, a menos que T sea un múltiplo
de la identidad, ker(T − λI ) es un espacio invariante no trivial para T .
Más es cierto.
Proposición
Sean S y T operadores en H con ST = TS. Supongamos que T no es un
múltiplo de la identidad I y que T tiene un eigenvalor λ. Entonces
ker(T − λI ) es un subespacio invariante no trivial para S.
Demostración.
Veamos que si x ∈ ker(T − λI ), entonces Sx ∈ ker(T − λI ):
(T − λI )Sx = S(T − λI )x = S0 = 0.
Es decir, ker(T − λI ) es un subespacio invariante no trivial para S.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
39 / 87
Subespacios invariantes
Si T es compacto y tiene eigenvalores, entonces T tiene un subespacio
invariante.
Por lo visto anteriormente, si S conmuta con un operador compacto que
tiene eigenvalores, entonces S tiene un subespacio invariante.
¿Qué pasa si T es compacto y no tiene eigenvalores? ¿Debe T tener
subespacios invariantes no triviales?
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
40 / 87
Un poco de historia
En la decada de 1930, von Neumann demostró (pero nunca publicó) que
un operador compacto en el espacio de Hilbert siempre tiene subespacios
invariantes no triviales.
Figura: J. von Neumann
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
41 / 87
N. Aronszajn, al inicio de la decada de 1950, encontró este resultado
independientemente de von Neumann. Al consultarlo con von Neumann,
tenı́an esencialmente la misma demostración (la cual utiliza proyecciones
ortogonales).
En 1953, N. Aronszajn y K. T. Smith extendieron este resultado a espacios
de Banach.
Figura: N. Aronszajn y K. T. Smith
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
42 / 87
K. T. Smith preguntó (según P. R. Halmos, 1963) si este resultado era
cierto para operadores T tales que T 2 es compacto.
En 1966, A. R. Bernstein y A. Robinson demostraron que si un operador T
en un espacio de Hilbert es polinomialmente compacto (es decir existe un
polinomio p, no constante, tal que p(T ) es compacto) entonces tiene
subespacios invariantes no triviales. (Su demostración usaba técnicas de
análisis no estandar.)
Figura: A. Robinson
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
43 / 87
P. R. Halmos (1966), simplificó el argumento de Bernstein y Robinson al
análisis clásico.
A. R. Bernstein (1968) extendió el resultado a espacios de Banach (de
nuevo, usando análisis no estandar). P. Meyer-Nieberg (1968) demostró el
resultado usando análisis clásico.
Figura: P.R. Halmos
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
44 / 87
El siguiente teorema tomó a la comunidad de teorı́a de operadores por
sorpresa.
Teorema (V. Lomonosov, 1973)
Sean A, T y K operadores en X tales que T no es un múltiplo de la
identidad y K es un operador compacto no cero. Si A conmuta con T y T
conmuta con K , entonces A tiene un subespacio invariante no trivial.
Figura: V. Lomonosov
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
45 / 87
Este teorema usa de manera muy importante el teorema del punto fijo de
Schauder (una extensión del teorema de punto fijo de Brouwer a espacios
de dimensión infinita).
Figura: J. Schauder y L.E.J. Brouwer
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
46 / 87
C. Pearcy y A. Shields (1974) se preguntaron si todos los operadores en un
espacio de Banach satisfacen las hipotesis del teorema de Lomonosov.
Figura: C. Pearcy y A. Shields
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
47 / 87
D. W. Hadwin, E. A. Nordgren, H. Radjavi y P. Rosenthal (1980)
encontraron un operador en un espacio de Hilbert que no satisface las
condiciones del teorema de Lomonosov.
Figura: D. W. Hadwin y E. A. Nordgren
Figura: H. Radjavi y P. Rosenthal
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
48 / 87
Operadores normales
El adjunto del operador T en H es el (único) operador T ∗ que satisface
hTx, y i = hx, T ∗ y i
para todo x, y ∈ H (de alguna manera, el adjunto es la “transpuesta
conjugada” del operador T ).
Un operador N se dice normal si conmuta con su adjunta.
El teorema espectral (en una de sus versiones) establece que los
operadores normales son equivalentes a operadores de multiplicación.
Como estos siempre tienen (muchos) subespacios invariantes no triviales,
se sigue que todos los operadores normales tienen subespacios invariantes
no triviales.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
49 / 87
Ejemplo no normal y sin eigenvalores
Recordemos que en el espacio H2 (D), podemos definir el operador Mz .
Beurling (1941) describió todos los subespacios invariantes de Mz en
H2 (D). Esto da lugar a una rica teorı́a de funciones en el disco unitario.
Como ya vimos, M es invariante para Mz si y solo si existe una función φ
interna tal que M = φH2 (D).
Figura: A. Beurling
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
50 / 87
Operadores subnormales
El operador de desplazamiento es un caso especial de una clase de
operadores muy estudiada.
Definición
Un operador T en un espacio de Hilbert H se llama subnormal si existe un
espacio de Hilbert K y un operador normal N en K tales que
El espacio H ⊆ K es un subespacio invariante para N.
El operador T es igual a la restriccion de N a H.
Si definimos W en `2 (Z) como
W (. . . , a−2 , a−1 , a 0 , a1 , a2 , . . . ) = (. . . , a−3 , a−2 , a −1 , a0 , a1 , . . . ),
entonces W restringido a `2 , pensado como subespacio de `2 (Z), es el
operador S. Además W es normal (de hecho unitario).
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
51 / 87
Teorema de Brown
Teorema (S. W. Brown, 1978)
Si T es un operador subnormal en un espacio de Hilbert, entonces T tiene
un subespacio invariante no trivial.
Las técnicas de Brown llevaron a muchos otros resultados. Por ejemplo,
Teorema (S. W. Brown, B. Chevreau, C. Pearcy, 1988)
Sea T un operador en un espacio de Hilbert. Si T tiene norma menor o
igual que uno y su espectro contiene al cı́rculo unitario, entonces T tiene
un subespacio invariante no trivial.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
52 / 87
Contraejemplos
En 1975, P. Enflo anuncio la existencia de un espacio de Banach donde
existe un operador sin espacios invariantes no triviales. El artı́culo que
contiene la demostración completa aparecio en 1987.
Figura: P. Enflo
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
53 / 87
C. J. Read, encontró otros ejemplos, y el primero fue publicado en 1984.
Todos estos espacios son “no reflexivos”.
El ejemplo “más sencillo” fue descubierto por Read: un operador en `1 sin
subespacios invariantes no triviales.
En 1984, Read encontro un operador en `1 sin subconjuntos invariantes
no triviales.
Figura: C. J. Read
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
54 / 87
Problema del subespacio invariante
También se sabe que existe un operador (que no se sabe si es acotado o
no) en un espacio de Hilbert sin subespacios invariantes no triviales. El
problema es que este operador se construye por inducción transfinita y no
se sabe realmente nada sobre él (ni siquiera si es acotado). Este ejemplo
fue encontrado por Allen Shields.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
55 / 87
Ejercicios
Sean A y B operadores similares (i.e., AR = RB con R invertible). Si
B tiene un subespacio invariante no trivial, entonces A tiene un
subespacio invariante no trivial.
Sean A y B operadores quasi-similares (i.e., AS = SB y TA = BT
con S y T operadores inyectivos y de rango denso). Si B tiene un
subespacio invariante no trivial, entonces A tiene un subespacio
invariante no trivial.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
56 / 87
Propiedades básicas de espacios invariantes
Proposición
Sea T un operador en H. Entonces M ∈ Lat T si y solo si M⊥ ∈ Lat T ∗ .
Demostración.
Supongamos que M ∈ Lat T . Sea x ∈ M⊥ . Debemos demostrar que
T ∗ x ∈ M⊥ . Pero, si y ∈ M, tenemos
hT ∗ x, y i = hx, Ty i = 0,
pues Ty ∈ M. Por lo tanto, T ∗ x ∈ M⊥ .
La otra dirección es análoga (ejercicio).
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
57 / 87
Propiedades básicas de espacios invariantes
Proposición
Sea T un operador en H. Sea M un subespacio y sea P la proyección
ortogonal sobre M. Entonces, M ∈ Lat T si y solo si PTP = TP.
Demostración.
Supongamos que M ∈ Lat T . Sea x ∈ H. Entonces Px ∈ M y por lo
tanto TPx ∈ M. Pero esto implica que PTPx = TPx. Como x fue
arbitrario, se tiene que PTP = TP.
Supongamos ahora que PTP = TP. Sea y ∈ M. Entonces
PTPy = TPy , pero como y ∈ M se sigue que Py = y . Por lo tanto,
PTy = Ty lo cual quiere decir que Ty ∈ M. Es decir,
M ∈ Lat T .
Ejercicio: Un operador T tiene un subespacio invariante no trivial si y solo
si la ecuación XTX = TX tiene una solución distinta de X = 0 y X = I .
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
58 / 87
Propiedades básicas de espacios invariantes
Proposición
Sea T un operador en H. Sea M un subespacio y sea P la proyección
ortogonal sobre M. Entonces, M ∈ Lat T y M⊥ ∈ Lat T si y solo si
TP = PT .
Demostración.
Notemos primero que si P es la proyección ortogonal sobre M, entonces
I − P es la proyección ortogonal sobre M⊥ .
Si M⊥ ∈ Lat T entonces (I − P)T (I − P) = T (I − P). Esto implica
que T − PT − TP + PTP = T − TP. Simplificando y usando el
hecho que M ∈ Lat T y por lo tanto PTP = TP tenemos TP = PT .
Si TP = PT , multiplicando a la derecha por P obtenemos
TP = PTP, por lo que M ∈ Lat T . Si TP = PT , obtenemos
T (I − P) = (I − P)T . Multiplicando por I − P del lado izquierdo nos
da T (I − P) = (I − P)T (I − P), por lo que M⊥ ∈ Lat T .
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
59 / 87
Espacios reductores
Definición
Sea T un operador. Decimos que un espacio M reductor si M y M⊥
están en Lat T . Equivalentemente, M es reductor si M ∈ Lat T y
M ∈ Lat T ∗ .
Si M es reductor y M es no trivial, podemos escribir al espacio de Hilbert
como una suma directa: H = M ⊕ M⊥ . Entonces podemos escribir al
operador T con una matriz 2 × 2.
M
T = M⊥ A
M
0
M⊥ 0
B
Ejercicio: Sea T : H → H normal y M ∈ Lat T . Entonces T|M es normal
si y solo si M ∈ Lat T y M ∈ Lat T ∗
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
60 / 87
Espacios reductores
Dado un operador T , ¿existen espacios reductores no triviales?
Ejemplo
Sea S en `2 el operador de desplazamiento hacia adelante. Entonces S no
tiene espacios reductores no triviales.
Demostración.
Primero, obsérvese que S ∗ = B. (Ejercicio: demostrar.) Supongamos que
M=
6 {0}. Sea x ∈ M, x 6= 0. Como x 6= 0, alguna de sus coordenadas,
digamos la k-ésima, xk , es diferente de cero. Como M es reductor, se
cumple que B k x = (xk , xk+1 , xk+2 , . . . ) ∈ M. Como M es un subespacio,
se tiene que x1k B k x ∈ M.
Podemos, entonces, suponer que existe y = (1, y1 , y2 , y3 , . . . ) ∈ M. Se
sigue que SBy = (0, y1 , y2 , y3 , . . . ) ∈ M. Como M es subespacio entonces
y − SBy ∈ M. Es decir, e0 := (1, 0, 0, 0, . . . ) ∈ M. Si n ∈ N0 , tenemos
en := S n e0 = (0, 0, . . . , 0, 1, 0, . . . ) ∈ M. Pero esto da M = `2 .
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
61 / 87
Transitividad
Definición
Sea A un conjunto de operadores acotados en H. Decimos que A es
transitivo si, para todo x ∈ H, x 6= 0,
{Ax : A ∈ A}
es denso en H.
Una proposición que será útil después.
Proposición
Sea A un álgebra. Entonces, A es transitiva si y solo si no existe un
subespacio invariante no trivial común para todo A ∈ A. Es decir, si y solo
si
\
Lat A = {∅, H}.
A∈A
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
62 / 87
Demostración.
Supongamos que M =
6 {0} y M ∈ Lat A para todo A ∈ A. Sea
x ∈ M, x 6= 0. Entonces Ax ∈ M para todo A ∈ A. Esto implica que
{Ax : A ∈ A} ⊆ M.
Como A es transitiva, esto implica que el conjunto de la izquierda es
denso y por lo tanto M = H.
Supongamos ahora que no existe un subespacio invariante no trivial
común para todo A ∈ A. Sea x 6= 0. El conjunto {Ax : A ∈ A} es un
subespacio lineal (no necesariamente cerrado), pues A es un
subespacio. Ademas, este conjunto es invariante para cada A ∈ A
(pues A es un álgebra). Por lo tanto.
{Ax : A ∈ A}
es un subespacio cerrado y está en Lat A para cada A ∈ A. El
conjunto no es cero, pues I ∈ A. Por lo tanto, la hipótesis nos dice
que {Ax : A ∈ A} = H, lo cual demuestra que A es transitivo.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
63 / 87
Teorema (Lomonosov débil)
Sea T un operador y K un operador compacto, K 6= 0. Si KT = TK
entonces T tiene un subespacio invariante no trivial.
Demostración: (por H. M. Hilden)
Sin perdida de generalidad, podemos suponer que kK k = 1. (¿Por qué?)
Si K tiene un eigenvalor λ entonces, como ya vimos antes ker(K − λI ) es
un subespacio invariante (no trivial) para T : si x ∈ ker(K − λI ) entonces
(K − λI )Tx = T (K − λI )x = T 0 = 0,
por lo que Tx ∈ ker(K − λI ). Por lo tanto, podemos suponer que el
operador compacto no tiene eigenvalores. Es decir, r (K ) = 0. Por la
fórmula del radio espectral, tenemos.
lı́m kK n k1/n = 0.
n→∞
Esto implica que lı́m kK n k = 0. (Ejercicio.)
n→∞
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
64 / 87
Demostración: (continuación)
Sea A := {T : TK = KT }. Demostraremos que existe un subespacio
invariante no trivial común para cada T ∈ A. Es decir, demostraremos que
A no es transitivo.
Por contradicción supongamos que A es transitivo. Por lo tanto, para todo
x ∈ H, x 6= 0 tenemos
{Tx : T ∈ A}
es denso.
Escojamos x0 ∈ H tal que kKx0 k > 1. Necesariamente, kx0 k > 1 (¿Por
qué?)
Definimos S como
S := {x ∈ H : kx − x0 k < 1}.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
65 / 87
Demostración: (continuación)
Afirmaciones:
1
0 6∈ K (S).
Por contradicción, supongamos que 0 ∈ K (S). Entonces existe una
sucesión {yn }, con yn ∈ S tales que Kyn → 0. Pero
Kx0 = K (x0 − yn ) + Kyn ,
por lo que
kKx0 k
≤
kK (x0 − yn )k + kKyn k
≤
kK k kx0 − yn k + kKyn k
≤
1 · 1 + kKyn k.
Como kKyn k → 0, tenemos que kKx0 k ≤ 1. Pero esto contradice la
selección de x0 .
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
66 / 87
Demostración: (continuación)
2
3
4
Como S es acotado y K es compacto, se sigue que K (S) es
compacto.
Para cada T ∈ A, el conjunto T −1 (S) = {x ∈ H : kTx − x0 k < 1}
es abierto, pues T es continuo. Además 0 6∈ T −1 (S), pues 0 6∈ S.
[
T −1 (S) = H \ {0}. Esto es porque
T ∈A
⊆) Trivial, por la observación de arriba.
⊇) Sea x ∈ H \ {0}. Como x 6= 0, por transitividad de A, tenemos que
{Tx : T ∈ A} es denso. Como es denso, intersecta a cualquier abierto
6 ∅. Es decir, existe
(no vacı́o), en particular {Tx : T ∈ A} ∩ S =
T ∈ A tal que Tx ∈ S. Equivalentemente, x ∈ T −1 (S).
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
67 / 87
Demostración: (continuación)
5
Como K (S) es compacto y
[
T −1 (S) es una cubierta abierta, por
T ∈A
compacidad, existe una subcubierta finita. Es decir, existen
operadores A1 , A2 , . . . , An tales que
−1
−1
−1
K (S) ⊆ A−1
1 (S) ∪ A2 (S) ∪ A3 (S) ∪ · · · ∪ An (S).
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
68 / 87
Demostración: (continuación)
6
Como x0 ∈ S, se sigue que Kx0 ∈ K (S). Por el punto anterior, existe
i1 ∈ {1, 2, 3, . . . , n} tal que Kx0 ∈ A−1
i1 (S). Es decir, Ai1 Kx0 ∈ S.
Analogamente, como Ai1 Kx0 ∈ S, se sigue que KAi1 Kx0 ∈ K (S). Por
el punto anterior, existe i2 ∈ {1, 2, 3, . . . , n} tal que
KAi1 Kx0 ∈ A−1
i2 (S). Es decir, Ai2 KAi1 Kx0 ∈ S.
Analogamente, después de m pasos, hemos encontrado ı́ndices
i1 , i2 , . . . , im tales que
Aim KAim−1 K . . . KAi2 KAi1 Kx0 ∈ S
Pero esto es equivalente a
Aim Aim−1 . . . Ai2 Ai1 K m x0 ∈ S
(¿Por qué?)
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
69 / 87
Demostración: (continuación)
7
Sea c := máx{kA1 k, kA2 k, kA3 k, . . . , kAn k}. Entonces
kAim Aim−1 . . . Ai2 Ai1 K m k ≤ c m kK m k = k(cK )m k
Como r (K ) = 0 es claro que r (cK ) = 0.
Pero por la fórmula del radio espectral
lı́m k(cK )m k1/m = 0.
m→∞
Como antes, esto implica
lı́m k(cK )m k = 0.
m→∞
Pero esto implica que
kAim Aim−1 . . . Ai2 Ai1 K m f k ≤ k(cK )m f k ≤ k(cK )m k kf k → 0.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
70 / 87
Demostración: (continuación)
8
Pero recuérdese que
Aim Aim−1 . . . Ai2 Ai1 K m x0 ∈ S
Como
kAim Aim−1 . . . Ai2 Ai1 K m x0 k → 0
esto implica que 0 ∈ S. Esto es una contradicción.
Por lo tanto, A no es transitivo. Por lo tanto, hay un subespacio
invariante no trivial común para los elementos de A. En particular, el
operador original T tiene un subespacio invariante no trivial.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
71 / 87
Teorema de Lomonosov
Nuestro objetivo es probar una versión fuerte del Teorema de Lomonosov.
Teorema (Lomonosov)
Sea B un operador. Sea T un operador, no un múltiplo de la identidad, tal
que TB = BT . Sea K un operador compacto, K 6= 0 tal que KT = TK .
Entonces B tiene un subespacio invariante no trivial.
Para esto necesitamos un lema:
Lema (de Lomonosov)
Sea A un álgebra transitiva de operadores y sea K un operador compacto,
K 6= 0. Entonces, existe A ∈ A tal que ker(AK − I ) 6= {0}.
Suponemos este lema por el momento, y lo usaremos para demostrar el
Teorema de Lomonosov.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
72 / 87
Teorema de Lomonosov
Teorema (Lomonosov)
Sea B un operador. Sea T un operador, no un múltiplo de la identidad, tal
que TB = BT . Sea K un operador compacto, K 6= 0 tal que KT = TK .
Entonces B tiene un subespacio invariante no trivial.
Demostración del Teorema de Lomonosov:
Sea A el álgebra A = {A : AT = TA}. Obsérvese que B ∈ A.
Si A tiene un subespacio invariante no trivial, terminamos. Si no, entonces
A es transitivo.
Aplicando el Lema de Lomonosov, tenemos que existe A ∈ A tal que
N := ker(AK − I ) 6= {0}.
Afirmaciones:
1
Claramente, si x ∈ N , entonces AKx = x. Es decir AK (N ) ⊆ N y
AK|N = I|N .
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
73 / 87
Demostración: (continuación)
2
Como K es compacto, entonces AK es compacto. Pero esto implica
que AK|N es compacto. Esto implica que AK|N = I|N es compacto.
Por lo tanto N es de dimensión finita.
3
Sea x ∈ N . Entonces
(AK − I )(Tx)
=
AKTx − Tx
=
ATKx − Tx
=
TAKx − Tx
=
T (AK − I )x
=
0
Por lo tanto Tx ∈ N . Es decir, T (N ) ⊆ N .
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
74 / 87
Demostración: (continuación)
4
Consideremos el operador T|N : N → N (el cual está bien definido).
Como N tiene dimensión finita, entonces T|N tiene un eigenvalor λ:
i.e., existe x ∈ N , x 6= 0 con T|N x = λx.
Pero esto implica que M := ker(T − λI ) 6= {0}.
5
Como ya vimos antes, M es un espacio invariante común para cada
6 {0}. Además, si M = H
elemento de A. Ya vimos que M =
entonces T serı́a un múltiplo de la identidad. Es decir M es un
espacio invariante no trivial, común para los operadores en A.
6
Esto es una contradicción a la transitividad de A. Por lo tanto, A no
puede ser transitivo. Por lo tanto B ∈ A tiene un subespacio
invariante no trivial.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
75 / 87
Demostramos ahora el Lema de Lomonosov, que es la clave de todo esto.
Lema (de Lomonosov)
Sea A un álgebra transitiva de operadores y sea K un operador compacto,
K 6= 0. Entonces, existe A ∈ A tal que ker(AK − I ) 6= {0}.
Demostración del Lema de Lomonosov:
Como el álgebra A es transitiva, para todo x ∈ H, x 6= 0, se tiene que
{Ax : A ∈ A} es denso.
Como A es un álgebra, podemos suponer, sin perdida de generalidad, que
kK k = 1. (¿Por qué?)
Sea x0 ∈ H tal que kKx0 k > 1 y, por lo tanto kx0 k > 1.
Definimos S := {x ∈ H : kx − x0 k < 1}.
Igual que en la demostración de Lomonosov débil, tenemos que 0 6∈ S y
0 6∈ K (S).
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
76 / 87
Demostración (continuación):
Igual que antes,
[
A−1 (S) = H \ {0} (aquı́ se usó la transitividad de A).
A∈A
Como K (S) es compacto, existen A1 , A2 , . . . , An ∈ A tales que
−1
−1
−1
K (S) ⊆ A−1
1 (S) ∪ A2 (S) ∪ A3 (S) ∪ · · · ∪ An (S)
Hasta aquı́ todo es igual que en Lomonosov débil. Ahora, cambiamos de
dirección.
1
Para cada j = 1, 2, . . . , n definimos funciones αj : K (S) → R como
αj (x) = máx{0, 1 − kAj x − x0 k},
para x ∈ K (S).
Claramente αj es continua para cada j (¿Por qué?) y αj (x) ≥ 0 para
todo j y todo x ∈ K (S).
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
77 / 87
Demostración: (continuación)
2
3
Para cada x ∈ K (S), sabemos que existe j tal que x ∈ A−1
j (S). Es
decir, existe j tal que kAj x − x0 k < 1. Equivalentemente, existe j tal
que αj (x) > 0.
Para cada j = 1, 2, . . . , n, definimos βj : K (S) → [0, 1] como
αj (x)
βj (x) = Pn
,
k=1 αk (x)
la cual está bien definida pues el denominador es positivo. (¿Por
qué?) Claramente cada βj es continua (¿Por qué?) y
n
X
βj (x) = 1.
j=1
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
78 / 87
Demostración: (continuación)
4
Definamos Φ : S → H como
Φ(x) =
n
X
βj (Kx)Aj Kx.
j=1
Obsérvese que Φ está bien definida, pues si x ∈ S, entonces
Kx ∈ K (S) ⊆ K (S).
5
Φ no es lineal, pero sı́ es continua (pues es combinación de funciones
continuas).
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
79 / 87
Demostración: (continuación)
6
Probemos ahora que Φ(S) ⊆ S. Sea x ∈ S. Entonces
X
n
βj (Kx)Aj Kx − x0 kΦ(x) − x0 k
=
j=1
=
n
n
X
X
β
(Kx)A
Kx
−
β
(Kx)x
0
j
j
j
=
n
X
βj (Kx)(Aj Kx − x0 )
j=1
j=1
j=1
≤
¿Por qué?
≤
n
X
j=1
n
X
βj (Kx)Aj Kx − x0 βj (Kx) = 1.
j=1
Por lo tanto Φ(x) ∈ S; i.e. Φ(S) ⊆ S. Esto implica que Φ(S) ⊆ S.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
80 / 87
Demostración: (continuación)
7
Para cada j = 1, 2, . . . , n, el operador Aj K es compacto. Por lo tanto,
Aj K (S) es compacto. La unión finita de conjuntos compactos es
compacta, por lo que
n
[
Aj K (S)
es compacto.
j=1
8
Aplicamos ahora el
Teorema de Mazur: La cerradura de la envoltura convexa de un
conjunto compacto en un espacio de Banach es un conjunto
compacto.
[
n
Es decir, el conjunto C := hull
Aj K (S) es compacto.
j=1
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
81 / 87
Demostración: (continuación)
9
Como C es compacto y S es cerrado, la intersección C ∩ S es
compacta.
10
Como C es convexa y S es convexa, la intersección C ∩ S es convexa.
11
Como ya habı́amos notado, Φ(S) ⊆ S.
Además, como Φ es una combinación convexa de elementos en los
conjuntos Aj K (S), se tiene que Φ(S) ⊆ C.
Por lo tanto Φ(S) ⊆ C ∩ S. Esto implica que Φ(S) ⊆ C ∩ S y por lo
tanto que
Φ(C ∩ S) ⊆ C ∩ S.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
82 / 87
Demostración: (continuación)
12
Aplicamos ahora el
Teorema del punto fijo de Schauder: Una función continua de un
conjunto (no vacı́o) compacto y convexo (en un espacio de Banach)
en sı́ mismo tiene un punto fijo.
Por lo tanto existe x ∈ C ∩ S tal que Φ(x) = x. Es decir,
n
X
βj (Kx)Aj Kx = x.
j=1
Si definimos A :=
n
X
βj (Kx)Aj , entonces A ∈ A (pues A es un
j=1
álgebra) y se sigue que (AK − I )x = 0.
Como x ∈ S y 0 6∈ S se sigue que x 6= 0, i.e. ker(AK − I ) 6= {0}.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
83 / 87
”It is in particular an open question if there are operators
without nontrivial invariant subspaces in Hilbert space, and it is
an open question whether this question is interesting.”
Peter D. Lax, Functional Analysis. Wiley, 2002.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
84 / 87
Espero haberlos convencido de que
el problema sı́ es interesante.
Gracias por su atención.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
85 / 87
Fotos tomadas de las páginas:
MAA Convergence Collection. Images from the Paul R. Halmos
Photograph Collection:
http://www.maa.org/publications/periodicals/convergence/
whos-that-mathematician-images-from-the-paul-r-halmosphotograph-collection
MacTutor History of Mathematics
http://www-history.mcs.st-and.ac.uk/
Oberwolfach Photo Collection
http://owpdb.mfo.de/
Página de Michal Beneš:
http://www.karlin.mff.cuni.cz/~benes/mathphotos.html
Periódico Toronto Star.
http://www.thestar.com
Página de V. Lomonosov, Kent State University.
http://www.math.kent.edu/~lomonoso/
Página del Instituto de Matemáticas, Academia Polaca de Ciencias
http://www.impan.pl/EN/
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
86 / 87
Bibliografı́a
Peter Rosenthal y Heydar Radjavi, Invariant subspaces, segunda
edición, Dover, 2003.
John B. Conway, A course in functional analysis, segunda edición,
Springer, 1990.
R.A. Martı́nez Avendaño y Peter Rosenthal, Introduction to operators
on the Hardy-Hilbert space, Springer, 2007.
Isabelle Chalendar y Jonathan R. Partington, Modern approaches to
the invariant-subspace problem, Cambridge University Press, 2011.
Rubén A. Martı́nez-Avendaño (UAEH)
Problema del subspacio invariante
Escuela Análisis Matemático
87 / 87

Documentos relacionados