# Point reflection > Mediated Wiki article. Canonical URL: https://mediated.wiki/source/Point_reflection > Markdown URL: https://mediated.wiki/source/Point_reflection.md > Source: https://en.wikipedia.org/wiki/Point_reflection > Source revision: 1328313233 > License: Creative Commons Attribution-ShareAlike 4.0 International (https://creativecommons.org/licenses/by-sa/4.0/) Geometric symmetry operation "Central inversion" redirects here; not to be confused with [Circle inversion](/source/Circle_inversion). Not to be confused with [Reflection point](/source/Reflection_point). This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Point reflection" – news · newspapers · books · scholar · JSTOR (May 2024) (Learn how and when to remove this message) Example of a 2-dimensional figure with central symmetry, invariant under point reflection Dual tetrahedra that are centrally symmetric to each other In [geometry](/source/Geometry), a **point reflection** (also called a **point inversion** or **central inversion**) is a [geometric transformation](/source/Geometric_transformation) of [affine space](/source/Affine_space) in which every [point](/source/Point_(geometry)) is reflected across a designated **inversion center**, which remains [fixed](/source/Fixed_point_(mathematics)). In [Euclidean](/source/Euclidean_space) or [pseudo-Euclidean spaces](/source/Pseudo-Euclidean_space), a point reflection is an [isometry](/source/Isometry) (preserves [distance](/source/Euclidean_distance)).[1] In the [Euclidean plane](/source/Euclidean_plane), a point reflection is the same as a [half-turn](/source/Half_turn) [rotation](/source/Rotation) (180° or π [radians](/source/Radian)), while in three-dimensional Euclidean space a point reflection is an [improper rotation](/source/Improper_rotation) which preserves distances but [reverses orientation](/source/Orientation-reversing). A point reflection is an [involution](/source/Involution_(mathematics)): applying it twice is the [identity transformation](/source/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](/source/Point_group) including a point reflection among its symmetries is called *[centrosymmetric](/source/Centrosymmetry)*. Inversion symmetry is found in many [crystal structures](/source/Crystal_structure) and [molecules](/source/Molecule), and has a major effect upon their physical properties.[2] ## Terminology 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](/source/Involution_(mathematics)), meaning that they have order 2 – they are their own inverse: applying them twice yields the [identity map](/source/Identity_function) – which is also true of other maps called *reflections*. More narrowly, a *[reflection](/source/Reflection_(linear_algebra))* refers to a reflection in a [hyperplane](/source/Hyperplane) ( n − 1 {\displaystyle n-1} dimensional [affine subspace](/source/Affine_subspace) – a point on the [line](/source/Line_(geometry)), a line in the [plane](/source/Plane_(geometry)), 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 1 ≤ k ≤ n − 1 {\displaystyle 1\leq k\leq n-1} ) 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](/source/Diagonalizable) maps with all [eigenvalues](/source/Eigenvalue) either 1 or −1. Reflection in a hyperplane has a single −1 eigenvalue (and multiplicity n − 1 {\displaystyle n-1} 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](/source/Inversive_geometry), where *inversion* is defined with respect to a circle. ## Examples 2D examples Hexagonal parallelogon Octagon In two dimensions, a point reflection is the same as a [rotation](/source/Rotation) of 180 degrees. In three dimensions, a point reflection can be described as a 180-degree rotation [composed](/source/Composition_of_functions) with reflection across the plane of rotation, perpendicular to the axis of rotation. In dimension *n*, point reflections are [orientation](/source/Orientation_(mathematics))-preserving if *n* is even, and orientation-reversing if *n* is odd. ## Formula Given a vector **a** in the Euclidean space **R***n*, the formula for the reflection of **a** across the point **p** is - R e f p ( a ) = 2 p − a . {\displaystyle \mathrm {Ref} _{\mathbf {p} }(\mathbf {a} )=2\mathbf {p} -\mathbf {a} .} In the case where **p** is the origin, point reflection is simply the negation of the vector **a**. In [Euclidean geometry](/source/Euclidean_geometry), the **inversion** of a [point](/source/Point_(geometry)) *X* with respect to a point *P* is a point *X** such that *P* is the midpoint of the [line segment](/source/Line_segment) with endpoints *X* and *X**. In other words, the [vector](/source/Vector_(geometric)) from *X* to *P* is the same as the vector from *P* to *X**. The formula for the inversion in *P* is - **x*** = 2**p** − **x** where **p**, **x** and **x*** are the position vectors of *P*, *X* and *X** respectively. This [mapping](/source/Function_(mathematics)) is an [isometric](/source/Isometry) [involutive](/source/Involution_(mathematics)) [affine transformation](/source/Affine_transformation) which has exactly one [fixed point](/source/Fixed_point_(mathematics)), which is *P*. ## Point reflection as a special case of uniform scaling or homothety When the inversion point *P* coincides with the origin, point reflection is equivalent to a special case of [uniform scaling](/source/Uniform_scaling): uniform scaling with scale factor equal to −1. This is an example of [linear transformation](/source/Linear_transformation). When *P* does not coincide with the origin, point reflection is equivalent to a special case of [homothetic transformation](/source/Homothetic_transformation): homothety with [homothetic center](/source/Homothetic_center) coinciding with P, and scale factor −1. (This is an example of non-linear [affine transformation](/source/Affine_transformation).) ## Point reflection group The composition of two offset point reflections in 2-dimensions is a translation. The [composition](/source/Composition_of_functions) of two point reflections is a [translation](/source/Translation_(geometry)).[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](/source/Lie_subgroup) of the [Euclidean group](/source/Euclidean_group). It is a [semidirect product](/source/Semidirect_product) of **R***n* with a [cyclic group](/source/Cyclic_group) of order 2, the latter acting on **R***n* by negation. It is precisely the subgroup of the Euclidean group that fixes the [line at infinity](/source/Line_at_infinity) pointwise. In the case *n* = 1, the point reflection group is the full [isometry group](/source/Euclidean_group) of the line. ## Point reflections in mathematics - Point reflection across the center of a sphere yields the [antipodal map](/source/Antipodal_map). - A [symmetric space](/source/Riemannian_symmetric_space) is a [Riemannian manifold](/source/Riemannian_manifold) with an isometric reflection across each point. Symmetric spaces play an important role in the study of [Lie groups](/source/Lie_group) and [Riemannian geometry](/source/Riemannian_geometry). ## Point reflection in analytic geometry Given the point P ( x , y ) {\displaystyle P(x,y)} and its reflection P ′ ( x ′ , y ′ ) {\displaystyle P'(x',y')} with respect to the point C ( x c , y c ) {\displaystyle C(x_{c},y_{c})} , the latter is the [midpoint](/source/Midpoint) of the segment P P ′ ¯ {\displaystyle {\overline {PP'}}} ; - { x c = x + x ′ 2 y c = y + y ′ 2 {\displaystyle {\begin{cases}x_{c}={\frac {x+x'}{2}}\\y_{c}={\frac {y+y'}{2}}\end{cases}}} Hence, the equations to find the coordinates of the reflected point are - { x ′ = 2 x c − x y ′ = 2 y c − y {\displaystyle {\begin{cases}x'=2x_{c}-x\\y'=2y_{c}-y\end{cases}}} Particular is the case in which the point C has coordinates ( 0 , 0 ) {\displaystyle (0,0)} (see the [paragraph below](#Inversion_with_respect_to_the_origin)) - { x ′ = − x y ′ = − y {\displaystyle {\begin{cases}x'=-x\\y'=-y\end{cases}}} ## Properties In even-dimensional [Euclidean space](/source/Euclidean_space), say 2*N*-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](/source/Euclidean_group). In odd-dimensional [Euclidean space](/source/Euclidean_space), say (2*N* + 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 2*N*-dimensional subspace spanned by these rotation planes. Therefore, it *reverses* rather than preserves [orientation](/source/Orientation_(mathematics)), it is an [indirect isometry](/source/Euclidean_group). Geometrically in 3D it amounts to [rotation](/source/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](/source/Orientation_(rigid_body)) (in the other sense) of the axis. Notations for the type of operation, or the type of group it generates, are 1 ¯ {\displaystyle {\overline {1}}} , *C**i*, *S*2, and 1×. The group type is one of the three [symmetry group](/source/Symmetry_group) types in 3D without any pure [rotational symmetry](/source/Rotational_symmetry), see [cyclic symmetries](/source/Cyclic_symmetries) with *n* = 1. The following [point groups in three dimensions](/source/Point_groups_in_three_dimensions) contain inversion: - *C**n*h and *D**n*h for even *n* - *S*2*n* and *D**n*d for odd *n* - *T*h, *O*h, and *I*h Closely related to inverse in a point is [reflection](/source/Reflection_(mathematics)) in respect to a [plane](/source/Plane_(geometry)), which can be thought of as an "inversion in a plane". ## Inversion centers in crystals and molecules 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](/source/Tetrahedral_molecular_geometry), while five-coordinate environments can be [square pyramidal](/source/Square_pyramidal_molecular_geometry) or [trigonal bipyramidal](/source/Trigonal_bipyramidal_molecular_geometry) 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](/source/Dipole_moments_of_molecules) and can directly interact with photons, while those with inversion have no dipole moment and only interact via [Raman scattering](/source/Raman_scattering).[5] The later is named after [C. V. Raman](/source/C._V._Raman) who was awarded the 1930 [Nobel Prize in Physics](/source/Nobel_Prize_in_Physics) for his discovery.[6] In addition, in [crystallography](/source/Crystallography), the presence of inversion centers for periodic structures distinguishes between [centrosymmetric](/source/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](/source/Metals) and [alloys](/source/Alloys) the structures are better considered as arrangements of close-packed atoms. Crystals which do not have inversion symmetry also display the [piezoelectric effect](/source/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](/source/Jahn%E2%80%93Teller_effect). 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](/source/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](/source/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 Inversion with respect to the origin corresponds to [additive inversion](/source/Additive_inverse) of the position vector, and also to [scalar multiplication](/source/Scalar_multiplication) by −1. The operation commutes with every other [linear transformation](/source/Linear_transformation), but not with [translation](/source/Translation_(geometry)): it is in the [center](/source/Center_(group_theory)) of the [general linear group](/source/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](/source/Parity_(physics)). In mathematics, **reflection through the origin** refers to the point reflection of [Euclidean space](/source/Euclidean_space) **R***n* across the [origin](/source/Origin_(mathematics)) of the [Cartesian coordinate system](/source/Cartesian_coordinate_system). Reflection through the origin is an [orthogonal transformation](/source/Orthogonal_transformation) corresponding to [scalar multiplication](/source/Scalar_multiplication) by − 1 {\displaystyle -1} , and can also be written as − I {\displaystyle -I} , where I {\displaystyle I} is the [identity matrix](/source/Identity_matrix). In three dimensions, this sends ( x , y , z ) ↦ ( − x , − y , − z ) {\displaystyle (x,y,z)\mapsto (-x,-y,-z)} , and so forth. ### Representations As a [scalar matrix](/source/Scalar_matrix), it is represented in every basis by a matrix with − 1 {\displaystyle -1} on the diagonal, and, together with the identity, is the [center](/source/Center_(group_theory)) of the [orthogonal group](/source/Orthogonal_group) O ( n ) {\displaystyle O(n)} . It is a product of *n* orthogonal reflections (reflection through the axes of any [orthogonal basis](/source/Orthogonal_basis)); note that orthogonal reflections commute. In 2 dimensions, it is in fact rotation by 180 degrees, and in dimension 2 n {\displaystyle 2n} , it is rotation by 180 degrees in *n* orthogonal planes;[a] note again that rotations in orthogonal planes commute. ### Properties It has determinant ( − 1 ) n {\displaystyle (-1)^{n}} (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](/source/Special_orthogonal_group) SO(2*n*), and it is orientation-reversing in odd dimension, thus not an element of SO(2*n* + 1) and instead providing a [splitting](/source/Split_short_exact_sequence) of the map O ( 2 n + 1 ) → ± 1 {\displaystyle O(2n+1)\to \pm 1} , showing that O ( 2 n + 1 ) = S O ( 2 n + 1 ) × { ± I } {\displaystyle O(2n+1)=SO(2n+1)\times \{\pm I\}} as an [internal direct product](/source/Internal_direct_product). - Together with the identity, it forms the [center](/source/Center_(group_theory)) of the [orthogonal group](/source/Orthogonal_group). - It preserves every quadratic form, meaning Q ( − v ) = Q ( v ) {\displaystyle Q(-v)=Q(v)} , and thus is an element of every [indefinite orthogonal group](/source/Indefinite_orthogonal_group) as well. - It equals the identity if and only if the characteristic is 2. - It is the [longest element](/source/Longest_element_of_a_Coxeter_group) of the [Coxeter group](/source/Coxeter_group) of [signed permutations](/source/Signed_permutations). 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](/source/Length_function) at most *n* with respect to the generating set of reflections,[b] 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. ### Geometry In SO(2*r*), reflection through the origin is the farthest point from the identity element with respect to the usual metric. In O(2*r* + 1), reflection through the origin is not in SO(2*r*+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](/source/Base_point) in the other component. ### Clifford algebras and spin groups Further information: [Clifford algebra](/source/Clifford_algebra) Further information: [Spin group](/source/Spin_group) It should *not* be confused with the element − 1 ∈ S p i n ( n ) {\displaystyle -1\in \mathrm {Spin} (n)} in the [spin group](/source/Spin_group). This is particularly confusing for even spin groups, as − I ∈ S O ( 2 n ) {\displaystyle -I\in SO(2n)} , and thus in Spin ⁡ ( n ) {\displaystyle \operatorname {Spin} (n)} there is both − 1 {\displaystyle -1} and 2 lifts of − I {\displaystyle -I} . Reflection through the identity extends to an automorphism of a [Clifford algebra](/source/Clifford_algebra), called the *main involution* or *grade involution.* Reflection through the identity lifts to a [pseudoscalar](/source/Pseudoscalar_(Clifford_algebra)). ## See also - [Affine involution](/source/Affine_involution) - [Circle inversion](/source/Circle_inversion) - [Clifford algebra](/source/Clifford_algebra) - [Congruence (geometry)](/source/Congruence_(geometry)) - [Estermann measure](/source/Estermann_measure) - [Euclidean group](/source/Euclidean_group) - [Kovner–Besicovitch measure](/source/Kovner%E2%80%93Besicovitch_measure) - [Orthogonal group](/source/Orthogonal_group) - [Parity (physics)](/source/Parity_(physics)) - [Reflection (mathematics)](/source/Reflection_(mathematics)) - [Riemannian symmetric space](/source/Riemannian_symmetric_space) - [Spin group](/source/Spin_group) ## Notes 1. **[^](#cite_ref-8)** "Orthogonal planes" meaning all elements are orthogonal and the planes intersect at 0 only, not that they intersect in a line and have [dihedral angle](/source/Dihedral_angle) 90°. 1. **[^](#cite_ref-9)** This follows by classifying orthogonal transforms as direct sums of rotations and reflections, which follows from the [spectral theorem](/source/Spectral_theorem), for instance. ## References 1. **[^](#cite_ref-1)** ["Reflections in Lines"](https://new.math.uiuc.edu/public403/isometries/reflections.html#_geometrical_definition_of_a_reflection). *new.math.uiuc.edu*. Retrieved 2024-04-27. 1. ^ [***a***](#cite_ref-:0_2-0) [***b***](#cite_ref-:0_2-1) [***c***](#cite_ref-:0_2-2) Nye, J. F. (1984). *Physical properties of crystals: their representation by tensors and matrices* (1st published in pbk. with corrections, 1984 ed.). Oxford [Oxfordshire] : New York: Clarendon Press; Oxford University Press. [ISBN](/source/ISBN_(identifier)) [978-0-19-851165-6](https://en.wikipedia.org/wiki/Special:BookSources/978-0-19-851165-6). 1. **[^](#cite_ref-3)** ["Lab 9 Point Reflection"](https://sites.math.washington.edu/~king/coursedir/m444a02/lab/lab09.html). *sites.math.washington.edu*. Retrieved 2024-04-27. 1. **[^](#cite_ref-4)** Harris and Bertolucci (1989). *Symmetry and Spectroscopy*. Dover Publications. [ISBN](/source/ISBN_(identifier)) [978-0-486-66144-5](https://en.wikipedia.org/wiki/Special:BookSources/978-0-486-66144-5). 1. **[^](#cite_ref-raman1928_5-0)** Raman, C. V. (1928). "A new radiation". *Indian Journal of Physics*. **2**: 387–398. [hdl](/source/Hdl_(identifier)):[10821/377](https://hdl.handle.net/10821%2F377). Inaugural Address delivered to the South Indian Science Association on Friday, the 16th March, 1928 1. **[^](#cite_ref-6)** Singh, R. (2002). "C. V. Raman and the Discovery of the Raman Effect". *Physics in Perspective*. **4** (4): 399–420. [Bibcode](/source/Bibcode_(identifier)):[2002PhP.....4..399S](https://ui.adsabs.harvard.edu/abs/2002PhP.....4..399S). [doi](/source/Doi_(identifier)):[10.1007/s000160200002](https://doi.org/10.1007%2Fs000160200002). [S2CID](/source/S2CID_(identifier)) [121785335](https://api.semanticscholar.org/CorpusID:121785335). 1. **[^](#cite_ref-7)** Müller, Ulrich; Wondratschek, Hans; Bärnighausen, Hartmut (2017). *Symmetry relationships between crystal structures: applications of crystallographic group theory in crystal chemistry*. International Union of Crystallography texts on crystallography (first published in paperback ed.). Oxford: Oxford University Press. [ISBN](/source/ISBN_(identifier)) [978-0-19-880720-9](https://en.wikipedia.org/wiki/Special:BookSources/978-0-19-880720-9). Authority control databases: National Czech Republic --- Adapted from the Wikipedia article [Point reflection](https://en.wikipedia.org/wiki/Point_reflection) by Wikipedia contributors ([contributor history](https://en.wikipedia.org/wiki/Point_reflection?action=history)). Available under [Creative Commons Attribution-ShareAlike 4.0 International](https://creativecommons.org/licenses/by-sa/4.0/). Changes may have been made.