Definition:Dimension of Vector Space/Definition 1

Definition

Let $K$ be a division ring.

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

The dimension of $V$ is the number of vectors in a basis for $V$.

Also see

• Size of Linearly Independent Subset is at Most Size of Finite Generator

• Bases of Vector Space have Equal Cardinality

Sources

• 1965: Seth Warner: Modern Algebra ... (previous) ... (next): Chapter $\text {V}$: Vector Spaces: $\S 27$. Subspaces and Bases
• 1969: C.R.J. Clapham: Introduction to Abstract Algebra ... (previous) ... (next): Chapter $7$: Vector Spaces: $\S 34$. Dimension