Vector spaces without fields

From Wikipedia, the free encyclopedia

"Vector spaces without fields" denotes an algebraic definition of vector spaces that differs from the standard definitions, which require the one of a field. 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. [1] 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.

  1. (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.
  2. (Abelian group) + satisfies the above mentioned axioms.
  3. (Basis dilation) There is a basis set B\subseteq V such that, for every such δ that is not constant, all the values δ(b), where b ranges over B, again form a basis set.
  4. (Dilatations) Δ is the set of all and only functions that satisfy the previous conditions and preserve all operations, namely δ(v + w) = δ(v) + δ(w) and δ(γ(v)) = γ(δ(v)), for all \delta,\gamma\in\Delta and all v,w\in V.

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 a\in F gets a \delta\in\Delta such that δ(v) = av). Ricci (2007) proves that every such a universal algebra defines a suitable field. (Hence, it proves that these conditions also imply the axioms 6–8 of the standard formal definition, in addition to the obvious axiom 5, as well as all the defining properties in definition 3 of a field.)[2]

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.

[edit] Notes

  1. ^ The “generalized conception of space” in the preface of Whitehead (1898) is the first published claim that geometric ideas concern Universal Algebra too. It expands a similar claim in the preface of Fibonacci (1202).
  2. ^ This construction also concern the space with only one (null) vector, where the defined field only has the zero as element. This slightly extends definition 3 of a field, which only considers fields with at least two elements.

[edit] References

  1. Artin, E. (1957).Geometric Algebra, Interscience Publishers, New York.
  2. Fibonacci, L. [1202](1857) Liber Abbaci, reprinted by Tipografia delle Scienze Matematiche e Fisiche, B. Boncompagni ed., Rome.
  3. Ricci, G. (2007). Dilatations kill fields, Intermational Journal of Mathematics, Game Theory and Algebra, 16 5/6: 13–34.
  4. Ricci, G. (2008). Another characterization of vector spaces without fields, in G.Dorfer, G.Eigenthaler, H.Kautschitsch, W.More, W.B.Müller (Hrsg.), Contributions to General Algebra 18, Verlag Johannes Heyn GmbH & Co, Klagenfurt. April 2008, pp. 139–150. ISBN 978-3-7084-0303-8.
  5. Whitehead, A.N. (1898).A treatise on Universal Algebra with applications, 1, Cambridge University Press, Cambridge.