Authors: Yakov A. Iosilevskii
Comments: 68 Pages.
A concise rigorous axiomatic algebraico-functional theory of a real affine Euclidean space of any given dimension n>=1 (nDRAfES), which is an underlying discipline of differential and integral calculus and particularly of my recent theory of nD wave fields, presented in arXiv:1510.00328, is developed from an algebraic system, called an affine additive group (AAG). The latter consists of a certain underlying set of points, called an affine additive group manifold (AAGM), and of a certain commutative [abstract] additive group (CAG), called the adjoint group of the AAG, whose elements, called vectors, are related to pairs of points of AAGM by a binary surjection, satisfying the appropriate version of the Chasle, or triangle, law. An AAG is illustrated by an nD primitive (Bravais) affine lattice. When the CAG is successively supplemented by the appropriate additional attributes to become ultimately an nD real abstract vector Euclidean space (nDRAbVES), the AAG is automatically self-adjusted to all current metamorphoses of its adjoint CAG to become ultimately an nDRAfES, of which the above nDRAbVES is adjoint. Relative to its any orthonormal basis, the nDRAbVES, adjoint of the nDRAfES, is isomorphic to the nD real arithmetical vector Euclidean space (nDRArVES), whose underlying set consists of ordered n-tuples of real numbers, being coordinates of the respective abstract vectors of the underlying vector set of the nDRAbVES. A time continuum (TC) is a special interpretation of 1DRAfES. A real-valued functional form (FF) that is initially defined on a certain region of the direct product (DP) of a 1DRAfES and a nDRAfES can rigorously be mapped onto a certain real-valued FF defined on a certain region of the DP of the TC and nDRArVES and vice versa.