Template:Short description Template:Use American English Template:More citations needed
Rotational symmetry, also known as radial symmetry in geometry, is the property a shape has when it looks the same after some rotation by a partial turn. An object's degree of rotational symmetry is the number of distinct orientations in which it looks exactly the same for each rotation.
Certain geometric objects are partially symmetrical when rotated at certain angles such as squares rotated 90°, however the only geometric objects that are fully rotationally symmetric at any angle are spheres, circles and other spheroids.<ref>Rotational symmetry of Weingarten spheres in homogeneous three-manifolds. By Jos ́e A. G ́alvez, Pablo Mira</ref><ref>Topological Bound States in the Continuum in Arrays of Dielectric Spheres. By Dmitrii N. Maksimov, LV Kirensky Institute of Physics, Krasnoyarsk, Russia</ref>
Formal treatmentEdit
Template:See also Formally the rotational symmetry is symmetry with respect to some or all rotations in Template:Mvar-dimensional Euclidean space. Rotations are direct isometries, i.e., isometries preserving orientation. Therefore, a symmetry group of rotational symmetry is a subgroup of Template:Math (see Euclidean group).
Symmetry with respect to all rotations about all points implies translational symmetry with respect to all translations, so space is homogeneous, and the symmetry group is the whole Template:Math. With the modified notion of symmetry for vector fields the symmetry group can also be Template:Math.
For symmetry with respect to rotations about a point we can take that point as origin. These rotations form the special orthogonal group Template:Math, the group of Template:Math orthogonal matrices with determinant 1. For Template:Math this is the rotation group Template:Math.
In another definition of the word, the rotation group of an object is the symmetry group within Template:Math, the group of direct isometries; in other words, the intersection of the full symmetry group and the group of direct isometries. For chiral objects it is the same as the full symmetry group.
Laws of physics are SO(3)-invariant if they do not distinguish different directions in space. Because of Noether's theorem, the rotational symmetry of a physical system is equivalent to the angular momentum conservation law.
Discrete rotational symmetryEdit
Rotational symmetry of order Template:Mvar, also called Template:Mvar-fold rotational symmetry, or discrete rotational symmetry of the Template:Mvarth order, with respect to a particular point (in 2D) or axis (in 3D) means that rotation by an angle of Template:Tmath (180°, 120°, 90°, 72°, 60°, 51 Template:Frac°, etc.) does not change the object. A "1-fold" symmetry is no symmetry (all objects look alike after a rotation of 360°).
The notation for Template:Mvar-fold symmetry is Template:Mvar or simply Template:Mvar. The actual symmetry group is specified by the point or axis of symmetry, together with the Template:Mvar. For each point or axis of symmetry, the abstract group type is cyclic group of order Template:Mvar, Template:Mvar. Although for the latter also the notation Template:Mvar is used, the geometric and abstract Template:Mvar should be distinguished: there are other symmetry groups of the same abstract group type which are geometrically different, see cyclic symmetry groups in 3D.
The fundamental domain is a sector of Template:Tmath
Examples without additional reflection symmetry:
- Template:Math, 180°: the dyad; letters Z, N, S; the outlines, albeit not the colors, of the yin and yang symbol; the Union Flag (as divided along the flag's diagonal and rotated about the flag's center point)
- Template:Math, 120°: triad, triskelion, Borromean rings; sometimes the term trilateral symmetry is used;
- Template:Math, 90°: tetrad, swastika
- Template:Math, 72°: pentad, pentagram, regular pentagon; 5-fold symmetry is not possible in periodic crystals.
- Template:Math, 60°: hexad, Star of David (this one has additional reflection symmetry)
- Template:Math, 45°: octad, Octagonal muqarnas, computer-generated (CG), ceiling
Template:Mvar is the rotation group of a regular Template:Mvar-sided polygon in 2D and of a regular Template:Mvar-sided pyramid in 3D.
If there is e.g. rotational symmetry with respect to an angle of 100°, then also with respect to one of 20°, the greatest common divisor of 100° and 360°.
A typical 3D object with rotational symmetry (possibly also with perpendicular axes) but no mirror symmetry is a propeller.
ExamplesEdit
.svg){kind=link}
.svg){kind=link}
Multiple symmetry axes through the same pointEdit
For discrete symmetry with multiple symmetry axes through the same point, there are the following possibilities:
- In addition to an Template:Mvar-fold axis, Template:Mvar perpendicular 2-fold axes: the dihedral groups Template:Mvar of order Template:Math (Template:Math). This is the rotation group of a regular prism, or regular bipyramid. Although the same notation is used, the geometric and abstract Template:Mvar should be distinguished: there are other symmetry groups of the same abstract group type which are geometrically different, see dihedral symmetry groups in 3D.
- 4×3-fold and 3×2-fold axes: the rotation group Template:Mvar of order 12 of a regular tetrahedron. The group is isomorphic to alternating group Template:Math.
- 3×4-fold, 4×3-fold, and 6×2-fold axes: the rotation group O of order 24 of a cube and a regular octahedron. The group is isomorphic to symmetric group Template:Math.
- 6×5-fold, 10×3-fold, and 15×2-fold axes: the rotation group Template:Mvar of order 60 of a dodecahedron and an icosahedron. The group is isomorphic to alternating group Template:Math. The group contains 10 versions of Template:Math and 6 versions of Template:Math (rotational symmetries like prisms and antiprisms).
In the case of the Platonic solids, the 2-fold axes are through the midpoints of opposite edges, and the number of them is half the number of edges. The other axes are through opposite vertices and through centers of opposite faces, except in the case of the tetrahedron, where the 3-fold axes are each through one vertex and the center of one face.
Rotational symmetry with respect to any angleEdit
Rotational symmetry with respect to any angle is, in two dimensions, circular symmetry. The fundamental domain is a half-line.
In three dimensions we can distinguish cylindrical symmetry and spherical symmetry (no change when rotating about one axis, or for any rotation). That is, no dependence on the angle using cylindrical coordinates and no dependence on either angle using spherical coordinates. The fundamental domain is a half-plane through the axis, and a radial half-line, respectively. Axisymmetric and axisymmetrical are adjectives which refer to an object having cylindrical symmetry, or axisymmetry (i.e. rotational symmetry with respect to a central axis) like a doughnut (torus). An example of approximate spherical symmetry is the Earth (with respect to density and other physical and chemical properties).
In 4D, continuous or discrete rotational symmetry about a plane corresponds to corresponding 2D rotational symmetry in every perpendicular plane, about the point of intersection. An object can also have rotational symmetry about two perpendicular planes, e.g. if it is the Cartesian product of two rotationally symmetry 2D figures, as in the case of e.g. the duocylinder and various regular duoprisms.
Rotational symmetry with translational symmetryEdit
| File:Wallpaper group diagram p4.png Arrangement within a primitive cell of 2- and 4-fold rotocenters. A fundamental domain is indicated in yellow. |
File:Wallpaper group diagram p6.png Arrangement within a primitive cell of 2-, 3-, and 6-fold rotocenters, alone or in combination (consider the 6-fold symbol as a combination of a 2- and a 3-fold symbol); in the case of 2-fold symmetry only, the shape of the parallelogram can be different. For the case p6, a fundamental domain is indicated in yellow. |
2-fold rotational symmetry together with single translational symmetry is one of the Frieze groups. A rotocenter is the fixed, or invariant, point of a rotation.<ref>Loeb, A.L. (1971). Color and Symmetry, Wiley-Interscience, New York, p.2. Template:Isbn, Template:Oclc</ref> There are two rotocenters per primitive cell.
Together with double translational symmetry the rotation groups are the following wallpaper groups, with axes per primitive cell:
- p2 (2222): 4×2-fold; rotation group of a parallelogrammic, rectangular, and rhombic lattice.
- p3 (333): 3×3-fold; not the rotation group of any lattice (every lattice is upside-down the same, but that does not apply for this symmetry); it is e.g. the rotation group of the regular triangular tiling with the equilateral triangles alternatingly colored.
- p4 (442): 2×4-fold, 2×2-fold; rotation group of a square lattice.
- p6 (632): 1×6-fold, 2×3-fold, 3×2-fold; rotation group of a hexagonal lattice.
- 2-fold rotocenters (including possible 4-fold and 6-fold), if present at all, form the translate of a lattice equal to the translational lattice, scaled by a factor 1/2. In the case translational symmetry in one dimension, a similar property applies, though the term "lattice" does not apply.
- 3-fold rotocenters (including possible 6-fold), if present at all, form a regular hexagonal lattice equal to the translational lattice, rotated by 30° (or equivalently 90°), and scaled by a factor <math>\tfrac{1}{3} \sqrt {3}</math>
- 4-fold rotocenters, if present at all, form a regular square lattice equal to the translational lattice, rotated by 45°, and scaled by a factor <math>\tfrac{1}{2} \sqrt {2}</math>
- 6-fold rotocenters, if present at all, form a regular hexagonal lattice which is the translate of the translational lattice.
Scaling of a lattice divides the number of points per unit area by the square of the scale factor. Therefore, the number of 2-, 3-, 4-, and 6-fold rotocenters per primitive cell is 4, 3, 2, and 1, respectively, again including 4-fold as a special case of 2-fold, etc.
3-fold rotational symmetry at one point and 2-fold at another one (or ditto in 3D with respect to parallel axes) implies rotation group p6, i.e. double translational symmetry and 6-fold rotational symmetry at some point (or, in 3D, parallel axis). The translation distance for the symmetry generated by one such pair of rotocenters is <math>2\sqrt {3}</math> times their distance.
| Euclidean plane | Hyperbolic plane |
|---|---|
| File:Tile V46b.svg Hexakis triangular tiling, an example of p6, [6,3]+, (632) (with colors) and p6m, [6,3], (*632) (without colors); the lines are reflection axes if colors are ignored, and a special kind of symmetry axis if colors are not ignored: reflection reverts the colors. Rectangular line grids in three orientations can be distinguished. |
File:Order-3 heptakis heptagonal tiling.png Order 3-7 kisrhombille, an example of [7,3]+ (732) symmetry and [7,3], (*732) (without colors) |
See alsoEdit
- Ambigram
- Axial symmetry
- Crystallographic restriction theorem
- Lorentz symmetry
- Point groups in three dimensions
- Screw axis
- Space group
- Translational symmetry