Definition:Dimension of Vector Space

Definition
Let $K$ be a division ring.

Let $V$ be a vector space over $K$.

Also see

 * Size of Linearly Independent Subset is at Most Size of Finite Generator, proving equivalence of the definitions.


 * Bases of Vector Space have Equal Cardinality: all bases of $V$ have the same number of elements.