Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

In the book Functional Analysis,Sobolev Spaces and Partial Differential Equations of Haim Brezis we have the following lemma:

Lemma. Let $X$ be a vector space and let $\varphi, \varphi_1, \varphi_2, \ldots, \varphi_k$ be $(k + 1)$ linear functionals on $X$ such that $$ [\varphi_i(v) = 0 \quad \forall\; i = 1, 2, . . . , k] \Rightarrow [\varphi(v) = 0]. $$

Then there exist constants $\lambda_1, \lambda_2, \ldots, \lambda_k\in\mathbb{R}$ such that $\varphi=\lambda_1\varphi_1+\lambda_2\varphi_2+\ldots+\lambda_k\varphi_k$.

In this book, the author used separation theorem to prove this lemma. I would like ask whether we can use only knowledge of linear algebra to prove this lemma.

Thank you for all helping.

share|cite|improve this question
up vote 6 down vote accepted

Your assumption is that $\ker{\varphi} \supseteq \bigcap_{i=1}^k \ker{\varphi_i}$.

Consider the linear map $\ell \colon X \to \mathbb{R}^k$ given by $\ell(x) = (\varphi_1(x),\dots,\varphi_n(x))$ and let $V = \operatorname{im}\ell = \{\ell(x):x \in X\} \subseteq \mathbb{R}^k$ be the image. We have $\ker{\ell} = \bigcap_{i=1}^k \ker{\varphi_{i}} \subseteq \ker\varphi$. Therefore $\varphi = \tilde{\varphi} \circ \ell$ for some linear functional $\tilde{\varphi}\colon V \to \mathbb{R}$ [explicitly, $\tilde{\varphi}(v) = \varphi(x)$ where $x$ is such that $\ell(x) = v$. This is well-defined and linear.]

Every linear functional defined on a subspace $V$ of $\mathbb{R}^k$ can be extended to a linear functional on all of $\mathbb{R}^k$ (write $\mathbb{R}^k = V \oplus V^{\bot}$ and set the extension to be zero on $V^{\bot}$) and every linear functional on $\mathbb{R}^k$ is of the form $\psi(y) = \sum_{i=1}^k a_i y_i$. Thus, there are $\lambda_1,\dots,\lambda_k \in \mathbb{R}$ such that $\tilde\varphi(v) = \sum_{i=1}^k \lambda_i v_i$ for all $v \in V$. In other words, $\varphi = \sum_{i=1}^k \lambda_i \varphi_i$.

share|cite|improve this answer
Thank you for your instruction. – blindman Oct 26 '12 at 8:30

Look at Rudin's "Functional Analysis" Lemma 3.9. The only issue I see is that the proof requires the extension of a functional from a subspace of a finite dimensional space to the entire finite dimensional space, but this is purely algebraic as far as I can see.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.