Understanding the proof of a theorem using Hahn-Banach Theorem. Here is the theorem and its proof:

THEOREM 4. Let $X$ be a normed linear space and $x_0$ a nonzero vector in $X$. There is $T\in X^*$ such that $Tx_0=\|x_0\|$ and $\|T\|=1$.

And here is the statement of the Hahn-Banach Theorem we are using:

THEOREM 3. The Hahn-Banach Theorem. Let $X$ be a normed linear space, let $Y\subset X$ be a linear subspace, and let $T$ be a bounded linear functional on $Y$. There there exists a linear functional $\hat T\in X^*$ such that $$\hat Tx=Tx,\ \ \text{ for } x\in Y,\ \ \ \ \text{and } \ \ \ \|\hat T\|_{X^*}=\|T\|_{Y^*}$$

And here are my questions:


*

*Why we defined $T_{0}$ like that? what is the importance of the $\lambda$ in the definition?

*How is the norm of  $T_{0}$ is 1?

*where is the extension of  $T_{0}$ that we should have found according to the Hahn-Banach Theorem ? and how the result follows from the Hahn-Banach Theorem ? where are the details for this?
Could anyone help me in answering those questions please? 
 A: If $x_0 \neq 0$, you have a subspace $Y= \operatorname{span}_{x_0} = \{ \lambda x_0 : \lambda \in \mathbb{K} \}.$ So every element in this space is a multiple of $x_0$. If you want to define a functional $T_0$ on $Y$, you have to explain what it does on $Y$, and if you write $T_0 (\lambda x_0) = \lambda \| x_0 \|$, you have defined $T_0$ on all of $Y$. Note that this explains the role of $\lambda$ here. 
The importance of $T_0$ is the following. Suppose for the moment that $T_0$ is a bounded linear functional on $Y$ with norm $1$, then by the Hahn-Banach theorem you have an extension $T: X \longrightarrow \mathbb{K}$ such that $T\vert_Y = T_0$ and $\| T \| = \| T_0 \|$. This explicitly means $\| T \| = 1$ and $T x_0 = \| x_0 \|$ by the definition of $T_0$ (!), hence your theorem $4$ is proved.
So what we only have to verify are the properties of $T_0$. I leave the linearity to you, this is straightforward. We finally have to show $\| T_0 \| = 1$. Recall therefore the definition of the operator norm, $\| T_0 \| = \sup_{x \neq 0 } | T_0(x) | / \| x \|$. But $x = \lambda x_0$ for a $\lambda \in \mathbb{C}$ and $T_0(x) = \lambda \| x_0 \|$, hence the $\sup$ becomes $1$.
A: *

*You want $T_0$ to satisfy $Tx_0=\|x_0\|$, and to be linear. So $T(\lambda x_0)=\lambda \|x_0\|$. You get no choice of what $T_0$ should be on $Y$. Note that $Y$ is "a" subspace spanned by $x_0$, but "the" subspace spanned by $x_0$.

*By definition, $$\|T_0\|=\sup\{\frac{|T_0x|}{\|x\|}:\ x\in Y,\ x\ne0\}=\sup\{\frac{|\lambda|\,\|x_0\|}{\|\lambda x_0\|}:\ \lambda\in\mathbb C\}=1.$$

*Not sure what you mean by "where", nor what you are asking here. The theorem, as you quoted it, says precisely that there exists $T\in X^*$ with $\|T\|=\|T_0\|$ and $T=T_0$ on $Y$: so $\|T\|=\|T_0\|=1$ and $Tx_0=T_0x_0=\|x_0\|$.
