1
$\begingroup$

If X is a normed linear space ,$x_{1},x_{2},…,x_{n}\in X$ are linear independent,$a_{1},a_{2},…,a_{n}\in F$ are arbitrary,then there exist $f\in X^{\ast } $ such that $f\left( x_{k}\right)= a_{k}$,$k=1,2,…,n$.

I have tried to find a $M\in F$ such that for aritrary $t_{1},t_{2},…,t_{n}\in F$,$\left| \sum _{k=1}^{n} t_{j}a_{j}\right|\leq M\left\|\sum _{k=1}^{n} t_{j}x_{j}\right\|$ but it seemed failed.

Is it necessary to show that $\overline {f}$ is bounded?$\overline {f}\in span\ \left\{ x_{1},x_{2},…,x_{n}\right\}$ $\overline {f}\left( x_{k}\right)= a_{k}$

  • 0
    The requirement "such that ..." *defines* a functional $g \colon Y \to F$ on the subspace $Y$ spanned by $x_1,\dots,x_k$ such that $g(x_k) = a_k$. Can you show that $g$ is bounded? Then apply Hahn-Banach and get $f$.2012-12-25

1 Answers 1

2

Let

$M={\rm span} \{x_1,\dots,x_n\}.$

Note that

$\bar{f}:M\rightarrow\mathbb{R}$ defined by giving its values on the basis $\{x_1,\dots,x_n\}$ of $M$: $\bar{f}(x_k)=a_k,$ belongs to $M^{*}$ (it is trivial since $M$ is finite dimensional).

Now, thanks to the Hahn-Banach theorem, you can extend $\bar{f}$ to the continuous linear functional $f:X\rightarrow\mathbb{R}.$

  • 0
    Yes $\bar{f}$ have to be bounded. In short: you are extending a bounded linear functional acting on a subspace of $X$ to a bounded linear functional acting on a whole space $X$.2012-12-25