Vector Space

Let a vector space VV be a Set of Vector with

  • addition such that
u+vV;u,vV\begin{gather*} \left\lvert u \right\rangle+\left\lvert v \right\rangle\in V\quad ;\quad\left\lvert u \right\rangle,\left\lvert v \right\rangle\in V \end{gather*}
  • scalar multiplication such that