Orthogonal transformation
   HOME

TheInfoList



OR:

In
linear algebra Linear algebra is the branch of mathematics concerning linear equations such as: :a_1x_1+\cdots +a_nx_n=b, linear maps such as: :(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n, and their representations in vector spaces and through matrices ...
, an orthogonal transformation is a
linear transformation In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pre ...
''T'' : ''V'' → ''V'' on a
real Real may refer to: Currencies * Brazilian real (R$) * Central American Republic real * Mexican real * Portuguese real * Spanish real * Spanish colonial real Music Albums * ''Real'' (L'Arc-en-Ciel album) (2000) * ''Real'' (Bright album) (2010) ...
inner product space In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often ...
''V'', that preserves the
inner product In mathematics, an inner product space (or, rarely, a Hausdorff pre-Hilbert space) is a real vector space or a complex vector space with an operation called an inner product. The inner product of two vectors in the space is a scalar, often ...
. That is, for each pair of elements of ''V'', we have : \langle u,v \rangle = \langle Tu,Tv \rangle \, . Since the lengths of vectors and the angles between them are defined through the inner product, orthogonal transformations preserve lengths of vectors and angles between them. In particular, orthogonal transformations map
orthonormal bases In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For example, ...
to orthonormal bases. Orthogonal transformations are injective: if Tv = 0 then 0 = \langle Tv,Tv \rangle = \langle v,v \rangle, hence v = 0, so the
kernel Kernel may refer to: Computing * Kernel (operating system), the central component of most operating systems * Kernel (image processing), a matrix used for image convolution * Compute kernel, in GPGPU programming * Kernel method, in machine learn ...
of T is trivial. Orthogonal transformations in two- or three- dimensional
Euclidean space Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, that is, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are Euclidean ...
are stiff rotations, reflections, or combinations of a rotation and a reflection (also known as
improper rotation In geometry, an improper rotation,. also called rotation-reflection, rotoreflection, rotary reflection,. or rotoinversion is an isometry in Euclidean space that is a combination of a rotation about an axis and a reflection in a plane perpendicul ...
s). Reflections are transformations that reverse the direction front to back, orthogonal to the mirror plane, like (real-world) mirrors do. The
matrices Matrix most commonly refers to: * ''The Matrix'' (franchise), an American media franchise ** ''The Matrix'', a 1999 science-fiction action film ** "The Matrix", a fictional setting, a virtual reality environment, within ''The Matrix'' (franchis ...
corresponding to proper rotations (without reflection) have a
determinant In mathematics, the determinant is a scalar value that is a function of the entries of a square matrix. It characterizes some properties of the matrix and the linear map represented by the matrix. In particular, the determinant is nonzero if a ...
of +1. Transformations with reflection are represented by matrices with a determinant of −1. This allows the concept of rotation and reflection to be generalized to higher dimensions. In finite-dimensional spaces, the matrix representation (with respect to an
orthonormal basis In mathematics, particularly linear algebra, an orthonormal basis for an inner product space ''V'' with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other. For examp ...
) of an orthogonal transformation is an
orthogonal matrix In linear algebra, an orthogonal matrix, or orthonormal matrix, is a real square matrix whose columns and rows are orthonormal vectors. One way to express this is Q^\mathrm Q = Q Q^\mathrm = I, where is the transpose of and is the identity m ...
. Its rows are mutually orthogonal vectors with unit norm, so that the rows constitute an orthonormal basis of ''V''. The columns of the matrix form another orthonormal basis of ''V''. If an orthogonal transformation is
invertible In mathematics, the concept of an inverse element generalises the concepts of opposite () and reciprocal () of numbers. Given an operation denoted here , and an identity element denoted , if , one says that is a left inverse of , and that is ...
(which is always the case when ''V'' is finite-dimensional) then its inverse is another orthogonal transformation. Its matrix representation is the transpose of the matrix representation of the original transformation.


Examples

Consider the inner-product space (\mathbb^2,\langle\cdot,\cdot\rangle) with the standard euclidean inner product and standard basis. Then, the matrix transformation : T = \begin \cos(\theta) & -\sin(\theta) \\ \sin(\theta) & \cos(\theta) \end : \mathbb^2 \to \mathbb^2 is orthogonal. To see this, consider : \begin Te_1 = \begin\cos(\theta) \\ \sin(\theta)\end && Te_2 = \begin-\sin(\theta) \\ \cos(\theta)\end \end Then, : \begin &\langle Te_1,Te_1\rangle = \begin \cos(\theta) & \sin(\theta) \end \cdot \begin \cos(\theta) \\ \sin(\theta) \end = \cos^2(\theta) + \sin^2(\theta) = 1\\ &\langle Te_1,Te_2\rangle = \begin \cos(\theta) & \sin(\theta) \end \cdot \begin -\sin(\theta) \\ \cos(\theta) \end = \sin(\theta)\cos(\theta) - \sin(\theta)\cos(\theta) = 0\\ &\langle Te_2,Te_2\rangle = \begin -\sin(\theta) & \cos(\theta) \end \cdot \begin -\sin(\theta) \\ \cos(\theta) \end = \sin^2(\theta) + \cos^2(\theta) = 1\\ \end The previous example can be extended to construct all orthogonal transformations. For example, the following matrices define orthogonal transformations on (\mathbb^3,\langle\cdot,\cdot\rangle): : \begin \cos(\theta) & -\sin(\theta) & 0 \\ \sin(\theta) & \cos(\theta) & 0 \\ 0 & 0 & 1 \end, \begin \cos(\theta) & 0 & -\sin(\theta) \\ 0 & 1 & 0 \\ \sin(\theta) & 0 & \cos(\theta) \end, \begin 1 & 0 & 0 \\ 0 & \cos(\theta) & -\sin(\theta) \\ 0 & \sin(\theta) & \cos(\theta) \end


See also

*
Improper rotation In geometry, an improper rotation,. also called rotation-reflection, rotoreflection, rotary reflection,. or rotoinversion is an isometry in Euclidean space that is a combination of a rotation about an axis and a reflection in a plane perpendicul ...
*
Linear transformation In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pre ...
*
Orthogonal matrix In linear algebra, an orthogonal matrix, or orthonormal matrix, is a real square matrix whose columns and rows are orthonormal vectors. One way to express this is Q^\mathrm Q = Q Q^\mathrm = I, where is the transpose of and is the identity m ...
*
Unitary transformation In mathematics, a unitary transformation is a transformation that preserves the inner product: the inner product of two vectors before the transformation is equal to their inner product after the transformation. Formal definition More precisely, ...


References

{{Reflist Linear algebra