Dimension
If and are both bases of , then ; this common size is the dimension of .
Theorem 2.56
Exchange properties
In a vector space of dimension :
-
If spans with , removing vectors from yields a basis.
-
If is a linearly independent set with , adding vectors to yields a basis.
Related
Stated in
- Theorem 2.56§2.10.3 Basis and Dimension