TheoremBase

Finite-Dimensional Vector Space

Statement

Let KK be a field and let VV be a vector space over KK with zero vector 0V0_{V}.

The space VV is finite-dimensional if V={0V}V=\{0_{V}\}, or if there exist a natural number nn and an nn-tuple e∈Vne\in V^{n} that is a basis of VV.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…