Fact-checked by Grok 2 weeks ago

Geometric transformation

A geometric transformation is a bijective mapping from a geometric space, such as the Euclidean plane or three-dimensional space, to itself that alters the position, orientation, or size of figures while often preserving specific properties like distances, angles, or parallelism.^[1] These transformations form the foundation of modern geometry, enabling the study of shapes through symmetry and invariance, and are represented mathematically using matrices in linear algebra.^[2] Key types of geometric transformations include rigid transformations, or isometries, which preserve both lengths and angles—such as translations that shift a figure by a fixed vector, rotations around a point or axis, and reflections over a line or plane.^[3] Similarity transformations extend isometries by incorporating uniform scaling, preserving angles but allowing proportional resizing, while affine transformations more broadly maintain parallelism and ratios along lines, encompassing combinations like shearing alongside translations, rotations, and non-uniform scaling.^[1] These categories are unified through homogeneous coordinates, which allow translations and other non-linear operations to be expressed as matrix multiplications.^[2] The study of geometric transformations traces back to ancient mathematics, with early insights in Euclidean geometry around 300 BCE, where congruence via motion was implicitly used, evolving through 19th-century developments like non-Euclidean geometries.^[4] A pivotal advancement came in 1872 with Felix Klein's Erlangen Program, which classified geometries by the groups of transformations preserving their structures, influencing fields from pure mathematics to computer graphics and physics.^[4] Today, transformations underpin applications in animation, robotics, and image processing, where precise manipulations of spatial data are essential.^[1]

Fundamentals

Definition

A geometric transformation is a bijective mapping f: X \to X, where X is a geometric space such as the Euclidean plane \mathbb{R}^2 or Euclidean space \mathbb{R}^n, that preserves specific intrinsic geometric structures of the space.^[5] These mappings ensure that the relative positions and configurations of points, lines, and figures remain consistent in a manner defined by the geometry, distinguishing them from arbitrary functions by their adherence to the underlying metric or relational properties of X.^[5] In contrast to general functions, which may distort or ignore spatial relationships, geometric transformations specifically maintain key properties such as distances, angles, collinearity (points lying on a straight line), or parallelism (lines never intersecting), depending on the transformation's nature.^[5] This preservation allows for the study of invariant features across the space, forming the basis for analyzing shapes and their equivalences without altering their essential geometric character.^[6] The concept traces its roots to ancient geometry in Euclid's Elements, where congruences describe figures that coincide exactly through superposition, implying rigid motions that preserve distances and orientations.^[7] The modern term "geometric transformation" emerged in the 19th century, with August Ferdinand Möbius's 1827 work Der Barycentrische Calcul providing the first systematic classification of such mappings, including types like equality, similitude, affinity, and collineation.^[8] A representative example is the translation transformation, given by f(\mathbf{x}) = \mathbf{x} + \mathbf{v}, where \mathbf{v} is a fixed vector; this shifts every point in the space by the same displacement vector \mathbf{v}, preserving all distances, angles, and orientations.^[5]

Basic properties

Geometric transformations are typically bijective mappings between geometric spaces, ensuring that every such transformation possesses an inverse that is also a geometric transformation. This invertibility arises from the non-singular nature of the representing matrices in linear and affine cases, allowing the inverse to be computed directly via matrix inversion while preserving the geometric structure. For example, the inverse of a rotation is a rotation in the opposite direction, maintaining the class of allowable transformations.^[1]^[9] The composition of geometric transformations inherits the geometric properties of its components; specifically, if f and g are geometric transformations, then their composition f \circ g, defined by (f \circ g)(x) = f(g(x)), is also a geometric transformation. This property holds because composition corresponds to matrix multiplication in matrix representations, which yields another valid transformation matrix. In practice, the order of composition matters, as transformations generally do not commute.^[10]^[9] In Euclidean spaces, geometric transformations are continuous and often assumed to be differentiable, with smoothness at least C^1 to ensure compatibility with geometric interpretations like preserving curves and surfaces. Differentiability allows the use of the Jacobian matrix to analyze local behavior. A key aspect is orientation preservation: a transformation preserves orientation if the determinant of its Jacobian matrix satisfies \det(J) > 0 at every point, distinguishing it from orientation-reversing transformations like reflections where \det(J) < 0.^[1]^[10] Not all geometric transformations have fixed points, which are points x satisfying T(x) = x; for instance, non-trivial translations lack fixed points entirely. However, the identity transformation, which maps every point to itself, fixes all points in the space, serving as a fundamental reference.^[9]

Classifications

By geometric preservation

Geometric transformations can be classified based on the geometric properties they preserve, forming a taxonomy that reflects increasing generality in how they map points, lines, and other elements of space. This classification emphasizes the invariants under each type of transformation, such as distances, angles, or collinearity, and is fundamental in Euclidean geometry for understanding how shapes and configurations relate under different mappings.^[11] Isometries are transformations that preserve both distances and angles between points. Examples include rotations and reflections, which maintain the exact shape and size of figures.^[12]^[13]^[14]^[15] Similarities extend isometries by preserving angles and the ratios of distances, but allowing for uniform scaling that alters overall size while keeping shapes proportional. This makes them useful for comparing figures that are scaled versions of each other.^[11]^[16] Affine transformations preserve parallelism among lines and ratios of distances along parallel lines or straight lines in general, but they do not necessarily maintain angles or distances. This property ensures that collinear points remain collinear and that affine combinations of points are preserved.^[17]^[18] Projective transformations preserve incidence relations, meaning that if lines intersect at a point, their images under the transformation will also intersect at a corresponding point, but they do not preserve parallelism, allowing parallel lines to converge. This captures perspective effects where straight lines remain straight but ratios and angles vary.^[19]^[20] These categories form a hierarchy: the set of isometries is a subset of similarities, which is a subset of affine transformations, which in turn is a subset of projective transformations. In Euclidean geometry, these classes constitute nested groups under composition, meaning the composition of two transformations within a class remains in that class, and each broader group includes the narrower ones as subgroups.^[21]^[22]

By dimensionality and coordinate systems

Geometric transformations operate within Euclidean spaces of varying dimensions, denoted as \mathbb{R}^n, where n represents the number of dimensions. In two-dimensional space (\mathbb{R}^2), transformations such as rotations are parameterized by a single angle, but full rigid motions—including translations—possess three degrees of freedom: two for translation and one for rotation.^[23] In three-dimensional space (\mathbb{R}^3), the complexity increases, with rigid transformations requiring six degrees of freedom: three for translation and three for rotation, often represented using Euler angles or axis-angle formulations.^[23] For higher dimensions (n > 3), transformations in \mathbb{R}^n generalize these concepts, with rotations belonging to the special orthogonal group SO(n), which has \frac{n(n-1)}{2} degrees of freedom, reflecting the increased number of independent planes of rotation.^[24] In \mathbb{R}^3, quaternions provide an efficient alternative representation for rotations, avoiding singularities like gimbal lock and enabling smooth interpolation via spherical linear interpolation (slerp).^[25] A distinct class of geometric transformations arises from changes in coordinate systems, particularly through change of basis operations. These transformations relabel points in space without altering the underlying geometry, effectively converting coordinates from one basis to another via a nonsingular invertible matrix P, where new coordinates are given by [v'] = P^{-1} .^[26] Such changes preserve distances and angles when the bases are orthonormal, ensuring that the Euclidean structure remains invariant under this relabeling.^[27] To unify various transformations, including those involving translations, homogeneous coordinates extend points in \mathbb{R}^n to \mathbb{R}^{n+1} by appending a homogeneous component (typically 1), allowing translations to be represented as matrix multiplications in projective space.^[28] For instance, a translation by vector \mathbf{t} in \mathbb{R}^2 becomes the matrix

\begin{pmatrix} 1 & 0 & t_x \\ 0 & 1 & t_y \\ 0 & 0 & 1 \end{pmatrix},

applied to augmented coordinates (x, y, 1), thereby incorporating affine transformations into a linear framework.^[29] While the primary focus remains on Euclidean spaces, geometric transformations extend to non-Euclidean geometries such as hyperbolic and spherical spaces, where notions like parallelism and distance differ fundamentally from \mathbb{R}^n. In hyperbolic geometry, transformations include isometries like Möbius transformations adapted to constant negative curvature, preserving geodesic distances.^[30] Spherical geometry, with positive curvature, features rotations on the sphere that generalize 3D Euclidean rotations but constrain paths to great circles.^[31]

Specific transformation types

Rigid transformations

Rigid transformations, also known as proper isometries or orientation-preserving Euclidean transformations, are a subset of isometries that preserve both the Euclidean distance between points and the orientation of figures, excluding reflections and other orientation-reversing operations.^[32] These transformations maintain the shape, size, and handedness of geometric objects, ensuring that congruent figures remain congruent without flipping.^[32] In essence, they model motions where objects move through space without deformation or mirroring, forming the basis for understanding rigid body dynamics in various fields. In two dimensions, rigid transformations consist primarily of translations and rotations. A translation shifts every point by the same vector, preserving all distances and orientations without rotation. Rotations turn figures around a fixed point by a specified angle, also maintaining distances and orientation. Compositions of these yield either a translation or a rotation, covering all orientation-preserving isometries in the plane.^[33] In three dimensions, the repertoire expands to include screw motions, which combine a rotation about an axis with a translation parallel to that axis, as established by Chasles' theorem; pure translations and rotations remain special cases.^[34] A representative example is the two-dimensional rotation about the origin by an angle \theta, given by the transformation

\begin{pmatrix} x' \\ y' \end{pmatrix} = \begin{pmatrix} \cos \theta & -\sin \theta \\ \sin \theta & \cos \theta \end{pmatrix} \begin{pmatrix} x \\ y \end{pmatrix},

or in coordinate form, f(x, y) = (x \cos \theta - y \sin \theta, x \sin \theta + y \cos \theta).^[35] This matrix formulation highlights how rotations preserve the dot product and thus lengths and angles. Rigid transformations find essential applications in robotics, where they describe the motion of rigid bodies such as robot arms or vehicles, ensuring precise path planning without distortion.^[36] Collectively, these transformations form the special Euclidean group SE(n), a Lie group that captures all orientation-preserving isometries in n-dimensional Euclidean space and underpins symmetry analyses in physics and engineering.^[32] As a special case, they constitute the subgroup of similarity transformations with scale factor exactly equal to one.

Similarity transformations

Similarity transformations, also known as similitudes, are geometric mappings that preserve angles and the ratios of distances between points, thereby maintaining shapes up to a uniform scaling factor, but altering absolute sizes.^[37] These transformations include dilations, which enlarge or reduce figures proportionally from a fixed point, ensuring that the image of any figure is a scaled version of the original without distortion of form.^[37] A similarity transformation can be decomposed into the composition of a rigid transformation (isometry, such as rotation or translation) and a homothety (scaling centered at a point) with positive scale factor k > 0.^[38] Building on rigid transformations, this composition extends the preservation of distances to proportional scaling. In two dimensions, such a transformation can be expressed as f(\mathbf{x}) = k R \mathbf{x} + \mathbf{t}, where k > 0 is the scaling factor, R is a rotation matrix, and \mathbf{t} is the translation vector.^[39] Similarity transformations preserve angles but not absolute lengths, mapping circles to circles and lines to lines while scaling distances by k.^[37] They are fundamental in fractal geometry, where iterated function systems composed of contractive similarities generate self-similar structures, such as Barnsley's fern, by repeatedly applying scaled and rotated copies of an initial set.^[40] Similarities are classified by orientation: direct similarities preserve the orientation of figures (using rotations and scalings with k > 0), while opposite similarities reverse orientation (incorporating reflections combined with scaling).

Affine transformations

Affine transformations are geometric mappings between affine spaces that preserve collinearity, meaning points lying on a straight line remain collinear after the transformation, and parallelism, ensuring that parallel lines map to parallel lines. Formally, an affine transformation f: \mathbb{R}^n \to \mathbb{R}^n is defined by the equation

f(\mathbf{x}) = A \mathbf{x} + \mathbf{b},

where A is an invertible n \times n matrix representing a linear transformation and \mathbf{b} \in \mathbb{R}^n is a translation vector. This composition of a linear map and a translation ensures the transformation is bijective and maintains the affine structure of the space.^[41]^[42] A key property of affine transformations is their preservation of ratios of distances along a line and barycentric combinations, which are weighted averages of points with coefficients summing to one. For points \mathbf{x}_0, \mathbf{x}_1, \dots, \mathbf{x}_k on a line, the ratio in which a point divides a segment, such as \frac{\|\mathbf{x} - \mathbf{x}_0\|}{\|\mathbf{x}_1 - \mathbf{x}_0\|}, remains unchanged, and similarly for higher-order divisions like cross-ratios along lines, defined for four collinear points A, B, C, D as (A,B;C,D) = \frac{(C-A)/(D-A)}{(C-B)/(D-B)}. These invariants allow affine geometry to distinguish configurations up to affine equivalence, beyond mere collinearity. Barycentric preservation implies that convex hulls and centroids are mapped accordingly, making affine transformations suitable for modeling deformations that do not distort relative positions within affine combinations.^[41]^[43]^[44] Examples of affine transformations include shears and non-uniform scalings, which extend beyond rigid or similarity transformations by allowing distortions that alter angles and lengths unevenly. A shear in the plane, for instance, fixes the x-axis while displacing points parallel to it by an amount proportional to their y-coordinate, given by

f(x, y) = (x + k y, y),

where k is the shear factor; this maps a unit square to a parallelogram while preserving area if | \det A | = 1, but generally distorts shapes without changing parallelism. Non-uniform scaling applies different factors along coordinate axes, such as f(x, y) = (s_x x, s_y y) with s_x \neq s_y, transforming a circle into an ellipse and altering aspect ratios, yet keeping lines straight and parallel. These operations highlight how affine transformations enable flexible modeling of skewed or stretched figures.^[45]^[46] The collection of all invertible affine transformations in n-dimensions forms the affine group \mathrm{Aff}(n), which is isomorphic to the semidirect product \mathrm{GL}(n, \mathbb{R}) \ltimes \mathbb{R}^n, where \mathrm{GL}(n, \mathbb{R}) acts on \mathbb{R}^n by matrix-vector multiplication. This group structure underscores the separation of linear and translational components, with composition following (A, \mathbf{b}) \circ (A', \mathbf{b}') = (A A', A \mathbf{b}' + \mathbf{b}). In computer graphics, affine transformations are widely used for deformations, such as texture mapping on irregular surfaces or animating object warps, by combining shears, scalings, and translations to achieve realistic distortions while maintaining computational efficiency through matrix representations. Similarity transformations form a subgroup of the affine group, restricted to those preserving angles via uniform scaling and orthogonal linear parts.^[47]^[48]^[49]

Projective transformations

Projective transformations are bijections of the projective plane that map lines to lines, preserving the incidence structure of points and lines but allowing for perspective distortions. In two dimensions, they are induced by invertible 3×3 matrices operating on points represented in homogeneous coordinates [x : y : 1].^[50] The transformation of a point under such a matrix H = \begin{pmatrix} a & b & c \\ d & e & f \\ g & h & i \end{pmatrix} is given by

\begin{pmatrix} x' \\ y' \\ w' \end{pmatrix} = \begin{pmatrix} a & b & c \\ d & e & f \\ g & h & i \end{pmatrix} \begin{pmatrix} x \\ y \\ 1 \end{pmatrix},

where the resulting Euclidean coordinates are obtained by normalizing as (x'/w', y'/w'), assuming w' \neq 0.^[51] Projective transformations generalize affine transformations through homogeneous coordinates, enabling the representation of points at infinity and perspective effects.^[50] Key properties include the preservation of collinearity, such that any three points on a line map to three points on a line, and the invariance of the cross-ratio for four collinear points, which measures their relative spacing in a projective sense./15%3A_Projective_Geometry/15.05%3A_Projective_transformations)^[52] Unlike affine transformations, they do not preserve parallelism, as parallel lines may converge to a vanishing point at infinity under the mapping.^[50] The composition of projective transformations is again projective, and the set of all such transformations forms the projective general linear group PGL(3), which is the quotient of the general linear group GL(3) by its center of scalar matrices.^[53] These transformations have historical applications in art, particularly in perspective projections developed during the Renaissance; for instance, Filippo Brunelleschi's experiments in the early 1400s demonstrated linear perspective by projecting 3D scenes onto 2D planes, creating realistic depth illusions through converging lines.^[54] In modern computer vision, projective transformations model the perspective projection from a 3D world to a 2D image plane, essential for tasks like camera calibration and image rectification, as formalized in foundational works on multiple-view geometry.^[19]

Mathematical representations

Matrix and linear algebra formulations

Geometric transformations that are linear, preserving the origin, can be represented as f(\mathbf{x}) = A \mathbf{x}, where A is an n \times n invertible matrix over the real numbers, belonging to the general linear group GL(n, \mathbb{R}).^[55]^[56] This formulation captures scalings, rotations, shears, and reflections in n-dimensional Euclidean space, with the matrix A determined by the images of a basis under the transformation.^[57] The transformation is invertible if and only if \det(A) \neq 0, ensuring a one-to-one correspondence between input and output vectors. To extend this to affine transformations, which include translations, homogeneous coordinates are employed by augmenting points \mathbf{x} \in \mathbb{R}^n to \tilde{\mathbf{x}} = (\mathbf{x}, 1) \in \mathbb{R}^{n+1}. An affine transformation f(\mathbf{x}) = A \mathbf{x} + \mathbf{b}, with linear part A and translation \mathbf{b}, is then represented as \tilde{f}(\tilde{\mathbf{x}}) = \tilde{A} \tilde{\mathbf{x}}, where \tilde{A} is an (n+1) \times (n+1) matrix of the form

\tilde{A} = \begin{pmatrix} A & \mathbf{b} \\ \mathbf{0}^T & 1 \end{pmatrix}.

^[58] For example, in 2D, a 3×3 matrix handles rotations, scalings, shears, and translations uniformly. All affine transformations in n-dimensions are representable by such (n+1) \times (n+1) matrices, facilitating composition via matrix multiplication.^[28] Decompositions from linear algebra provide deeper insights into these transformations. Eigenvalues and eigenvectors of A reveal invariant directions and scaling factors along them; for orthogonal matrices representing rotations, eigenvalues lie on the unit circle in the complex plane.^[59] In particular, for 2D rotations in the special orthogonal group SO(2), the rotation angle \theta satisfies \operatorname{trace}(A) = 2 \cos \theta.^[60] The singular value decomposition (SVD) generalizes this for any linear transformation, factoring A = U \Sigma V^T, where U and V are orthogonal (rotations or reflections), and \Sigma is diagonal with non-negative singular values representing stretch factors along principal axes.^[61] This decomposition interprets the transformation geometrically as a composition of rotations, anisotropic scaling, and another rotation.^[62] The linear part of rigid transformations, which preserve distances, is represented by orthogonal matrices in the orthogonal group O(n) with det(A) = ±1; those with det(A) = 1 (in SO(n)) correspond to rotations, while det(A) = -1 include reflections.

Composition and group structure

Geometric transformations are combined through composition, where the composition of two transformations f and g, denoted f \circ g, maps a point x to f(g(x)). This operation is associative, meaning (h \circ f) \circ g = h \circ (f \circ g) for any transformations h, f, and g, but it is generally not commutative, as f \circ g often differs from g \circ f. For instance, applying a rotation followed by a translation yields a different result than the reverse order.^[63] Collections of geometric transformations that are closed under composition, include an identity transformation (which leaves points unchanged), and possess inverses for each element satisfy the axioms of a group. Closure ensures that composing any two transformations in the set yields another in the set; associativity follows from the composition operation; the identity acts as the neutral element; and inverses allow reversal of any transformation. A prominent example is the Euclidean group E(n), which comprises all isometries (rigid motions) of n-dimensional Euclidean space, including rotations and translations. Subgroups of E(n) include the special orthogonal group SO(n), consisting solely of rotations that preserve orientation, and the full orthogonal group O(n), which additionally incorporates reflections.^[64]^[65] In the case of affine transformations, represented as f(x) = Ax + b where A is an invertible linear map and b is a translation vector, the inverse is given by

f^{-1}(y) = A^{-1}(y - b).

This formula ensures that applying the inverse undoes the original transformation, maintaining the group structure. For continuous families of transformations, such as those in E(n), the resulting groups are Lie groups: smooth manifolds where the group operations of composition and inversion are differentiable maps. This Lie group structure facilitates the analysis of infinitesimal transformations and their geometric properties through associated Lie algebras.^[41]^[66]^[67]

Interpretations and applications

Active versus passive transformations

In geometry, an active transformation acts directly on the points or objects in space while keeping the coordinate system fixed, effectively moving or deforming the geometric figure itself.^[68] For instance, rotating an object, such as a triangle, by an angle θ around a fixed origin alters the positions of its vertices in the unchanging coordinate frame.^[69] In contrast, a passive transformation relabels the coordinates by changing the basis or frame of reference while the object remains physically stationary, resulting in new coordinate values for the same points.^[68] This is exemplified by rotating the coordinate axes counterclockwise by θ, which makes the object's coordinates appear to have rotated clockwise by θ relative to the new axes.^[69] Although active and passive transformations produce equivalent relative configurations—preserving distances, angles, and orientations between points—they differ in their effect on absolute positions within a given frame.^[70] An active transformation by a specific mapping, such as a rotation matrix, relocates points to new absolute locations, whereas the corresponding passive transformation achieves the same relative geometry through a coordinate relabeling that inverts the action.^[68] A concrete example is planar rotation: an active rotation of a point (x, y) by angle θ yields new coordinates (x', y') = (x \cos \theta - y \sin \theta, x \sin \theta + y \cos \theta), transforming the point in the fixed frame.^[69] The equivalent passive transformation rotates the axes by -θ, producing the same coordinate change for the unmoved point via the inverse matrix.^[69] Passive transformations form the same mathematical group as active ones under composition but act oppositely, with each passive element corresponding to the inverse of its active counterpart.^[70] This duality is particularly crucial in physics, such as in special relativity, where active transformations describe physical boosts or rotations of objects (e.g., moving frames), while passive ones relabel coordinates between inertial observers, ensuring invariance of physical laws under the Lorentz group.^[69]

Group actions and symmetries

In geometry, a group action of a group G on a set X (often a geometric space like \mathbb{R}^n) is a homomorphism from G to the group of bijections on X, typically denoted g \cdot x for g \in G and x \in X, satisfying e \cdot x = x (identity) and g_1 \cdot (g_2 \cdot x) = (g_1 g_2) \cdot x (compatibility).^[71] This structure captures how transformations in G (e.g., rotations, translations) permute points in X while preserving the group operation, enabling the study of geometric symmetries as algebraic objects. Symmetries of a geometric figure are captured by the stabilizer subgroup, consisting of transformations in G that leave the figure invariant, forming a subgroup of G. For example, the dihedral group D_n acts on the vertices of a regular n-gon, where rotations and reflections preserve the polygon's shape, with the full group order $2n determining the total symmetries.^[71] Group actions distinguish between left actions (g \cdot x, where group multiplication order matches transformation composition) and right actions (x \cdot g), convertible via inversion (g \mapsto g^{-1}) to reverse the order; left actions align with active transformations (moving the object), while right actions correspond to passive ones (relabeling coordinates).^[71]^[70] The orbit-stabilizer theorem quantifies symmetries: for x \in X, the orbit size |\text{Orb}(x)| = |G| / |\text{Stab}(x)|, relating the number of distinct positions under G to the stabilizer's order, useful for counting symmetric configurations like polygon vertices.^[71] In crystallography, space groups—subgroups of the Euclidean group combining translations and point symmetries—act on \mathbb{R}^3 to describe crystal lattices, with 230 such groups classifying atomic arrangements; the orbit-stabilizer theorem identifies site symmetries, determining equivalent atomic positions via orbits under the group action.^[72] For continuous symmetries, Lie groups extend this framework, with SO(3)—the group of 3D rotations—acting on quantum mechanical systems via unitary representations on Hilbert spaces, preserving rotational invariance. In quantum mechanics, SO(3) generates angular momentum operators satisfying the Lie algebra \mathfrak{so}(3), with irreducible representations labeled by angular momentum quantum number l (integer), dimension $2l + 1, and Casimir eigenvalue l(l+1), as seen in the hydrogen atom's energy levels and spherical harmonics.^[73] This action underpins conserved quantities via Noether's theorem, linking continuous symmetries to observables like total angular momentum.^[73]

References

[1]
[PDF] Geometric Transformations
Also called parametric. • Equation to map domain into plane. • Example: line (containing p, parallel to u). • Example: circle (center b, radius r).
[2]
None
### Summary of 2D Geometric Transformations from http://gamma.cs.unc.edu/COMP770/LECTURES/2D%20Transforms.pdf
[3]
[PDF] Section 5.2. Geometric Transformations
Jul 3, 2020 · Definition. A transformation that preserves lengths and angles is an isometric transformation. A transformation that preserves angles is an ...
[4]
[PDF] a mini history of geometry with an emphasis on transformational ...
Jul 1, 2025 · is to build on a basis of geometric transformations: translation, rotation, reflection, and ... Influential Renaissance Mathematicians to Know for ...
[5]
[PDF] Notes on transformational geometry - Jeremy Martin
Mar 25, 2013 · When we talk about transformations like reflection or rotation informally, we think of moving an object in unmoving space.
[6]
Geometry, Transformations and the Erlangen Program
A geometry is a space of objects along with a group of transformations. The geometry of the space is based on what is invariant when a transformation is ...
[7]
Euclid's Elements, Book I, Proposition 4 - Clark University
In the books on solid geometry, Euclid uses the phrase “similar and equal” for congruence, but similarity is not defined until Book VI, so that phrase would ...
[8]
Geometric Transformations, 1800–1855 - CMS Notes
That 1827 work gave the first overview of transformations. Moebius examined four different geometric relationships, starting with equality, similitude, and ...
[9]
Geometric Transformations
Projective Transformations In the above, the 4-by-4 matrices must be non-singular (i.e., invertible). Therefore, projective transformations are more general ...
[10]
2.6 The geometry of matrix transformations
In this section, we will demonstrate how matrix transformations provide a convenient way to describe geometric operations, such as rotations, reflections, and ...Missing: mathematics | Show results with:mathematics
[11]
[PDF] CS231A Course Notes 2: Single View Metrology
Similarity transformations are transformations that preserve shape. ... Since they preserve shapes, they also preserve ratio of lengths and angles.
[12]
[PDF] lecture 24: orthogonality and isometries
This means that not only do isometries preserve distance but also they preserve angles (ie they are “conformal”). So all geometry is preserved by an ...
[13]
https://www.new.math.uiuc.edu/public403/isometries/distance.html
[14]
[PDF] Lecture 2: Isometries of R
Isometries preserve angles. Let θ be the angle between v, w (say with tails at the origin), and let ψ be the angle between f(v),f(w). Recall the Law of ...
[15]
[PDF] isometries of the plane - UChicago Math
Jul 21, 2009 · An isometry is a distance-preserving transformation. In this paper, we consider isometries of the plane C. Definition 1.1. A transformation α : ...<|separator|>
[16]
Same Shape but not Size: Similarity - Andrews University
Angle measure, Betweenness, and Collinearity are still preserved by similarity. Thus only Distance is not preserved. However, distance is scaled by the ...<|separator|>
[17]
[PDF] Lecture 4: Affine Transformations for Satan himself is transformed ...
Affine transformations do not necessarily preserve either distances or angles, but affine transformations map straight lines to straight lines and affine ...
[18]
[PDF] 2D transformations (a.k.a. warping) - Computer Vision
Properties of affine transformations: • origin does not necessarily map to origin. • lines map to lines. • parallel lines map to parallel lines. • ratios are ...
[19]
[PDF] An Introduction to Projective Geometry for computer vision
Mar 12, 1998 · Projective transformations preserve type that is, points remain points and lines remain lines , incidence that is, whether a point lies on a ...
[20]
Introduction
Projective transformations preserve type (that is, points remain points and lines remain lines), incidence (that is, whether a point lies on a line), and a ...
[21]
[PDF] Segmentation by Level Sets and Symmetry
transformation are the affine group and the similarity group which is a subgroup of the affine group. These groups form a hierarchy of transformations. A ...
[22]
[PDF] Lecture 8 Image Transformations - MIT Media Lab
2D image transformations. These transformations are a nested set of groups. • Closed under composition and inverse is a member. Recovering Transformations.Missing: euclidean geometry
[23]
5.1 Degree of Freedom - Engineering Statics
Two-dimensional rigid bodies have three degrees of freedom. ... Three-dimensional rigid body have six degrees of freedom - three translations and three rotations.
[24]
Geometrical transformations in higher dimensional Euclidean spaces
Abstract. Orientations and rotations in n-dimensional real Euclidean spaces (R[n]) are represented by proper orthogonal, or skew-symmetric matrices.
[25]
[PDF] Quaternions and Rotations∗
Sep 10, 2013 · Quaternions are very efficient for analyzing situations where rotations in R3 are involved. A quaternion is a 4-tuple, which is a more concise ...
[26]
[PDF] Unit 5: Change of Coordinates
We will use “eigen basis” to diag- onalize a matrix, we will use good coordinates to solve ordinary and partial differential equations. 5.6. For us, the change ...
[27]
[PDF] Change of Basis - Purdue Math
Feb 16, 2007 · By an ordered basis for a vector space, we mean a basis in which we are keeping track of the order in which the basis vectors are listed.
[28]
[PDF] Homogeneous Coordinates∗
This course begins with projective geometry by describing how points and lines can be represented by Cartesian and ho- mogeneous coordinates. We will introduce ...
[29]
38 Representing Images and Geometry
Image warping is then implemented by simply applying the inverse geometric transformation to the discrete coordinates of the output grid and use the ...Missing: invertible | Show results with:invertible
[30]
[PDF] Hyperbolic Geometry - UC Davis Math
The unusual properties of non-. Euclidean geometry that we have mentioned will all be worked out in Section 13, entitled “Curious facts about hyperbolic space”.
[31]
Spherical and hyperbolic non-Euclidean geometry (Chapter 3)
Geometries and Transformations. Published online: 8 June 2018. Hyperbolic geometry. Type: Chapter; Title: Hyperbolic geometry; Authors: Alan F. Beardon; Journal ...
[32]
Rigid Transformations - Department of Mathematics at UTSA
Dec 15, 2021 · A rigid transformation (also called Euclidean transformation or Euclidean isometry) is a geometric transformation of a Euclidean space that preserves the ...
[33]
Orientation Preserving and Reversing Isometries of the Plane
The orientation-preserving isometries are the identity I, the translations and the rotations. Note: I is the product of two line reflections since I = RR for ...Missing: 2D components
[34]
[PDF] Introduction to Robotics Lecture 7: Screws and wrenches - Publish
Chasles-Mozzi Theorem: Any displacement in 3D can be represented by a rotation + translation about same axis. This is called a screw motion.
[35]
Rotation Matrix -- from Wolfram MathWorld
When discussing a rotation, there are two possible conventions: rotation of the axes, and rotation of the object relative to fixed axes. ... v^'=R_thetav_0.
[36]
[PDF] Lecture 2 Kinematic Foundations
▷ SE(3): The Special Euclidean group on E3. ▷ SO(3): The Special Orthogonal group. Whence the names? ▷ Special: they preserve orientation ...<|control11|><|separator|>
[37]
[PDF] SIMILARITY Euclidean Geometry can be described as a study of the ...
Roughly they can be described as transformations preserving shapes, but changing scales: magnifying or contracting. The part of Euclidean Geometry that studies ...
[38]
[PDF] SIMILARITY Euclidean Geometry can be described as a study of the ...
Any similarity transformation T with ratio k of the plane is a composition of an isometry and a homothety with ratio k. Proof. Consider a composition T ○H of T ...
[39]
[PDF] Projective, Affine and Similarity Transformations
Feb 27, 2006 · Angles and lengths are not preserved. Parallel lines remain parallel. The ratio of lengths of parallel segments remains fixed.<|separator|>
[40]
[PDF] CHAPTER 8 - Introduction to Fractal
1 This section is optional. 5 Such a function is often called a con- tracting similarity transformation be- cause any shape inside the unit square, say a ...
[41]
Affine Transformation -- from Wolfram MathWorld
An affine transformation is any transformation that preserves collinearity (ie, all points lying on a line initially still lie on a line after transformation)
[42]
affine transformation - PlanetMath
Mar 22, 2013 · 1. α α is onto iff [α] [ α ] is. · 2. α α is one-to-one iff [α] [ α ] is. · 3. A bijective affine transformation α α is an affine isomorphism. In ...
[43]
properties of an affine transformation - PlanetMath.org
Mar 22, 2013 · Any affine transformation is a linear transformation between the corresponding induced vector spaces. In other words, if α:A→B α : A → B is ...
[44]
[PDF] CLASSICAL GEOMETRIES 13. The cross ratio - Cornell Mathematics
So we look for invariants of four points on a line. In order to calculate the invariant, we need to have a field structure on I. The invariant will be an ...
[45]
Shear -- from Wolfram MathWorld
A transformation in which all points along a given line L remain fixed while other points are shifted parallel to L by a distance proportional to their ...Missing: example | Show results with:example
[46]
[PDF] CS4620/5620: Affine Transformations
Geometry of 2D linear trans. • 2x2 matrices have simple geometric interpretations. – uniform scale. – non-uniform scale. – reflection. – shear. – rotation. 4 ...
[47]
[PDF] SEMIDIRECT PRODUCTS 1. Introduction For two groups H and K ...
When n > 1, the conjugation action of K on H is nontrivial, so GLn(R) is isomorphic to a nontrivial semidirect product. SLn(R) × H. ∼. = SLn(R) Χ R×. The center ...
[48]
[PDF] Affine Transformations - UT Computer Science
Geometric transformations will map points in one space to points in another: (x',y',z') = f(x,y,z). These transformations can be very simple, such as.
[49]
[PDF] 2D and 3D Transformations - Stanford Computer Graphics Laboratory
Affine Transformations. Affine transformations are combinations of … • Linear transformations, and. • Translations. Properties of affine transformations:.
[50]
3.3 Projective Transformations - The Geometry Center
Any plane projective transformation can be expressed by an invertible 3×3 matrix in homogeneous coordinates; conversely, any invertible 3×3 matrix defines a ...
[51]
[PDF] Perspective Projection in Homogeneous Coordinates
Homogeneous coordinates add a dimension to vectors, simplifying formulas for perspective projection, and help represent points at infinity. In 2D, a point is x ...
[52]
[PDF] Notes on Projective Geometry - Brown Math
Oct 29, 2019 · Projective transformations do not preserve distances, but they do preserve something called the cross ratio. Given 4 points a, b, c, d ∈ F ...
[53]
projective general linear group in nLab
Jun 26, 2025 · 1. Definition. The projective general linear group PGL ( n ) (in some dimension n and over some coefficients) is the quotient of the general ...
[54]
The History of Perspective - Essential Vermeer
It is held that attempts to develop a system of perspective are believed to have begun around the fifth century BC in ancient Greece.
[55]
Matrix -- from Wolfram MathWorld
In particular, every linear transformation can be represented by a matrix, and every matrix corresponds to a unique linear transformation.
[56]
general linear group - PlanetMath.org
Mar 22, 2013 · The general linear group is an algebraic group, and it is a Lie group if V is a real or complex vector space.Missing: geometry | Show results with:geometry
[57]
matrix representation of a linear transformation - PlanetMath.org
Mar 22, 2013 · Linear transformations as matrices · (a). the matrix depends on the bases given to the vector spaces · (b). the ordering of a basis is important.Missing: geometry | Show results with:geometry
[58]
[PDF] Affine Transformations
In general, affine transformations are associative but are not commutative, so the order in which operations are done is highly important. One can see this for ...
[59]
[PDF] Eigenvalues and eigenvectors of rotation matrices
Suppose that A is an n × n real orthogonal matrix. The eigenvalue equation for A and its complex conjugate transpose are given by: Av = λv , v∗TAT = λ∗ ...
[60]
[PDF] Alignment CSE 554 Lecture 7
• 2D: The trace equals 2 Cos(a), where a is the rotation angle. • 3D: The trace equals 1 + 2 Cos(a). – The larger the trace, the smaller the rotation angle ...Missing: theta | Show results with:theta
[61]
[PDF] Lecture 5: Singular Value Decomposition (SVD)
Geometric interpretation of SVD Given any matrix A ∈ Rm×n, it defines a linear transformation: f : Rn 7→ Rm, with f(x) = Ax.
[62]
[PDF] Introduction The geometry of linear transformations
A singular value decomposition provides a convenient way for breaking a matrix, which perhaps contains some data we are interested in, into simpler, meaningful ...
[63]
[PDF] Linear Transformations
(2) Composition is not generally commutative: that is, f ◦g and g ◦f are usually different. (3) Composition is always associative: (h ◦ g) ◦ f = h ◦ (g ◦ f).
[64]
Group -- from Wolfram MathWorld
A group is a set with a binary operation satisfying closure, associativity, identity, and inverse properties. It must contain at least one element.
[65]
Euclidean Group -- from Wolfram MathWorld
### Summary of Euclidean Group (https://mathworld.wolfram.com/EuclideanGroup.html)
[66]
Lie Group -- from Wolfram MathWorld
A Lie group is a smooth manifold with group properties where group operations are differentiable. Examples include the real line and the circle.
[67]
[PDF] 3. Rigid Body Motion and the Euclidean Group
In this chapter, we will develop the fundamental concepts necessary to understand rigid body motion and to analyze instantaneous and finite screw motions. A ...Missing: 3D | Show results with:3D
[68]
[PDF] Linear algebra - institute for theoretical physics cologne
Jun 27, 2024 · So, linear algebra is to math and science what peeling vegetables is to cooking. ... That's obviously not the case for passive transformations.
[69]
Active Lorentz Transformations | Primer on Geometric Algebra
In the active interpretation, X and X' refer to different event vectors. In the passive interpretation, they refer to coordinates in different frames for the ...<|control11|><|separator|>
[70]
[PDF] dr bob's elementary differential geometry - Villanova University
Mar 4, 2018 · The active and passive transformations go in opposite directions ... 1-1 relationship between the two (same group manifold S1 which corresponds to ...
[71]
[PDF] group actions - keith conrad
When trying to think about a set as a geometric object, it is helpful to refer to its elements as points, no matter what they might really be. For example, when ...
[72]
[PDF] Crystal Symmetries and Space Groups Contents 1 Geometrical ...
击 Space groups are used to describe the internal, microscopic symmetry of crystals. They include translations, corresponding to the periodic arrangement of ...
[73]
[PDF] Quantum Theory, Groups and Representations: An Introduction ...
The role of Lie groups, Lie algebras, and their unitary representations is ... theory of a “symmetry” generated by operators commuting with the Hamiltonian.