subespacios invariantes - um.es · el problema del subespacio invariante tiene todo t2l(e) un...
TRANSCRIPT
![Page 1: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/1.jpg)
Subespacios invariantes
Joan Cerda
Departament de Matematica Aplicada i Analisi; GARF, Barcelona
E-mail: [email protected]://www.mat.ub.edu/ cerda/
16 de abril de 2012
El problema Espectro Lomonosov Minimax
![Page 2: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/2.jpg)
EL PROBLEMA
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 3: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/3.jpg)
El problema del subespacio invariante
Tiene todo T ∈ L(E) un subespacio invariante?
T ∈ L(E). F subespacio T -invariante ⇔ F subespacio vectorial cerrado notrivial tal que T (F ) ⊂ F .
Per Enflo
Contraejemplos de Per Enflo (1976) con E Banach real o complejo y de J.Read (1985) en `1.E no separable y 0 6= x ∈ E ⇒ [x, Tx, T 2x, . . .] invariante.
Respuesta afirmativa para clases de operadores con cierta compacidad:
Caso de T tal que P (T ) compacto no nuloCaso de T tal que TK = KT (K compacto no nulo)Caso de T tal que TS = ST y SK = KS con K 6= 0 compacto y S 6= λI(S no escalar) ⇔ T “de Lomonosov”.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 4: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/4.jpg)
El problema del subespacio invariante
Tiene todo T ∈ L(E) un subespacio invariante?
T ∈ L(E). F subespacio T -invariante ⇔ F subespacio vectorial cerrado notrivial tal que T (F ) ⊂ F .
Per Enflo
Contraejemplos de Per Enflo (1976) con E Banach real o complejo y de J.Read (1985) en `1.E no separable y 0 6= x ∈ E ⇒ [x, Tx, T 2x, . . .] invariante.
Respuesta afirmativa para clases de operadores con cierta compacidad:
Caso de T tal que P (T ) compacto no nuloCaso de T tal que TK = KT (K compacto no nulo)Caso de T tal que TS = ST y SK = KS con K 6= 0 compacto y S 6= λI(S no escalar) ⇔ T “de Lomonosov”.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 5: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/5.jpg)
El problema del subespacio invariante
Tiene todo T ∈ L(E) un subespacio invariante?
T ∈ L(E). F subespacio T -invariante ⇔ F subespacio vectorial cerrado notrivial tal que T (F ) ⊂ F .
Per Enflo
Contraejemplos de Per Enflo (1976) con E Banach real o complejo y de J.Read (1985) en `1.E no separable y 0 6= x ∈ E ⇒ [x, Tx, T 2x, . . .] invariante.
Respuesta afirmativa para clases de operadores con cierta compacidad:
Caso de T tal que P (T ) compacto no nuloCaso de T tal que TK = KT (K compacto no nulo)Caso de T tal que TS = ST y SK = KS con K 6= 0 compacto y S 6= λI(S no escalar) ⇔ T “de Lomonosov”.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 6: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/6.jpg)
El problema del subespacio invariante
Tiene todo T ∈ L(E) un subespacio invariante?
T ∈ L(E). F subespacio T -invariante ⇔ F subespacio vectorial cerrado notrivial tal que T (F ) ⊂ F .
Per Enflo
Contraejemplos de Per Enflo (1976) con E Banach real o complejo y de J.Read (1985) en `1.E no separable y 0 6= x ∈ E ⇒ [x, Tx, T 2x, . . .] invariante.
Respuesta afirmativa para clases de operadores con cierta compacidad:
Caso de T tal que P (T ) compacto no nuloCaso de T tal que TK = KT (K compacto no nulo)Caso de T tal que TS = ST y SK = KS con K 6= 0 compacto y S 6= λI(S no escalar) ⇔ T “de Lomonosov”.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 7: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/7.jpg)
El problema del subespacio invariante
Tiene todo T ∈ L(E) un subespacio invariante?
T ∈ L(E). F subespacio T -invariante ⇔ F subespacio vectorial cerrado notrivial tal que T (F ) ⊂ F .
Per Enflo
Contraejemplos de Per Enflo (1976) con E Banach real o complejo y de J.Read (1985) en `1.E no separable y 0 6= x ∈ E ⇒ [x, Tx, T 2x, . . .] invariante.
Respuesta afirmativa para clases de operadores con cierta compacidad:
Caso de T tal que P (T ) compacto no nuloCaso de T tal que TK = KT (K compacto no nulo)Caso de T tal que TS = ST y SK = KS con K 6= 0 compacto y S 6= λI(S no escalar) ⇔ T “de Lomonosov”.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 8: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/8.jpg)
El problema del subespacio invariante
Tiene todo T ∈ L(E) un subespacio invariante?
T ∈ L(E). F subespacio T -invariante ⇔ F subespacio vectorial cerrado notrivial tal que T (F ) ⊂ F .
Per Enflo
Contraejemplos de Per Enflo (1976) con E Banach real o complejo y de J.Read (1985) en `1.E no separable y 0 6= x ∈ E ⇒ [x, Tx, T 2x, . . .] invariante.
Respuesta afirmativa para clases de operadores con cierta compacidad:
Caso de T tal que P (T ) compacto no nuloCaso de T tal que TK = KT (K compacto no nulo)Caso de T tal que TS = ST y SK = KS con K 6= 0 compacto y S 6= λI(S no escalar) ⇔ T “de Lomonosov”.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 9: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/9.jpg)
El problema del subespacio invariante
Tiene todo T ∈ L(E) un subespacio invariante?
T ∈ L(E). F subespacio T -invariante ⇔ F subespacio vectorial cerrado notrivial tal que T (F ) ⊂ F .
Per Enflo
Contraejemplos de Per Enflo (1976) con E Banach real o complejo y de J.Read (1985) en `1.E no separable y 0 6= x ∈ E ⇒ [x, Tx, T 2x, . . .] invariante.
Respuesta afirmativa para clases de operadores con cierta compacidad:
Caso de T tal que P (T ) compacto no nuloCaso de T tal que TK = KT (K compacto no nulo)Caso de T tal que TS = ST y SK = KS con K 6= 0 compacto y S 6= λI(S no escalar) ⇔ T “de Lomonosov”.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 10: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/10.jpg)
El problema del subespacio invariante
Tiene todo T ∈ L(E) un subespacio invariante?
T ∈ L(E). F subespacio T -invariante ⇔ F subespacio vectorial cerrado notrivial tal que T (F ) ⊂ F .
Per Enflo
Contraejemplos de Per Enflo (1976) con E Banach real o complejo y de J.Read (1985) en `1.E no separable y 0 6= x ∈ E ⇒ [x, Tx, T 2x, . . .] invariante.
Respuesta afirmativa para clases de operadores con cierta compacidad:
Caso de T tal que P (T ) compacto no nuloCaso de T tal que TK = KT (K compacto no nulo)Caso de T tal que TS = ST y SK = KS con K 6= 0 compacto y S 6= λI(S no escalar) ⇔ T “de Lomonosov”.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 11: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/11.jpg)
El resultado de John von Neumann (1935)
J. von Neumann: Todo K ∈ L(H) compacto (o sea, K(BH) compacto)en H, espacio de Hilbert de dimension infinita, tiene subespacioinvariante.
Demostrado por Aronszajn y Smith en 1954.
Problema abierto para T arbitrario sobre H!!
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 12: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/12.jpg)
El resultado de John von Neumann (1935)
J. von Neumann: Todo K ∈ L(H) compacto (o sea, K(BH) compacto)en H, espacio de Hilbert de dimension infinita, tiene subespacioinvariante.
Demostrado por Aronszajn y Smith en 1954.
Problema abierto para T arbitrario sobre H!!
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 13: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/13.jpg)
El resultado de John von Neumann (1935)
J. von Neumann: Todo K ∈ L(H) compacto (o sea, K(BH) compacto)en H, espacio de Hilbert de dimension infinita, tiene subespacioinvariante.
Demostrado por Aronszajn y Smith en 1954.
Problema abierto para T arbitrario sobre H!!
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 14: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/14.jpg)
Caso dimE <∞
Solucion completa considerando subespacios propios:
λ valor propio y N (λ) := Nuc (T − λI) ⇒ T (N (λ)) ⊂ N (λ) cerrado nonulo
Tambien AT = TA⇒ A(N (λ)) ⊂ N (λ):x ∈ N (λ)) ⇒ T (Ax) = A(Tx) = A(λx) = λAx ⇒ Ax ∈ N (λ).
Si N (λ) = E, T = λI es un operador escalar y todo subespacio esinvariante.
Si E es complejo y dimE <∞, T tiene valores propios (soluciones dedet(T − λI) = 0) −→ distincion entre casos K = C y K = R.
Falso si dimE =∞. Ejemplo: Volterra, V f(x) =∫ x0f sobre E = C[0, 1].
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 15: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/15.jpg)
Caso dimE <∞
Solucion completa considerando subespacios propios:
λ valor propio y N (λ) := Nuc (T − λI) ⇒ T (N (λ)) ⊂ N (λ) cerrado nonulo
Tambien AT = TA⇒ A(N (λ)) ⊂ N (λ):x ∈ N (λ)) ⇒ T (Ax) = A(Tx) = A(λx) = λAx ⇒ Ax ∈ N (λ).
Si N (λ) = E, T = λI es un operador escalar y todo subespacio esinvariante.
Si E es complejo y dimE <∞, T tiene valores propios (soluciones dedet(T − λI) = 0) −→ distincion entre casos K = C y K = R.
Falso si dimE =∞. Ejemplo: Volterra, V f(x) =∫ x0f sobre E = C[0, 1].
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 16: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/16.jpg)
Caso dimE <∞
Solucion completa considerando subespacios propios:
λ valor propio y N (λ) := Nuc (T − λI) ⇒ T (N (λ)) ⊂ N (λ) cerrado nonulo
Tambien AT = TA⇒ A(N (λ)) ⊂ N (λ):x ∈ N (λ)) ⇒ T (Ax) = A(Tx) = A(λx) = λAx ⇒ Ax ∈ N (λ).
Si N (λ) = E, T = λI es un operador escalar y todo subespacio esinvariante.
Si E es complejo y dimE <∞, T tiene valores propios (soluciones dedet(T − λI) = 0) −→ distincion entre casos K = C y K = R.
Falso si dimE =∞. Ejemplo: Volterra, V f(x) =∫ x0f sobre E = C[0, 1].
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 17: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/17.jpg)
Caso dimE <∞
Solucion completa considerando subespacios propios:
λ valor propio y N (λ) := Nuc (T − λI) ⇒ T (N (λ)) ⊂ N (λ) cerrado nonulo
Tambien AT = TA⇒ A(N (λ)) ⊂ N (λ):x ∈ N (λ)) ⇒ T (Ax) = A(Tx) = A(λx) = λAx ⇒ Ax ∈ N (λ).
Si N (λ) = E, T = λI es un operador escalar y todo subespacio esinvariante.
Si E es complejo y dimE <∞, T tiene valores propios (soluciones dedet(T − λI) = 0) −→ distincion entre casos K = C y K = R.
Falso si dimE =∞. Ejemplo: Volterra, V f(x) =∫ x0f sobre E = C[0, 1].
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 18: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/18.jpg)
Caso dimE <∞
Solucion completa considerando subespacios propios:
λ valor propio y N (λ) := Nuc (T − λI) ⇒ T (N (λ)) ⊂ N (λ) cerrado nonulo
Tambien AT = TA⇒ A(N (λ)) ⊂ N (λ):x ∈ N (λ)) ⇒ T (Ax) = A(Tx) = A(λx) = λAx ⇒ Ax ∈ N (λ).
Si N (λ) = E, T = λI es un operador escalar y todo subespacio esinvariante.
Si E es complejo y dimE <∞, T tiene valores propios (soluciones dedet(T − λI) = 0) −→ distincion entre casos K = C y K = R.
Falso si dimE =∞. Ejemplo: Volterra, V f(x) =∫ x0f sobre E = C[0, 1].
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 19: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/19.jpg)
Caso dimE <∞
Solucion completa considerando subespacios propios:
λ valor propio y N (λ) := Nuc (T − λI) ⇒ T (N (λ)) ⊂ N (λ) cerrado nonulo
Tambien AT = TA⇒ A(N (λ)) ⊂ N (λ):x ∈ N (λ)) ⇒ T (Ax) = A(Tx) = A(λx) = λAx ⇒ Ax ∈ N (λ).
Si N (λ) = E, T = λI es un operador escalar y todo subespacio esinvariante.
Si E es complejo y dimE <∞, T tiene valores propios (soluciones dedet(T − λI) = 0) −→ distincion entre casos K = C y K = R.
Falso si dimE =∞. Ejemplo: Volterra, V f(x) =∫ x0f sobre E = C[0, 1].
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 20: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/20.jpg)
Caso dimE <∞
Solucion completa considerando subespacios propios:
λ valor propio y N (λ) := Nuc (T − λI) ⇒ T (N (λ)) ⊂ N (λ) cerrado nonulo
Tambien AT = TA⇒ A(N (λ)) ⊂ N (λ):x ∈ N (λ)) ⇒ T (Ax) = A(Tx) = A(λx) = λAx ⇒ Ax ∈ N (λ).
Si N (λ) = E, T = λI es un operador escalar y todo subespacio esinvariante.
Si E es complejo y dimE <∞, T tiene valores propios (soluciones dedet(T − λI) = 0) −→ distincion entre casos K = C y K = R.
Falso si dimE =∞. Ejemplo: Volterra, V f(x) =∫ x0f sobre E = C[0, 1].
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 21: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/21.jpg)
Caso dimE <∞
Solucion completa considerando subespacios propios:
λ valor propio y N (λ) := Nuc (T − λI) ⇒ T (N (λ)) ⊂ N (λ) cerrado nonulo
Tambien AT = TA⇒ A(N (λ)) ⊂ N (λ):x ∈ N (λ)) ⇒ T (Ax) = A(Tx) = A(λx) = λAx ⇒ Ax ∈ N (λ).
Si N (λ) = E, T = λI es un operador escalar y todo subespacio esinvariante.
Si E es complejo y dimE <∞, T tiene valores propios (soluciones dedet(T − λI) = 0) −→ distincion entre casos K = C y K = R.
Falso si dimE =∞. Ejemplo: Volterra, V f(x) =∫ x0f sobre E = C[0, 1].
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 22: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/22.jpg)
Complexificacion de E Banach real
EC = E × E Banach complejo con:
x+ ıy := (x, y), r(x+ ıy) := rx+ ıry), i(x+ ıy) := −y + ıx‖x+ ıy‖ := maxϑ∈R ‖x cos(ϑ) + y sen(ϑ)‖E .TC : EC → EC tal que TC(x+ ıy) := Tx+ ıTy(ST )C = SCTC y ‖TC‖ = ‖T‖.
complexificacion
E real de dimension finita:dimE = n <∞ impar ⇒ T tiene valores propios y, por tanto, subespaciosinvariantesdimE = 2, rotaciones sin subespacios invariantes.2 < dimE <∞ par, TC tiene vector propio no nulo:Tx0 + ıTy0 = λ(x0 + ıy0) ⇒ F := [x0, y0] ⊂ E T -invariante.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 23: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/23.jpg)
Complexificacion de E Banach real
EC = E × E Banach complejo con:
x+ ıy := (x, y), r(x+ ıy) := rx+ ıry), i(x+ ıy) := −y + ıx‖x+ ıy‖ := maxϑ∈R ‖x cos(ϑ) + y sen(ϑ)‖E .TC : EC → EC tal que TC(x+ ıy) := Tx+ ıTy(ST )C = SCTC y ‖TC‖ = ‖T‖.
complexificacion
E real de dimension finita:dimE = n <∞ impar ⇒ T tiene valores propios y, por tanto, subespaciosinvariantesdimE = 2, rotaciones sin subespacios invariantes.2 < dimE <∞ par, TC tiene vector propio no nulo:Tx0 + ıTy0 = λ(x0 + ıy0) ⇒ F := [x0, y0] ⊂ E T -invariante.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 24: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/24.jpg)
Complexificacion de E Banach real
EC = E × E Banach complejo con:
x+ ıy := (x, y), r(x+ ıy) := rx+ ıry), i(x+ ıy) := −y + ıx‖x+ ıy‖ := maxϑ∈R ‖x cos(ϑ) + y sen(ϑ)‖E .TC : EC → EC tal que TC(x+ ıy) := Tx+ ıTy(ST )C = SCTC y ‖TC‖ = ‖T‖.
complexificacion
E real de dimension finita:dimE = n <∞ impar ⇒ T tiene valores propios y, por tanto, subespaciosinvariantesdimE = 2, rotaciones sin subespacios invariantes.2 < dimE <∞ par, TC tiene vector propio no nulo:Tx0 + ıTy0 = λ(x0 + ıy0) ⇒ F := [x0, y0] ⊂ E T -invariante.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 25: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/25.jpg)
Complexificacion de E Banach real
EC = E × E Banach complejo con:
x+ ıy := (x, y), r(x+ ıy) := rx+ ıry), i(x+ ıy) := −y + ıx‖x+ ıy‖ := maxϑ∈R ‖x cos(ϑ) + y sen(ϑ)‖E .TC : EC → EC tal que TC(x+ ıy) := Tx+ ıTy(ST )C = SCTC y ‖TC‖ = ‖T‖.
complexificacion
E real de dimension finita:dimE = n <∞ impar ⇒ T tiene valores propios y, por tanto, subespaciosinvariantesdimE = 2, rotaciones sin subespacios invariantes.2 < dimE <∞ par, TC tiene vector propio no nulo:Tx0 + ıTy0 = λ(x0 + ıy0) ⇒ F := [x0, y0] ⊂ E T -invariante.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 26: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/26.jpg)
Complexificacion de E Banach real
EC = E × E Banach complejo con:
x+ ıy := (x, y), r(x+ ıy) := rx+ ıry), i(x+ ıy) := −y + ıx‖x+ ıy‖ := maxϑ∈R ‖x cos(ϑ) + y sen(ϑ)‖E .TC : EC → EC tal que TC(x+ ıy) := Tx+ ıTy(ST )C = SCTC y ‖TC‖ = ‖T‖.
complexificacion
E real de dimension finita:dimE = n <∞ impar ⇒ T tiene valores propios y, por tanto, subespaciosinvariantesdimE = 2, rotaciones sin subespacios invariantes.2 < dimE <∞ par, TC tiene vector propio no nulo:Tx0 + ıTy0 = λ(x0 + ıy0) ⇒ F := [x0, y0] ⊂ E T -invariante.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 27: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/27.jpg)
Complexificacion de E Banach real
EC = E × E Banach complejo con:
x+ ıy := (x, y), r(x+ ıy) := rx+ ıry), i(x+ ıy) := −y + ıx‖x+ ıy‖ := maxϑ∈R ‖x cos(ϑ) + y sen(ϑ)‖E .TC : EC → EC tal que TC(x+ ıy) := Tx+ ıTy(ST )C = SCTC y ‖TC‖ = ‖T‖.
complexificacion
E real de dimension finita:dimE = n <∞ impar ⇒ T tiene valores propios y, por tanto, subespaciosinvariantesdimE = 2, rotaciones sin subespacios invariantes.2 < dimE <∞ par, TC tiene vector propio no nulo:Tx0 + ıTy0 = λ(x0 + ıy0) ⇒ F := [x0, y0] ⊂ E T -invariante.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 28: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/28.jpg)
Complexificacion de E Banach real
EC = E × E Banach complejo con:
x+ ıy := (x, y), r(x+ ıy) := rx+ ıry), i(x+ ıy) := −y + ıx‖x+ ıy‖ := maxϑ∈R ‖x cos(ϑ) + y sen(ϑ)‖E .TC : EC → EC tal que TC(x+ ıy) := Tx+ ıTy(ST )C = SCTC y ‖TC‖ = ‖T‖.
complexificacion
E real de dimension finita:dimE = n <∞ impar ⇒ T tiene valores propios y, por tanto, subespaciosinvariantesdimE = 2, rotaciones sin subespacios invariantes.2 < dimE <∞ par, TC tiene vector propio no nulo:Tx0 + ıTy0 = λ(x0 + ıy0) ⇒ F := [x0, y0] ⊂ E T -invariante.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 29: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/29.jpg)
Complexificacion de E Banach real
EC = E × E Banach complejo con:
x+ ıy := (x, y), r(x+ ıy) := rx+ ıry), i(x+ ıy) := −y + ıx‖x+ ıy‖ := maxϑ∈R ‖x cos(ϑ) + y sen(ϑ)‖E .TC : EC → EC tal que TC(x+ ıy) := Tx+ ıTy(ST )C = SCTC y ‖TC‖ = ‖T‖.
complexificacion
E real de dimension finita:dimE = n <∞ impar ⇒ T tiene valores propios y, por tanto, subespaciosinvariantesdimE = 2, rotaciones sin subespacios invariantes.2 < dimE <∞ par, TC tiene vector propio no nulo:Tx0 + ıTy0 = λ(x0 + ıy0) ⇒ F := [x0, y0] ⊂ E T -invariante.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 30: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/30.jpg)
Complexificacion de E Banach real
EC = E × E Banach complejo con:
x+ ıy := (x, y), r(x+ ıy) := rx+ ıry), i(x+ ıy) := −y + ıx‖x+ ıy‖ := maxϑ∈R ‖x cos(ϑ) + y sen(ϑ)‖E .TC : EC → EC tal que TC(x+ ıy) := Tx+ ıTy(ST )C = SCTC y ‖TC‖ = ‖T‖.
complexificacion
E real de dimension finita:dimE = n <∞ impar ⇒ T tiene valores propios y, por tanto, subespaciosinvariantesdimE = 2, rotaciones sin subespacios invariantes.2 < dimE <∞ par, TC tiene vector propio no nulo:Tx0 + ıTy0 = λ(x0 + ıy0) ⇒ F := [x0, y0] ⊂ E T -invariante.
El problema Espectro Lomonosov Minimax Historia dimE < ∞
![Page 31: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/31.jpg)
Dimension infinita→ Teoria espectral de operadores compactos para K = C
TEORIA ESPECTRAL
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 32: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/32.jpg)
Espectro σ(T ) de T ∈ L(E); K = C
σ(T ) = {λ; T − λI 6∈ L−1(E)} ⊃ σp(T ) = {λ; Nuc (T − λI) 6= {0}}
σ(T ) contenido en el disco {λ; |λ| ≤ ‖T‖}: |λ| > ‖T‖ ⇒ Tx− λx = ytiene solucion unica x, pues F (x) := λ−1(Tx− y) contractiva en E.
σ(T ) cerrado: Si λ0 6∈ σ(T ) y |λ− λ0|‖(T − λ0I)−1‖ < 1, la ecuacionTx− λx = y equivale a (T − λ0I)−1(y + (λ− λ0)x) = x y tiene solucionunica x, pues F (x) := (T − λ0I)−1(y + (λ− λ0)x) es contractiva en E.
Formula de Taylor (1938) - Gelfand (1941) para r := sup{|λ|; λ ∈ σ(T )}:
r = lımn‖Tn‖1/n = ınf
n‖Tn‖1/n(≤ ‖T‖)!!
Basada en propiedades de la funcion holomorfa vectorial R : C \ σ(T )→ L(E),
R(λ) := (T − λI)−1 =1
λ
1
I − T/λ ∈ L(E).
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 33: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/33.jpg)
Espectro σ(T ) de T ∈ L(E); K = C
σ(T ) = {λ; T − λI 6∈ L−1(E)} ⊃ σp(T ) = {λ; Nuc (T − λI) 6= {0}}
σ(T ) contenido en el disco {λ; |λ| ≤ ‖T‖}: |λ| > ‖T‖ ⇒ Tx− λx = ytiene solucion unica x, pues F (x) := λ−1(Tx− y) contractiva en E.
σ(T ) cerrado: Si λ0 6∈ σ(T ) y |λ− λ0|‖(T − λ0I)−1‖ < 1, la ecuacionTx− λx = y equivale a (T − λ0I)−1(y + (λ− λ0)x) = x y tiene solucionunica x, pues F (x) := (T − λ0I)−1(y + (λ− λ0)x) es contractiva en E.
Formula de Taylor (1938) - Gelfand (1941) para r := sup{|λ|; λ ∈ σ(T )}:
r = lımn‖Tn‖1/n = ınf
n‖Tn‖1/n(≤ ‖T‖)!!
Basada en propiedades de la funcion holomorfa vectorial R : C \ σ(T )→ L(E),
R(λ) := (T − λI)−1 =1
λ
1
I − T/λ ∈ L(E).
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 34: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/34.jpg)
Espectro σ(T ) de T ∈ L(E); K = C
σ(T ) = {λ; T − λI 6∈ L−1(E)} ⊃ σp(T ) = {λ; Nuc (T − λI) 6= {0}}
σ(T ) contenido en el disco {λ; |λ| ≤ ‖T‖}: |λ| > ‖T‖ ⇒ Tx− λx = ytiene solucion unica x, pues F (x) := λ−1(Tx− y) contractiva en E.
σ(T ) cerrado: Si λ0 6∈ σ(T ) y |λ− λ0|‖(T − λ0I)−1‖ < 1, la ecuacionTx− λx = y equivale a (T − λ0I)−1(y + (λ− λ0)x) = x y tiene solucionunica x, pues F (x) := (T − λ0I)−1(y + (λ− λ0)x) es contractiva en E.
Formula de Taylor (1938) - Gelfand (1941) para r := sup{|λ|; λ ∈ σ(T )}:
r = lımn‖Tn‖1/n = ınf
n‖Tn‖1/n(≤ ‖T‖)!!
Basada en propiedades de la funcion holomorfa vectorial R : C \ σ(T )→ L(E),
R(λ) := (T − λI)−1 =1
λ
1
I − T/λ ∈ L(E).
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 35: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/35.jpg)
Espectro σ(T ) de T ∈ L(E); K = C
σ(T ) = {λ; T − λI 6∈ L−1(E)} ⊃ σp(T ) = {λ; Nuc (T − λI) 6= {0}}
σ(T ) contenido en el disco {λ; |λ| ≤ ‖T‖}: |λ| > ‖T‖ ⇒ Tx− λx = ytiene solucion unica x, pues F (x) := λ−1(Tx− y) contractiva en E.
σ(T ) cerrado: Si λ0 6∈ σ(T ) y |λ− λ0|‖(T − λ0I)−1‖ < 1, la ecuacionTx− λx = y equivale a (T − λ0I)−1(y + (λ− λ0)x) = x y tiene solucionunica x, pues F (x) := (T − λ0I)−1(y + (λ− λ0)x) es contractiva en E.
Formula de Taylor (1938) - Gelfand (1941) para r := sup{|λ|; λ ∈ σ(T )}:
r = lımn‖Tn‖1/n = ınf
n‖Tn‖1/n(≤ ‖T‖)!!
Basada en propiedades de la funcion holomorfa vectorial R : C \ σ(T )→ L(E),
R(λ) := (T − λI)−1 =1
λ
1
I − T/λ ∈ L(E).
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 36: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/36.jpg)
Espectro σ(T ) de T ∈ L(E); K = C
σ(T ) = {λ; T − λI 6∈ L−1(E)} ⊃ σp(T ) = {λ; Nuc (T − λI) 6= {0}}
σ(T ) contenido en el disco {λ; |λ| ≤ ‖T‖}: |λ| > ‖T‖ ⇒ Tx− λx = ytiene solucion unica x, pues F (x) := λ−1(Tx− y) contractiva en E.
σ(T ) cerrado: Si λ0 6∈ σ(T ) y |λ− λ0|‖(T − λ0I)−1‖ < 1, la ecuacionTx− λx = y equivale a (T − λ0I)−1(y + (λ− λ0)x) = x y tiene solucionunica x, pues F (x) := (T − λ0I)−1(y + (λ− λ0)x) es contractiva en E.
Formula de Taylor (1938) - Gelfand (1941) para r := sup{|λ|; λ ∈ σ(T )}:
r = lımn‖Tn‖1/n = ınf
n‖Tn‖1/n(≤ ‖T‖)!!
Basada en propiedades de la funcion holomorfa vectorial R : C \ σ(T )→ L(E),
R(λ) := (T − λI)−1 =1
λ
1
I − T/λ ∈ L(E).
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 37: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/37.jpg)
Espectro σ(T ) de T ∈ L(E); K = C
σ(T ) = {λ; T − λI 6∈ L−1(E)} ⊃ σp(T ) = {λ; Nuc (T − λI) 6= {0}}
σ(T ) contenido en el disco {λ; |λ| ≤ ‖T‖}: |λ| > ‖T‖ ⇒ Tx− λx = ytiene solucion unica x, pues F (x) := λ−1(Tx− y) contractiva en E.
σ(T ) cerrado: Si λ0 6∈ σ(T ) y |λ− λ0|‖(T − λ0I)−1‖ < 1, la ecuacionTx− λx = y equivale a (T − λ0I)−1(y + (λ− λ0)x) = x y tiene solucionunica x, pues F (x) := (T − λ0I)−1(y + (λ− λ0)x) es contractiva en E.
Formula de Taylor (1938) - Gelfand (1941) para r := sup{|λ|; λ ∈ σ(T )}:
r = lımn‖Tn‖1/n = ınf
n‖Tn‖1/n(≤ ‖T‖)!!
Basada en propiedades de la funcion holomorfa vectorial R : C \ σ(T )→ L(E),
R(λ) := (T − λI)−1 =1
λ
1
I − T/λ ∈ L(E).
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 38: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/38.jpg)
Caso de K ∈ L(E) compacto
K ∈ L(E) compacto ⇔ K(BE) compacto, o sea,
‖xn‖ ≤M ⇒ ∃{xnk} convergente
Si K = I ⇒ dimE <∞ y E ≡ Kn (BE compacta ⇒ dimE = n <∞ yE ≡ Kn).
Teorema
Si λ 6= 0,
dimN (λ) <∞, pues K = λI sobre N (λ).
N (λ) = 0⇒ Im (K − λI) = E. Por tanto, σp(K) \ {0} = σ(K) \ {0}!!.
Corolario
Si K = C, K compacto y r = ınfn ‖Kn‖1/n > 0, entonces
r = max{|λ|; λ ∈ σp(K)} = |λ0| = lımn‖Kn‖1/n.
Existe λ0 ∈ σp(K) \ {0} y dimN (λ0) <∞.
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 39: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/39.jpg)
Caso de K ∈ L(E) compacto
K ∈ L(E) compacto ⇔ K(BE) compacto, o sea,
‖xn‖ ≤M ⇒ ∃{xnk} convergente
Si K = I ⇒ dimE <∞ y E ≡ Kn (BE compacta ⇒ dimE = n <∞ yE ≡ Kn).
Teorema
Si λ 6= 0,
dimN (λ) <∞, pues K = λI sobre N (λ).
N (λ) = 0⇒ Im (K − λI) = E. Por tanto, σp(K) \ {0} = σ(K) \ {0}!!.
Corolario
Si K = C, K compacto y r = ınfn ‖Kn‖1/n > 0, entonces
r = max{|λ|; λ ∈ σp(K)} = |λ0| = lımn‖Kn‖1/n.
Existe λ0 ∈ σp(K) \ {0} y dimN (λ0) <∞.
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 40: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/40.jpg)
Caso de K ∈ L(E) compacto
K ∈ L(E) compacto ⇔ K(BE) compacto, o sea,
‖xn‖ ≤M ⇒ ∃{xnk} convergente
Si K = I ⇒ dimE <∞ y E ≡ Kn (BE compacta ⇒ dimE = n <∞ yE ≡ Kn).
Teorema
Si λ 6= 0,
dimN (λ) <∞, pues K = λI sobre N (λ).
N (λ) = 0⇒ Im (K − λI) = E. Por tanto, σp(K) \ {0} = σ(K) \ {0}!!.
Corolario
Si K = C, K compacto y r = ınfn ‖Kn‖1/n > 0, entonces
r = max{|λ|; λ ∈ σp(K)} = |λ0| = lımn‖Kn‖1/n.
Existe λ0 ∈ σp(K) \ {0} y dimN (λ0) <∞.
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 41: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/41.jpg)
Caso de K ∈ L(E) compacto
K ∈ L(E) compacto ⇔ K(BE) compacto, o sea,
‖xn‖ ≤M ⇒ ∃{xnk} convergente
Si K = I ⇒ dimE <∞ y E ≡ Kn (BE compacta ⇒ dimE = n <∞ yE ≡ Kn).
Teorema
Si λ 6= 0,
dimN (λ) <∞, pues K = λI sobre N (λ).
N (λ) = 0⇒ Im (K − λI) = E. Por tanto, σp(K) \ {0} = σ(K) \ {0}!!.
Corolario
Si K = C, K compacto y r = ınfn ‖Kn‖1/n > 0, entonces
r = max{|λ|; λ ∈ σp(K)} = |λ0| = lımn‖Kn‖1/n.
Existe λ0 ∈ σp(K) \ {0} y dimN (λ0) <∞.
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 42: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/42.jpg)
Caso de K ∈ L(E) compacto
K ∈ L(E) compacto ⇔ K(BE) compacto, o sea,
‖xn‖ ≤M ⇒ ∃{xnk} convergente
Si K = I ⇒ dimE <∞ y E ≡ Kn (BE compacta ⇒ dimE = n <∞ yE ≡ Kn).
Teorema
Si λ 6= 0,
dimN (λ) <∞, pues K = λI sobre N (λ).
N (λ) = 0⇒ Im (K − λI) = E. Por tanto, σp(K) \ {0} = σ(K) \ {0}!!.
Corolario
Si K = C, K compacto y r = ınfn ‖Kn‖1/n > 0, entonces
r = max{|λ|; λ ∈ σp(K)} = |λ0| = lımn‖Kn‖1/n.
Existe λ0 ∈ σp(K) \ {0} y dimN (λ0) <∞.
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 43: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/43.jpg)
Caso de K ∈ L(E) compacto
K ∈ L(E) compacto ⇔ K(BE) compacto, o sea,
‖xn‖ ≤M ⇒ ∃{xnk} convergente
Si K = I ⇒ dimE <∞ y E ≡ Kn (BE compacta ⇒ dimE = n <∞ yE ≡ Kn).
Teorema
Si λ 6= 0,
dimN (λ) <∞, pues K = λI sobre N (λ).
N (λ) = 0⇒ Im (K − λI) = E. Por tanto, σp(K) \ {0} = σ(K) \ {0}!!.
Corolario
Si K = C, K compacto y r = ınfn ‖Kn‖1/n > 0, entonces
r = max{|λ|; λ ∈ σp(K)} = |λ0| = lımn‖Kn‖1/n.
Existe λ0 ∈ σp(K) \ {0} y dimN (λ0) <∞.
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 44: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/44.jpg)
Caso de K ∈ L(E) compacto
K ∈ L(E) compacto ⇔ K(BE) compacto, o sea,
‖xn‖ ≤M ⇒ ∃{xnk} convergente
Si K = I ⇒ dimE <∞ y E ≡ Kn (BE compacta ⇒ dimE = n <∞ yE ≡ Kn).
Teorema
Si λ 6= 0,
dimN (λ) <∞, pues K = λI sobre N (λ).
N (λ) = 0⇒ Im (K − λI) = E. Por tanto, σp(K) \ {0} = σ(K) \ {0}!!.
Corolario
Si K = C, K compacto y r = ınfn ‖Kn‖1/n > 0, entonces
r = max{|λ|; λ ∈ σp(K)} = |λ0| = lımn‖Kn‖1/n.
Existe λ0 ∈ σp(K) \ {0} y dimN (λ0) <∞.
El problema Espectro Lomonosov Minimax Espectro de un operador Operadores compactos
![Page 45: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/45.jpg)
LOMONOSOV
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 46: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/46.jpg)
Subespacios T -hiperinvariantes
Si dimE =∞ y λ ∈ σp(T ), valor propio de T , N (λ) := Nuc (T − λI)subespacio T -invariante; sobre el, T = λI.
N (λ) tambien es A-invariante para todo A ∈ L(E) tal que AT = TA.
Se dice que F es hiperinvariante para T si es A-invariante para todoA ∈ L(E) tal que AT = TA.
Notacion: {T}′ := {A; AT = TA}, y F hiperinvariante significa que es{T}′−invariante.
Hay subespacio hiperinvariante F si y solo si
{T}′(x) = {Ax; AT = TA} 6= E
para algun x 6= 0 (F = {T}′(x)): hiperinvariante
Si F := {T}′(x) y A ∈ {T}′, para todo Sx con S ∈ {T}′ se tieneASx ∈ F ya que AS ∈ {T}′.F := {T}′(x) 6= E con x 6= 0, se tiene x ∈ F y F es no trivial.Inversamente,F {T}′−invariante y 0 6= x ∈ F ⇒ {T}′(x) ⊂ F no trivial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 47: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/47.jpg)
Subespacios T -hiperinvariantes
Si dimE =∞ y λ ∈ σp(T ), valor propio de T , N (λ) := Nuc (T − λI)subespacio T -invariante; sobre el, T = λI.
N (λ) tambien es A-invariante para todo A ∈ L(E) tal que AT = TA.
Se dice que F es hiperinvariante para T si es A-invariante para todoA ∈ L(E) tal que AT = TA.
Notacion: {T}′ := {A; AT = TA}, y F hiperinvariante significa que es{T}′−invariante.
Hay subespacio hiperinvariante F si y solo si
{T}′(x) = {Ax; AT = TA} 6= E
para algun x 6= 0 (F = {T}′(x)): hiperinvariante
Si F := {T}′(x) y A ∈ {T}′, para todo Sx con S ∈ {T}′ se tieneASx ∈ F ya que AS ∈ {T}′.F := {T}′(x) 6= E con x 6= 0, se tiene x ∈ F y F es no trivial.Inversamente,F {T}′−invariante y 0 6= x ∈ F ⇒ {T}′(x) ⊂ F no trivial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 48: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/48.jpg)
Subespacios T -hiperinvariantes
Si dimE =∞ y λ ∈ σp(T ), valor propio de T , N (λ) := Nuc (T − λI)subespacio T -invariante; sobre el, T = λI.
N (λ) tambien es A-invariante para todo A ∈ L(E) tal que AT = TA.
Se dice que F es hiperinvariante para T si es A-invariante para todoA ∈ L(E) tal que AT = TA.
Notacion: {T}′ := {A; AT = TA}, y F hiperinvariante significa que es{T}′−invariante.
Hay subespacio hiperinvariante F si y solo si
{T}′(x) = {Ax; AT = TA} 6= E
para algun x 6= 0 (F = {T}′(x)): hiperinvariante
Si F := {T}′(x) y A ∈ {T}′, para todo Sx con S ∈ {T}′ se tieneASx ∈ F ya que AS ∈ {T}′.F := {T}′(x) 6= E con x 6= 0, se tiene x ∈ F y F es no trivial.Inversamente,F {T}′−invariante y 0 6= x ∈ F ⇒ {T}′(x) ⊂ F no trivial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 49: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/49.jpg)
Subespacios T -hiperinvariantes
Si dimE =∞ y λ ∈ σp(T ), valor propio de T , N (λ) := Nuc (T − λI)subespacio T -invariante; sobre el, T = λI.
N (λ) tambien es A-invariante para todo A ∈ L(E) tal que AT = TA.
Se dice que F es hiperinvariante para T si es A-invariante para todoA ∈ L(E) tal que AT = TA.
Notacion: {T}′ := {A; AT = TA}, y F hiperinvariante significa que es{T}′−invariante.
Hay subespacio hiperinvariante F si y solo si
{T}′(x) = {Ax; AT = TA} 6= E
para algun x 6= 0 (F = {T}′(x)): hiperinvariante
Si F := {T}′(x) y A ∈ {T}′, para todo Sx con S ∈ {T}′ se tieneASx ∈ F ya que AS ∈ {T}′.F := {T}′(x) 6= E con x 6= 0, se tiene x ∈ F y F es no trivial.Inversamente,F {T}′−invariante y 0 6= x ∈ F ⇒ {T}′(x) ⊂ F no trivial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 50: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/50.jpg)
Subespacios T -hiperinvariantes
Si dimE =∞ y λ ∈ σp(T ), valor propio de T , N (λ) := Nuc (T − λI)subespacio T -invariante; sobre el, T = λI.
N (λ) tambien es A-invariante para todo A ∈ L(E) tal que AT = TA.
Se dice que F es hiperinvariante para T si es A-invariante para todoA ∈ L(E) tal que AT = TA.
Notacion: {T}′ := {A; AT = TA}, y F hiperinvariante significa que es{T}′−invariante.
Hay subespacio hiperinvariante F si y solo si
{T}′(x) = {Ax; AT = TA} 6= E
para algun x 6= 0 (F = {T}′(x)): hiperinvariante
Si F := {T}′(x) y A ∈ {T}′, para todo Sx con S ∈ {T}′ se tieneASx ∈ F ya que AS ∈ {T}′.F := {T}′(x) 6= E con x 6= 0, se tiene x ∈ F y F es no trivial.Inversamente,F {T}′−invariante y 0 6= x ∈ F ⇒ {T}′(x) ⊂ F no trivial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 51: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/51.jpg)
Subespacios T -hiperinvariantes
Si dimE =∞ y λ ∈ σp(T ), valor propio de T , N (λ) := Nuc (T − λI)subespacio T -invariante; sobre el, T = λI.
N (λ) tambien es A-invariante para todo A ∈ L(E) tal que AT = TA.
Se dice que F es hiperinvariante para T si es A-invariante para todoA ∈ L(E) tal que AT = TA.
Notacion: {T}′ := {A; AT = TA}, y F hiperinvariante significa que es{T}′−invariante.
Hay subespacio hiperinvariante F si y solo si
{T}′(x) = {Ax; AT = TA} 6= E
para algun x 6= 0 (F = {T}′(x)): hiperinvariante
Si F := {T}′(x) y A ∈ {T}′, para todo Sx con S ∈ {T}′ se tieneASx ∈ F ya que AS ∈ {T}′.F := {T}′(x) 6= E con x 6= 0, se tiene x ∈ F y F es no trivial.Inversamente,F {T}′−invariante y 0 6= x ∈ F ⇒ {T}′(x) ⊂ F no trivial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 52: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/52.jpg)
Subespacios T -hiperinvariantes
Si dimE =∞ y λ ∈ σp(T ), valor propio de T , N (λ) := Nuc (T − λI)subespacio T -invariante; sobre el, T = λI.
N (λ) tambien es A-invariante para todo A ∈ L(E) tal que AT = TA.
Se dice que F es hiperinvariante para T si es A-invariante para todoA ∈ L(E) tal que AT = TA.
Notacion: {T}′ := {A; AT = TA}, y F hiperinvariante significa que es{T}′−invariante.
Hay subespacio hiperinvariante F si y solo si
{T}′(x) = {Ax; AT = TA} 6= E
para algun x 6= 0 (F = {T}′(x)): hiperinvariante
Si F := {T}′(x) y A ∈ {T}′, para todo Sx con S ∈ {T}′ se tieneASx ∈ F ya que AS ∈ {T}′.F := {T}′(x) 6= E con x 6= 0, se tiene x ∈ F y F es no trivial.Inversamente,F {T}′−invariante y 0 6= x ∈ F ⇒ {T}′(x) ⊂ F no trivial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 53: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/53.jpg)
Subespacios T -hiperinvariantes
Si dimE =∞ y λ ∈ σp(T ), valor propio de T , N (λ) := Nuc (T − λI)subespacio T -invariante; sobre el, T = λI.
N (λ) tambien es A-invariante para todo A ∈ L(E) tal que AT = TA.
Se dice que F es hiperinvariante para T si es A-invariante para todoA ∈ L(E) tal que AT = TA.
Notacion: {T}′ := {A; AT = TA}, y F hiperinvariante significa que es{T}′−invariante.
Hay subespacio hiperinvariante F si y solo si
{T}′(x) = {Ax; AT = TA} 6= E
para algun x 6= 0 (F = {T}′(x)): hiperinvariante
Si F := {T}′(x) y A ∈ {T}′, para todo Sx con S ∈ {T}′ se tieneASx ∈ F ya que AS ∈ {T}′.F := {T}′(x) 6= E con x 6= 0, se tiene x ∈ F y F es no trivial.Inversamente,F {T}′−invariante y 0 6= x ∈ F ⇒ {T}′(x) ⊂ F no trivial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 54: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/54.jpg)
Subespacios T -hiperinvariantes
Si dimE =∞ y λ ∈ σp(T ), valor propio de T , N (λ) := Nuc (T − λI)subespacio T -invariante; sobre el, T = λI.
N (λ) tambien es A-invariante para todo A ∈ L(E) tal que AT = TA.
Se dice que F es hiperinvariante para T si es A-invariante para todoA ∈ L(E) tal que AT = TA.
Notacion: {T}′ := {A; AT = TA}, y F hiperinvariante significa que es{T}′−invariante.
Hay subespacio hiperinvariante F si y solo si
{T}′(x) = {Ax; AT = TA} 6= E
para algun x 6= 0 (F = {T}′(x)): hiperinvariante
Si F := {T}′(x) y A ∈ {T}′, para todo Sx con S ∈ {T}′ se tieneASx ∈ F ya que AS ∈ {T}′.F := {T}′(x) 6= E con x 6= 0, se tiene x ∈ F y F es no trivial.Inversamente,F {T}′−invariante y 0 6= x ∈ F ⇒ {T}′(x) ⊂ F no trivial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 55: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/55.jpg)
Subespacios T -hiperinvariantes
Si dimE =∞ y λ ∈ σp(T ), valor propio de T , N (λ) := Nuc (T − λI)subespacio T -invariante; sobre el, T = λI.
N (λ) tambien es A-invariante para todo A ∈ L(E) tal que AT = TA.
Se dice que F es hiperinvariante para T si es A-invariante para todoA ∈ L(E) tal que AT = TA.
Notacion: {T}′ := {A; AT = TA}, y F hiperinvariante significa que es{T}′−invariante.
Hay subespacio hiperinvariante F si y solo si
{T}′(x) = {Ax; AT = TA} 6= E
para algun x 6= 0 (F = {T}′(x)): hiperinvariante
Si F := {T}′(x) y A ∈ {T}′, para todo Sx con S ∈ {T}′ se tieneASx ∈ F ya que AS ∈ {T}′.F := {T}′(x) 6= E con x 6= 0, se tiene x ∈ F y F es no trivial.Inversamente,F {T}′−invariante y 0 6= x ∈ F ⇒ {T}′(x) ⊂ F no trivial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 56: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/56.jpg)
Viktor Lomonosov
Viktor Lomonosov (1973): todo T que conmuta con algun operadorcompacto no nulo tiene subespacio invariante (usando el teorema delpunto fijo).
Prueba simple sin usar punto fijo (Hilden).
El metodo de Lomonosov se aplica a mas operadores: si E complejo,existe subespacio hiperinvariante para todo T que conmuta con unoperador no escalar (6= λI) que conmuta con un operador compacto (T deLomonosov).
El caso real es especial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 57: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/57.jpg)
Viktor Lomonosov
Viktor Lomonosov (1973): todo T que conmuta con algun operadorcompacto no nulo tiene subespacio invariante (usando el teorema delpunto fijo).
Prueba simple sin usar punto fijo (Hilden).
El metodo de Lomonosov se aplica a mas operadores: si E complejo,existe subespacio hiperinvariante para todo T que conmuta con unoperador no escalar (6= λI) que conmuta con un operador compacto (T deLomonosov).
El caso real es especial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 58: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/58.jpg)
Viktor Lomonosov
Viktor Lomonosov (1973): todo T que conmuta con algun operadorcompacto no nulo tiene subespacio invariante (usando el teorema delpunto fijo).
Prueba simple sin usar punto fijo (Hilden).
El metodo de Lomonosov se aplica a mas operadores: si E complejo,existe subespacio hiperinvariante para todo T que conmuta con unoperador no escalar (6= λI) que conmuta con un operador compacto (T deLomonosov).
El caso real es especial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 59: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/59.jpg)
Viktor Lomonosov
Viktor Lomonosov (1973): todo T que conmuta con algun operadorcompacto no nulo tiene subespacio invariante (usando el teorema delpunto fijo).
Prueba simple sin usar punto fijo (Hilden).
El metodo de Lomonosov se aplica a mas operadores: si E complejo,existe subespacio hiperinvariante para todo T que conmuta con unoperador no escalar (6= λI) que conmuta con un operador compacto (T deLomonosov).
El caso real es especial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 60: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/60.jpg)
Viktor Lomonosov
Viktor Lomonosov (1973): todo T que conmuta con algun operadorcompacto no nulo tiene subespacio invariante (usando el teorema delpunto fijo).
Prueba simple sin usar punto fijo (Hilden).
El metodo de Lomonosov se aplica a mas operadores: si E complejo,existe subespacio hiperinvariante para todo T que conmuta con unoperador no escalar (6= λI) que conmuta con un operador compacto (T deLomonosov).
El caso real es especial.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 61: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/61.jpg)
Von Neumann-Aronszajn-Smith-Lomonosov (E real o complejo)
Teorema
Todo K ∈ L(E) compacto no nulo tiene subespacio hiperinvariante.
Caso lımn→∞ ‖Kn‖1/n = ınfn ‖Kn‖1/n > 0.
E complejo: existe 0 6= λ ∈ σ(K) (r > 0) ⇒ λ valor propio y N (λ) eshiperinvariante (de dimension finita).
E real:KC : EC → EC es compacto y ınfn ‖Kn
C ‖1/n = ınfn ‖Kn‖1/n > 0 ⇒∃NKC (λ) = [x1 + ıy1, . . . , xn + ıyn] hiperinvariante, con ACKC = KCACsi A ∈ {K}′ ⇒ F := [x1, . . . , xn, y1, . . . , yn] ⊂ E es {K}′-invariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 62: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/62.jpg)
Von Neumann-Aronszajn-Smith-Lomonosov (E real o complejo)
Teorema
Todo K ∈ L(E) compacto no nulo tiene subespacio hiperinvariante.
Caso lımn→∞ ‖Kn‖1/n = ınfn ‖Kn‖1/n > 0.
E complejo: existe 0 6= λ ∈ σ(K) (r > 0) ⇒ λ valor propio y N (λ) eshiperinvariante (de dimension finita).
E real:KC : EC → EC es compacto y ınfn ‖Kn
C ‖1/n = ınfn ‖Kn‖1/n > 0 ⇒∃NKC (λ) = [x1 + ıy1, . . . , xn + ıyn] hiperinvariante, con ACKC = KCACsi A ∈ {K}′ ⇒ F := [x1, . . . , xn, y1, . . . , yn] ⊂ E es {K}′-invariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 63: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/63.jpg)
Von Neumann-Aronszajn-Smith-Lomonosov (E real o complejo)
Teorema
Todo K ∈ L(E) compacto no nulo tiene subespacio hiperinvariante.
Caso lımn→∞ ‖Kn‖1/n = ınfn ‖Kn‖1/n > 0.
E complejo: existe 0 6= λ ∈ σ(K) (r > 0) ⇒ λ valor propio y N (λ) eshiperinvariante (de dimension finita).
E real:KC : EC → EC es compacto y ınfn ‖Kn
C ‖1/n = ınfn ‖Kn‖1/n > 0 ⇒∃NKC (λ) = [x1 + ıy1, . . . , xn + ıyn] hiperinvariante, con ACKC = KCACsi A ∈ {K}′ ⇒ F := [x1, . . . , xn, y1, . . . , yn] ⊂ E es {K}′-invariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 64: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/64.jpg)
Von Neumann-Aronszajn-Smith-Lomonosov (E real o complejo)
Teorema
Todo K ∈ L(E) compacto no nulo tiene subespacio hiperinvariante.
Caso lımn→∞ ‖Kn‖1/n = ınfn ‖Kn‖1/n > 0.
E complejo: existe 0 6= λ ∈ σ(K) (r > 0) ⇒ λ valor propio y N (λ) eshiperinvariante (de dimension finita).
E real:KC : EC → EC es compacto y ınfn ‖Kn
C ‖1/n = ınfn ‖Kn‖1/n > 0 ⇒∃NKC (λ) = [x1 + ıy1, . . . , xn + ıyn] hiperinvariante, con ACKC = KCACsi A ∈ {K}′ ⇒ F := [x1, . . . , xn, y1, . . . , yn] ⊂ E es {K}′-invariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 65: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/65.jpg)
Von Neumann-Aronszajn-Smith-Lomonosov (E real o complejo)
Teorema
Todo K ∈ L(E) compacto no nulo tiene subespacio hiperinvariante.
Caso lımn→∞ ‖Kn‖1/n = ınfn ‖Kn‖1/n > 0.
E complejo: existe 0 6= λ ∈ σ(K) (r > 0) ⇒ λ valor propio y N (λ) eshiperinvariante (de dimension finita).
E real:KC : EC → EC es compacto y ınfn ‖Kn
C ‖1/n = ınfn ‖Kn‖1/n > 0 ⇒∃NKC (λ) = [x1 + ıy1, . . . , xn + ıyn] hiperinvariante, con ACKC = KCACsi A ∈ {K}′ ⇒ F := [x1, . . . , xn, y1, . . . , yn] ⊂ E es {K}′-invariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 66: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/66.jpg)
Von Neumann-Aronszajn-Smith-Lomonosov (caso r = 0)
Teorema
Todo K ∈ L(E) compacto o nulo tiene subespacio hiperinvariante.
Caso lımn→∞ ‖Kn‖1/n = ınfn ‖Kn‖1/n = 0.
Se puede suponer ‖K‖ = 1
Ad abs. suponer {K}′(x) = E para todo x 6= 0
∃‖x0‖ > 1 con ‖Kx0‖ > 1 (‖K‖ = 1) ⇒ 0 6∈ B(x0) = {x; ‖x− x0‖ ≤ 1}y 0 6∈ K(B(x0)).
{K}′(x) = E ⇒ ∃A ∈ {K}′ t.q. ‖Ax− x0‖ < 1.
K(B(x0)) ⊂ E \ {0} ⊂⋃A∈{K}′{x ∈ E; ‖Ax− x0‖ < 1}, con K(B(x0))
compacto.
hiperinvariante1
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 67: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/67.jpg)
Von Neumann-Aronszajn-Smith-Lomonosov (caso r = 0)
Teorema
Todo K ∈ L(E) compacto o nulo tiene subespacio hiperinvariante.
Caso lımn→∞ ‖Kn‖1/n = ınfn ‖Kn‖1/n = 0.
Se puede suponer ‖K‖ = 1
Ad abs. suponer {K}′(x) = E para todo x 6= 0
∃‖x0‖ > 1 con ‖Kx0‖ > 1 (‖K‖ = 1) ⇒ 0 6∈ B(x0) = {x; ‖x− x0‖ ≤ 1}y 0 6∈ K(B(x0)).
{K}′(x) = E ⇒ ∃A ∈ {K}′ t.q. ‖Ax− x0‖ < 1.
K(B(x0)) ⊂ E \ {0} ⊂⋃A∈{K}′{x ∈ E; ‖Ax− x0‖ < 1}, con K(B(x0))
compacto.
hiperinvariante1
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 68: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/68.jpg)
Von Neumann-Aronszajn-Smith-Lomonosov (caso r = 0)
Teorema
Todo K ∈ L(E) compacto o nulo tiene subespacio hiperinvariante.
Caso lımn→∞ ‖Kn‖1/n = ınfn ‖Kn‖1/n = 0.
Se puede suponer ‖K‖ = 1
Ad abs. suponer {K}′(x) = E para todo x 6= 0
∃‖x0‖ > 1 con ‖Kx0‖ > 1 (‖K‖ = 1) ⇒ 0 6∈ B(x0) = {x; ‖x− x0‖ ≤ 1}y 0 6∈ K(B(x0)).
{K}′(x) = E ⇒ ∃A ∈ {K}′ t.q. ‖Ax− x0‖ < 1.
K(B(x0)) ⊂ E \ {0} ⊂⋃A∈{K}′{x ∈ E; ‖Ax− x0‖ < 1}, con K(B(x0))
compacto.
hiperinvariante1
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 69: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/69.jpg)
Von Neumann-Aronszajn-Smith-Lomonosov (caso r = 0)
Teorema
Todo K ∈ L(E) compacto o nulo tiene subespacio hiperinvariante.
Caso lımn→∞ ‖Kn‖1/n = ınfn ‖Kn‖1/n = 0.
Se puede suponer ‖K‖ = 1
Ad abs. suponer {K}′(x) = E para todo x 6= 0
∃‖x0‖ > 1 con ‖Kx0‖ > 1 (‖K‖ = 1) ⇒ 0 6∈ B(x0) = {x; ‖x− x0‖ ≤ 1}y 0 6∈ K(B(x0)).
{K}′(x) = E ⇒ ∃A ∈ {K}′ t.q. ‖Ax− x0‖ < 1.
K(B(x0)) ⊂ E \ {0} ⊂⋃A∈{K}′{x ∈ E; ‖Ax− x0‖ < 1}, con K(B(x0))
compacto.
hiperinvariante1
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 70: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/70.jpg)
Von Neumann-Aronszajn-Smith-Lomonosov (caso r = 0)
Teorema
Todo K ∈ L(E) compacto o nulo tiene subespacio hiperinvariante.
Caso lımn→∞ ‖Kn‖1/n = ınfn ‖Kn‖1/n = 0.
Se puede suponer ‖K‖ = 1
Ad abs. suponer {K}′(x) = E para todo x 6= 0
∃‖x0‖ > 1 con ‖Kx0‖ > 1 (‖K‖ = 1) ⇒ 0 6∈ B(x0) = {x; ‖x− x0‖ ≤ 1}y 0 6∈ K(B(x0)).
{K}′(x) = E ⇒ ∃A ∈ {K}′ t.q. ‖Ax− x0‖ < 1.
K(B(x0)) ⊂ E \ {0} ⊂⋃A∈{K}′{x ∈ E; ‖Ax− x0‖ < 1}, con K(B(x0))
compacto.
hiperinvariante1
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 71: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/71.jpg)
Von Neumann-Aronszajn-Smith-Lomonosov (caso r = 0)
Teorema
Todo K ∈ L(E) compacto o nulo tiene subespacio hiperinvariante.
Caso lımn→∞ ‖Kn‖1/n = ınfn ‖Kn‖1/n = 0.
Se puede suponer ‖K‖ = 1
Ad abs. suponer {K}′(x) = E para todo x 6= 0
∃‖x0‖ > 1 con ‖Kx0‖ > 1 (‖K‖ = 1) ⇒ 0 6∈ B(x0) = {x; ‖x− x0‖ ≤ 1}y 0 6∈ K(B(x0)).
{K}′(x) = E ⇒ ∃A ∈ {K}′ t.q. ‖Ax− x0‖ < 1.
K(B(x0)) ⊂ E \ {0} ⊂⋃A∈{K}′{x ∈ E; ‖Ax− x0‖ < 1}, con K(B(x0))
compacto.
hiperinvariante1
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 72: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/72.jpg)
Continuacion
K(B(x0)) ⊂⋃Nn=1{x; ‖Anx− x0‖ < 1}, c := max1≤n≤N ‖An‖
Kx0 ∈ K(B(x0)) ⇒ Kx0 ∈ {x; ‖An1x− x0‖ < 1}x1 := An1Kx0 ∈ B(x0) ⇒ x2 := An2Kx1 ∈ B(x0) . . .
xk+1 := Ank+1Kxk ∈ B(x0) y AnK = KAn.
xk+1 = Ank+1 · · ·An1Kk+1x0 = (c−1Ank+1) · · · (c−1An1)(cK)k+1x0
‖Kn‖1/n → 0 ⇒ ‖(cK)nx0‖1/n → 0 con ‖c−1An‖ ≤ 1 ⇒B(x0) 3 xk → 0 con B(x0) cerrado, pero 0 6∈ B(x0) ??
∃{K}′(x) 6= E con x 6= 0, hiperinvariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 73: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/73.jpg)
Continuacion
K(B(x0)) ⊂⋃Nn=1{x; ‖Anx− x0‖ < 1}, c := max1≤n≤N ‖An‖
Kx0 ∈ K(B(x0)) ⇒ Kx0 ∈ {x; ‖An1x− x0‖ < 1}x1 := An1Kx0 ∈ B(x0) ⇒ x2 := An2Kx1 ∈ B(x0) . . .
xk+1 := Ank+1Kxk ∈ B(x0) y AnK = KAn.
xk+1 = Ank+1 · · ·An1Kk+1x0 = (c−1Ank+1) · · · (c−1An1)(cK)k+1x0
‖Kn‖1/n → 0 ⇒ ‖(cK)nx0‖1/n → 0 con ‖c−1An‖ ≤ 1 ⇒B(x0) 3 xk → 0 con B(x0) cerrado, pero 0 6∈ B(x0) ??
∃{K}′(x) 6= E con x 6= 0, hiperinvariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 74: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/74.jpg)
Continuacion
K(B(x0)) ⊂⋃Nn=1{x; ‖Anx− x0‖ < 1}, c := max1≤n≤N ‖An‖
Kx0 ∈ K(B(x0)) ⇒ Kx0 ∈ {x; ‖An1x− x0‖ < 1}x1 := An1Kx0 ∈ B(x0) ⇒ x2 := An2Kx1 ∈ B(x0) . . .
xk+1 := Ank+1Kxk ∈ B(x0) y AnK = KAn.
xk+1 = Ank+1 · · ·An1Kk+1x0 = (c−1Ank+1) · · · (c−1An1)(cK)k+1x0
‖Kn‖1/n → 0 ⇒ ‖(cK)nx0‖1/n → 0 con ‖c−1An‖ ≤ 1 ⇒B(x0) 3 xk → 0 con B(x0) cerrado, pero 0 6∈ B(x0) ??
∃{K}′(x) 6= E con x 6= 0, hiperinvariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 75: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/75.jpg)
Continuacion
K(B(x0)) ⊂⋃Nn=1{x; ‖Anx− x0‖ < 1}, c := max1≤n≤N ‖An‖
Kx0 ∈ K(B(x0)) ⇒ Kx0 ∈ {x; ‖An1x− x0‖ < 1}x1 := An1Kx0 ∈ B(x0) ⇒ x2 := An2Kx1 ∈ B(x0) . . .
xk+1 := Ank+1Kxk ∈ B(x0) y AnK = KAn.
xk+1 = Ank+1 · · ·An1Kk+1x0 = (c−1Ank+1) · · · (c−1An1)(cK)k+1x0
‖Kn‖1/n → 0 ⇒ ‖(cK)nx0‖1/n → 0 con ‖c−1An‖ ≤ 1 ⇒B(x0) 3 xk → 0 con B(x0) cerrado, pero 0 6∈ B(x0) ??
∃{K}′(x) 6= E con x 6= 0, hiperinvariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 76: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/76.jpg)
Continuacion
K(B(x0)) ⊂⋃Nn=1{x; ‖Anx− x0‖ < 1}, c := max1≤n≤N ‖An‖
Kx0 ∈ K(B(x0)) ⇒ Kx0 ∈ {x; ‖An1x− x0‖ < 1}x1 := An1Kx0 ∈ B(x0) ⇒ x2 := An2Kx1 ∈ B(x0) . . .
xk+1 := Ank+1Kxk ∈ B(x0) y AnK = KAn.
xk+1 = Ank+1 · · ·An1Kk+1x0 = (c−1Ank+1) · · · (c−1An1)(cK)k+1x0
‖Kn‖1/n → 0 ⇒ ‖(cK)nx0‖1/n → 0 con ‖c−1An‖ ≤ 1 ⇒B(x0) 3 xk → 0 con B(x0) cerrado, pero 0 6∈ B(x0) ??
∃{K}′(x) 6= E con x 6= 0, hiperinvariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 77: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/77.jpg)
Continuacion
K(B(x0)) ⊂⋃Nn=1{x; ‖Anx− x0‖ < 1}, c := max1≤n≤N ‖An‖
Kx0 ∈ K(B(x0)) ⇒ Kx0 ∈ {x; ‖An1x− x0‖ < 1}x1 := An1Kx0 ∈ B(x0) ⇒ x2 := An2Kx1 ∈ B(x0) . . .
xk+1 := Ank+1Kxk ∈ B(x0) y AnK = KAn.
xk+1 = Ank+1 · · ·An1Kk+1x0 = (c−1Ank+1) · · · (c−1An1)(cK)k+1x0
‖Kn‖1/n → 0 ⇒ ‖(cK)nx0‖1/n → 0 con ‖c−1An‖ ≤ 1 ⇒B(x0) 3 xk → 0 con B(x0) cerrado, pero 0 6∈ B(x0) ??
∃{K}′(x) 6= E con x 6= 0, hiperinvariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 78: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/78.jpg)
Continuacion
K(B(x0)) ⊂⋃Nn=1{x; ‖Anx− x0‖ < 1}, c := max1≤n≤N ‖An‖
Kx0 ∈ K(B(x0)) ⇒ Kx0 ∈ {x; ‖An1x− x0‖ < 1}x1 := An1Kx0 ∈ B(x0) ⇒ x2 := An2Kx1 ∈ B(x0) . . .
xk+1 := Ank+1Kxk ∈ B(x0) y AnK = KAn.
xk+1 = Ank+1 · · ·An1Kk+1x0 = (c−1Ank+1) · · · (c−1An1)(cK)k+1x0
‖Kn‖1/n → 0 ⇒ ‖(cK)nx0‖1/n → 0 con ‖c−1An‖ ≤ 1 ⇒B(x0) 3 xk → 0 con B(x0) cerrado, pero 0 6∈ B(x0) ??
∃{K}′(x) 6= E con x 6= 0, hiperinvariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 79: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/79.jpg)
Continuacion
K(B(x0)) ⊂⋃Nn=1{x; ‖Anx− x0‖ < 1}, c := max1≤n≤N ‖An‖
Kx0 ∈ K(B(x0)) ⇒ Kx0 ∈ {x; ‖An1x− x0‖ < 1}x1 := An1Kx0 ∈ B(x0) ⇒ x2 := An2Kx1 ∈ B(x0) . . .
xk+1 := Ank+1Kxk ∈ B(x0) y AnK = KAn.
xk+1 = Ank+1 · · ·An1Kk+1x0 = (c−1Ank+1) · · · (c−1An1)(cK)k+1x0
‖Kn‖1/n → 0 ⇒ ‖(cK)nx0‖1/n → 0 con ‖c−1An‖ ≤ 1 ⇒B(x0) 3 xk → 0 con B(x0) cerrado, pero 0 6∈ B(x0) ??
∃{K}′(x) 6= E con x 6= 0, hiperinvariante.
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 80: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/80.jpg)
MINIMAX
El problema Espectro Lomonosov Minimax El problema Teorema de Lomonosov
![Page 81: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/81.jpg)
Minimax para una funcion de pagos K : X × Y → R
Siempresupy∈Y
ınfx∈X
K(x, y) ≤ ınfx∈X
supy∈Y
K(x, y) :
Fijados y y x, K(x, y) ≤ supy∈Y K(x, y)
ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y)
Ası supy∈Y ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y).
Contraejemplo a la desigualdad inversa:
X = Y = [0, 1], K(x, x) = 1, K(x, y) = 0 si x 6= y
Teoremas minimax: Condiciones para que se cumpla la igualdad.
El problema Espectro Lomonosov Minimax
![Page 82: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/82.jpg)
Minimax para una funcion de pagos K : X × Y → R
Siempresupy∈Y
ınfx∈X
K(x, y) ≤ ınfx∈X
supy∈Y
K(x, y) :
Fijados y y x, K(x, y) ≤ supy∈Y K(x, y)
ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y)
Ası supy∈Y ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y).
Contraejemplo a la desigualdad inversa:
X = Y = [0, 1], K(x, x) = 1, K(x, y) = 0 si x 6= y
Teoremas minimax: Condiciones para que se cumpla la igualdad.
El problema Espectro Lomonosov Minimax
![Page 83: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/83.jpg)
Minimax para una funcion de pagos K : X × Y → R
Siempresupy∈Y
ınfx∈X
K(x, y) ≤ ınfx∈X
supy∈Y
K(x, y) :
Fijados y y x, K(x, y) ≤ supy∈Y K(x, y)
ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y)
Ası supy∈Y ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y).
Contraejemplo a la desigualdad inversa:
X = Y = [0, 1], K(x, x) = 1, K(x, y) = 0 si x 6= y
Teoremas minimax: Condiciones para que se cumpla la igualdad.
El problema Espectro Lomonosov Minimax
![Page 84: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/84.jpg)
Minimax para una funcion de pagos K : X × Y → R
Siempresupy∈Y
ınfx∈X
K(x, y) ≤ ınfx∈X
supy∈Y
K(x, y) :
Fijados y y x, K(x, y) ≤ supy∈Y K(x, y)
ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y)
Ası supy∈Y ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y).
Contraejemplo a la desigualdad inversa:
X = Y = [0, 1], K(x, x) = 1, K(x, y) = 0 si x 6= y
Teoremas minimax: Condiciones para que se cumpla la igualdad.
El problema Espectro Lomonosov Minimax
![Page 85: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/85.jpg)
Minimax para una funcion de pagos K : X × Y → R
Siempresupy∈Y
ınfx∈X
K(x, y) ≤ ınfx∈X
supy∈Y
K(x, y) :
Fijados y y x, K(x, y) ≤ supy∈Y K(x, y)
ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y)
Ası supy∈Y ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y).
Contraejemplo a la desigualdad inversa:
X = Y = [0, 1], K(x, x) = 1, K(x, y) = 0 si x 6= y
Teoremas minimax: Condiciones para que se cumpla la igualdad.
El problema Espectro Lomonosov Minimax
![Page 86: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/86.jpg)
Minimax para una funcion de pagos K : X × Y → R
Siempresupy∈Y
ınfx∈X
K(x, y) ≤ ınfx∈X
supy∈Y
K(x, y) :
Fijados y y x, K(x, y) ≤ supy∈Y K(x, y)
ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y)
Ası supy∈Y ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y).
Contraejemplo a la desigualdad inversa:
X = Y = [0, 1], K(x, x) = 1, K(x, y) = 0 si x 6= y
Teoremas minimax: Condiciones para que se cumpla la igualdad.
El problema Espectro Lomonosov Minimax
![Page 87: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/87.jpg)
Minimax para una funcion de pagos K : X × Y → R
Siempresupy∈Y
ınfx∈X
K(x, y) ≤ ınfx∈X
supy∈Y
K(x, y) :
Fijados y y x, K(x, y) ≤ supy∈Y K(x, y)
ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y)
Ası supy∈Y ınfx∈X K(x, y) ≤ ınfx∈X supy∈Y K(x, y).
Contraejemplo a la desigualdad inversa:
X = Y = [0, 1], K(x, x) = 1, K(x, y) = 0 si x 6= y
Teoremas minimax: Condiciones para que se cumpla la igualdad.
El problema Espectro Lomonosov Minimax
![Page 88: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/88.jpg)
El teorema minimax de von Neumann
X, Y compactos convexos de Rn y K(x, y) continua.
K(·, y) concava para todo y ∈ Y .
K(x, ·, ) convexa para todo x ∈ X.
Entonces supy∈Y ınfx∈X K(x, y) = ınfx∈X supy∈Y K(x, y).
1928 J. von Neumann para el caso de sımplex de Rn y luego (1935/36)mas general.
Usaba una reduccion al caso n = 1.
En teorıa de juegos de dos jugadores A y B, en un juego de suma cero, se dandos funciones de pagos bilineales, K y H, tales que K(x, y) +H(x, y) ≡ 0.
La igualdad minimax significa que las estrategias que maximizan las gananciasmınimas de A, minimizan las perdidas maximas de B.
El problema Espectro Lomonosov Minimax
![Page 89: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/89.jpg)
El teorema minimax de von Neumann
X, Y compactos convexos de Rn y K(x, y) continua.
K(·, y) concava para todo y ∈ Y .
K(x, ·, ) convexa para todo x ∈ X.
Entonces supy∈Y ınfx∈X K(x, y) = ınfx∈X supy∈Y K(x, y).
1928 J. von Neumann para el caso de sımplex de Rn y luego (1935/36)mas general.
Usaba una reduccion al caso n = 1.
En teorıa de juegos de dos jugadores A y B, en un juego de suma cero, se dandos funciones de pagos bilineales, K y H, tales que K(x, y) +H(x, y) ≡ 0.
La igualdad minimax significa que las estrategias que maximizan las gananciasmınimas de A, minimizan las perdidas maximas de B.
El problema Espectro Lomonosov Minimax
![Page 90: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/90.jpg)
El teorema minimax de von Neumann
X, Y compactos convexos de Rn y K(x, y) continua.
K(·, y) concava para todo y ∈ Y .
K(x, ·, ) convexa para todo x ∈ X.
Entonces supy∈Y ınfx∈X K(x, y) = ınfx∈X supy∈Y K(x, y).
1928 J. von Neumann para el caso de sımplex de Rn y luego (1935/36)mas general.
Usaba una reduccion al caso n = 1.
En teorıa de juegos de dos jugadores A y B, en un juego de suma cero, se dandos funciones de pagos bilineales, K y H, tales que K(x, y) +H(x, y) ≡ 0.
La igualdad minimax significa que las estrategias que maximizan las gananciasmınimas de A, minimizan las perdidas maximas de B.
El problema Espectro Lomonosov Minimax
![Page 91: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/91.jpg)
El teorema minimax de von Neumann
X, Y compactos convexos de Rn y K(x, y) continua.
K(·, y) concava para todo y ∈ Y .
K(x, ·, ) convexa para todo x ∈ X.
Entonces supy∈Y ınfx∈X K(x, y) = ınfx∈X supy∈Y K(x, y).
1928 J. von Neumann para el caso de sımplex de Rn y luego (1935/36)mas general.
Usaba una reduccion al caso n = 1.
En teorıa de juegos de dos jugadores A y B, en un juego de suma cero, se dandos funciones de pagos bilineales, K y H, tales que K(x, y) +H(x, y) ≡ 0.
La igualdad minimax significa que las estrategias que maximizan las gananciasmınimas de A, minimizan las perdidas maximas de B.
El problema Espectro Lomonosov Minimax
![Page 92: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/92.jpg)
El teorema minimax de von Neumann
X, Y compactos convexos de Rn y K(x, y) continua.
K(·, y) concava para todo y ∈ Y .
K(x, ·, ) convexa para todo x ∈ X.
Entonces supy∈Y ınfx∈X K(x, y) = ınfx∈X supy∈Y K(x, y).
1928 J. von Neumann para el caso de sımplex de Rn y luego (1935/36)mas general.
Usaba una reduccion al caso n = 1.
En teorıa de juegos de dos jugadores A y B, en un juego de suma cero, se dandos funciones de pagos bilineales, K y H, tales que K(x, y) +H(x, y) ≡ 0.
La igualdad minimax significa que las estrategias que maximizan las gananciasmınimas de A, minimizan las perdidas maximas de B.
El problema Espectro Lomonosov Minimax
![Page 93: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/93.jpg)
El teorema minimax de von Neumann
X, Y compactos convexos de Rn y K(x, y) continua.
K(·, y) concava para todo y ∈ Y .
K(x, ·, ) convexa para todo x ∈ X.
Entonces supy∈Y ınfx∈X K(x, y) = ınfx∈X supy∈Y K(x, y).
1928 J. von Neumann para el caso de sımplex de Rn y luego (1935/36)mas general.
Usaba una reduccion al caso n = 1.
En teorıa de juegos de dos jugadores A y B, en un juego de suma cero, se dandos funciones de pagos bilineales, K y H, tales que K(x, y) +H(x, y) ≡ 0.
La igualdad minimax significa que las estrategias que maximizan las gananciasmınimas de A, minimizan las perdidas maximas de B.
El problema Espectro Lomonosov Minimax
![Page 94: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/94.jpg)
Extension del teorema de von Neumann
X e Y compactos convexos de espacios de Banach.K(·, y) es cuasi-concava ∀y si {K(·, y) ≥ λ} son convexos de X.Ası U(λ) :=
⋂y∈Y {K(·, y) ≥ λ} son convexos.
K(x, ·) es cuasi-convexa si {K(x, ·) ≤ λ} son convexos de Y ∀x.Ası L(λ) :=
⋂x∈X{K(x, ·) ≤ λ} son convexos.
Teorema
Si K(·, y) es continua y cuasi-concava para todo y ∈ Y y K(x, ·) es continua ycuasi-convexa para todo x ∈ X, entonces
supy∈Y
ınfx∈X
K(x, y) = ınfx∈X
supy∈Y
K(x, y).
U(λ) y L(λ) son convexos y cerrados. Por compacidad,
λ0 := supU(λ)6=∅
λ < +∞, U(λ0) 6= ∅
yµ0 := ınf
L(µ)6=∅λ > −∞, L(µ0) 6= ∅.
Para cada (x0, y0) ∈ U(λ0)× L(µ0), se tiene λ0 ≤ K(x0, y0) ≤ µ0.El problema Espectro Lomonosov Minimax
![Page 95: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/95.jpg)
Extension del teorema de von Neumann
X e Y compactos convexos de espacios de Banach.K(·, y) es cuasi-concava ∀y si {K(·, y) ≥ λ} son convexos de X.Ası U(λ) :=
⋂y∈Y {K(·, y) ≥ λ} son convexos.
K(x, ·) es cuasi-convexa si {K(x, ·) ≤ λ} son convexos de Y ∀x.Ası L(λ) :=
⋂x∈X{K(x, ·) ≤ λ} son convexos.
Teorema
Si K(·, y) es continua y cuasi-concava para todo y ∈ Y y K(x, ·) es continua ycuasi-convexa para todo x ∈ X, entonces
supy∈Y
ınfx∈X
K(x, y) = ınfx∈X
supy∈Y
K(x, y).
U(λ) y L(λ) son convexos y cerrados. Por compacidad,
λ0 := supU(λ)6=∅
λ < +∞, U(λ0) 6= ∅
yµ0 := ınf
L(µ)6=∅λ > −∞, L(µ0) 6= ∅.
Para cada (x0, y0) ∈ U(λ0)× L(µ0), se tiene λ0 ≤ K(x0, y0) ≤ µ0.El problema Espectro Lomonosov Minimax
![Page 96: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/96.jpg)
Extension del teorema de von Neumann
X e Y compactos convexos de espacios de Banach.K(·, y) es cuasi-concava ∀y si {K(·, y) ≥ λ} son convexos de X.Ası U(λ) :=
⋂y∈Y {K(·, y) ≥ λ} son convexos.
K(x, ·) es cuasi-convexa si {K(x, ·) ≤ λ} son convexos de Y ∀x.Ası L(λ) :=
⋂x∈X{K(x, ·) ≤ λ} son convexos.
Teorema
Si K(·, y) es continua y cuasi-concava para todo y ∈ Y y K(x, ·) es continua ycuasi-convexa para todo x ∈ X, entonces
supy∈Y
ınfx∈X
K(x, y) = ınfx∈X
supy∈Y
K(x, y).
U(λ) y L(λ) son convexos y cerrados. Por compacidad,
λ0 := supU(λ)6=∅
λ < +∞, U(λ0) 6= ∅
yµ0 := ınf
L(µ)6=∅λ > −∞, L(µ0) 6= ∅.
Para cada (x0, y0) ∈ U(λ0)× L(µ0), se tiene λ0 ≤ K(x0, y0) ≤ µ0.El problema Espectro Lomonosov Minimax
![Page 97: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/97.jpg)
Extension del teorema de von Neumann
X e Y compactos convexos de espacios de Banach.K(·, y) es cuasi-concava ∀y si {K(·, y) ≥ λ} son convexos de X.Ası U(λ) :=
⋂y∈Y {K(·, y) ≥ λ} son convexos.
K(x, ·) es cuasi-convexa si {K(x, ·) ≤ λ} son convexos de Y ∀x.Ası L(λ) :=
⋂x∈X{K(x, ·) ≤ λ} son convexos.
Teorema
Si K(·, y) es continua y cuasi-concava para todo y ∈ Y y K(x, ·) es continua ycuasi-convexa para todo x ∈ X, entonces
supy∈Y
ınfx∈X
K(x, y) = ınfx∈X
supy∈Y
K(x, y).
U(λ) y L(λ) son convexos y cerrados. Por compacidad,
λ0 := supU(λ)6=∅
λ < +∞, U(λ0) 6= ∅
yµ0 := ınf
L(µ)6=∅λ > −∞, L(µ0) 6= ∅.
Para cada (x0, y0) ∈ U(λ0)× L(µ0), se tiene λ0 ≤ K(x0, y0) ≤ µ0.El problema Espectro Lomonosov Minimax
![Page 98: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/98.jpg)
Extension del teorema de von Neumann
X e Y compactos convexos de espacios de Banach.K(·, y) es cuasi-concava ∀y si {K(·, y) ≥ λ} son convexos de X.Ası U(λ) :=
⋂y∈Y {K(·, y) ≥ λ} son convexos.
K(x, ·) es cuasi-convexa si {K(x, ·) ≤ λ} son convexos de Y ∀x.Ası L(λ) :=
⋂x∈X{K(x, ·) ≤ λ} son convexos.
Teorema
Si K(·, y) es continua y cuasi-concava para todo y ∈ Y y K(x, ·) es continua ycuasi-convexa para todo x ∈ X, entonces
supy∈Y
ınfx∈X
K(x, y) = ınfx∈X
supy∈Y
K(x, y).
U(λ) y L(λ) son convexos y cerrados. Por compacidad,
λ0 := supU(λ)6=∅
λ < +∞, U(λ0) 6= ∅
yµ0 := ınf
L(µ)6=∅λ > −∞, L(µ0) 6= ∅.
Para cada (x0, y0) ∈ U(λ0)× L(µ0), se tiene λ0 ≤ K(x0, y0) ≤ µ0.El problema Espectro Lomonosov Minimax
![Page 99: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/99.jpg)
Extension del teorema de von Neumann
X e Y compactos convexos de espacios de Banach.K(·, y) es cuasi-concava ∀y si {K(·, y) ≥ λ} son convexos de X.Ası U(λ) :=
⋂y∈Y {K(·, y) ≥ λ} son convexos.
K(x, ·) es cuasi-convexa si {K(x, ·) ≤ λ} son convexos de Y ∀x.Ası L(λ) :=
⋂x∈X{K(x, ·) ≤ λ} son convexos.
Teorema
Si K(·, y) es continua y cuasi-concava para todo y ∈ Y y K(x, ·) es continua ycuasi-convexa para todo x ∈ X, entonces
supy∈Y
ınfx∈X
K(x, y) = ınfx∈X
supy∈Y
K(x, y).
U(λ) y L(λ) son convexos y cerrados. Por compacidad,
λ0 := supU(λ)6=∅
λ < +∞, U(λ0) 6= ∅
yµ0 := ınf
L(µ)6=∅λ > −∞, L(µ0) 6= ∅.
Para cada (x0, y0) ∈ U(λ0)× L(µ0), se tiene λ0 ≤ K(x0, y0) ≤ µ0.El problema Espectro Lomonosov Minimax
![Page 100: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/100.jpg)
Una reduccion
Recordemos: U(λ) :=⋂y∈Y {K(·, y) ≥ λ} y L(λ) :=
⋂x∈X{K(x, ·) ≤ λ}.
Supongamos λ0 = supU(λ)6=∅ λ y µ0 = ınfL(µ)6=∅ µ satisfacen µ0 = λ0. O sea,
K(x0, y) ≥ λ0 = K(x0, y0) = µ0 ≥ K(x, y0) (x ∈ X, y ∈ Y ).
Resultamaxx
mınyK(x, y) ≥ mın
yK(x0, y) = K(x0, y0)
yK(x0, y0) = max
xK(x, y0) ≥ mın
ymaxx
K(x, y).
Con ello maxx mınyK(x, y) ≥ mıny maxxK(x, y).
El problema Espectro Lomonosov Minimax
![Page 101: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/101.jpg)
Demostracion de µ0 = λ0
U(λ0 + ε) = ∅ y L(µ0 − ε) = ∅ implican que para cada x ∈ X y cada y ∈ Yexisten y ∈ Y y x ∈ X tales que
λ := λ0 + ε > K(x, y), µ := µ0 − ε < K(x, y).
Con los abiertos
Ay := {x ∈ X; K(x, y) < λ} (y ∈ Y )
Bx := {y ∈ X; K(x, y) > µ} (x ∈ X)
formamos recubrimientos finitos
X ⊂N⋃j=1
Ayj , Y ⊂M⋃k=1
Bxk ,
con lo que
mınjK(x, yj) < λ (∀x ∈ X), max
kK(xk, y) > µ (∀y ∈ Y ).
El problema Espectro Lomonosov Minimax
![Page 102: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/102.jpg)
Continuacion: una funcion con punto fijo
ϕk(y) := max(K(xk, y)− µ, 0), ψj(x) := max(λ−K(x, yj), 0).
Por las ultimas desigualdades,∑k
ϕk(y) > 0,∑j
ψj(x) > 0
y
F (x, y) :=(∑
k ϕk(y)xk∑k ϕk(y)
,
∑j ψj(x)yj∑j ψj(x)
)define una funcion continua
F : X × Y → X × Y
tal que F ( co{xk}Mk=1 × co{yj}Nj=1) ⊂ co{xk}Mk=1 × co{yj}Nj=1.
C := co{xk} × co{yj} ⊂ [xk; k = 1, . . .M ]× [yj ; j = 1, . . . N ] ⊂ E × F
es compacto convexo. F tiene punto fijo, (x, y) ∈ C
El problema Espectro Lomonosov Minimax
![Page 103: Subespacios invariantes - um.es · El problema del subespacio invariante Tiene todo T2L(E) un subespacio invariante? T2L(E). Fsubespacio T-invariante ,Fsubespacio vectorialcerrado](https://reader031.vdocuments.pub/reader031/viewer/2022022022/5ba315bd09d3f221368d4579/html5/thumbnails/103.jpg)
Final de la demostracion
x =
∑k ϕk(y)xk∑k ϕk(y)
, y =
∑j ψj(x)yj∑j ψj(x)
.
Por ser K cuasi-concava en x,
ϕk(y) = max(K(xk, y)− µ, 0) ≥ 0⇒ K(xk, y) ≥ µ⇒ K(x, y) ≥ µ.
Por ser K cuasi-convexa en y,
K(x, y) ≤ λ.
Ası µ ≤ λ o, equivalentemente, µ0 ≤ λ0 + 2ε, y ya sabemos que λ0 ≤ µ0; osea µ0 = λ0.
El problema Espectro Lomonosov Minimax