Isometries in non-Euclidean geometry

Definition and Properties of Isometries

In geometry, an isometry is a transformation that preserves distances and angles between points in a space. This concept is fundamental to the study of both Euclidean and non-Euclidean geometries, as it ensures that the intrinsic structure of a space is maintained under transformation. In Euclidean geometry, isometries include translations, rotations, reflections, and glide reflections, forming the group $ \text{Isom}( \mathbb{R}^2 ) $. However, in non-Euclidean geometries, the nature of isometries diverges due to the absence of the parallel postulate, leading to distinct transformation groups.

The general definition of an isometry in a metric space $(X, d)$ is a bijection $f: X \to X$ such that $d(f(x), f(y)) = d(x, y)$ for all $x, y \in X$. This property ensures that the transformation preserves the metric structure of the space. In non-Euclidean geometries, such as hyperbolic or elliptic geometry, isometries may exhibit additional constraints or properties, depending on the curvature of the space.

Isometries in Euclidean Geometry

In Euclidean geometry, isometries are closely tied to the classical transformations of space. The group of isometries in the plane, known as the Euclidean group, consists of all combinations of translations, rotations, reflections, and glide reflections. These transformations preserve distances and angles, ensuring that the geometric relationships remain unchanged.

The Euclidean group $ \text{Isom}( \mathbb{R}^2 ) $ is a Lie group, and its structure is well-defined. For example, a rotation by an angle $ \theta $ around a point $ O $ maps each point $ P $ to a new point $ P' $ such that $ \vec{OP'} = \text{rot}_{\theta}(\vec{OP}) $. Similarly, translations shift points by a vector $ \vec{v} $, and reflections over a line $ L $ invert the orientation of points relative to $ L $. These transformations preserve the metric properties of the plane, making them essential for understanding the symmetries of Euclidean space.

In addition to these basic transformations, isometries in Euclidean geometry can be classified by their types:

1. Rigid transformations (e.g., rotations, reflections, translations) preserve both distances and angles.
2. Glide reflections combine translations and reflections, maintaining the overall structure of the space.

The study of Euclidean isometries has profound implications for understanding the symmetries of physical spaces, such as in crystallography or the study of regular polygons. The classification of these transformations relies on the metric compatibility of the space, ensuring that the isometry group acts faithfully on the space.

Isometries in Non-Euclidean Geometry

In non-Euclidean geometries, the parallel postulate is typically rejected, leading to different transformation groups and geometric properties. Two prominent non-Euclidean geometries are hyperbolic and elliptic geometry, each characterized by different curvature properties.

In hyperbolic geometry, the curvature of space is negative, and isometries preserve distances and angles but do not preserve the order of points. The isometry group of the hyperbolic plane is known as the Poincaré group, which includes translations, rotations, and reflections. These transformations maintain the metric structure of the space but differ from Euclidean isometries in their behavior under certain transformations. For instance, in the Poincaré disk model, isometries correspond to transformations that preserve the hyperbolic metric, such as Möbius transformations.

In elliptic geometry, the curvature is positive, and the space is modeled on a sphere. Isometries in this context are often associated with rotations and reflections, forming the isometry group of the sphere. Unlike Euclidean isometries, elliptic isometries do not allow for translations, as the sphere is compact and lacks a "straight line" concept. Instead, isometries in elliptic geometry are closely tied to the symmetry of the sphere, with transformations such as rotations and reflections preserving distances and angles.

The distinction between Euclidean and non-Euclidean isometries arises from the nature of the space being transformed. In Euclidean geometry, isometries are more flexible, allowing for a wide range of transformations that preserve the metric structure. In non-Euclidean geometries, the constraints imposed by curvature limit the types of isometries possible, leading to more specialized transformation groups.

Examples and Applications

To illustrate the differences between Euclidean and non-Euclidean isometries, consider the Poincaré disk model in hyperbolic geometry. Here, isometries are represented by Möbius transformations, which map circles and lines to circles and lines while preserving distances. For example, the transformation $ f(z) = \frac{az + b}{cz + d} $ preserves the hyperbolic metric, demonstrating how isometries in non-Euclidean spaces can exhibit complex behaviors.

In elliptic geometry, the isometry group is the group of isometries of the sphere, which includes rotations and