Analogy With Vector Space Dimensions
There is an analogy with the theory of vector space dimensions. The dictionary matches algebraically independent sets with linearly independent sets; sets S such that L is algebraic over K(S) with spanning sets; transcendence bases with bases; and transcendence degree with dimension. The fact that transcendence bases always exist (like the fact that bases always exist in linear algebra) requires the axiom of choice. The proof that any two bases have the same cardinality depends, in each setting, on an exchange lemma.
This analogy can be made more formal, by observing that linear independence in vector spaces and algebraic independence in field extensions both form examples of matroids, called linear matroids and algebraic matroids respectively. Thus, the transcendence degree is the rank function of an algebraic matroid. Every linear matroid is isomorphic to an algebraic matroid, but not vice versa.
Read more about this topic: Transcendence Degree
Famous quotes containing the words analogy, space and/or dimensions:
“The whole of natural theology ... resolves itself into one simple, though somewhat ambiguous proposition, That the cause or causes of order in the universe probably bear some remote analogy to human intelligence.”
—David Hume (1711–1776)
“Oh, my. I’d forgotten how much I hate space travel.”
—George Lucas (b. 1944)
“The truth is that a Pigmy and a Patagonian, a Mouse and a Mammoth, derive their dimensions from the same nutritive juices.... [A]ll the manna of heaven would never raise the Mouse to the bulk of the Mammoth.”
—Thomas Jefferson (1743–1826)