Академический Документы
Профессиональный Документы
Культура Документы
Ingeniería Matemática
Lista 1
Ejercicio 1.
1. Sea V un espacio vectorial sobre K, W un subespacio vectorial de V y BW una base de Hamel para W. Muestre que
BW puede ser extendido a una base de V.
2. Sea ϕ : W → K un funcional lineal. Muestre que existe Ψ : V → K un funcional lineal sobre V tal que Ψ|W = ϕ, sin
necesidad de usar el Teorema de Hahn-Banach.
Solución.
1. La idea para extender una base de Hamel es usar el Lema de Zorn, para lo cual definamos el siguiente conjunto:
B := A ⊂ V : B w ⊂ A, A es l.i. .
© ª
(ec–1)
Notemos que el conjunto B con la relación de orden ⊆ es parcialmente ordenado. Sea {A i }i ∈I ⊂ B una cadena.
Consideremos el siguiente conjunto
[
B := Ai , (ec–2)
i ∈I
es claro que B ∈ B, pues B w ⊂ B y B es l.i. Además, B es una cota superior para {A i }i ∈I , pues para todo i ∈ I ,
A i ⊆ B.
Por el Lema de Zorn, B posee al menos un elemento maximal, digamoslo B.
© ª
Finalmente, debemos probar que span{B } = V. Razonemos por absurdo y supongamos que span B ( V, por
© ª © ª © ª
lo que existe A ⊂ V \ span B linealmente independiente tal que span A + span B = V. Ahora, tomemos el
conjunto C = A ∪ B, notemos que este es linealmente independiente y además BW ⊂ C , por lo que C ∈ B. Es
© ª
claro que B ( C , lo cual es absurdo pues B es un elemento maximal. Por lo que span B = V.
2. Por el resultado anterior, B es una base de Hamel para V extendida a partir de BW . Ahora, notemos que
B = {v i }i ∈I y BW = {v j } j ∈J . (ec–3)
Ψ: V −→ K
(ec–4)
x = y + z 7−→ Ψx = i ∈I 0 αi + ϕz.
P
Ψ es linal, pues es la suma de operadores lineales. Notemos que para todo z ∈ W, tenemos que
〈Ψ, z〉V × ,W = ϕ, z W × ,W ,
®
(ec–5)
por lo que Ψ ∈ V × .
Ejercicio 2. Muestre que si consideramos una seminorma p en el Teorema de Hanh-Banach forma analítica caso com-
plejo, entonces existe una extención g lineal a todo el espacio vectorial V tal que
¯ ®¯
¯ g , x ¯ ≤ p(x), ∀x ∈ V.
donde f 1 , f 2 : WR → R son R−lineales. Además, puesto que p es una seminorma tenemos que | f 1 , x | ≤ | f , x | ≤ p(x),
® ®
para todo x ∈ W. Por el Teorema de Hahn-Banach forma analítica caso real, para f 1 existe g 1 : WR → R lineal tal que
®
g 1 |WR = f 1 y g 1 , x ≤ p(x), ∀x ∈ V. (ec–7)
Ahora, sea
g : V −→ C
® ® ® (ec–9)
x 7−→ g , x = g 1 , x − i g 1 , i x .
g es C−lineal, pues sean x, y ∈ V y α = a + i b ∈ C tenemos que
® ® ®
g , x + y = g1, x + y − i g1, i x + i y
® ® ®
= g 1 , x + g 1 (y) − i g 1 , x − i g 1 , y
® ®
= g,x + g,y .
g , αx = g 1 , αx − i g , i αx
® ® ®
® ®
= g 1 , ax + i b − i g 1 , ax − i b
® ® ® ®
= a g 1 , x + b g 1 , i x − ai g 1 , i x + i b g 1 , x
= α g1, x .
®
Recordemos que para todo z ∈ C : z = |z| exp(i θ), donde θ ∈ arg z. Así, sea x ∈ V tenemos lo siguiente
g , x = ¯ g , x ¯ exp(i θ),
® ¯ ®¯
(ec–10)
¯ g , x ¯ = g , x exp(i θ)
¯ ®¯ ®
= g , exp(i θ)x
®
≤ p exp(i θ)x
¡ ¢
= p(x).
2
Ejercicio 3.
a) p(0) = 0.
b) −p(−x) ≤ p(x), para todo x ∈ V.
c) −p(y − x) ≤ p(x) − p(y) ≤ p(x − y), para todo (x, y) ∈ V × V.
d) Además, si p(−x) = p(x), para todo x ∈ V, entonces p(x) ≥ 0 y |p(x)−p(y)| ≤ p(x −y), para todo (x, y) ∈ V ×V.
3. Sean V un espacio vectorial real, C ⊂ V no vacío y convexo tal que 0 ∈ C . Para cada vector v ∈ V, se define
pC : V −→ [0, +∞]
(ec–11)
v 7−→ pC (v) := ı́nf α > 0 : v ∈ αC .
© ª
Solución.
1.
d) Sea x ∈ V, por el segundo literal tenemos que 0 ≤ p(x) + p(−x), lo que implica que 0 ≤ p(x). La segunda
condición es una implicación directa del literal anterior, pues para todo (x, y) ∈ V × V : p(x − y) = p(y − x).
3
2. Sea R2 un espacio normado, con la norma euclideana. Definamos lo siguiente:
p : R2 −→ R
(ec–19)
(x, y) 7−→ |x| + y.
Claramente p es un funcional sublineal. Sin embargo este no es una seminorma, pues para y ∈ R− y x ∈ R
tenemos que
¡ ¢
p (x, y) = |x| + y 6≥ 0. (ec–20)
3.
a) Sea v ∈ V.
por lo cual
α > 0 : v ∈ αC ⊂ pC (v), +∞ .
© ª ¡ ¢
(ec–22)
po lo cual
pC (v), +∞ ⊂ α > 0 : v ∈ αC .
¡ ¢ © ª
(ec–24)
pC (x + y) = ı́nf α > 0 : x + y ∈ αC
© ª
½ ¾
1 1
= ı́nf α > 0 : x + y ∈ αC
α α
½ ¾ ½ ¾
1 1
≤ ı́nf α > 0 : x ∈ αC +ı́nf α > 0 : y ∈ αC
α α
= pC (x) + pC (y).
= λpC (x).
c)
Por lo que
© ª
C ⊆ v ∈ V : pC (v) ≤ 1 . (ec–27)
4
Sea v ∈ V tal que
pC (v) = ı́nf α > 0 : v ∈ αC < 1.
© ª
(ec–28)
Ejercicio 4.
2. Muestre que existe un funcional lineal f : l ∞ (C) → R tal que para todo {t n }n∈N l ∞ (C) :
¡ ¢
lı́m inf Re(t n ) ≤ f {t n }n∈N ≤ lı́m sup Re(t n ). (ec–32)
n→+∞ n→+∞
Solución.
= λp({x n }) (ec–35)
W := {t n } ∈ l ∞ (C) : t n = 0, ∀n ∈ N = 0l ∞ (C) .
© ª © ª
(ec–39)
g : l ∞ (C) −→ R
(ec–40)
{t n }n∈N 7−→ lı́m t n .
n→+∞
5
Ahora, para todo {t n }n∈N ∈ W, tenemos lo siguiente
lı́m inf Re(t n ) ≤ g ({t n }) ≤ lı́m sup Re(t n ) = p({t n }), ∀{t n }n∈N ∈ W. (ec–47)
n→+∞ n→+∞
Por el Teorema de Hahn-Banach forma analítica caso complejo, existe f : l ∞ (C) → R tal que f |W = g y
lı́m inf Re(t n ) ≤ f ({t n }) ≤ lı́m sup Re(t n ), ∀{t n }n∈N ∈ l ∞ (C). (ec–48)
n→+∞ n→+∞
| f ({t n })| ≤ lı́m sup Re(t n ) ≤ lı́m sup |t n | = k{t n }n∈N k∞ , ∀{t n }n∈N ∈ l ∞ (C). (ec–51)
n→+∞ n→+∞
Ejercicio 5.
1. Usando el Teorema de Hahn-Banach forma analítica(puramente algebráico) caso complejo y el Ejercicio 2, mues-
tre que el Teorema de Hahn-Banach forma topológica caso complejo sobre un espacio normado complejo.
2. Sea V un espacio vectorial normado real. Muestre que para todo x, y ∈ V, con x 6= y, existe f ∈ V ∗ tal que
® ®
f ,x =
6 f ,y . (ec–52)
Solución.
p : V −→ R
° ° (ec–54)
x 7−→ °g ° W ∗ kxkV .
6
Es claro que p es sublineal, pues viene dado por la norma de V.
Ahora, por el Teorema de Hahn-Banach forma analítica caso complejo existe f ∈ V × tal que f |W = g y
¯ ®¯
¯ f , x ¯ ≤ p(x), ∀x ∈ V. (ec–55)
Pero
¯ ®¯ ° °
¯ f , x ¯ ≤ °g °
W ∗ kxkW , ∀x ∈ V. (ec–56)
° ° ®
°f ° = sup | f , x | (ec–57)
v∗
x∈V
kxk=1
®
≥ sup | f , x | (ec–58)
x∈W
kxk=1
®
= sup | g , x | (ec–59)
x∈W
kxk=1
° °
= °g °W ∗ . (ec–60)
° ° ° °
Luego ° f °V ∗ = °g °W ∗ .
2. Sean x, y ∈ V tales que x 6= y. Para x − y ∈ V \ {0}, el Teorema de Hahn-Banach forma topológica caso real nos da
°2 ° °
la existencia de f ∈ V ∗ tal que f (x − y) = °x − y ° y ° f ° ∗ = °x − y ° . Como x − y 6= 0, tenemos que
° ° °
V V
®
f , x − y 6= 0, (ec–61)
3. Si, pues el resultado que nos da la existencia de f sirve tanto para espacios normados sobre R como para espa-
cios normados sobre C. Sin embargo, como C no tiene orden lo que tendríamos es
¡ ®¢ ¡ ®¢
Re f ,x 6= Re f ,y . (ec–63)