
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.
Topological Bound States in the Continuum in Arrays of Dielectric Spheres. By Dmitrii N. Maksimov, LV Kirensky Institute of Physics, Krasnoyarsk, Russia
/ref>
Formal treatment
Formally the rotational symmetry is symmetry
Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definit ...
with respect to some or all rotation
Rotation, or spin, is the circular movement of an object around a '' central axis''. A two-dimensional rotating object has only one possible central axis and can rotate in either a clockwise or counterclockwise direction. A three-dimensional ...
s in ''m''-dimensional Euclidean space. Rotations are direct isometries, i.e., isometries preserving orientation
Orientation may refer to:
Positioning in physical space
* Map orientation, the relationship between directions on a map and compass directions
* Orientation (housing), the position of a building with respect to the sun, a concept in building de ...
. Therefore, a symmetry group
In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient ...
of rotational symmetry is a subgroup of ''E''+(''m'') (see Euclidean group
In mathematics, a Euclidean group is the group of (Euclidean) isometries of a Euclidean space \mathbb^n; that is, the transformations of that space that preserve the Euclidean distance between any two points (also called Euclidean transformations). ...
).
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 ''E''(''m''). With the modified notion of symmetry for vector fields the symmetry group can also be ''E''+(''m'').
For symmetry with respect to rotations about a point we can take that point as origin. These rotations form the special orthogonal group
In mathematics, the orthogonal group in dimension , denoted , is the Group (mathematics), group of isometry, distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by ...
SO(''m''), the group of ''m''×''m'' orthogonal matrices
In linear algebra, an orthogonal matrix, or orthonormal matrix, is a real square matrix whose columns and rows are orthonormal vectors.
One way to express this is
Q^\mathrm Q = Q Q^\mathrm = I,
where is the transpose of and is the identity ma ...
with determinant 1. For this is the rotation group SO(3).
In another definition of the word, the rotation group ''of an object'' is the symmetry group within ''E''+(''n''), 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 symmetry
Rotational symmetry of order ''n'', also called ''n''-fold rotational symmetry, or discrete rotational symmetry of the ''n''th order, with respect to a particular point (in 2D) or axis (in 3D) means that rotation by an angle of 360°/n (180°, 120°, 90°, 72°, 60°, 51 °, 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 ''n''-fold symmetry is ''Cn'' or simply "''n''". The actual symmetry group
In group theory, the symmetry group of a geometric object is the group of all transformations under which the object is invariant, endowed with the group operation of composition. Such a transformation is an invertible mapping of the ambient ...
is specified by the point or axis of symmetry, together with the ''n''. For each point or axis of symmetry, the abstract group type is cyclic group of order ''n'', Z''n''. Although for the latter also the notation ''C''''n'' is used, the geometric and abstract ''C''''n'' 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
Given a topological space and a group acting on it, the images of a single point under the group action form an orbit of the action. A fundamental domain or fundamental region is a subset of the space which contains exactly one point from each o ...
is a sector of 360°/n.
Examples without additional reflection symmetry:
*''n'' = 2, 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)
*''n'' = 3, 120°: ''triad'', triskelion, Borromean rings; sometimes the term ''trilateral symmetry'' is used;
*''n'' = 4, 90°: ''tetrad'', swastika
The swastika (卐 or 卍) is an ancient religious and cultural symbol, predominantly in various Eurasian, as well as some African and American cultures, now also widely recognized for its appropriation by the Nazi Party and by neo-Nazis. It ...
*''n'' = 6, 60°: ''hexad'', Star of David
The Star of David (). is a generally recognized symbol of both Jewish identity and Judaism. Its shape is that of a hexagram: the compound of two equilateral triangles.
A derivation of the ''seal of Solomon'', which was used for decorative ...
(this one has additional reflection symmetry)
*''n'' = 8, 45°: ''octad'', Octagonal muqarnas, computer-generated (CG), ceiling
''C''''n'' is the rotation group of a regular ''n''-sided polygon in 2D and of a regular ''n''-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
A propeller (colloquially often called a screw if on a ship or an airscrew if on an aircraft) is a device with a rotating hub and radiating blades that are set at a pitch to form a helical spiral which, when rotated, exerts linear thrust upon ...
.
Examples
Multiple symmetry axes through the same point
For discrete symmetry with multiple symmetry axes through the same point, there are the following possibilities:
*In addition to an ''n''-fold axis, ''n'' perpendicular 2-fold axes: the dihedral groups ''D''n of order 2''n'' (). This is the rotation group of a regular prism, or regular bipyramid
A (symmetric) -gonal bipyramid or dipyramid is a polyhedron formed by joining an -gonal pyramid and its mirror image base-to-base. An -gonal bipyramid has triangle faces, edges, and vertices.
The "-gonal" in the name of a bipyramid does not ...
. Although the same notation is used, the geometric and abstract ''D''n 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 ''T'' of order 12 of a regular tetrahedron. The group is isomorphic
In mathematics, an isomorphism is a structure-preserving mapping between two structures of the same type that can be reversed by an inverse mapping. Two mathematical structures are isomorphic if an isomorphism exists between them. The word is ...
to alternating group ''A''4.
*3×4-fold, 4×3-fold, and 6×2-fold axes: the rotation group ''O'' of order 24 of a cube
In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex. Viewed from a corner it is a hexagon and its net is usually depicted as a cross.
The cube is the only r ...
and a regular octahedron. The group is isomorphic to symmetric group ''S''4.
*6×5-fold, 10×3-fold, and 15×2-fold axes: the rotation group ''I'' of order 60 of a dodecahedron and an icosahedron
In geometry, an icosahedron ( or ) is a polyhedron with 20 faces. The name comes and . The plural can be either "icosahedra" () or "icosahedrons".
There are infinitely many non- similar shapes of icosahedra, some of them being more symmetrica ...
. The group is isomorphic to alternating group ''A''5. The group contains 10 versions of ''D3'' and 6 versions of ''D5'' (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 angle
Rotational symmetry with respect to any angle is, in two dimensions, circular symmetry
In geometry, circular symmetry is a type of continuous symmetry for a planar object that can be rotated by any arbitrary angle and map onto itself.
Rotational circular symmetry is isomorphic with the circle group in the complex plane, or the ...
. The fundamental domain is a half-line
In geometry, a line is an infinitely long object with no width, depth, or curvature. Thus, lines are One-dimensional space, one-dimensional objects, though they may exist in Two-dimensional Euclidean space, two, Three-dimensional space, three, ...
.
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 or 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
A doughnut or donut () is a type of food made from leavened fried dough. It is popular in many countries and is prepared in various forms as a sweet snack that can be homemade or purchased in bakeries, supermarkets, food stalls, and franc ...
( 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
In mathematics, specifically set theory, the Cartesian product of two sets ''A'' and ''B'', denoted ''A''×''B'', is the set of all ordered pairs where ''a'' is in ''A'' and ''b'' is in ''B''. In terms of set-builder notation, that is
: A\ti ...
of two rotationally symmetry 2D figures, as in the case of e.g. the duocylinder and various regular duoprisms.
Rotational symmetry with translational symmetry
2-fold rotational symmetry together with single translational symmetry is one of the Frieze groups. There are two rotocenters per primitive cell
In geometry, biology, mineralogy and solid state physics, a unit cell is a repeating unit formed by the vectors spanning the points of a lattice. Despite its suggestive name, the unit cell (unlike a unit vector, for example) does not necessaril ...
.
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 parallelogram
In Euclidean geometry, a parallelogram is a simple (non- self-intersecting) quadrilateral with two pairs of parallel sides. The opposite or facing sides of a parallelogram are of equal length and the opposite angles of a parallelogram are of equa ...
mic, 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
*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
*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 times their distance.
See also
* Ambigram
* Axial symmetry
* Crystallographic restriction theorem
* Lorentz symmetry
* Point groups in three dimensions
* Screw axis
A screw axis (helical axis or twist axis) is a line that is simultaneously the axis of rotation and the line along which translation of a body occurs. Chasles' theorem shows that each Euclidean displacement in three-dimensional space has a screw ...
* Space group
* Translational symmetry
References
*
External links
* {{Commons category-inline, Rotational symmetry
Rotational Symmetry Examples
from Math Is Fun
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
Symmetry
Binocular rivalry