Category:Bases of Vector Spaces

From ProofWiki
Jump to navigation Jump to search

This category contains results about Bases of Vector Spaces.
Definitions specific to this category can be found in Definitions/Bases of Vector Spaces.

Let $K$ be a division ring.

Let $\struct {G, +_G, \circ}_R$ be a vector space over $K$.

Definition 1

A basis of $G$ is a linearly independent subset of $G$ which is a generator for $G$.

Definition 2

A basis is a maximal linearly independent subset of $G$.