10
$\begingroup$

I'm working on this exercise (not homework) and I would gladly welcome some hints for how to solve it!

Exercise: Let $\{x_1,\dots,x_n\}$ be a set of linearly independent elements of a normed vector space $X$. Let $c_1,\dots,c_n \in \mathbb{C}$. Show that there exists $f\in X^\ast$ such that $f(x_i)=c_i$.

My idea:

I consider $M = span\{x_1,...,x_n\}$, which is a subspace of $X$. Any $x\in M$ can be written $x=\sum_1^n \lambda_k x_k$, for some $\lambda_1,...,\lambda_n \in \mathbb{C}$. Define $f:M \rightarrow \mathbb{C}$ by $f(x_i)=c_i$ for $i=1,...,n$. Then $f(x) = \sum_1^n \lambda_k f(x_k) = \sum_1^n \lambda_k c_k.$

If I can find a semi-norm $p:X \rightarrow \mathbb{R}$ such that $|f(x)| \leq p(x)$ for any $x \in M$, then by Hahn-Banach Theorem we would be done.

Thanks in advance!

  • 0
    Ah, i get your point. Thanks once again!2012-12-17

3 Answers 3

8

You still need a twist in your argument. You can define a norm $p$ on $M$ by $ p(\sum_{k=1}^n\lambda_kx_k)=\sum_{k=1}^n|\lambda_k|. $ Now, as $M$ is finite-dimensional, all norms on it are equivalent. This in particular tells us that there exists a constant $c$ such that $p(x)\leq c\|x\|$ for all $x\in M$ (since $\|\cdot\|$ is another norm on $M$). So you have $ |f(x)|\leq\,c\,\max\{|c_1|,\ldots,|c_n|\}\,\|x\|,\ \ x\in M, $ and now you can apply Hahn-Banach.

Or a slightly more direct approach would be to notice that since $M$ is finite dimensional, every functional is continuous, and thus $f$ is necessarily bounded in $M$.

  • 0
    I was actually thinking along that path (all norm are equivalent on M) at first, but was confused by something. However, you made it very clear. Thanks! Your second point fits my argument better, and is the missing puzzle bit! Thank you.2012-12-17
3

With some guidance from Sanchez, I managed to figure it out! We have

$|f(x)| = |\sum_1^n \lambda_k c_k | < \infty,$

Hence, for any $x \in M$ we have $|f(x)| < \infty$. Since $f$ is bounded there exists a constant $C$ such that $|f(x)| \leq C\|x\|$ for all $x \in M$, where $\| \cdot \|$ is the norm on $X$. If we define $p(x) = C\|x \|$, then it will clearly be a semi-norm on $X$ and we can use the Hahn-Banach Theorem to get the desired result!

  • 0
    I get it now, from Martin answer above! :)2012-12-17
0

Set $L_k=span_{i \neq k}\{x_i\}$ for each $k=1,\ldots, n$ and observe that each $L_k$ is a closed subspace of $X$. By the Hahn-Banach Theorem there exist functionals $f_k \in X^*$ such that $f_k(L_k)=0, \ \ f_k(x_k)=1$ for each $k=1,\ldots ,n$. Now the functional $f=\sum c_if_i$ satisfies the desired property.