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

Let $V$ be a vector space and $W$ a subvector space of $V$. Prove that the canonical map $\pi: V \to V/W$ given by $\pi(v)=v+W$ such that $\pi$ is a linear map uniquely determines a vector space structure on $v/W$

I found the structure. It is just the standard addition and scalar multiplication on the element $v$ from the vector space $V$. Now I am just stuck on showing uniqueness.

share|cite|improve this question
I have the vector space structure, I am just having a hard time proving uniqueness – user61466 Feb 8 '13 at 10:17
OK - you should ideally say something about this in the body of the question. – Matthew Pressland Feb 8 '13 at 10:18
Sorry about that. This is my first post here. So the structure is just the standard addition and scalar multiplication on the element $v$ – user61466 Feb 8 '13 at 10:21
No worries. I'm not sure what you mean by standard addition and scalar multiplication on the element $v$. Is $v$ even an element of $V/W$? – Matthew Pressland Feb 8 '13 at 10:28
Addition: $(v+W)+(v'+W)= v+v'+W$,and scalar multiplication is $c(v+W)=cv+W$ – user61466 Feb 8 '13 at 10:31

Rather than pick two vector space structures such that $\pi$ is linear with respect to both, and then showing they must be the same, it's a bit clearer simply to show that $\pi$ forces our hand in the definition.

For example, for the addition, we try to define $(v+W)+(v'+W)$. But this is $\pi(v)+\pi(v')$, and we're insisting that our definition makes $\pi$ linear, so this has to be equal to $\pi(v+v')$, which is $(v+v')+W$. There's simply nothing else we can do. You should be able to construct a similar argument for the scalar multiplication.

If you're more comfortable showing that any two vector space structures on $V/W$ such that $\pi$ is linear coincide, you can also modify this argument to say it that way.

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.