This article needs additional citations for verification .(May 2024) |
In geometry, a point reflection (also called a point inversion or central inversion) is a geometric transformation of affine space in which every point is reflected across a designated inversion center, which remains fixed. In Euclidean or pseudo-Euclidean spaces, a point reflection is an isometry (preserves distance). [1] In the Euclidean plane, a point reflection is the same as a half-turn rotation (180° or π radians), while in three-dimensional Euclidean space a point reflection is an improper rotation which preserves distances but reverses orientation. A point reflection is an involution: applying it twice is the identity transformation.
An object that is invariant under a point reflection is said to possess point symmetry (also called inversion symmetry or central symmetry). A point group including a point reflection among its symmetries is called centrosymmetric . Inversion symmetry is found in many crystal structures and molecules, and has a major effect upon their physical properties. [2]
The term reflection is loose, and considered by some an abuse of language, with inversion preferred; however, point reflection is widely used. Such maps are involutions, meaning that they have order 2 – they are their own inverse: applying them twice yields the identity map – which is also true of other maps called reflections. More narrowly, a reflection refers to a reflection in a hyperplane ( dimensional affine subspace – a point on the line, a line in the plane, a plane in 3-space), with the hyperplane being fixed, but more broadly reflection is applied to any involution of Euclidean space, and the fixed set (an affine space of dimension k, where ) is called the mirror. In dimension 1 these coincide, as a point is a hyperplane in the line.
In terms of linear algebra, assuming the origin is fixed, involutions are exactly the diagonalizable maps with all eigenvalues either 1 or −1. Reflection in a hyperplane has a single −1 eigenvalue (and multiplicity on the 1 eigenvalue), while point reflection has only the −1 eigenvalue (with multiplicity n).
The term inversion should not be confused with inversive geometry, where inversion is defined with respect to a circle.
Hexagonal parallelogon | Octagon |
In two dimensions, a point reflection is the same as a rotation of 180 degrees. In three dimensions, a point reflection can be described as a 180-degree rotation composed with reflection across the plane of rotation, perpendicular to the axis of rotation. In dimension n, point reflections are orientation-preserving if n is even, and orientation-reversing if n is odd.
Given a vector a in the Euclidean space Rn, the formula for the reflection of a across the point p is
In the case where p is the origin, point reflection is simply the negation of the vector a.
In Euclidean geometry, the inversion of a point X with respect to a point P is a point X* such that P is the midpoint of the line segment with endpoints X and X*. In other words, the vector from X to P is the same as the vector from P to X*.
The formula for the inversion in P is
where p, x and x* are the position vectors of P, X and X* respectively.
This mapping is an isometric involutive affine transformation which has exactly one fixed point, which is P.
When the inversion point P coincides with the origin, point reflection is equivalent to a special case of uniform scaling: uniform scaling with scale factor equal to −1. This is an example of linear transformation.
When P does not coincide with the origin, point reflection is equivalent to a special case of homothetic transformation: homothety with homothetic center coinciding with P, and scale factor −1. (This is an example of non-linear affine transformation.)
The composition of two point reflections is a translation. [3] Specifically, point reflection at p followed by point reflection at q is translation by the vector 2(q − p).
The set consisting of all point reflections and translations is Lie subgroup of the Euclidean group. It is a semidirect product of Rn with a cyclic group of order 2, the latter acting on Rn by negation. It is precisely the subgroup of the Euclidean group that fixes the line at infinity pointwise.
In the case n = 1, the point reflection group is the full isometry group of the line.
Given the point and its reflection with respect to the point , the latter is the midpoint of the segment ;
Hence, the equations to find the coordinates of the reflected point are
Particular is the case in which the point C has coordinates (see the paragraph below)
In even-dimensional Euclidean space, say 2N-dimensional space, the inversion in a point P is equivalent to N rotations over angles π in each plane of an arbitrary set of N mutually orthogonal planes intersecting at P. These rotations are mutually commutative. Therefore, inversion in a point in even-dimensional space is an orientation-preserving isometry or direct isometry.
In odd-dimensional Euclidean space, say (2N + 1)-dimensional space, it is equivalent to N rotations over π in each plane of an arbitrary set of N mutually orthogonal planes intersecting at P, combined with the reflection in the 2N-dimensional subspace spanned by these rotation planes. Therefore, it reverses rather than preserves orientation, it is an indirect isometry.
Geometrically in 3D it amounts to rotation about an axis through P by an angle of 180°, combined with reflection in the plane through P which is perpendicular to the axis; the result does not depend on the orientation (in the other sense) of the axis. Notations for the type of operation, or the type of group it generates, are , Ci, S2, and 1×. The group type is one of the three symmetry group types in 3D without any pure rotational symmetry, see cyclic symmetries with n = 1.
The following point groups in three dimensions contain inversion:
Closely related to inverse in a point is reflection in respect to a plane, which can be thought of as a "inversion in a plane".
Inversion symmetry plays a major role in the properties of materials, as also do other symmetry operations. [2]
Some molecules contain an inversion center when a point exists through which all atoms can reflect while retaining symmetry. In many cases they can be considered as polyhedra, categorized by their coordination number and bond angles. For example, four-coordinate polyhedra are classified as tetrahedra, while five-coordinate environments can be square pyramidal or trigonal bipyramidal depending on the bonding angles. Six-coordinate octahedra are an example of centrosymmetric polyhedra, as the central atom acts as an inversion center through which the six bonded atoms retain symmetry. Tetrahedra, on the other hand, are non-centrosymmetric as an inversion through the central atom would result in a reversal of the polyhedron. Polyhedra with an odd (versus even) coordination number are not centrosymmtric. Polyhedra containing inversion centers are known as centrosymmetric, while those without are non-centrosymmetric. The presence or absence of an inversion center has a strong influence on the optical properties; [4] for instance molecules without inversion symmetry have a dipole moment and can directly interact with photons, while those with inversion have no dipole moment and only interact via Raman scattering. [5] The later is named after C. V. Raman who was awarded the 1930 Nobel Prize in Physics for his discovery. [6]
In addition, in crystallography, the presence of inversion centers for periodic structures distinguishes between centrosymmetric and non-centrosymmetric compounds. All crystalline compounds come from a repetition of an atomic building block known as a unit cell, and these unit cells define which polyhedra form and in what order. In many materials such as oxides these polyhedra can link together via corner-, edge- or face sharing, depending on which atoms share common bonds and also the valence. In other cases such as for metals and alloys the structures are better considered as arrangements of close-packed atoms. Crystals which do not have inversion symmetry also display the piezoelectric effect. The presence or absence of inversion symmetry also has numerous consequences for the properties of solids, [2] as does the mathematical relationships between the different crystal symmetries. [7]
Real polyhedra in crystals often lack the uniformity anticipated in their bonding geometry. Common irregularities found in crystallography include distortions and disorder. Distortion involves the warping of polyhedra due to nonuniform bonding lengths, often due to differing electrostatic interactions between heteroatoms or electronic effects such as Jahn–Teller distortions. For instance, a titanium center will likely bond evenly to six oxygens in an octahedra, but distortion would occur if one of the oxygens were replaced with a more electronegative fluorine. Distortions will not change the inherent geometry of the polyhedra—a distorted octahedron is still classified as an octahedron, but strong enough distortions can have an effect on the centrosymmetry of a compound. Disorder involves a split occupancy over two or more sites, in which an atom will occupy one crystallographic position in a certain percentage of polyhedra and the other in the remaining positions. Disorder can influence the centrosymmetry of certain polyhedra as well, depending on whether or not the occupancy is split over an already-present inversion center.
Centrosymmetry applies to the crystal structure as a whole, not just individual polyhedra. Crystals are classified into thirty-two crystallographic point groups which describe how the different polyhedra arrange themselves in space in the bulk structure. Of these thirty-two point groups, eleven are centrosymmetric. The presence of noncentrosymmetric polyhedra does not guarantee that the point group will be the same—two non-centrosymmetric shapes can be oriented in space in a manner which contains an inversion center between the two. Two tetrahedra facing each other can have an inversion center in the middle, because the orientation allows for each atom to have a reflected pair. The inverse is also true, as multiple centrosymmetric polyhedra can be arranged to form a noncentrosymmetric point group.
Inversion with respect to the origin corresponds to additive inversion of the position vector, and also to scalar multiplication by −1. The operation commutes with every other linear transformation, but not with translation: it is in the center of the general linear group. "Inversion" without indicating "in a point", "in a line" or "in a plane", means this inversion; in physics 3-dimensional reflection through the origin is also called a parity transformation.
In mathematics, reflection through the origin refers to the point reflection of Euclidean space Rn across the origin of the Cartesian coordinate system. Reflection through the origin is an orthogonal transformation corresponding to scalar multiplication by , and can also be written as , where is the identity matrix. In three dimensions, this sends , and so forth.
As a scalar matrix, it is represented in every basis by a matrix with on the diagonal, and, together with the identity, is the center of the orthogonal group .
It is a product of n orthogonal reflections (reflection through the axes of any orthogonal basis); note that orthogonal reflections commute.
In 2 dimensions, it is in fact rotation by 180 degrees, and in dimension , it is rotation by 180 degrees in n orthogonal planes; [lower-alpha 1] note again that rotations in orthogonal planes commute.
It has determinant (from the representation by a matrix or as a product of reflections). Thus it is orientation-preserving in even dimension, thus an element of the special orthogonal group SO(2n), and it is orientation-reversing in odd dimension, thus not an element of SO(2n + 1) and instead providing a splitting of the map , showing that as an internal direct product.
Analogously, it is a longest element of the orthogonal group, with respect to the generating set of reflections: elements of the orthogonal group all have length at most n with respect to the generating set of reflections, [lower-alpha 2] and reflection through the origin has length n, though it is not unique in this: other maximal combinations of rotations (and possibly reflections) also have maximal length.
In SO(2r), reflection through the origin is the farthest point from the identity element with respect to the usual metric. In O(2r + 1), reflection through the origin is not in SO(2r+1) (it is in the non-identity component), and there is no natural sense in which it is a "farther point" than any other point in the non-identity component, but it does provide a base point in the other component.
It should not be confused with the element in the spin group. This is particularly confusing for even spin groups, as , and thus in there is both and 2 lifts of .
Reflection through the identity extends to an automorphism of a Clifford algebra, called the main involution or grade involution.
Reflection through the identity lifts to a pseudoscalar.
In geometry, a Cartesian coordinate system in a plane is a coordinate system that specifies each point uniquely by a pair of real numbers called coordinates, which are the signed distances to the point from two fixed perpendicular oriented lines, called coordinate lines, coordinate axes or just axes of the system. The point where the axes meet is called the origin and has (0, 0) as coordinates. The axes directions represent an orthogonal basis. The combination of origin and basis forms a coordinate frame called the Cartesian frame.
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's Elements, it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean spaces of any positive integer dimension n, which are called Euclidean n-spaces when one wants to specify their dimension. For n equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics.
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 mathematics, the orthogonal group in dimension n, denoted O(n), is the group of distance-preserving transformations of a Euclidean space of dimension n that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of n × n orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact.
In geometry, an improper rotation is an isometry in Euclidean space that is a combination of a rotation about an axis and a reflection in a plane perpendicular to that axis. Reflection and inversion are each a special case of improper rotation. Any improper rotation is an affine transformation and, in cases that keep the coordinate origin fixed, a linear transformation. It is used as a symmetry operation in the context of geometric symmetry, molecular symmetry and crystallography, where an object that is unchanged by a combination of rotation and reflection is said to have improper rotation symmetry.
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.
In geometry, inversive geometry is the study of inversion, a transformation of the Euclidean plane that maps circles or lines to other circles or lines and that preserves the angles between crossing curves. Many difficult problems in geometry become much more tractable when an inversion is applied. Inversion seems to have been discovered by a number of people contemporaneously, including Steiner (1824), Quetelet (1825), Bellavitis (1836), Stubbs and Ingram (1842–3) and Kelvin (1845).
Rotation in mathematics is a concept originating in geometry. Any rotation is a motion of a certain space that preserves at least one point. It can describe, for example, the motion of a rigid body around a fixed point. Rotation can have a sign (as in the sign of an angle): a clockwise rotation is a negative magnitude so a counterclockwise turn has a positive magnitude. A rotation is different from other types of motions: translations, which have no fixed points, and (hyperplane) reflections, each of them having an entire (n − 1)-dimensional flat of fixed points in a n-dimensional space.
In mathematics, a Euclidean group is the group of (Euclidean) isometries of a Euclidean space ; that is, the transformations of that space that preserve the Euclidean distance between any two points (also called Euclidean transformations). The group depends only on the dimension n of the space, and is commonly denoted E(n) or ISO(n), for inhomogeneous special orthogonal group.
In geometry, a figure is chiral if it is not identical to its mirror image, or, more precisely, if it cannot be mapped to its mirror image by rotations and translations alone. An object that is not chiral is said to be achiral.
In mathematics, a triangle group is a group that can be realized geometrically by sequences of reflections across the sides of a triangle. The triangle can be an ordinary Euclidean triangle, a triangle on the sphere, or a hyperbolic triangle. Each triangle group is the symmetry group of a tiling of the Euclidean plane, the sphere, or the hyperbolic plane by congruent triangles called Möbius triangles, each one a fundamental domain for the action.
In group theory and geometry, a reflection group is a discrete group which is generated by a set of reflections of a finite-dimensional Euclidean space. The symmetry group of a regular polytope or of a tiling of the Euclidean space by congruent copies of a regular polytope is necessarily a reflection group. Reflection groups also include Weyl groups and crystallographic Coxeter groups. While the orthogonal group is generated by reflections, it is a continuous group, not a discrete group, and is generally considered separately.
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.
In Euclidean geometry, of special interest are involutions which are linear or affine transformations over the Euclidean space Such involutions are easy to characterize and they can be described geometrically.
A regular octahedron has 24 rotational symmetries, and 48 symmetries altogether. These include transformations that combine a reflection and a rotation. A cube has the same set of symmetries, since it is the polyhedron that is dual to an octahedron.
In a group, the conjugate by g of h is ghg−1.
In geometry, a Coxeter–Dynkin diagram is a graph with numerically labeled edges representing a Coxeter group or sometimes a uniform polytope or uniform tiling constructed from the group.
In mathematics, a symmetry operation is a geometric transformation of an object that leaves the object looking the same after it has been carried out. For example, a 1⁄3 turn rotation of a regular triangle about its center, a reflection of a square across its diagonal, a translation of the Euclidean plane, or a point reflection of a sphere through its center are all symmetry operations. Each symmetry operation is performed with respect to some symmetry element.
In geometry, Coxeter notation is a system of classifying symmetry groups, describing the angles between fundamental reflections of a Coxeter group in a bracketed notation expressing the structure of a Coxeter-Dynkin diagram, with modifiers to indicate certain subgroups. The notation is named after H. S. M. Coxeter, and has been more comprehensively defined by Norman Johnson.
In geometry, an object has symmetry if there is an operation or transformation that maps the figure/object onto itself. Thus, a symmetry can be thought of as an immunity to change. For instance, a circle rotated about its center will have the same shape and size as the original circle, as all points before and after the transform would be indistinguishable. A circle is thus said to be symmetric under rotation or to have rotational symmetry. If the isometry is the reflection of a plane figure about a line, then the figure is said to have reflectional symmetry or line symmetry; it is also possible for a figure/object to have more than one line of symmetry.
Inaugural Address delivered to the South Indian Science Association on Friday, the 16th March, 1928