Definition:Dimension of Vector Space/Finite

From ProofWiki
Jump to navigation Jump to search


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$.

Also known as

Some sources use a hyphen, thus referring to a finite-dimensional vector space.

Also see