Normas en Cn y su equivalencia entre si, un tema del curso ...

60
Introducci´ on Normas en C n Comparaci´ on de normas (repaso) Equivalencia de todas las normas en C n Subespacios de dimensi´ on finita Normas en C n y su equivalencia entre si (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 16 de octubre de 2020

Transcript of Normas en Cn y su equivalencia entre si, un tema del curso ...

Page 1: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Normas en Cn y su equivalencia entre si(un tema del curso “Analisis funcional”)

Egor Maximenko,http://www.egormaximenko.com

Instituto Politecnico Nacional (Mexico)Escuela Superior de Fısica y Matematicas

16 de octubre de 2020

Page 2: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

1 Introduccion

2 Normas en Cn

3 Comparacion de normas (repaso)

4 Equivalencia de todas las normas en Cn

5 Subespacios de dimension finita

Page 3: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Objetivos

Recordar la definicion de las normas ‖ · ‖p en Cn.

Conocer ejemplos de otras normas en Cn.

Demostrar que todas las normas en Cn son equivalentes entre si.

Page 4: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Prerrequisitos

Comparacion y equivalencia de normas.

Completez de C.

Espacios compactos, conjuntos compactos en Cn.

La imagen de un conjunto compacto bajo una funcion continua.

Page 5: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Aplicaciones

Propiedades de subespacios de dimension finita en espacios normados.

Propiedades de listas de vectores finitas en espacios normados.

Propiedades de operadores lineales de rango finito.

Propiedades de operadores lineales compactos.

Page 6: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Las normas ‖ · ‖p en Cn (repaso)

Para 1 ≤ p < +∞,

‖a‖p :=( n∑

k=1|ak |p

)1/p

(a ∈ Cn).

Para p = +∞,‖a‖∞ := max

1≤k≤n|ak |.

ProposicionSea 1 ≤ p ≤ +∞. Entonces ‖ · ‖p es una norma en Cn.

Idea de demostracion para 1 ≤ p ≤ +∞: Young, Holder, Minkowski(de la misma manera como en `p o en Lp).

Page 7: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Las normas ‖ · ‖p en Cn (repaso)

Para 1 ≤ p < +∞,

‖a‖p :=( n∑

k=1|ak |p

)1/p

(a ∈ Cn).

Para p = +∞,‖a‖∞ := max

1≤k≤n|ak |.

ProposicionSea 1 ≤ p ≤ +∞. Entonces ‖ · ‖p es una norma en Cn.

Idea de demostracion para 1 ≤ p ≤ +∞: Young, Holder, Minkowski(de la misma manera como en `p o en Lp).

Page 8: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Las normas ‖ · ‖p en Cn (repaso)

Para 1 ≤ p < +∞,

‖a‖p :=( n∑

k=1|ak |p

)1/p

(a ∈ Cn).

Para p = +∞,‖a‖∞ := max

1≤k≤n|ak |.

ProposicionSea 1 ≤ p ≤ +∞. Entonces ‖ · ‖p es una norma en Cn.

Idea de demostracion para 1 ≤ p ≤ +∞: Young, Holder, Minkowski(de la misma manera como en `p o en Lp).

Page 9: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Las normas ‖ · ‖p en Cn (repaso)

Para 1 ≤ p < +∞,

‖a‖p :=( n∑

k=1|ak |p

)1/p

(a ∈ Cn).

Para p = +∞,‖a‖∞ := max

1≤k≤n|ak |.

ProposicionSea 1 ≤ p ≤ +∞. Entonces ‖ · ‖p es una norma en Cn.

Idea de demostracion para 1 ≤ p ≤ +∞: Young, Holder, Minkowski(de la misma manera como en `p o en Lp).

Page 10: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

La completez del espacio Cn con la norma ‖ · ‖p

ProposicionSea 1 ≤ p ≤ +∞. Entonces el espacio (Cn, ‖ · ‖p) es de Banach.

Primera demostracion: razonar de la misma manera como en `p.

Page 11: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

La completez del espacio Cn con la norma ‖ · ‖p

ProposicionSea 1 ≤ p ≤ +∞. Entonces el espacio (Cn, ‖ · ‖p) es de Banach.

Primera demostracion: razonar de la misma manera como en `p.

Page 12: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

La completez del espacio Cn con la norma ‖ · ‖p

Segunda demostracion: usar la completez de `p y un encaje de Cn en `p.

I. Demostrar que el siguiente conjunto es un subespacio cerrado de `p:

Fn := {a ∈ CN : ∀k > n ak = 0}.

II. Definimos J : Cn → Fn,

(x1, . . . , xn) 7→ (x1, . . . , xn, 0, 0, . . .).

Demostrar que J es un biyeccion isometrica, si consideramos Cn con la norma ‖ · ‖py Fn con la restriccion de la norma de ‖ · ‖p de `p.

Page 13: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

La completez del espacio Cn con la norma ‖ · ‖p

Segunda demostracion: usar la completez de `p y un encaje de Cn en `p.

I. Demostrar que el siguiente conjunto es un subespacio cerrado de `p:

Fn := {a ∈ CN : ∀k > n ak = 0}.

II. Definimos J : Cn → Fn,

(x1, . . . , xn) 7→ (x1, . . . , xn, 0, 0, . . .).

Demostrar que J es un biyeccion isometrica, si consideramos Cn con la norma ‖ · ‖py Fn con la restriccion de la norma de ‖ · ‖p de `p.

Page 14: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

La completez del espacio Cn con la norma ‖ · ‖p

Segunda demostracion: usar la completez de `p y un encaje de Cn en `p.

I. Demostrar que el siguiente conjunto es un subespacio cerrado de `p:

Fn := {a ∈ CN : ∀k > n ak = 0}.

II. Definimos J : Cn → Fn,

(x1, . . . , xn) 7→ (x1, . . . , xn, 0, 0, . . .).

Demostrar que J es un biyeccion isometrica, si consideramos Cn con la norma ‖ · ‖py Fn con la restriccion de la norma de ‖ · ‖p de `p.

Page 15: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

La completez del espacio Cn con la norma ‖ · ‖p

Tercera demostracion. Idea: las sucesiones de Cauchy y las sucesiones convergentesen el espacio (Cn, ‖ · ‖p) se describen por componentes.

LemaSea (as)s∈N una sucesion en (Cn, ‖ · ‖p). Entonces

(as)s∈N es de Cauchy ⇐⇒ ∀k ∈ {1, . . . , n}((as)k

)s∈N es de Cauchy.

LemaSea (as)s∈N una sucesion en Cn, y sea b ∈ Cn.

lims→∞

‖as − b‖p = 0 ⇐⇒ ∀k ∈ {1, . . . , n} lims→∞

(as)k = bk .

Page 16: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

La completez del espacio Cn con la norma ‖ · ‖p

Tercera demostracion. Idea: las sucesiones de Cauchy y las sucesiones convergentesen el espacio (Cn, ‖ · ‖p) se describen por componentes.

LemaSea (as)s∈N una sucesion en (Cn, ‖ · ‖p). Entonces

(as)s∈N es de Cauchy ⇐⇒ ∀k ∈ {1, . . . , n}((as)k

)s∈N es de Cauchy.

LemaSea (as)s∈N una sucesion en Cn, y sea b ∈ Cn.

lims→∞

‖as − b‖p = 0 ⇐⇒ ∀k ∈ {1, . . . , n} lims→∞

(as)k = bk .

Page 17: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

La completez del espacio Cn con la norma ‖ · ‖p

Tercera demostracion. Idea: las sucesiones de Cauchy y las sucesiones convergentesen el espacio (Cn, ‖ · ‖p) se describen por componentes.

LemaSea (as)s∈N una sucesion en (Cn, ‖ · ‖p). Entonces

(as)s∈N es de Cauchy ⇐⇒ ∀k ∈ {1, . . . , n}((as)k

)s∈N es de Cauchy.

LemaSea (as)s∈N una sucesion en Cn, y sea b ∈ Cn.

lims→∞

‖as − b‖p = 0 ⇐⇒ ∀k ∈ {1, . . . , n} lims→∞

(as)k = bk .

Page 18: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Otras normas en Cn

Hay muchas otras normas en Cn. Por ejemplo,

N1(a) :=n∑

k=1(k + 1)|ak |,

N2(a) := ‖a‖∞ + 7‖a‖2,

N3(a) := max{|a1|+ |a2|, |a2|+ |a3|, . . . , |an−1|+ |an|}.

Page 19: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Otras normas en Cn

Hay muchas otras normas en Cn. Por ejemplo,

N1(a) :=n∑

k=1(k + 1)|ak |,

N2(a) := ‖a‖∞ + 7‖a‖2,

N3(a) := max{|a1|+ |a2|, |a2|+ |a3|, . . . , |an−1|+ |an|}.

Page 20: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Otras normas en Cn

Hay muchas otras normas en Cn. Por ejemplo,

N1(a) :=n∑

k=1(k + 1)|ak |,

N2(a) := ‖a‖∞ + 7‖a‖2,

N3(a) := max{|a1|+ |a2|, |a2|+ |a3|, . . . , |an−1|+ |an|}.

Page 21: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Comparacion de normas en un espacio vectorial

Definicion (N2 domina N1)Sea V un espacio vectorial complejo y sean N1,N2 normas en V .

N1 � N2 ⇐⇒ ∃C > 0 ∀v ∈ V N1(v) ≤ C N2(v).

Ejercicio. Demostrar que la relacion binaria � es transitiva y reflexiva.

Observacion. Si N1 ≤ N2, entonces N1 � N2.

Page 22: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Comparacion de normas en un espacio vectorial

Definicion (N2 domina N1)Sea V un espacio vectorial complejo y sean N1,N2 normas en V .

N1 � N2 ⇐⇒ ∃C > 0 ∀v ∈ V N1(v) ≤ C N2(v).

Ejercicio. Demostrar que la relacion binaria � es transitiva y reflexiva.

Observacion. Si N1 ≤ N2, entonces N1 � N2.

Page 23: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Comparacion de normas en un espacio vectorial

Definicion (N2 domina N1)Sea V un espacio vectorial complejo y sean N1,N2 normas en V .

N1 � N2 ⇐⇒ ∃C > 0 ∀v ∈ V N1(v) ≤ C N2(v).

Ejercicio. Demostrar que la relacion binaria � es transitiva y reflexiva.

Observacion. Si N1 ≤ N2, entonces N1 � N2.

Page 24: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Equivalencia de normas en un espacio vectorial

Definicion (equivalencia de normas)Sea V un espacio vectorial complejo y sean N1,N2 normas en V .

N1 � N2 ⇐⇒ (N1 � N2) ∧ (N2 � N1).

Ejercicio. Demostrar que � es una relacion de equivalencia.

Page 25: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Equivalencia de normas en un espacio vectorial

Definicion (equivalencia de normas)Sea V un espacio vectorial complejo y sean N1,N2 normas en V .

N1 � N2 ⇐⇒ (N1 � N2) ∧ (N2 � N1).

Ejercicio. Demostrar que � es una relacion de equivalencia.

Page 26: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Ejemplo de comparacion de normas

En el espacio Cn, ‖ · ‖1 � ‖ · ‖2.

En efecto, para a en Cn,

‖a‖1 =n∑

k=1|ak | =

n∑k=1|ak | · 1 ≤ ‖a‖2

( n∑k=1

12)1/2

=√

n ‖a‖2.

Page 27: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Ejemplo de comparacion de normas

En el espacio Cn, ‖ · ‖1 � ‖ · ‖2.

En efecto, para a en Cn,

‖a‖1 =n∑

k=1|ak | =

n∑k=1|ak | · 1 ≤ ‖a‖2

( n∑k=1

12)1/2

=√

n ‖a‖2.

Page 28: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Equivalencia de las normas ‖ · ‖p en Cn

Ejercicio. En el espacio Cn consideramos las normas ‖ · ‖p y ‖ · ‖q, donde

1 ≤ p < q ≤ +∞.

I. Demostrar que ‖ · ‖q ≤ ‖ · ‖p.II. Demostrar directamente que ‖ · ‖p � ‖ · ‖q, es decir, encontrar una constanteCn,p,q > 0 tal que

∀a ∈ Cn ‖a‖p ≤ Cp,q,n‖a‖q.

Sugerencia para II: aplicar de manera apropiada la desigualdad de Holder.

Observacion. Mas adelante, demostraremos de manera no constructiva quecualesquiera dos normas en Cn son equivalentes.

Page 29: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Compactos en Rn y Cn

Proposicion (criterio de subconjuntos compactos en Rn o Cn)Sea A ⊆ Rn (o A ⊆ Cn). Entonces A es compacto ⇐⇒

A es cerrado y acotado.

Proposicion (el mınimo y maximo de un conjunto compacto no vacıo en R)Sea A ⊆ R, A compacto, A 6= ∅. Entonces

inf(A) ∈ A, sup(A) ∈ A.

Page 30: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Compactos en Rn y Cn

Proposicion (criterio de subconjuntos compactos en Rn o Cn)Sea A ⊆ Rn (o A ⊆ Cn). Entonces A es compacto ⇐⇒ A es cerrado y acotado.

Proposicion (el mınimo y maximo de un conjunto compacto no vacıo en R)Sea A ⊆ R, A compacto, A 6= ∅. Entonces

inf(A) ∈ A, sup(A) ∈ A.

Page 31: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Funciones continuas, definidas en compactos

Proposicion (la imagen de un compacto bajo una funcion continua)Sean X , Y espacios topologicos, X compacto, y sea f ∈ C(X ,Y ).Entonces f [X ] es compacto.

Corolario (el mınimo y maximo de una funcion real continua en un compacto)Sea X un espacio topologico compacto no vacıo, y sea f ∈ C(X ,R). Entonces

inf f [X ] ∈ f [X ], sup f [X ] ∈ f [X ].

En otras palabras, existen x , y ∈ X tales que f (x) = inf f [X ], f (y) = sup f [X ].

Page 32: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Funciones continuas, definidas en compactos

Proposicion (la imagen de un compacto bajo una funcion continua)Sean X , Y espacios topologicos, X compacto, y sea f ∈ C(X ,Y ).Entonces f [X ] es compacto.

Corolario (el mınimo y maximo de una funcion real continua en un compacto)Sea X un espacio topologico compacto no vacıo, y sea f ∈ C(X ,R). Entonces

inf f [X ] ∈ f [X ], sup f [X ] ∈ f [X ].

En otras palabras, existen x , y ∈ X tales que f (x) = inf f [X ], f (y) = sup f [X ].

Page 33: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

La desigualdad inversa del triangulo para las normas (repaso)

Ejercicio. Sea (V ,N) un espacio normado. Demostrar que para cada a, b en V ,

|N(a)− N(b)| ≤ N(a − b).

Sugerencia: |t| ≤ u ⇐⇒ −u ≤ t ≤ u.

Page 34: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

TeoremaSea N una norma en Cn. Entonces N � ‖ · ‖2.

1. Demostremos que N � ‖ · ‖2.Denotemos por ek al k-esimo vector de la base canonica: ek :=

[δk,r

]nr=1. Sea

M :=( n∑

k=1N(ek)2

)1/2

.

Para cada a en Cn,

N(a) = N( n∑

k=1akek

)≤

n∑k=1|ak |N(ek) ≤ M ‖a‖2.

Page 35: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

2. Demostremos que N es continua en (Cn, ‖ · ‖2).Dotamos el dominio Cn de la funcion N de la norma ‖ · ‖2.Entonces N es Lipschitz continua:

|N(a)− N(b)| ≤ N(a − b) ≤ M ‖a − b‖2.

3. La funcion N alcanza su valor mınimo en la esfera euclideana.

S :={a ∈ Cn : ‖a‖2 = 1

}.

Como N es continua y S es un compacto, existe x en S tal que N(x) = inf N[S].Denotamos N(x) por C . Como x 6= 0n y N es una norma, tenemos C > 0.

Page 36: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

2. Demostremos que N es continua en (Cn, ‖ · ‖2).Dotamos el dominio Cn de la funcion N de la norma ‖ · ‖2.Entonces N es Lipschitz continua:

|N(a)− N(b)| ≤ N(a − b) ≤ M ‖a − b‖2.

3. La funcion N alcanza su valor mınimo en la esfera euclideana.

S :={a ∈ Cn : ‖a‖2 = 1

}.

Como N es continua y S es un compacto, existe x en S tal que N(x) = inf N[S].Denotamos N(x) por C . Como x 6= 0n y N es una norma, tenemos C > 0.

Page 37: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

2. Demostremos que N es continua en (Cn, ‖ · ‖2).Dotamos el dominio Cn de la funcion N de la norma ‖ · ‖2.Entonces N es Lipschitz continua:

|N(a)− N(b)| ≤ N(a − b) ≤ M ‖a − b‖2.

3. La funcion N alcanza su valor mınimo en la esfera euclideana.

S :={a ∈ Cn : ‖a‖2 = 1

}.

Como N es continua y S es un compacto, existe x en S tal que N(x) = inf N[S].Denotamos N(x) por C . Como x 6= 0n y N es una norma, tenemos C > 0.

Page 38: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

4. Demostremos que ‖ · ‖2 � N.

Ya vimos que para cada y en Cn,

‖y‖2 = 1 =⇒ N(y) ≥ C .

Si x ∈ Cn, x 6= 0n, entonces pongamos y = 1‖x‖2

x y obtenemos

N(x) = N(‖x‖2 y) = ‖x‖2N(y) ≥ C ‖x‖2,

esto es,‖x‖2 ≤

1C N(x).

Esta desigualdad tambien se cumple para x = 0n.

Page 39: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

4. Demostremos que ‖ · ‖2 � N.

Ya vimos que para cada y en Cn,

‖y‖2 = 1 =⇒ N(y) ≥ C .

Si x ∈ Cn, x 6= 0n, entonces pongamos y = 1‖x‖2

x y obtenemos

N(x) = N(‖x‖2 y) = ‖x‖2N(y) ≥ C ‖x‖2,

esto es,‖x‖2 ≤

1C N(x).

Esta desigualdad tambien se cumple para x = 0n.

Page 40: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

4. Demostremos que ‖ · ‖2 � N.

Ya vimos que para cada y en Cn,

‖y‖2 = 1 =⇒ N(y) ≥ C .

Si x ∈ Cn, x 6= 0n, entonces pongamos y = 1‖x‖2

x y obtenemos

N(x) = N(‖x‖2 y) = ‖x‖2N(y) ≥ C ‖x‖2,

esto es,‖x‖2 ≤

1C N(x).

Esta desigualdad tambien se cumple para x = 0n.

Page 41: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

4. Demostremos que ‖ · ‖2 � N.

Ya vimos que para cada y en Cn,

‖y‖2 = 1 =⇒ N(y) ≥ C .

Si x ∈ Cn, x 6= 0n, entonces pongamos y = 1‖x‖2

x y obtenemos

N(x) = N(‖x‖2 y) = ‖x‖2N(y) ≥ C ‖x‖2,

esto es,‖x‖2 ≤

1C N(x).

Esta desigualdad tambien se cumple para x = 0n.

Page 42: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

4. Demostremos que ‖ · ‖2 � N.

Ya vimos que para cada y en Cn,

‖y‖2 = 1 =⇒ N(y) ≥ C .

Si x ∈ Cn, x 6= 0n, entonces pongamos y = 1‖x‖2

x y obtenemos

N(x) = N(‖x‖2 y) = ‖x‖2N(y) ≥ C ‖x‖2,

esto es,‖x‖2 ≤

1C N(x).

Esta desigualdad tambien se cumple para x = 0n.

Page 43: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

4. Demostremos que ‖ · ‖2 � N.

Ya vimos que para cada y en Cn,

‖y‖2 = 1 =⇒ N(y) ≥ C .

Si x ∈ Cn, x 6= 0n, entonces pongamos y = 1‖x‖2

x y obtenemos

N(x) = N(‖x‖2 y) = ‖x‖2N(y) ≥ C ‖x‖2,

esto es,‖x‖2 ≤

1C N(x).

Esta desigualdad tambien se cumple para x = 0n.

Page 44: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Corolarios

Hemos demostrado que cualquier norma en Cn es equivalente a ‖ · ‖2.

CorolarioSean N1 y N2 dos normas en Cn. Entonces N1 � N2.

Demostracion. Sabemos que

N1 � ‖ · ‖2, N2 � ‖ · ‖2.

Usamos el hecho que � es una relacion de equivalencia.

Page 45: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Corolarios

Hemos demostrado que cualquier norma en Cn es equivalente a ‖ · ‖2.

CorolarioSean N1 y N2 dos normas en Cn. Entonces N1 � N2.

Demostracion. Sabemos que

N1 � ‖ · ‖2, N2 � ‖ · ‖2.

Usamos el hecho que � es una relacion de equivalencia.

Page 46: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Corolarios

Hemos demostrado que cualquier norma en Cn es equivalente a ‖ · ‖2.

CorolarioSean N1 y N2 dos normas en Cn. Entonces N1 � N2.

Demostracion. Sabemos que

N1 � ‖ · ‖2, N2 � ‖ · ‖2.

Usamos el hecho que � es una relacion de equivalencia.

Page 47: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Corolarios

Hemos demostrado que cualquier norma en Cn es equivalente a ‖ · ‖2.

CorolarioSean N1 y N2 dos normas en Cn. Entonces N1 � N2.

Demostracion. Sabemos que

N1 � ‖ · ‖2, N2 � ‖ · ‖2.

Usamos el hecho que � es una relacion de equivalencia.

Page 48: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Corolarios

Hemos demostrado el teorema que cualquier norma en Cn es equivalente a ‖ · ‖2.

CorolarioTodas las normas en Cn inducen la misma topologıa.

CorolarioSea N una norma en Cn. Entonces (Cn,N) es de Banach.

Page 49: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Corolarios

Hemos demostrado el teorema que cualquier norma en Cn es equivalente a ‖ · ‖2.

CorolarioTodas las normas en Cn inducen la misma topologıa.

CorolarioSea N una norma en Cn. Entonces (Cn,N) es de Banach.

Page 50: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Corolarios

Hemos demostrado el teorema que cualquier norma en Cn es equivalente a ‖ · ‖2.

CorolarioTodas las normas en Cn inducen la misma topologıa.

CorolarioSea N una norma en Cn. Entonces (Cn,N) es de Banach.

Page 51: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Espacios normados de dimension finita

ProposicionSea V un espacio normado complejo de dimension finita. Entonces V es completo.

Demostracion. Sea N la norma en V y sea b1, . . . , bn una base en V .Definimos T : Cn → V , ν : Cn → [0,+∞),

T (α) :=n∑

k=1αkbk , ν(α) := N(T (α)) (α ∈ Cn).

Como b1, . . . , bn es una base, T es un isomorfismo de espacios vectoriales.Es facil ver que ν es una norma en Cn. Por el teorema, ν � ‖ · ‖2.Como (Cn, ‖ · ‖2) es completo, (Cn, ν) es completo.Como T : (Cn, ν)→ (V ,N) es una isometrıa biyectiva, (V ,N) es completo.

Page 52: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Espacios normados de dimension finita

ProposicionSea V un espacio normado complejo de dimension finita. Entonces V es completo.

Demostracion. Sea N la norma en V y sea b1, . . . , bn una base en V .

Definimos T : Cn → V , ν : Cn → [0,+∞),

T (α) :=n∑

k=1αkbk , ν(α) := N(T (α)) (α ∈ Cn).

Como b1, . . . , bn es una base, T es un isomorfismo de espacios vectoriales.Es facil ver que ν es una norma en Cn. Por el teorema, ν � ‖ · ‖2.Como (Cn, ‖ · ‖2) es completo, (Cn, ν) es completo.Como T : (Cn, ν)→ (V ,N) es una isometrıa biyectiva, (V ,N) es completo.

Page 53: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Espacios normados de dimension finita

ProposicionSea V un espacio normado complejo de dimension finita. Entonces V es completo.

Demostracion. Sea N la norma en V y sea b1, . . . , bn una base en V .Definimos T : Cn → V , ν : Cn → [0,+∞),

T (α) :=n∑

k=1αkbk , ν(α) := N(T (α)) (α ∈ Cn).

Como b1, . . . , bn es una base, T es un isomorfismo de espacios vectoriales.

Es facil ver que ν es una norma en Cn. Por el teorema, ν � ‖ · ‖2.Como (Cn, ‖ · ‖2) es completo, (Cn, ν) es completo.Como T : (Cn, ν)→ (V ,N) es una isometrıa biyectiva, (V ,N) es completo.

Page 54: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Espacios normados de dimension finita

ProposicionSea V un espacio normado complejo de dimension finita. Entonces V es completo.

Demostracion. Sea N la norma en V y sea b1, . . . , bn una base en V .Definimos T : Cn → V , ν : Cn → [0,+∞),

T (α) :=n∑

k=1αkbk , ν(α) := N(T (α)) (α ∈ Cn).

Como b1, . . . , bn es una base, T es un isomorfismo de espacios vectoriales.Es facil ver que ν es una norma en Cn. Por el teorema, ν � ‖ · ‖2.

Como (Cn, ‖ · ‖2) es completo, (Cn, ν) es completo.Como T : (Cn, ν)→ (V ,N) es una isometrıa biyectiva, (V ,N) es completo.

Page 55: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Espacios normados de dimension finita

ProposicionSea V un espacio normado complejo de dimension finita. Entonces V es completo.

Demostracion. Sea N la norma en V y sea b1, . . . , bn una base en V .Definimos T : Cn → V , ν : Cn → [0,+∞),

T (α) :=n∑

k=1αkbk , ν(α) := N(T (α)) (α ∈ Cn).

Como b1, . . . , bn es una base, T es un isomorfismo de espacios vectoriales.Es facil ver que ν es una norma en Cn. Por el teorema, ν � ‖ · ‖2.Como (Cn, ‖ · ‖2) es completo, (Cn, ν) es completo.

Como T : (Cn, ν)→ (V ,N) es una isometrıa biyectiva, (V ,N) es completo.

Page 56: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

Espacios normados de dimension finita

ProposicionSea V un espacio normado complejo de dimension finita. Entonces V es completo.

Demostracion. Sea N la norma en V y sea b1, . . . , bn una base en V .Definimos T : Cn → V , ν : Cn → [0,+∞),

T (α) :=n∑

k=1αkbk , ν(α) := N(T (α)) (α ∈ Cn).

Como b1, . . . , bn es una base, T es un isomorfismo de espacios vectoriales.Es facil ver que ν es una norma en Cn. Por el teorema, ν � ‖ · ‖2.Como (Cn, ‖ · ‖2) es completo, (Cn, ν) es completo.Como T : (Cn, ν)→ (V ,N) es una isometrıa biyectiva, (V ,N) es completo.

Page 57: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

ProposicionSea (V ,N) un espacio normado y sea W un subespacio de V de dimension finita.Entonces W es cerrado.

Demostracion. Consideramos el espacio normado (W ,N|W ).Por la proposicion anterior, este espacio es completo.Por consecuencia, W es cerrado en V .

Page 58: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

ProposicionSea (V ,N) un espacio normado y sea W un subespacio de V de dimension finita.Entonces W es cerrado.

Demostracion. Consideramos el espacio normado (W ,N|W ).

Por la proposicion anterior, este espacio es completo.Por consecuencia, W es cerrado en V .

Page 59: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

ProposicionSea (V ,N) un espacio normado y sea W un subespacio de V de dimension finita.Entonces W es cerrado.

Demostracion. Consideramos el espacio normado (W ,N|W ).Por la proposicion anterior, este espacio es completo.

Por consecuencia, W es cerrado en V .

Page 60: Normas en Cn y su equivalencia entre si, un tema del curso ...

Introduccion Normas en Cn Comparacion de normas (repaso) Equivalencia de todas las normas en Cn Subespacios de dimension finita

ProposicionSea (V ,N) un espacio normado y sea W un subespacio de V de dimension finita.Entonces W es cerrado.

Demostracion. Consideramos el espacio normado (W ,N|W ).Por la proposicion anterior, este espacio es completo.Por consecuencia, W es cerrado en V .