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
- Given a vector space V, any two linearly independent generating sets (in other words, any two bases) have the same cardinality.
If V is finitely generated, then it has a finite basis, and the result says that any two bases have the same number of elements.
While the proof of the existence of a basis for any vector space in the general case requires Zorn's lemma and is in fact equivalent to the axiom of choice, the uniqueness of the cardinality of the basis requires only the ultrafilter lemma, which is strictly weaker (the proof given below, however, assumes trichotomy, i.e., that all cardinal numbers are comparable, a statement which is also equivalent to the axiom of choice). The theorem can be generalized to arbitrary R-modules for rings R having invariant basis number.
The theorem for finitely generated case can be proved with elementary arguments of linear algebra, and requires no forms of the axiom of choice.
Read more about Dimension Theorem For Vector Spaces: Proof, Kernel Extension Theorem For Vector Spaces
Famous quotes containing the words dimension, theorem and/or spaces:
“By intervening in the Vietnamese struggle the United States was attempting to fit its global strategies into a world of hillocks and hamlets, to reduce its majestic concerns for the containment of communism and the security of the Free World to a dimension where governments rose and fell as a result of arguments between two colonels wives.”
—Frances Fitzgerald (b. 1940)
“To insure the adoration of a theorem for any length of time, faith is not enough, a police force is needed as well.”
—Albert Camus (19131960)
“In any case, raw aggression is thought to be the peculiar province of men, as nurturing is the peculiar province of women.... The psychologist Erik Erikson discovered that, while little girls playing with blocks generally create pleasant interior spaces and attractive entrances, little boys are inclined to pile up the blocks as high as they can and then watch them fall down: the contemplation of ruins, Erikson observes, is a masculine specialty.”
—Joyce Carol Oates (b. 1938)