Corollario del teorema di Hahn Banach

qwertyuio1
Scusate se vi propongo ancora un nuovo topic...

Devo dimostrare, come corollario del teorema di Hahn-Banach, che dati
$X$ spazio normato, $Z\subset X$ sottospazio vettoriale, $x_0\in X, x_0\ne 0, dist(x_0,Z)>0$ (cioè $x_0$ non sta nella chiusura di $Z$)
allora esiste un operatore $T:X\to R$ lineare e continuo tale che
$||T||=1$, $T(x_0)=dist(x_0,Z)$, $Z\subset KerT$.

Basta costruire un tale operatore sul sottospazio $Z':=Z+Rx_0$, e poi estenderlo con teorema di Hahn-Banach.
Una sola cosa non mi torna: la norma di $T$.
Io definisco $T(z+\lambda x_0)=\lambda$ $dist(x_0,Z)$, riesco a far vedere che $||T||<=1$, ma non che $||T||>=1$.
Come posso fare?

Risposte
Luca.Lussardi
Non viene con il Lemma di quasi perpendicolarità di Riesz?

qwertyuio1
Non conosco questo lemma... Cosa dice?

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.