Redirected from Euclid's postulates
Euclidean geometry is distinguished from other geometries by the parallel postulate, which is usually phrased as follows: Through a point not on a given straight line, one and only one line can be drawn that never meets the given line. In particular, this postulate separates Euclidean geometry from hyperbolic geometry, where many parallel lines could be drawn through the point, and from elliptic and projective geometry, where no parallel lines exist. (Euclidean geometry does, however, share the parallel postulate with some geometries, such as certain finite geometries[?].)
Today Euclidean geometry is usually constructed rather than axiomatized, by means of analytic geometry. A rectangular coordinate system maps each point in Euclidean space with a unique list of n real numbers (x1,...,xn), so we can define it to be the set of all such lists (Rn). We also define a metric (distance function) d by
which you might recognise as an application of the Pythagorean Theorem (see also Euclidean distance). This turns Rn into a metric space. Maps that preserve the distance between all pairs of points are called isometries, and include reflections, rotations, translations, and compositions thereof. In matrix notation any of these have the form
where A is an orthogonal matrix and b is a column vector. Isometries are taken as the congruences of Euclidean geometry - that is, we only consider properties preserved by them. That way we do not have to worry about the precise origin or axes, but still consider distances, angles, and so forth.