Reflection (linear algebra)

Reflection (linear algebra)

In linear algebra, a reflection is a linear transformation that squares to the identity ("R"2 = "I", where "R" is in "K" dimensional space), also known as an involution in the general linear group. In addition to reflections across hyperplanes, the class of general reflections includes point reflections, reflections across subspaces of intermediate dimension, and non-orthogonal reflections.

A reflection over a hyperplane in an inner product space is necessarily symmetric, but a general reflection need not be as the example left [egin{smallmatrix}1&0\1&-1end{smallmatrix} ight] shows. The rest of this article discusses reflections from this more limited standpoint of reflections over hyperplanes.

Any such reflection matrix "R" is symmetric therefore diagonalizable, with eigenvalues of −1 and 1. The fact that reflection matrices are both symmetric ("R"T = "R") and squares to the identity ("R"2 = "I") makes it orthogonal ("RR"T = "I"). The fixed point set of a general reflection (i.e., the eigenspace corresponding to the eigenvalue 1 for reflection over a hyperplane) is known as its mirror.

Reflection over a line

The reflection over a line can be described by the following formula:mathrm{Ref}_l(v) = 2frac{vcdot l}{lcdot l}l - vWhere "v" denotes the vector being reflected, "l" denotes the line being reflected on, and "v"·"l" denotes the dot product of "v" with "l". Note the formula above can also be described as:mathrm{Ref}_l(v) = 2mathrm{Proj}_l(v) - vWhere the reflection of line "l" on "a" is equal to 2 times the projection (linear algebra) of "v" on line "l" subtract "v".Reflections on a line have the eigenvalues of 1, and −1, where −1 has a multiplicity of 2.

Reflection over a hyperplane

The "k"-dimensional case involves reflection over a hyperplane. Given a "k"−1 dimensional subspace "W" of a "k"-dimensional space "V", take any vector "n" orthogonal to "W" and define:mathrm{Ref}_W(v) = v - 2frac{v cdot n}{n cdot n}nwhere again this is a slight modification of a projection operator. This formula is important in a wide variety of applications and often goes by the name of a Householder transformation. It has eigenvalues 1 and −1 where 1 has multiplicity "k"−1. More explicitly, the reflection fixes every element of "W", the eigenspace for 1, and negates every multiple of "n", the collection of such multiples being the eigenspace for −1.

ee also

*Reflection (mathematics)


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Theorems and definitions in linear algebra — This article collects the main theorems and definitions in linear algebra. Vector spaces A vector space( or linear space) V over a number field² F consists of a set on which two operations (called addition and scalar multiplication, respectively) …   Wikipedia

  • Linear map — In mathematics, a linear map, linear mapping, linear transformation, or linear operator (in some contexts also called linear function) is a function between two vector spaces that preserves the operations of vector addition and scalar… …   Wikipedia

  • Point reflection — In geometry, a point reflection is a type of isometry of Euclidean space. It is a reflection whose mirror is a single point. An object that is invariant under a point reflection is said to possess point symmetry.In two dimensions, a point… …   Wikipedia

  • Clifford algebra — In mathematics, Clifford algebras are a type of associative algebra. They can be thought of as one of the possible generalizations of the complex numbers and quaternions.[1][2] The theory of Clifford algebras is intimately connected with the… …   Wikipedia

  • Symmetric algebra — In mathematics, the symmetric algebra S ( V ) (also denoted Sym ( V )) on a vector space V over a field K is the free commutative unital associative K algebra containing V .It corresponds to polynomials with indeterminates in V , without choosing …   Wikipedia

  • Timeline of algebra and geometry — A timeline of algebra and geometryBefore 1000 BC* ca. 2000 BC Scotland, Carved Stone Balls exhibit a variety of symmetries including all of the symmetries of Platonic solids. * 1800 BC Moscow Mathematical Papyrus, findings volume of a frustum *… …   Wikipedia

  • List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… …   Wikipedia

  • Orthogonal matrix — In linear algebra, an orthogonal matrix (less commonly called orthonormal matrix[1]), is a square matrix with real entries whose columns and rows are orthogonal unit vectors (i.e., orthonormal vectors). Equivalently, a matrix Q is orthogonal if… …   Wikipedia

  • Eigenvalue, eigenvector and eigenspace — In mathematics, given a linear transformation, an Audio|De eigenvector.ogg|eigenvector of that linear transformation is a nonzero vector which, when that transformation is applied to it, changes in length, but not direction. For each eigenvector… …   Wikipedia

  • Eigenvalues and eigenvectors — For more specific information regarding the eigenvalues and eigenvectors of matrices, see Eigendecomposition of a matrix. In this shear mapping the red arrow changes direction but the blue arrow does not. Therefore the blue arrow is an… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”