Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

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

V is a finite dimensional vector space. How to prove that any linear map on subspace of V can be extended to linear map on V.

I attempted it by taking the basis of the subspace W with Dim(m) and extending it to basis of V with Dim(n). Since mapping of all vectors of basis of W exists and taking the remaining m-n vectors as zero - we will get a linear map to an element that is in V. But is it sufficient to prove that all vectors in V will also be having a linear map?

share|cite|improve this question

If $\{w_1,\ldots,w_m\}$ is a basis of $W$, all you need to be able to do is show that there exist vectors $v_{m+1},\ldots,v_n \in V$ with the property that $\{w_1,\ldots,w_m,v_{m+1},\ldots,v_n\}$ is a basis of $V$. This is a pretty standard result in linear algebra.

The extension you propose $$\tilde L (v) = \tilde L (\alpha_1 w_1 + \cdots + \alpha_m w_m + \alpha_{m+1}v_{m+1} + \cdots \alpha_n v_n) = L(\alpha_1 w_1 + \cdots + \alpha_m w_m)$$ is linear and uniquely defined for all $v \in V$.

share|cite|improve this answer
@ Umberto Please correct me if I'm wrong but a linear map on V should be defined for all elements of V. But does the extension in the answer not limit to vectors in V with $ v_{m+1}=.....=v_n= 0 $ thereby excluding vectors in V where these are not zero – Hashtag Sep 12 '13 at 18:31
Since $\{w_1,\ldots,w_m,v_{m+1},\ldots,v_n\}$ is a basis of $V$, every vector $v \in V$ has a unique representation $v = \alpha_1 w_1 + \cdots + \alpha_m w_m + \alpha_{m+1}v_{m+1} + \cdots \alpha_n v_n$. – Umberto P. Sep 13 '13 at 13:06

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.