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