Euclidean space over a field
Let be a (commutative) field of characteristic not two. A Euclidean space is a vector space over equipped with a symmetric bilinear form satisfying for all , . The elements of are called points, and a set of points (, ) is called a line. Let . Two pairs , of points , , , are said to be congruent if and only if .
Characterization of Euclidean planes.
A fundamental problem is to characterize classes of Euclidean spaces by means of geometric structures, i.e. structures of abstract points and lines equipped with suitable relations on the objects (e.g., of order, congruence, parallelity, continuity). The classical case , , , as well as some generalizations, were treated by D. Hilbert in [a3] (see also [a1] and [a6]). There are many results concerning the fundamental problem (see [a4]). An example of such a result is Schröder's theorem [a5], which can be described in a fairly elementary way: Let be a set (no stipulation about the elements of is made, except that they will be called points). Let be the set of all two-element sets with . Suppose that is some equivalence relation on . This structure will be written as . (Intuitively, is the real plane and means that the segments and are of equal length.) For two distinct points , , the set of all points with is called a line. Two lines are called parallel if they have no point in common or coincide. Let be the set of all lines of . Such a structure is called a Euclidean plane if:
1) The structure of points and lines of is an affine plane (i.e., for two distinct points there is exactly one line containing them; for a point and a line there is exactly one line parallel to ; and there exist three distinct points not on a common line).
2) Let , , , be distinct points such that no three of them are collinear (i.e., are on a common line). If the line through and is parallel to the line through and and the line through and is parallel to the line through and , then .
3) Let and be distinct points. Then there is exactly one point on the line through and such that and .
An example of a Euclidean plane can be constructed as follows. Let be the set of nine (distinct) elements , , , , , , , , . Two such points are called related if, and only if, the letter of the points or their index are the same. Let , for points , , , with and , precisely if the pairs , and , of points are both related or both not related.
If is a Euclidean space of dimension two over , then is a Euclidean plane. Schröder's theorem states that, up to isomorphism, these are the only Euclidean planes.
A landmark in the development of the notion of a Euclidean space is the book [a7] by M. Pasch (first published in 1882). In it, Pasch concentrated himself, in an in geometry at that time unusual rigorous manner, on understanding the basic notions of geometry and the relations between them. This was the time for clarifying the notions in mathematics: the notion of a real number was clarified by R. Dedekind in [a8] (first published in 1872).
Pasch was aware of the gap left in the geometry of Euclid: Euclid had tacitly assumed that a line divides the plane in two parts, a fact that is not a consequence of the axioms (see also Euclidean geometry). It led Pasch to the discovery of his famous axioms of order (see Pasch axiom). Note that already C.F. Gauss [a9] noted that the word "between" was not properly defined in mathematics. Pasch now realized that a theory of between-ness was important in the systematic approach to geometry.
Nevertheless, Pasch was thinking of a single geometry, "the" geometry. Of course, there was the problem of the axiom of parallelity (cf. also Fifth postulate; Lobachevskii geometry): Is it true or not in reality? Pasch finished his considerations on the basis of so-called absolute geometry. So, he left his theory open for development in the direction of either Euclidean or non–Euclidean geometry. But, again, it was "the" geometry he was concerned with. In his understanding, geometry was part of natural science.
When D. Hilbert published his book [a3] in 1899, the discipline was no longer part of natural science, but had become a part of pure mathematics. Categorical structures like the real Euclidean plane were, and still are, fundamental. (A structure is called categoric if it is uniquely defined up to isomorphism, i.e. up to the notations of the objects and relations involved.) However, the so-called polymorphic structures became more and more important in geometry. The theory of space geometry gained very much by Hilbert's systematic transition from categorical to polymorphic structures.
Of special interest are the Euclidean spaces over with for all with , the so-called pre-Hilbert spaces (cf. also Pre-Hilbert space). Of course, in this case is denoted by and by . Such Euclidean spaces are the so-called real Euclidean spaces. To be able to present the fundamental geometric objects of these, very important, spaces, the notion of a real distance space is introduced. This is a set together with a mapping . Note that for a pre-Hilbert space, and .
Let be a real distance space. Its points are the elements of . The real number is called the distance between and (in this order). If and , the set of all points with is called the hypersphere with centre at and radius . If are points, then the set of all such that and intersect precisely in , is said to be a line. The segment , for points , is defined by
A subset of is called a linear subspace, respectively a convex set, if implies , respectively , whenever . Intersections of hyperspheres with linear subspaces are called spherical subspaces of . A mapping is an isometry of if for all , . Motions are bijective isometries. The set of motions of is a group, , with respect to the composition product. The image of (respectively, of and ) is (respectively, , ) for . If and are distinct points, then the union of the segments is called the half-line with starting point . Let , be distinct half-lines with the same starting point, and let be the intersection of all linear subspaces of containing . If is not a line, then the angle-space is the union of all , , where is on and on . The set is the angle-space . The ordered quadruple is called an angle if is one of the angle-spaces , . Two angles and are said to be equal if there exists a motion mapping , , , to , , , , respectively. If is the set of all angles with , then a mapping of into the set of all non-negative real numbers is called an angle-measure if:
a) and imply ;
b) if is in and is a half-line with starting point , then whenever and are angles in with corresponding angle-spaces and .
For a real Euclidean space with one obtains the classical notions. For and one obtains the objects of hyperbolic geometry [a2].
|[a1]||W. Benz, "Grundlagen der Geometrie" Dokumente Geschichte der Math. , 6 (1990) pp. 231–267|
|[a2]||W. Benz, "Reelle Abstandsräume und hyperbolische Geometrie" Results in Math. , 34 (1998) pp. 56–68|
|[a3]||D. Hilbert, "Grundlagen der Geometrie" , Teubner (1972)|
|[a4]||H. Karzel, H.-J. Kroll, "Geschichte der Geometrie seit Hilbert" , Wiss. Buchgesell. Darmstadt (1988)|
|[a5]||M. Schröder, "Geometrie euklidischer Ebenen" , Schöningh Paderborn (1985)|
|[a6]||M.M. Toepell, "Uber die Entstehung von David Hilberts Grundlagen der Geometrie" , Vandenhoeck&Ruprecht (1986)|
|[a7]||M. Pasch, "Vorlesungen über neuere Geometrie" , Teubner (1882)|
|[a8]||R. Dedekind, "Stetigkeit und irrationale Zahlen" , Braunschweig (1872)|
|[a9]||C.F. Gauss, "Werke" , VIII , Teubner (1900) pp. 222|
Euclidean space over a field. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Euclidean_space_over_a_field&oldid=17300