Transformations, Isometries, Symmetry & Tilings

the classification of plane isometries

You might expect that 'all the ways to move a shape rigidly around the plane' would be an endless, unruly zoo. The classification theorem delivers a beautifully tidy surprise: there are only four kinds, full stop. Every distance-preserving transformation of the plane is a translation, a rotation, a reflection, or a glide reflection — nothing else is possible. Knowing this, you can identify any plane isometry completely just by checking two simple questions.

The two questions are: does it preserve or reverse orientation, and does it have any fixed points? This gives a clean four-box table. Orientation-preserving (direct) with a fixed point: a rotation (its centre is fixed). Orientation-preserving with no fixed point: a translation (the identity, doing nothing, counts as the special translation by the zero vector and is usually grouped here). Orientation-reversing (opposite) with fixed points: a reflection (its whole mirror line is fixed). Orientation-reversing with no fixed point: a glide reflection. That exhausts every case, so any plane isometry you ever meet falls into exactly one box.

This matters because it turns a vague notion ('moving things around') into a finite, checkable list, and it underlies the whole theory of symmetry. When you classify the symmetries of a figure, or enumerate the seven frieze groups and seventeen wallpaper groups, you are repeatedly using the fact that each symmetry must be one of these four. The result lives in plane (Euclidean) geometry; in three dimensions the list grows (you gain screw motions and rotary reflections), and on a sphere or in hyperbolic geometry the classification changes again — but for the flat plane, four is the whole story.

Suppose a mystery isometry sends A, B, C to A', B', C' and you find: lengths are preserved (so it is an isometry), the labelling flips from counterclockwise to clockwise (orientation-reversing), and no point of the plane stays put. By the table it must be a glide reflection — and indeed you can then locate its glide axis as the line midway between corresponding points.

Two yes/no questions — orientation and fixed points — pin down which of exactly four types it is.

The 'four types' claim is for the flat plane only. In space the list is longer (screw motions, rotary reflections appear), so do not carry the count of four into three dimensions or onto curved surfaces.

Also called
the four-types theoremclassification theorem for isometries等距變換分類定理四類定理