Fixed points of isometry groups in Euclidean space

Last updated

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.

Fixed point (mathematics) Point preserved by an endomorphism

In mathematics, a fixed point of a function is an element of the function's domain that is mapped to itself by the function. That is to say, c is a fixed point of the function f(x) if f(c) = c. This means f(f ) = fn(c) = c, an important terminating consideration when recursively computing f. A set of fixed points is sometimes called a fixed set.

Isometry distance-preserving function between metric spaces

In mathematics, an isometry is a distance-preserving transformation between metric spaces, usually assumed to be bijective.

In mathematics, the isometry group of a metric space is the set of all bijective isometries from the metric space onto itself, with the function composition as group operation. Its identity element is the identity function.

Contents

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

Centre (geometry) middle of the object in geometry

In geometry, a centre of an object is a point in some sense in the middle of the object. According to the specific definition of centre taken into consideration, an object might have no centre. If geometry is regarded as the study of isometry groups then a centre is a fixed point of all the isometries which move the object onto itself.

Symmetry group Group of transformations under which the object is invariant

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 space which takes the object to itself, and which preserves all the relevant structure of the object. A frequent notation for the symmetry group of an object X is G = Sym(X).

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 centre of mass.

Centroid mean ("average") position of all the points in the shape; mean position of all the points in all of the coordinate directions; point at which a cutout of the shape could be perfectly balanced on the tip of a pin

In mathematics and physics, the centroid or geometric center of a plane figure is the arithmetic mean position of all the points in the figure. Informally, it is the point at which a cutout of the shape could be perfectly balanced on the tip of a pin.

Center of mass unique point where the weighted relative position of the distributed mass sums to zero

In physics, the center of mass of a distribution of mass in space is the unique point where the weighted relative position of the distributed mass sums to zero. This is the point to which a force may be applied to cause a linear acceleration without an angular acceleration. Calculations in mechanics are often simplified when formulated with respect to the center of mass. It is a hypothetical point where entire mass of an object may be assumed to be concentrated to visualise its motion. In other words, the center of mass is the particle equivalent of a given object for application of Newton's laws of motion.

If the set of fixed points of the symmetry group of an object is a singleton then the object has a specific centre of symmetry. The centroid and centre of mass, if defined, are this point. Another meaning of "centre 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 centre of symmetry in the first sense, but no inversion.

In mathematics, a singleton, also known as a unit set, is a set with exactly one element. For example, the set {null} is a singleton.

Translational symmetry invariance with respect to addition of a constant vector to a coordinate system

In geometry, a translation "slides" a thing by a: Ta(p) = p + a.

If the symmetry group of an object has no fixed points then the object is infinite and its centroid and centre 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 centre 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.

1D

Line
Only the trivial isometry group leaves the whole line fixed.
Point
The groups generated by a reflection leave a point fixed.

2D

Plane
Only the trivial isometry group C1 leaves the whole plane fixed.
Line
Cs with respect to any line leaves that line fixed.
Point
The point groups in two dimensions with respect to any point leave that point fixed.

3D

Space
Only the trivial isometry group C1 leaves the whole space 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.

Related Research Articles

Euclidean space Generalization of Euclidean geometry to higher dimensions

In geometry, Euclidean space encompasses the two-dimensional Euclidean plane, the three-dimensional space of Euclidean geometry, and similar spaces of higher dimension. It is named after the Ancient Greek mathematician Euclid of Alexandria. The term "Euclidean" distinguishes these spaces from other types of spaces considered in modern geometry. Euclidean spaces also generalize to higher dimensions.

In geometry, an improper rotation, also called rotoreflection,rotary reflection, or rotoinversion is, depending on context, a linear transformation or affine transformation which is the combination of a rotation about an axis and a reflection in a plane perpendicular to that axis.

Reflection (mathematics) mapping from a Euclidean space to itself that is an isometry with a hyperplane as a set of fixed points

In mathematics, a reflection is a mapping from a Euclidean space to itself that is an isometry with a hyperplane as a set of fixed points; this set is called the axis or plane of reflection. The image of a figure by a reflection is its mirror image in the axis or plane of reflection. For example the mirror image of the small Latin letter p for a reflection with respect to a vertical axis would look like q. Its image by reflection in a horizontal axis would look like b. A reflection is an involution: when applied twice in succession, every point returns to its original location, and every geometrical object is restored to its original state.

Hyperbolic space Non-Euclidean geometry

In mathematics, a hyperbolic space is a homogeneous space that has a constant negative curvature, where in this case the curvature is the sectional curvature. It is hyperbolic geometry in more than 2 dimensions, and is distinguished from Euclidean spaces with zero curvature that define the Euclidean geometry, and elliptic geometry that have a constant positive curvature.

Rigid body idealization of a solid body in which deformation is neglected (distance between any two given points of a rigid body remains constant in time regardless of external forces exerted on it)

In physics, a rigid body is a solid body in which deformation is zero or so small it can be neglected. The distance between any two given points on a rigid body remains constant in time regardless of external forces exerted on it. A rigid body is usually considered as a continuous distribution of mass.

Euclidean group Isometry group of Euclidean space

In mathematics, the Euclidean group E(n), also known as ISO(n) or similar, is the symmetry group of n-dimensional Euclidean space. Its elements are the isometries associated with the Euclidean distance, and are called Euclidean isometries, Euclidean transformations or rigid transformations.

Rotational symmetry Symmetry (something looking the same) under rotation

Rotational symmetry, also known as radial symmetry in biology, 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 the exact same for each rotation.

Reflection symmetry symmetry with respect to a plane, when the shape does not change by reflecting all of its part from a mirror plane

Reflection symmetry, line symmetry, mirror symmetry, mirror-image symmetry, is symmetry with respect to reflection. That is, a figure which does not change upon undergoing a reflection has reflectional symmetry.

In geometry, a Euclidean plane isometry is an isometry of the Euclidean plane, or more informally, a way of transforming the plane that preserves geometrical properties such as length. There are four types: translations, rotations, reflections, and glide reflections.

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 that leave the origin fixed, or correspondingly, the group of orthogonal matrices. O(3) itself is a subgroup of the Euclidean group E(3) of all isometries.

Cyclic symmetry in three dimensions

In three dimensional geometry, there are four infinite series of point groups in three dimensions (n≥1) with n-fold rotational or reflectional symmetry about one axis that does not change the object.

In a group, the conjugate by g of h is ghg−1.

In Gaussian optics, the cardinal points consist of three pairs of points located on the optical axis of a rotationally symmetric, focal, optical system. These are the focal points, the principal points, and the nodal points. For ideal systems, the basic imaging properties such as image size, location, and orientation are completely determined by the locations of the cardinal points; in fact only four points are necessary: the focal points and either the principal or nodal points. The only ideal system that has been achieved in practice is the plane mirror, however the cardinal points are widely used to approximate the behavior of real optical systems. Cardinal points provide a way to analytically simplify a system with many components, allowing the imaging characteristics of the system to be approximately determined with simple calculations.

Point reflection Geometric symmetry operation

In geometry, a point reflection or inversion in a point is a type of isometry of Euclidean space. An object that is invariant under a point reflection is said to possess point symmetry; if it is invariant under point reflection through its center, it is said to possess central symmetry or to be centrally symmetric.

A line group is a mathematical way of describing symmetries associated with moving along a line. These symmetries include repeating along that line, making that line a one-dimensional lattice. However, line groups may have more than one dimension, and they may involve those dimensions in its isometries or symmetry transformations.

Symmetry (geometry) geometrical property

A geometric object has symmetry if there is an "operation" or "transformation" that maps the figure/object onto itself; i.e., it is said that the object has an invariance under the transform. For instance, a circle rotated about its center will have the same shape and size as the original circle—all points before and after the transform would be indistinguishable. A circle is said to be symmetric under rotation or to have rotational symmetry. If the isometry is the reflection of a plane figure, the figure is said to have reflectional symmetry or line symmetry; moreover, it is possible for a figure/object to have more than one line of symmetry.

References

Slavik V. Jablan, Symmetry, Ornament and Modularity, Volume 30 of K & E Series on Knots and Everything, World Scientific, 2002. ISBN   9812380809

International Standard Book Number Unique numeric book identifier

The International Standard Book Number (ISBN) is a numeric commercial book identifier which is intended to be unique. Publishers purchase ISBNs from an affiliate of the International ISBN Agency.