In mathematics, the conventional definition of the concept of vector space relies upon the algebraic concept of a field. This article treats an algebraic definition that does not require that concept. If vector spaces are redefined as (universal) algebras as below, no preliminary introduction of fields is necessary. On the contrary, fields will come from such vector space algebras.
One of the ways to do this is to keep the first four Abelian group axioms on addition in the standard formal definition and to formalize its geometric idea of scaling only by notions that concern every universal algebra. Vector space algebras consist of one binary operation + and of "unary" operations δ, which form a nonempty set Δ, that satisfy the following conditions, which do not involve fields.
- (Total homogeneous algebra) There is a single set V such that every operation takes its two arguments or its argument from the whole V and gives its value in it.
- (Abelian group) + satisfies the above mentioned axioms.
- (Basis dilation) There is a basis set such that, for every such δ that is not constant, all the values, where b ranges over B, again form a basis set.
- (Dilatations) Δ is the set of all and only functions that satisfy the previous conditions and preserve all operations, namely and, for all and all .
Ricci (2008) proves that these vector space algebras are the very universal algebras that any standard vector space defines by its addition and the scalar multiplications by any given scalar (namely each gets a such that ). Ricci (2007) proves that every such a universal algebra defines a suitable field. (Hence, it proves that these conditions imply all the axioms of the standard formal definition, as well as all the defining properties in definition 3 of a field.)
Since the field is defined from such vector space algebra, this is an algebraic construction of fields, which is an instance of a more general algebraic construction: the "endowed dilatation monoid" (Ricci 2007). However, as far as fields are concerned, there also is a geometric construction. Chapter II in (Artin 1957) shows how to get them starting from geometric axioms concerning points and lines.
Famous quotes containing the words spaces and/or fields:
“Though there were numerous vessels at this great distance in the horizon on every side, yet the vast spaces between them, like the spaces between the stars,—far as they were distant from us, so were they from one another,—nay, some were twice as far from each other as from us,—impressed us with a sense of the immensity of the ocean, the “unfruitful ocean,” as it has been called, and we could see what proportion man and his works bear to the globe.”
—Henry David Thoreau (1817–1862)
“I respect not his labors, his farm where everything has its price, who would carry the landscape, who would carry his God, to market, if he could get anything for him; who goes to market for his god as it is; on whose farm nothing grows free, whose fields bear no crops, whose meadows no flowers, whose trees no fruit, but dollars; who loves not the beauty of his fruits, whose fruits are not ripe for him till they are turned to dollars. Give me the poverty that enjoys true wealth.”
—Henry David Thoreau (1817–1862)