Motion (geometry)¶
Transform a metric space by a surjective distance-preserving map, with Euclidean motions further classified by orientation, fixed-point structure, and decomposition into translations, rotations, reflections, and glide operations.
Core Idea¶
In metric geometry, a motion is conventionally a surjective isometry: a map \(f:X\to X\) satisfying \(d(f(x),f(y))=d(x,y)\) for all \(x,y\), with some Euclidean sources restricting the word to orientation-preserving motions. Exact preservation of every pairwise distance makes the map injective; surjectivity makes it an automorphism of the metric space, and composition and inverse therefore organize all motions into an isometry group.
Its autonomous residual is the surjective metric-preserving transformation and its convention-sensitive geometric classification, not motion through physical time or a generic geometric transformation. The identity fails when only angles or shape appearance are preserved, scale changes, the metric changes silently, an embedding is mislabeled onto, a local differential condition is promoted to a global isometry, or proper isometry is confused with every motion.
Scope of Application¶
Motion (geometry) applies when the analyst can specify a metric space \((X,d)\) and a self-map \(f:X\to X\), or a declared pair of congruent metric spaces under a typed convention and establish that the transformation preserves the declared metric for every pair and meets the source's onto and orientation convention, rather than merely preserving a drawing or selected lengths. The entry locks the geometric map, not physical dynamics; differential, affine, projective, and nearly isometric transformations require their own declared invariants.
Clarity¶
A clear claim names the carrier, governing rule, assumptions, and recognition test. This matters because motion can mean physical change over time, any isometry, or only a direct Euclidean isometry, and isometry itself can or cannot include surjectivity by convention. The disciplined statement is that the object counts as Motion (geometry) exactly when the transformation preserves the declared metric for every pair and meets the source's onto and orientation convention, rather than merely preserving a drawing or selected lengths
Manages Complexity¶
The abstraction compresses direct and indirect Euclidean motions, translations, rotations, reflections, glide reflections, screw motions, elliptic and hyperbolic isometries, and Riemannian isometry groups into a stable carrier, rule, invariant, and failure boundary. It makes comparison tractable while retaining the variables that control validity.
Compression can hide assumptions. A responsible use therefore declares metric, domain and codomain, onto convention, orientation, dimension, fixed points, displacement, composition, connected component, intrinsic or extrinsic geometry, and regularity and returns to the full diagnostic whenever a convention or boundary case changes.
Abstract Reasoning¶
- Type the carrier. Establish a metric space \((X,d)\) and a self-map \(f:X\to X\), or a declared pair of congruent metric spaces under a typed convention and reject examples from a different problem. 2. Lock the rule. Express that the transformation preserves the declared metric for every pair and meets the source's onto and orientation convention, rather than merely preserving a drawing or selected lengths independently of one notation or implementation.
Knowledge Transfer¶
Transfer within geometry is strong when new cases preserve the same carrier, mechanism, and diagnostic. The move from A rotation of the Euclidean plane about a point preserves every distance and is surjective, so it is a direct Euclidean motion. to A hyperbolic translation is an isometry of hyperbolic space that preserves its intrinsic distance while moving points along an invariant axis. demonstrates that continuity.
Relationships to Other Abstractions¶
Current abstraction Motion (geometry) Domain-specific
Parents (1) — more general patterns this builds on
-
Motion (geometry) is a kind of Transformation Prime
The proposed strict upward parent is
prime:transformation.
Hierarchy path (1) — routes to 1 parentless root
- Motion (geometry) → Transformation → Function (Mapping)
Neighborhood in Abstraction Space¶
Motion (geometry) sits in a crowded region of the domain-specific corpus (32nd percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.
Family — Ambient Structures & Local Geometry (9 abstractions)
Nearest neighbors
- Isometry group — 0.94
- Injective metric space — 0.92
- Positively separated sets — 0.91
- Uniformly disconnected space — 0.90
- Equivalence of metrics — 0.90
Computed from structural-signature embeddings · 2026-09-08