Fixed points of isometry groups in Euclidean space

Fixed points of isometry groups in Euclidean space

A fixed point of an isometry group is a point that is a fixed point for every isometry in the group. For any isometry group in Euclidean space the set of fixed points is either empty or an affine space.

For an object, any unique center and, more generally, any point with unique properties with respect to the object is a fixed point of its symmetry group.

In particular this applies for the centroid of a figure, if it exists. In the case of a physical body, if for the symmetry not only the shape but also the density is taken into account, it applies to the center of mass.

If the set of fixed points of the symmetry group of an object is a singleton then the object has a specific center of symmetry. The centroid and center of mass, if defined, are this point. Another meaning of "center of symmetry" is a point with respect to which inversion symmetry applies. Such a point needs not be unique; if it is not, there is translational symmetry, hence there are infinitely many of such points. On the other hand, in the cases of e.g. "C3h" and "D2" symmetry there is a center of symmetry in the first sense, but no inversion.

If the symmetry group of an object has no fixed points then the object is infinite and its centroid and center of mass are undefined.

If the set of fixed points of the symmetry group of an object is a line or plane then the centroid and center of mass of the object, if defined, and any other point that has unique properties with respect to the object, are on this line or plane.


;Line::Only the trivial isometry group leaves the whole line fixed.

;Point::The groups generated by a reflection leave a point fixed.


;Plane::Only the trivial isometry group "C1" leaves the whole plane fixed.

;Line::"C"s with respect to any line leaves that line fixed. The point groups in two dimensions with respect to any point leave that point fixed.


;Space::Only the trivial isometry group "C1" leaves the whole plane fixed.

;Plane::"Cs" with respect to a plane leaves that plane fixed.

;Line::Isometry groups leaving a line fixed are isometries which in every plane perpendicular to that line have common 2D point groups in two dimensions with respect to the point of intersection of the line and the planes.:*"Cn" ( "n" > 1 ) and "Cnv" ( "n" > 1 ):*cylindrical symmetry without reflection symmetry in a plane perpendicular to the axis:*cases in which the symmetry group is an infinite subset of that of cylindrical symmetry

;Point::All other point groups in three dimensions

;No fixed points::The isometry group contains translations or a screw operation.

Arbitrary dimension

;Point::One example of an isometry group, applying in every dimension, is that generated by inversion in a point. An n-dimensional parallelepiped is an example of an object invariant under such an inversion.

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Conjugation of isometries in Euclidean space — In a group, the conjugate by g of h is ghg−1. Contents 1 Translation 2 Inversion 3 Rotation 4 Reflection …   Wikipedia

  • Euclidean group — In mathematics, the Euclidean group E ( n ), sometimes called ISO( n ) or similar, is the symmetry group of n dimensional Euclidean space. Its elements, the isometries associated with the Euclidean metric, are called Euclidean moves.These groups… …   Wikipedia

  • Isometry group — In mathematics, the isometry group of a metric space is the set of all isometries from the metric space onto itself, with the function composition as group operation. Its identity element is the identity function.A single isometry group of a… …   Wikipedia

  • Hilbert space — For the Hilbert space filling curve, see Hilbert curve. Hilbert spaces can be used to study the harmonics of vibrating strings. The mathematical concept of a Hilbert space, named after David Hilbert, generalizes the notion of Euclidean space. It… …   Wikipedia

  • Symmetric space — In differential geometry, representation theory and harmonic analysis, a symmetric space is a smooth manifold whose group of symmetries contains an inversion symmetry about every point. There are two ways to make this precise. In Riemannian… …   Wikipedia

  • Point groups in three dimensions — In geometry, a point group in three dimensions is an isometry group in three dimensions that leaves the origin fixed, or correspondingly, an isometry group of a sphere. It is a subgroup of the orthogonal group O(3), the group of all isometries… …   Wikipedia

  • Complex projective space — The Riemann sphere, the one dimensional complex projective space, i.e. the complex projective line. In mathematics, complex projective space is the projective space with respect to the field of complex numbers. By analogy, whereas the points of a …   Wikipedia

  • Complete metric space — Cauchy completion redirects here. For the use in category theory, see Karoubi envelope. In mathematical analysis, a metric space M is called complete (or Cauchy) if every Cauchy sequence of points in M has a limit that is also in M or,… …   Wikipedia

  • Symmetry group — Not to be confused with Symmetric group. This article is about the abstract algebraic structures. For other meanings, see Symmetry group (disambiguation). A tetrahedron can be placed in 12 distinct positions by rotation alone. These are… …   Wikipedia

  • Symmetry — For other uses, see Symmetry (disambiguation) …   Wikipedia