Definition:Quotient Vector Space

Definition
Let $V$ be a vector space.

Let $M$ be a vector subspace of $V$.

Then the quotient space of $V$ modulo $M$, denoted $V / M$, is defined as:


 * $\set {x + M : x \in X}$

where $x + M$ is the Minkowski sum of $x$ and $M$.

Furthermore, $V / M$ is considered to be endowed with the induced operations:


 * $\paren {x + M} + {y + M} := \paren {x + y} + M$
 * $\alpha \paren {x + M} := \alpha x + M$

Also see

 * Quotient Vector Space is Vector Space