# Definition of quotient space

Let $W \subset V$ be vector spaces. I don't understand the quotient space $V/W$. I read the Wikipedia and searched this site.

I would have thought: say the vector space operation is $+$. let $Q = V/W$. Then $V = W+Q$ by "multiplying across". So $Q$ contains elements of the form $V + (-1)W$. Why isn't this how the quotient space is defined?

-
You have $Q = \{ \{v\}+W | v \in V \}$. I suspect the term quotient came from group notation? –  copper.hat Oct 21 '12 at 16:18
A Vector space is an abelian group! So the quotient space would contain the cosets of $W$! –  ILoveMath Oct 21 '12 at 17:21
You can't "solve" equations for sets. If $A=B+C$ as sets, that doesn't imply that $C=A-B$. (Take $A=B$ to be any set and $C=\{0\}$, for example.) –  Greg Martin Oct 21 '12 at 17:25

Any subspace $\,W\leq V\,$ (over some field $\,\Bbb F\,$) defines an equivalence relation $\,\sim_W\,$ on $\,V\,$ as follows:

$$v_1\sim_Wv_2\Longleftrightarrow v_1-v_2\in W$$

1) Show the above is an equivalence relation

2) If we denote the equivalence clases of the above relation by $\,v+W\,$ (in set theory this would usually be defined as $\,[v]\,\,,\,\,[v]_W\,$ or something similar), then we can define two operations on the set of equivalence classes, denoted by $\,V/W\,$ , as follows:

(i) Sum of classes: $\,(v_1+W)+(v_2+W):=(v_1+v_2)+W\,$

(ii) Product by scalar: for any $\,k\in\Bbb F\;\;,\;\;k(v+W):=(kv)+W\,$

3) Prove both operations above are well defined and they determine a structure of $\,\Bbb F_\,$vector space on $\,V/W\,$

If you know some group theory, the above applies mutatis mutandis to normal subgroups of a group, though the plain equivalence relation (i.e., without the operations) applies to any subgroup of a group.

-