• No se han encontrado resultados

El teorema de Riesz sobre la bola unitaria (un tema del curso “An´alisis funcional”)

N/A
N/A
Protected

Academic year: 2020

Share "El teorema de Riesz sobre la bola unitaria (un tema del curso “An´alisis funcional”)"

Copied!
42
0
0

Texto completo

(1)

El teorema de Riesz sobre la bola unitaria

(un tema del curso “An´

alisis funcional”)

Egor Maximenko,

http://www.egormaximenko.com

Instituto Polit´ecnico Nacional (M´exico) Escuela Superior de F´ısica y Matem´aticas

(2)

Plan

1 Repaso: en espacios de dimensi´on finita, las bolas cerradas son compactas

2 El lema de Frigyes Riesz sobre la esfera unitaria

(3)

Plan

1 Repaso: en espacios de dimensi´on finita, las bolas cerradas son compactas

2 El lema de Frigyes Riesz sobre la esfera unitaria

(4)

Prerrequisitos

(5)

Notaci´

on: bolas cerradas

Dado un espacio normado V , un punto a ∈ V y un n´umero r > 0, denotamos por C (a, r ) la bola cerrada con centro a de radio r :

C (a, r ) := {v ∈ V : kv − ak ≤ r }.

Es f´acil ver que C (a, r ) se obtiene de C (0V, 1) al estirar y desplazar:

C (a, r ) = a + r C (0V, 1). Denotamos por S(a, r ) la esfera correspondiente:

(6)

Las bolas cerradas en C

n

son compactas

Proposici´on

Sea N una norma en Cn. Entonces la bola unitaria correspondiente C (0n, 1) es compacta.

Demostraci´on. N induce la misma topolog´ıa que k · k2.

(7)

Las bolas cerradas en C

n

son compactas

Proposici´on

Sea N una norma en Cn. Entonces la bola unitaria correspondiente C (0n, 1) es compacta.

Demostraci´on. N induce la misma topolog´ıa que k · k2.

(8)

Las bolas cerradas en espacios normados de dim. finita son compactas

Proposici´on

Sea V un espacio normado complejo de dimensi´on finita. Entonces la bola C (0V, 1) en V es compacta.

Demostraci´on. Usando una base de V , construimos un homeomorfismo lineal T : Cn→ V . Definimos N : Cn→ [0, +∞),

N(x ) := kTx kV. Entonces N es una norma en Cn, C

N(0n, 1) = {x ∈ Cn: N(x ) ≤ 1} es compacto. Su imagen CV(0V, 1) = T (CN(0n, 1)) es un compacto en V .

(9)

Las bolas cerradas en espacios normados de dim. finita son compactas

Proposici´on

Sea V un espacio normado complejo de dimensi´on finita. Entonces la bola C (0V, 1) en V es compacta.

Demostraci´on. Usando una base de V , construimos un homeomorfismo lineal T : Cn→ V . Definimos N : Cn→ [0, +∞),

N(x ) := kTx kV.

Entonces N es una norma en Cn, C

N(0n, 1) = {x ∈ Cn: N(x ) ≤ 1} es compacto. Su imagen CV(0V, 1) = T (CN(0n, 1)) es un compacto en V .

(10)

Las bolas cerradas en espacios normados de dim. finita son compactas

Proposici´on

Sea V un espacio normado complejo de dimensi´on finita. Entonces la bola C (0V, 1) en V es compacta.

Demostraci´on. Usando una base de V , construimos un homeomorfismo lineal T : Cn→ V . Definimos N : Cn→ [0, +∞),

N(x ) := kTx kV. Entonces N es una norma en Cn,

CN(0n, 1) = {x ∈ Cn: N(x ) ≤ 1} es compacto. Su imagen CV(0V, 1) = T (CN(0n, 1)) es un compacto en V .

(11)

Las bolas cerradas en espacios normados de dim. finita son compactas

Proposici´on

Sea V un espacio normado complejo de dimensi´on finita. Entonces la bola C (0V, 1) en V es compacta.

Demostraci´on. Usando una base de V , construimos un homeomorfismo lineal T : Cn→ V . Definimos N : Cn→ [0, +∞),

N(x ) := kTx kV. Entonces N es una norma en Cn, C

N(0n, 1) = {x ∈ Cn: N(x ) ≤ 1} es compacto.

(12)

Las bolas cerradas en espacios normados de dim. finita son compactas

Proposici´on

Sea V un espacio normado complejo de dimensi´on finita. Entonces la bola C (0V, 1) en V es compacta.

Demostraci´on. Usando una base de V , construimos un homeomorfismo lineal T : Cn→ V . Definimos N : Cn→ [0, +∞),

N(x ) := kTx kV. Entonces N es una norma en Cn, C

N(0n, 1) = {x ∈ Cn: N(x ) ≤ 1} es compacto. Su imagen CV(0V, 1) = T (CN(0n, 1)) es un compacto en V .

(13)

La distancia entre un punto y un conjunto (repaso)

En un espacio m´etrico (en particular, en un espacio normado), si x es un punto y A es un conjunto,

d (x , A) := inf

a∈Ad (x , a).

Por la definici´on del ´ınfimo, si d (x , A) < +∞ y ε > 0, entonces existe b en A tal que

d (x , b) < d (x , A) + ε.

Recordamos que

(14)

Plan

1 Repaso: en espacios de dimensi´on finita, las bolas cerradas son compactas

2 El lema de Frigyes Riesz sobre la esfera unitaria

(15)

Lema de Frigyes Riesz sobre la esfera unitaria

Sean V un espacio normado, W un subespacio cerrado de V , W 6= V , r ∈ (0, 1). Entonces existe v en V tal que kv k = 1 y d (v , W ) ≥ r .

Demostraci´on. Sea a ∈ V \ W . Pongamos R = d (a, W ). Entonces R > 0.

Elegimos ε > 0 tal que R+εR > r .

Elegimos b en W tal que ka − bk < R + ε. Pongamos

v := a − b

ka − bk.

Sea w ∈ W . Consideremos u = ka − bkw + b. Entonces u ∈ W y ku − ak ≥ R. Luego kv − w k = a − b ka − bku − b ka − bk = u − a ka − bk = ku − ak ka − bkR R + ε> r .

(16)

Lema de Frigyes Riesz sobre la esfera unitaria

Sean V un espacio normado, W un subespacio cerrado de V , W 6= V , r ∈ (0, 1). Entonces existe v en V tal que kv k = 1 y d (v , W ) ≥ r .

Demostraci´on. Sea a ∈ V \ W . Pongamos R = d (a, W ). Entonces R > 0.

Elegimos ε > 0 tal que R+εR > r .

Elegimos b en W tal que ka − bk < R + ε. Pongamos

v := a − b

ka − bk.

Sea w ∈ W . Consideremos u = ka − bkw + b. Entonces u ∈ W y ku − ak ≥ R. Luego kv − w k = a − b ka − bku − b ka − bk = u − a ka − bk = ku − ak ka − bkR R + ε> r .

(17)

Lema de Frigyes Riesz sobre la esfera unitaria

Sean V un espacio normado, W un subespacio cerrado de V , W 6= V , r ∈ (0, 1). Entonces existe v en V tal que kv k = 1 y d (v , W ) ≥ r .

Demostraci´on. Sea a ∈ V \ W . Pongamos R = d (a, W ). Entonces R > 0.

Elegimos ε > 0 tal que R+εR > r .

Elegimos b en W tal que ka − bk < R + ε. Pongamos

v := a − b

ka − bk.

Sea w ∈ W . Consideremos u = ka − bkw + b. Entonces u ∈ W y ku − ak ≥ R. Luego kv − w k = a − b ka − bku − b ka − bk = u − a ka − bk = ku − ak ka − bkR R + ε> r .

(18)

Lema de Frigyes Riesz sobre la esfera unitaria

Sean V un espacio normado, W un subespacio cerrado de V , W 6= V , r ∈ (0, 1). Entonces existe v en V tal que kv k = 1 y d (v , W ) ≥ r .

Demostraci´on. Sea a ∈ V \ W . Pongamos R = d (a, W ). Entonces R > 0.

Elegimos ε > 0 tal que R+εR > r .

Elegimos b en W tal que ka − bk < R + ε. Pongamos

v := a − b

ka − bk.

Sea w ∈ W . Consideremos u = ka − bkw + b. Entonces u ∈ W y ku − ak ≥ R. Luego kv − w k = a − b ka − bku − b ka − bk = u − a ka − bk = ku − ak ka − bkR R + ε> r .

(19)

Lema de Frigyes Riesz sobre la esfera unitaria

Sean V un espacio normado, W un subespacio cerrado de V , W 6= V , r ∈ (0, 1). Entonces existe v en V tal que kv k = 1 y d (v , W ) ≥ r .

Demostraci´on. Sea a ∈ V \ W . Pongamos R = d (a, W ). Entonces R > 0.

Elegimos ε > 0 tal que R+εR > r .

Elegimos b en W tal que ka − bk < R + ε. Pongamos

v := a − b ka − bk. Sea w ∈ W . Consideremos u = ka − bkw + b. Entonces u ∈ W y ku − ak ≥ R. Luego kv − w k = a − b ka − bku − b ka − bk = u − a ka − bk = ku − ak ka − bkR R + ε> r .

(20)

Lema de Frigyes Riesz sobre la esfera unitaria

Sean V un espacio normado, W un subespacio cerrado de V , W 6= V , r ∈ (0, 1). Entonces existe v en V tal que kv k = 1 y d (v , W ) ≥ r .

Demostraci´on. Sea a ∈ V \ W . Pongamos R = d (a, W ). Entonces R > 0.

Elegimos ε > 0 tal que R+εR > r .

Elegimos b en W tal que ka − bk < R + ε. Pongamos

v := a − b

ka − bk.

Sea w ∈ W . Consideremos u = ka − bkw + b. Entonces u ∈ W y ku − ak ≥ R. Luego kv − w k = a − b ka − bku − b ka − bk = u − a ka − bk = ku − ak ka − bkR R + ε> r .

(21)

Lema de Frigyes Riesz sobre la esfera unitaria

Sean V un espacio normado, W un subespacio cerrado de V , W 6= V , r ∈ (0, 1). Entonces existe v en V tal que kv k = 1 y d (v , W ) ≥ r .

Demostraci´on. Sea a ∈ V \ W . Pongamos R = d (a, W ). Entonces R > 0.

Elegimos ε > 0 tal que R+εR > r .

Elegimos b en W tal que ka − bk < R + ε. Pongamos

v := a − b

ka − bk.

Sea w ∈ W . Consideremos u = ka − bkw + b. Entonces u ∈ W y ku − ak ≥ R. Luego kv − w k = a − b ka − bku − b ka − bk = u − a ka − bk = ku − ak ka − bkR R + ε> r .

(22)

Lema de Frigyes Riesz sobre la esfera unitaria

Sean V un espacio normado, W un subespacio cerrado de V , W 6= V , r ∈ (0, 1). Entonces existe v en V tal que kv k = 1 y d (v , W ) ≥ r .

Demostraci´on. Sea a ∈ V \ W . Pongamos R = d (a, W ). Entonces R > 0.

Elegimos ε > 0 tal que R+εR > r .

Elegimos b en W tal que ka − bk < R + ε. Pongamos

v := a − b

ka − bk.

Sea w ∈ W . Consideremos u = ka − bkw + b. Entonces u ∈ W y ku − ak ≥ R. Luego kv − w k = a − b ka − bku − b ka − bk = u − a ka − bk = ku − ak ka − bkR R + ε> r .

(23)

Lema de Frigyes Riesz sobre la esfera unitaria

Sean V un espacio normado, W un subespacio cerrado de V , W 6= V , r ∈ (0, 1). Entonces existe v en V tal que kv k = 1 y d (v , W ) ≥ r .

Demostraci´on. Sea a ∈ V \ W . Pongamos R = d (a, W ). Entonces R > 0.

Elegimos ε > 0 tal que R+εR > r .

Elegimos b en W tal que ka − bk < R + ε. Pongamos

v := a − b

ka − bk.

Sea w ∈ W . Consideremos u = ka − bkw + b. Entonces u ∈ W y ku − ak ≥ R. Luego kv − w k = a − b ka − bku − b ka − bk = u − a ka − bk = ku − ak ka − bkR R + ε> r .

(24)

Lema de Frigyes Riesz sobre la esfera unitaria

Sean V un espacio normado, W un subespacio cerrado de V , W 6= V , r ∈ (0, 1). Entonces existe v en V tal que kv k = 1 y d (v , W ) ≥ r .

Demostraci´on. Sea a ∈ V \ W . Pongamos R = d (a, W ). Entonces R > 0.

Elegimos ε > 0 tal que R+εR > r .

Elegimos b en W tal que ka − bk < R + ε. Pongamos

v := a − b

ka − bk.

Sea w ∈ W . Consideremos u = ka − bkw + b. Entonces u ∈ W y ku − ak ≥ R. Luego kv − w k = a − b ka − bku − b ka − bk = u − a ka − bk = ku − ak ka − bkR R + ε> r .

(25)

Plan

1 Repaso: en espacios de dimensi´on finita, las bolas cerradas son compactas

2 El lema de Frigyes Riesz sobre la esfera unitaria

(26)

Conjuntos totalmente acotados en espacios m´

etricos (repaso)

Sea X un espacio m´etrico y sea A ⊆ X . Se dice que A es totalmente acotado , si para cada ε > 0 existe un conjunto finito R ⊆ A tal que

∀a ∈ A d (a, R) < ε.

Proposici´on

Supongamos que δ > 0 y que (xk)k∈N es una sucesi´on en A tal que ∀j, k ∈ N j 6= k =⇒ d (xj, xk) ≥ δ



.

Entonces A no es totalmente acotado.

(27)

Conjuntos totalmente acotados en espacios m´

etricos (repaso)

Sea X un espacio m´etrico y sea A ⊆ X . Se dice que A es totalmente acotado , si para cada ε > 0 existe un conjunto finito R ⊆ A tal que

∀a ∈ A d (a, R) < ε.

Proposici´on

Supongamos que δ > 0 y que (xk)k∈N es una sucesi´on en A tal que ∀j, k ∈ N j 6= k =⇒ d (xj, xk) ≥ δ



.

Entonces A no es totalmente acotado.

(28)

Conjuntos totalmente acotados en espacios m´

etricos (repaso)

Sea X un espacio m´etrico y sea A ⊆ X . Se dice que A es totalmente acotado , si para cada ε > 0 existe un conjunto finito R ⊆ A tal que

∀a ∈ A d (a, R) < ε.

Proposici´on

Supongamos que δ > 0 y que (xk)k∈N es una sucesi´on en A tal que ∀j, k ∈ N j 6= k =⇒ d (xj, xk) ≥ δ



.

Entonces A no es totalmente acotado.

(29)

Teorema de Frigyes Riesz sobre la esfera unitaria

Sea V un espacio normado de dimensi´on infinita.

Entonces la esfera unitaria cerrada C (0V, 1) en V no es totalmente acotada.

Corolario: la bola C (0V, 1) no es totalmente acotada. Corolario: la bola C (0V, 1) no es compacta.

(30)

Teorema de Frigyes Riesz sobre la esfera unitaria

Sea V un espacio normado de dimensi´on infinita.

Entonces la esfera unitaria cerrada C (0V, 1) en V no es totalmente acotada.

Corolario: la bola C (0V, 1) no es totalmente acotada.

Corolario: la bola C (0V, 1) no es compacta.

(31)

Teorema de Frigyes Riesz sobre la esfera unitaria

Sea V un espacio normado de dimensi´on infinita.

Entonces la esfera unitaria cerrada C (0V, 1) en V no es totalmente acotada.

Corolario: la bola C (0V, 1) no es totalmente acotada. Corolario: la bola C (0V, 1) no es compacta.

(32)

Teorema de Frigyes Riesz sobre la esfera unitaria

Sea V un espacio normado de dimensi´on infinita.

Entonces la esfera unitaria cerrada C (0V, 1) en V no es totalmente acotada.

Corolario: la bola C (0V, 1) no es totalmente acotada. Corolario: la bola C (0V, 1) no es compacta.

(33)

Demostraci´

on del teorema de Riesz

Sea r ∈ (0, 1). Vamos a construir por inducci´on una sucesi´on (xk)k∈N en S := S(0V, 1).

Sea x1∈ S.

Supongamos que n ∈ N y ya est´an construidos x1, . . . , xn. Mostremos c´omo construir xn+1. Pongamos Wn:= lin(x1, . . . , xn). Entonces Wn es cerrado.

Como V es de dimensi´on infinita, Wn6= V .

Usando el lema de Riesz encontramos xn+1 en S tal que

d (xn+1, Wn) ≥ r . Entonces para cada k ≤ n tenemos kxn+1− xkk ≥ r .

Obviamente, la sucesi´on construida tiene la siguiente propiedad: ∀j, k ∈ N j 6= k =⇒ kxj− xkk ≥ r



(34)

Demostraci´

on del teorema de Riesz

Sea r ∈ (0, 1). Vamos a construir por inducci´on una sucesi´on (xk)k∈N en S := S(0V, 1). Sea x1∈ S.

Supongamos que n ∈ N y ya est´an construidos x1, . . . , xn. Mostremos c´omo construir xn+1. Pongamos Wn:= lin(x1, . . . , xn). Entonces Wn es cerrado.

Como V es de dimensi´on infinita, Wn6= V .

Usando el lema de Riesz encontramos xn+1 en S tal que

d (xn+1, Wn) ≥ r . Entonces para cada k ≤ n tenemos kxn+1− xkk ≥ r .

Obviamente, la sucesi´on construida tiene la siguiente propiedad: ∀j, k ∈ N j 6= k =⇒ kxj− xkk ≥ r



(35)

Demostraci´

on del teorema de Riesz

Sea r ∈ (0, 1). Vamos a construir por inducci´on una sucesi´on (xk)k∈N en S := S(0V, 1). Sea x1∈ S.

Supongamos que n ∈ N y ya est´an construidos x1, . . . , xn. Mostremos c´omo construir xn+1.

Pongamos Wn:= lin(x1, . . . , xn). Entonces Wn es cerrado. Como V es de dimensi´on infinita, Wn6= V .

Usando el lema de Riesz encontramos xn+1 en S tal que

d (xn+1, Wn) ≥ r . Entonces para cada k ≤ n tenemos kxn+1− xkk ≥ r .

Obviamente, la sucesi´on construida tiene la siguiente propiedad: ∀j, k ∈ N j 6= k =⇒ kxj− xkk ≥ r



(36)

Demostraci´

on del teorema de Riesz

Sea r ∈ (0, 1). Vamos a construir por inducci´on una sucesi´on (xk)k∈N en S := S(0V, 1). Sea x1∈ S.

Supongamos que n ∈ N y ya est´an construidos x1, . . . , xn. Mostremos c´omo construir xn+1. Pongamos Wn:= lin(x1, . . . , xn).

Entonces Wn es cerrado. Como V es de dimensi´on infinita, Wn6= V .

Usando el lema de Riesz encontramos xn+1 en S tal que

d (xn+1, Wn) ≥ r . Entonces para cada k ≤ n tenemos kxn+1− xkk ≥ r .

Obviamente, la sucesi´on construida tiene la siguiente propiedad: ∀j, k ∈ N j 6= k =⇒ kxj− xkk ≥ r



(37)

Demostraci´

on del teorema de Riesz

Sea r ∈ (0, 1). Vamos a construir por inducci´on una sucesi´on (xk)k∈N en S := S(0V, 1). Sea x1∈ S.

Supongamos que n ∈ N y ya est´an construidos x1, . . . , xn. Mostremos c´omo construir xn+1. Pongamos Wn:= lin(x1, . . . , xn). Entonces Wn es cerrado.

Como V es de dimensi´on infinita, Wn6= V .

Usando el lema de Riesz encontramos xn+1 en S tal que

d (xn+1, Wn) ≥ r . Entonces para cada k ≤ n tenemos kxn+1− xkk ≥ r .

Obviamente, la sucesi´on construida tiene la siguiente propiedad: ∀j, k ∈ N j 6= k =⇒ kxj− xkk ≥ r



(38)

Demostraci´

on del teorema de Riesz

Sea r ∈ (0, 1). Vamos a construir por inducci´on una sucesi´on (xk)k∈N en S := S(0V, 1). Sea x1∈ S.

Supongamos que n ∈ N y ya est´an construidos x1, . . . , xn. Mostremos c´omo construir xn+1. Pongamos Wn:= lin(x1, . . . , xn). Entonces Wn es cerrado.

Como V es de dimensi´on infinita, Wn6= V .

Usando el lema de Riesz encontramos xn+1 en S tal que

d (xn+1, Wn) ≥ r . Entonces para cada k ≤ n tenemos kxn+1− xkk ≥ r .

Obviamente, la sucesi´on construida tiene la siguiente propiedad: ∀j, k ∈ N j 6= k =⇒ kxj− xkk ≥ r



(39)

Demostraci´

on del teorema de Riesz

Sea r ∈ (0, 1). Vamos a construir por inducci´on una sucesi´on (xk)k∈N en S := S(0V, 1). Sea x1∈ S.

Supongamos que n ∈ N y ya est´an construidos x1, . . . , xn. Mostremos c´omo construir xn+1. Pongamos Wn:= lin(x1, . . . , xn). Entonces Wn es cerrado.

Como V es de dimensi´on infinita, Wn6= V .

Usando el lema de Riesz encontramos xn+1 en S tal que

d (xn+1, Wn) ≥ r .

Entonces para cada k ≤ n tenemos kxn+1− xkk ≥ r .

Obviamente, la sucesi´on construida tiene la siguiente propiedad: ∀j, k ∈ N j 6= k =⇒ kxj− xkk ≥ r



(40)

Demostraci´

on del teorema de Riesz

Sea r ∈ (0, 1). Vamos a construir por inducci´on una sucesi´on (xk)k∈N en S := S(0V, 1). Sea x1∈ S.

Supongamos que n ∈ N y ya est´an construidos x1, . . . , xn. Mostremos c´omo construir xn+1. Pongamos Wn:= lin(x1, . . . , xn). Entonces Wn es cerrado.

Como V es de dimensi´on infinita, Wn6= V .

Usando el lema de Riesz encontramos xn+1 en S tal que

d (xn+1, Wn) ≥ r . Entonces para cada k ≤ n tenemos kxn+1− xkk ≥ r .

Obviamente, la sucesi´on construida tiene la siguiente propiedad: ∀j, k ∈ N j 6= k =⇒ kxj− xkk ≥ r



(41)

Demostraci´

on del teorema de Riesz

Sea r ∈ (0, 1). Vamos a construir por inducci´on una sucesi´on (xk)k∈N en S := S(0V, 1). Sea x1∈ S.

Supongamos que n ∈ N y ya est´an construidos x1, . . . , xn. Mostremos c´omo construir xn+1. Pongamos Wn:= lin(x1, . . . , xn). Entonces Wn es cerrado.

Como V es de dimensi´on infinita, Wn6= V .

Usando el lema de Riesz encontramos xn+1 en S tal que

d (xn+1, Wn) ≥ r . Entonces para cada k ≤ n tenemos kxn+1− xkk ≥ r .

Obviamente, la sucesi´on construida tiene la siguiente propiedad: ∀j, k ∈ N j 6= k =⇒ kxj− xkk ≥ r



(42)

Varias condiciones equivalentes a la condici´

on dim(V ) < +∞

Ejercicio. Sea V un espacio normado complejo.

Demostrar que las siguientes condiciones son equivalentes: (a) V es de dimensi´on finita,

(b) la bola C (0V, 1) es compacta,

(c) cada conjunto acotado en V es totalmente acotado, (d) cada conjunto cerrado y acotado en V es compacto, (e) V es localmente compacto.

Referencias

Documento similar

If certification of devices under the MDR has not been finalised before expiry of the Directive’s certificate, and where the device does not present an unacceptable risk to health

In addition to the requirements set out in Chapter VII MDR, also other MDR requirements should apply to ‘legacy devices’, provided that those requirements

The notified body that issued the AIMDD or MDD certificate may confirm in writing (after having reviewed manufacturer’s description of the (proposed) change) that the

Tanto el nuevo modelo propuesto para el An´alisis de Datos Acoplados T 3-P CA como los mencionados anteriormente utilizan distintos modelos para el An´alisis de la Interac- ci´on

Para ello, las Tecnolog´ıas del Lenguaje Humano juegan un papel fundamental, ya que se utilizan para extraer meta-datos sobre comentarios de las redes sociales y representar

A partir del aut´ omata de prefijos viables, podemos construir dos tablas que nos servir´ an para realizar los an´ alisis, de manera similar a las que emple´ abamos en el an´

[r]

El Teorema sobre bienes autorreproducibles publicado en esta misma revista (Barceló, 1985) demostraba que la relación de precios teóricos de dos bienes de ese