Category:Finite Dimensional Vector Spaces

This category contains results about finite dimensional vector spaces.
Definitions specific to this category can be found in Definitions/Finite Dimensional Vector Spaces.

Let $V$ be a vector space which is $n$-dimensional for some $n \in \N_{\ge 0}$.

Then $V$ is finite dimensional.

The dimension of a finite-dimensional $K$-vector space $V$ is denoted $\map {\dim_K} V$, or just $\map \dim V$.