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
    Since you are still new here, I want to give you some advice about the site: *To get the best possible answers, you should explain what your thoughts on the problem are so far*. That way, people won't tell you things you already know, and they can write answers at an appropriate level; also, people are much more willing to help you if you show that you've tried the problem yourself. Additionally, many would consider your post rude because it is a command ("Show..."), not a request for help, so please consider rewriting it.2012-12-25
  • 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
    Is it necessary to show that f is bounded?I have just learned that theorem.2012-12-25
  • 0
    You do not need to do that since the boundedness of $f$ is the point of the Hahn-Banach theorem.2012-12-25
  • 0
    What about $\overline {f}$ IS it must bounded?2012-12-25
  • 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