Dimension theorem for vector spaces
（重定向自Dimension theorem）
In mathematics, the dimension theorem for vector spaces states that all bases of a vector space have equally many elements. This number of elements may be finite, or given by an infinite cardinal number, and defines the dimension of the space.
Formally, the dimension theorem for vector spaces states that