Está en la página 1de 1

Primer Intrasemestral de Análisis Funcional

1. Demostrar que la aplicación R → R+ dada por x → kxk = k |x| con k > 0 es una norma.
Solución
1) kxk = 0 ⇔ k |x| = 0 ⇔ |x| = 0 ⇔ x = 0
2) Para todo λ ∈ K, x ∈ K se verifica kλxk = k |λx| = |λ| (k |x|) = |λ| kxk .
3) Para todo x, y ∈ K

kx + yk = k |x + y| ≤ k (|x| + |y|) = k |x| + k |y| = kxk + kyk.

a. Demostrar que la única norma en K = R o K = C son de la forma kxk = k |x| con k > 0
Solución
Sea ahora una norma kk en K. Entonces k = k1k es mayor que 0 y para todo x ∈ K,

kxk = kx · 1k = |x| k1k = k kxk .

2. Sea x0 (t) ∈ C [0, 1] , x0 6= 0 consideramos el subespacio unidimencional L = {λx0 (t)} donde λ ∈ R. Definamos
sobre L un funcional lineal f mediante la igualdad f (x) = λ si x = λx0 .
a. Demostrar que kf k = kx10 k .
Solución
f (λx0 ) = λ es lineal
|f (x)|
|f ( λx0 )| = |λ| kx 0k
kx0 k =
|λ|kx0 k
kx0 k = 1
kx0 k kxk ⇒ sup = 1
kxk .
|{z} x6=0 kxk
x | {z }
kf k

b. ¿f se podrá prolongar sobre todo el espacio C [0, 1] conservando la norma?. ¿Es única esta prolongación si x0 (t) =
1 − 2t?.
Solución
1 1
x0 (t) = 1 − 2t f (λx0 ) = λ kf k = kx0 k = máx |x0 (t)| =1
t∈[0,1]

Consideremos

f1 (x) = x(0) y f2 (x) = −x(1)

se tiene que

kf1 k = kf2 k = 1

probemos que f1 y f2 coinciden con f sobre L

f1 (λx0 ) = (λx0 )(0) = λx0 (0) = λ(1 − 2(0)) = λ = f (λx0 )


Def. de f1 | {z }
=1

f2 (λx0 ) = (−λx0 )(1) = −λx0 (1) = −λ(1 − 2(1)) = λ = f (λx0 )


Def. de f2 | {z }
=−1

Luego f1 y f2 son dos prolongaciones de f a C[0, 1] que preservan la norma.


3. Sea X un espacio de Hilbert e Y un subespacio cerrado de X. Demostrar que la proyección ortogonal de X sobre
Y tiene norma menor o igual que 1.
Solución
Sea P la proyección ortogonal de X sobre Y . Puesto que para cada x ∈ X el vector P x es ortogonal a x − P x se
deduce del teorema de Pitágoras que kxk2 = kx − P xk2 + kP xk2 de donde kP xk ≤ kxk . Por tanto kP k ≤ 1

Estudiante: Isis Neyser Mena Lafargue M411 1 i.mena@estudiantes.matcom.uh.cu


Estudiante: Lázaro Roque Carmona M411 lazaro.carmona@estudiantes.matcom.uh.cu

También podría gustarte