Arrangement of hyperplanes: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>David Eppstein
m Real arrangements: fix tags, replaced: <sup>''n''</sub> → <sup>''n''</sup> using AWB
Line 1: Line 1:
{{Refimprove|date=September 2010}}
Hi there. Let me start by introducing the author, her name is Myrtle Cleary. One of the things he loves most is ice skating but he is struggling to find time for it. My working day occupation is a meter reader. South Dakota is her birth place but she requirements to transfer simply because of her family.<br><br>Also visit my weblog :: [http://www.bestpornever.us/blog/4496 www.bestpornever.us]
[[Image:Euler AxisAngle.png|thumb|right|A rotation represented by an Euler axis and angle.]]
 
In [[geometry]], '''Euler's rotation theorem''' states that, in [[three-dimensional space]], any displacement of a rigid body such that a point on the rigid body remains fixed, is equivalent to a single rotation about some axis that runs through the fixed point. It also means that the composition of two rotations is also a rotation. Therefore the set of rotations has a structure known as a ''[[Rotation group SO(3)|rotation group]]''.
 
The theorem is named after [[Leonhard Euler]], who proved it in 1775 by an elementary geometric argument. The axis of rotation is known as an '''Euler axis''', typically represented by a [[unit vector]] <math>\mathbf{\hat{e}}</math>. The extension of the theorem to [[kinematics]] yields the concept of [[instant axis of rotation]].
 
In linear algebra terms, the theorem states that, in 3D space, any two Cartesian coordinate systems with a common origin are related by a rotation about some fixed axis. This also means that the product of two rotation matrices is again a rotation matrix and that for a non-identity [[rotation matrix]] it must happen that: one of its [[eigenvalues]] is 1 and the other two are -1, or it has only one real [[eigenvalue]] which is equal to unity. The [[eigenvector]] corresponding to this eigenvalue is the axis of rotation connecting the two systems.
 
==Euler's theorem (1776)==
[[Image:rotationtheorem.svg|right|thumb|240px|Construction showing the theorem for a rotated sphere whose Euler angles are [ψ,θ,φ]. Frame in blue is attached to the fixed sphere. Frame in red is fixed to the rotated sphere. The line of nodes N determines the point A of the theorem. The arcs ''Aa'' and ''Aα'' must be equal]]
Euler states the theorem as follows:<ref>Novi Commentarii academiae scientiarum Petropolitanae 20, 1776, pp. 189–207 (E478)</ref>
 
<blockquote>
'''Theorema.'''
Quomodocunque sphaera circa centrum suum conuertatur, semper assignari potest diameter,
cuius directio in situ translato conueniat cum situ initiali.
</blockquote>
 
or (in English):
:''When a sphere is moved around its centre it is always possible to find a diameter whose direction in the displaced position is the same as in the initial position.''
 
To prove this, Euler considers a great circle on the sphere
and the great circle to which it is transported by the movement.
These two circles intersect in two (opposite) points
of which one, say ''A'', is chosen.
This point lies on the initial circle and
thus is transported to a point ''a'' on the second circle.
On the other hand, ''A'' lies also on the translated circle,
and thus corresponds to a point ''α'' on the initial circle. Notice that the arc ''aA'' must be equal to the arc ''Aα''.
 
Now Euler needs to construct point ''O'' in the surface of the sphere that is in the same position in reference to the arcs ''aA'' and ''αA''. If such a point exists then:
 
*it is necessary, that the distances ''OA'' and ''Oa'' are equal to each other; the arcs ''Oa'' and ''OA'' must be equal,
*it is necessary that the angles ''OaA'' and ''OAα'' are equal.
 
Now Euler points out that the angles ''OAa'' and ''OaA'' must also be equal, since ''Oa'' and ''OA'' have the same length.  Thus ''OAa'' and ''OAα'' are equal, proving ''O'' lies on the angle bisecting ''αAa''.  To provide a complete construction for ''O'', we need only note that the arc ''aO'' may also be constructed such that ''AaO'' is the same as ''αAO''. This completes the proof.
 
[[Image:Eulerrotation.svg|200px|left|thumb|Euler original drawing]]
 
Euler provides a further construction that might be easier in practice.  He proposes two planes:
 
*the symmetry plane of the angle ''αAa'' (which passes through the centre ''C'' of the sphere), and
*the symmetry plane of the arc ''Aa'' (which also passes through ''C'').
 
'''Proposition'''. These two planes intersect in a diameter. This diameter is the one we are looking for.
 
'''Proof'''. Let's call ''O'' to any of the endpoints (there are two) of this diameter over the sphere surface. Since ''αA'' is mapped on ''Aa'' and the triangles have the same angles, it follows that the triangle ''OαA'' is transported onto the triangle ''OAa''. Therefore the point O has to remain fixed under the movement.
 
'''Corollaries'''
This also shows that the rotation of the sphere can be seen
as two consecutive reflections about the two planes described above.
Points in a mirror plane are invariant under reflection,
and hence the points on their intersection (a line: the axis of rotation) are invariant under both the reflections,
and hence under the rotation.
 
Another simple way to find the rotation axis is by considering the plane on which the points ''α'', ''A'', ''a'' lie. The rotation axis is obviously orthogonal to this plane, and passes through the center ''C'' of the sphere.
 
Given that for a rigid body any movement that leaves an axis invariant is a rotation, this also proves that any arbitrary composition of rotations is equivalent to a single rotation around a new axis.
 
==Matrix proof==
A spatial rotation is a linear map in one-to-one correspondence with a 3×3 [[rotation matrix]] '''R''' that transforms a coordinate vector '''x''' into '''X''', that is '''Rx'''&nbsp;=&nbsp;'''X'''. Therefore, another version of Euler's theorem is that for every rotation '''R''', there is a vector '''n''' for which '''Rn'''&nbsp;=&nbsp;'''n'''.  The line μ'''n'''  is the rotation axis of '''R'''.
 
A rotation matrix has the fundamental property that its inverse is its transpose, that is
:<math>
\mathbf{R}^\mathrm{T}\mathbf{R} = \mathbf{R}\mathbf{R}^\mathrm{T} = \mathbf{I},
</math>
where '''I''' is the 3×3 identity matrix and superscript T indicates the transposed matrix.
 
Compute the determinant of this relation to find that a rotation matrix has [[determinant]] ±1.  In particular,
:<math>
1=\det(\mathbf{I})=\det(\mathbf{R}^\mathrm{T}\mathbf{R}) = \det(\mathbf{R}^\mathrm{T})\det(\mathbf{R})
= \det(\mathbf{R})^2 \quad\Longrightarrow \quad \det(\mathbf{R}) = \pm 1.
</math>
A rotation matrix with determinant +1 is a proper rotation, and one with a negative determinant −1 is an ''improper rotation'', that is a reflection combined with a proper rotation.
 
It will now be shown  that a rotation matrix '''R''' has at least one invariant vector '''n''', i.e., '''R'''&nbsp;'''n'''&nbsp;=&nbsp;'''n'''.  Because this requires that ('''R'''&nbsp;−&nbsp;'''I''')'''n'''&nbsp;=&nbsp;0, we see that the vector '''n''' must be an [[eigenvector]] of the matrix '''R'''  with  eigenvalue λ = 1.  Thus, this is equivalent to showing that det('''R'''&nbsp;−&nbsp;'''I''')&nbsp;=&nbsp;0.
 
Use the two relations:
:<math>
\det(-\mathbf{R}) =  - \det(\mathbf{R})
\quad\hbox{and}\quad\det(\mathbf{R}^{-1} ) = 1,
</math>
to compute
:<math>
\begin{align}
\det(\mathbf{R} - \mathbf{I}) =& \det\big((\mathbf{R} - \mathbf{I})^{\mathrm{T}}\big)
=\det\big((\mathbf{R}^{\mathrm{T}} - \mathbf{I})\big)
= \det\big((\mathbf{R}^{-1} - \mathbf{I})\big) = \det\big(-\mathbf{R}^{-1} (\mathbf{R} - \mathbf{I}) \big) \\
=&  -  \det(\mathbf{R}^{-1} ) \; \det(\mathbf{R} - \mathbf{I})
= - \det(\mathbf{R} - \mathbf{I})\quad \Longrightarrow\quad  \det(\mathbf{R} - \mathbf{I}) = 0.
\end{align}
</math>
This shows that λ = 1 is a root (solution) of the [[secular equation]], that is,
:<math>
\det(\mathbf{R} - \lambda \mathbf{I}) = 0\quad \hbox{for}\quad \lambda=1.
</math>
In other words, the matrix '''R''' − '''I''' is singular and has a non-zero [[Kernel (matrix)|kernel]], that is, there is at least one non-zero vector, say '''n''', for which
:<math>
(\mathbf{R} - \mathbf{I}) \mathbf{n} = \mathbf{0} \quad \Longleftrightarrow \quad \mathbf{R}\mathbf{n} =  \mathbf{n}.
</math>
The line μ'''n''' for real μ is invariant under '''R''', i.e., μ'''n'''  is a rotation axis. This proves Euler's theorem.
 
==Equivalence of an orthogonal matrix to a rotation matrix==
Two matrices (representing linear maps) are said to be equivalent if there is a change of basis that makes one equal to the other. A proper [[orthogonal matrix]] is always equivalent (in this sense) to either the following matrix or to its vertical reflection:
:<math>
\mathbf{R} \sim
\begin{pmatrix}
\cos\phi  & -\sin\phi  & 0 \\
\sin\phi  & \cos\phi  & 0 \\
0  & 0  & 1\\
\end{pmatrix}, \qquad 0\le \phi \le 2\pi.
</math>
 
Then, any orthogonal matrix is either a rotation or an [[improper rotation]]. A general orthogonal matrix has only one real eigenvalue, either +1 or&nbsp;−1. When it is +1 the matrix is a rotation. When −1, the matrix is an improper rotation.
 
If '''R''' has more than one invariant vector then <math>\phi = 0</math> and  '''R''' = '''I'''.  ''Any'' vector is an invariant vector of '''I'''.
 
===Excursion into matrix theory===
In order to prove the previous equation some facts from matrix theory must be recalled.
 
An ''m''×''m'' matrix '''A''' has ''m'' orthogonal eigenvectors if and only if '''A''' is [[normal operator|normal]], that is, if '''A'''<sup>†</sup>'''A''' = '''AA'''<sup>†</sup>.<ref>The dagger symbol † stands for [[complex conjugation]] followed by transposition. For real matrices complex conjugation does nothing and daggering a real matrix is the same as transposing it.</ref> This result is equivalent to stating that
normal matrices can be brought to diagonal form by a unitary similarity transformation:
:<math>
\mathbf{A}\mathbf{U} = \mathbf{U}\; \mathrm{diag}(\alpha_1,\ldots,\alpha_m)\quad \Longleftrightarrow\quad
\mathbf{U}^\dagger \mathbf{A}\mathbf{U} = \operatorname{diag}(\alpha_1,\ldots,\alpha_m),
</math>
and '''U''' is unitary, that is,
:<math>
\mathbf{U}^\dagger = \mathbf{U}^{-1}.
</math>
The eigenvalues α<sub>1</sub>, ..., α<sub>m</sub> are roots of the secular equation. If the matrix '''A''' happens to be unitary (and note that unitary matrices are normal), then
:<math>
\left(\mathbf{U}^\dagger\mathbf{A} \mathbf{U}\right)^\dagger = \mathrm{diag}(\alpha^*_1,\ldots,\alpha^*_m) =
\mathbf{U}^\dagger\mathbf{A}^{-1} \mathbf{U} = \mathrm{diag}(1/\alpha_1,\ldots,1/\alpha_m)
</math>
and it follows that the eigenvalues of a unitary matrix are on the unit circle in the complex plane:
:<math>
\alpha^*_k = 1/\alpha_k \quad\Longleftrightarrow \alpha^*_k\alpha_k = |\alpha_k|^2 = 1,\qquad k=1,\ldots,m.
</math>
Also an orthogonal (real unitary) matrix has eigenvalues on the unit circle in the complex plane. Moreover, since its secular equation (an ''m''th order polynomial in λ) has real coefficients, it follows that its roots appear in complex conjugate pairs, that is, if α is a root then so is α<sup>∗</sup>. There are 3 roots, thus at least one of them must be purely real (+1 or -1).
 
After recollection of these general facts from matrix theory, we return to the rotation matrix '''R'''. It follows from its realness and orthogonality that we can find a U such that:
:<math>
\mathbf{R} \mathbf{U} = \mathbf{U}
\begin{pmatrix}
e^{i\phi} & 0          & 0  \\
0        & e^{-i\phi}  & 0  \\
0        &      0      & \pm 1 \\
\end{pmatrix}
</math>
If a matrix '''U''' can be found that gives the above form, and there is only one purely real component and it is -1, then we define R to be an improper rotation. Let us only consider the case, then, of matrices R that are proper rotations (the third eigenvalue is just 1). The third column of the 3×3 matrix '''U''' will then be equal to the invariant vector '''n'''.
Writing '''u'''<sub>1</sub> and '''u'''<sub>2</sub> for the first two columns of '''U''', this equation gives
:<math>
\mathbf{R}\mathbf{u}_1 = e^{i\phi}\, \mathbf{u}_1 \quad\hbox{and}\quad  \mathbf{R}\mathbf{u}_2 = e^{-i\phi}\, \mathbf{u}_2.
</math>
If '''u'''<sub>1</sub> has eigenvalue 1, then φ= 0 and '''u'''<sub>2</sub> has also eigenvalue 1, which implies that in that case '''R''' = '''E'''.
 
Finally, the matrix equation is transformed by means of a unitary matrix,
:<math>
\mathbf{R} \mathbf{U}
\begin{pmatrix}
\frac{1}{\sqrt{2}}  & \frac{i}{\sqrt{2}}  & 0 \\
\frac{1}{\sqrt{2}}  & \frac{-i}{\sqrt{2}}  & 0 \\
0  & 0  & 1\\
\end{pmatrix}
= \mathbf{U}
\underbrace{
\begin{pmatrix}
\frac{1}{\sqrt{2}}  & \frac{i}{\sqrt{2}}  & 0 \\
\frac{1}{\sqrt{2}}  & \frac{-i}{\sqrt{2}}  & 0 \\
0  & 0  & 1\\
\end{pmatrix}
\begin{pmatrix}
\frac{1}{\sqrt{2}}  & \frac{1}{\sqrt{2}}  & 0 \\
\frac{-i}{\sqrt{2}}  & \frac{i}{\sqrt{2}}  & 0 \\
0  & 0  & 1\\
\end{pmatrix}
}_{=\;\mathbf{I}}
\begin{pmatrix}
e^{i\phi} & 0          & 0  \\
0        & e^{-i\phi}  & 0  \\
0        &      0      & 1 \\
\end{pmatrix}
\begin{pmatrix}
\frac{1}{\sqrt{2}}  & \frac{i}{\sqrt{2}}  & 0 \\
\frac{1}{\sqrt{2}}  & \frac{-i}{\sqrt{2}}  & 0 \\
0  & 0  & 1\\
\end{pmatrix}
</math>
which gives
:<math>
\mathbf{U'}^\dagger \mathbf{R} \mathbf{U'} =  \begin{pmatrix}
\cos\phi  & -\sin\phi  & 0 \\
\sin\phi  & \cos\phi  & 0 \\
0  & 0  & 1\\
\end{pmatrix}
\quad\text{ with }\quad \mathbf{U'}
= \mathbf{U}
\begin{pmatrix}
\frac{1}{\sqrt{2}}  & \frac{i}{\sqrt{2}}  & 0 \\
\frac{1}{\sqrt{2}}  & \frac{-i}{\sqrt{2}}  & 0 \\
0  & 0  &  1\\
\end{pmatrix} .
</math>
The columns of '''U'''′ are orthonormal. The third column is still '''n''', the other two columns are perpendicular to '''n'''. We can now see how our definition of improper rotation corresponds with the geometric interpretation: an improper rotation is a non-180 degree rotation around an axis (here, the axis corresponding to the 3rd coordinate) and a reflection on a plane perpendicular to that axis. If we only restrict ourselves to matrices with determinant 1, we can thus see that they must be proper rotations. This result implies that any orthogonal matrix '''R''' corresponding to a proper rotation is equivalent to a rotation over an angle φ around an axis '''n'''.
 
==Equivalence classes==
It is of interest to remark that the [[trace (mathematics)|trace]] (sum of diagonal elements) of the real rotation matrix given above is 1 + 2cosφ. Since a trace is invariant under an orthogonal matrix transformation:
:<math>
\mathrm{Tr}[\mathbf{A} \mathbf{R} \mathbf{A}^\mathrm{T}] =
\mathrm{Tr}[ \mathbf{R} \mathbf{A}^\mathrm{T}\mathbf{A}] = \mathrm{Tr}[\mathbf{R}]\quad\text{ with }\quad \mathbf{A}^\mathrm{T} = \mathbf{A}^{-1},
</math>
it follows that all matrices that are equivalent to '''R''' by an orthogonal matrix transformation have the same trace. The matrix transformation is clearly an [[equivalence relation]], that is, all equivalent matrices form an equivalence class. In fact, all proper rotation 3×3 rotation matrices form a [[group (mathematics)|group]], usually denoted by SO(3) (the special orthogonal group in 3 dimensions) and all matrices with the same trace form an equivalence class in this group.
Elements of such an equivalence class share their rotation angle, but all rotations are around different axes. If '''n''' is an eigenvector of '''R''' with eigenvalue 1, then '''An''' is an eigenvector of '''ARA'''<sup>T</sup>, also with eigenvalue 1. Unless '''A''' = '''E''', '''n''' and '''An''' are different.
 
==Applications==
===Generators of rotations===
{{Main|Rotation matrix|Rotation group SO(3)|Infinitesimal transformation}}
 
Suppose we specify an axis of rotation by a unit vector [''x'', ''y'', ''z'']&nbsp;, and suppose we have an [[Infinitesimal rotation|infinitely small rotation]] of angle Δθ&nbsp; about that vector. Expanding the rotation matrix as an infinite addition, and taking the first order approach, the rotation matrix Δ''R''&nbsp; is represented as:
 
: <math>
\Delta R =
  \begin{bmatrix}
  1&0&0\\
  0&1&0\\
  0&0&1
  \end{bmatrix}
+
  \begin{bmatrix}
  0 & z&-y\\
  -z& 0& x\\
  y &-x& 0
  \end{bmatrix}\,\Delta \theta
= \mathbf{I}+\mathbf{A}\,\Delta \theta.
</math>
 
A finite rotation through angle θ about this axis may be seen as a succession of small rotations about the same axis. Approximating Δθ&nbsp; as θ/''N'' where ''N''&nbsp; is a large number, a rotation of θ about the axis may be represented as:
 
:<math>
R =\left(\mathbf{1}+\frac{\mathbf{A}\theta}{N}\right)^N
\approx e^{\mathbf{A}\theta}.</math>
 
It can be seen that Euler's theorem essentially states that <u>all</u> rotations may be represented in this form. The product <math>\mathbf{A}\theta</math> is the "generator" of the particular rotation, being the vector (''x'',''y'',''z'') associated with the matrix A. This shows that the rotation matrix and the [[axis-angle]] format are related by the exponential function.
 
Analysis is often easier in terms of these generators, rather than the full rotation matrix. Analysis in terms of the generators is known as the [[Lie algebra]] of the rotation group.
 
===Quaternions===
{{Main|Rotation operator (vector space)|Quaternions and spatial rotation}}
 
It follows from Euler's theorem that the relative orientation of any pair of coordinate systems may be specified by a set of three independent numbers. Sometimes a redundant fourth number is added to simplify operations with quaternion algebra. Three of these numbers are the direction cosines that orient the eigenvector. The fourth is the angle about the eigenvector that separates the two sets of coordinates. Such a set of four numbers is called a '''[[quaternion]]'''.
 
While the quaternion as described above, does not involve [[complex number]]s, if quaternions are used to describe two successive rotations, they must be combined using the non-commutative [[quaternion]] algebra derived by [[William Rowan Hamilton]] through the use of imaginary numbers.
 
Rotation calculation via quaternions has come to replace the use of [[direction cosines]] in aerospace applications through their reduction of the required calculations, and their ability to minimize [[round-off error]]s.  Also, in [[computer graphics]] the ability to perform spherical interpolation between quaternions with relative ease is of value.
 
==Generalizations==
In higher dimensions, any rigid motion that preserve a point in dimension 2''n'' or 2''n''+1 is a composition of at most ''n'' rotations in orthogonal [[plane of rotation|planes of rotation]], though these planes need not be uniquely determined, and a rigid motion may fix multiple axes.
 
[[File:Pure screw.svg|thumb|A screw motion.]]
A rigid motion in 3 dimensions that does not necessarily fix a point is a "screw motion". This is because a composition of a rotation with a translation perpendicular to the axis is a rotation about a parallel axis, while composition with a translation parallel to the axis yields a screw motion; see [[screw axis]]. This gives rise to [[screw theory]].
 
==See also==
* [[Euler angles]]
* [[Euler–Rodrigues parameters]]
* [[Rotation formalisms in three dimensions]]
* [[Rotation operator (vector space)]]
* [[Angular velocity]]
* [[Rotation around a fixed axis]]
 
==Notes==
<references />
 
==References==
:{{Citizendium|title=Euler's theorem (rotation)}}
* {{Cite journal|year=2009|title=A Disorienting Look at Euler's Theorem on the Axis of a Rotation|journal=American Mathematical Monthly|volume=116|issue=10|pages=892–209|first1=Bob |last1=Palais |first2=Richard |last2=Palais |first3=Stephen |last3=Rodi}}
* Euler's theorem and its proof are contained in paragraphs 24–26 of the appendix (''Additamentum''. pp.&nbsp;201–203) of L. Eulero ''(Leonhard Euler)'', ''Formulae generales pro translatione quacunque corporum rigidorum'' (General formulas for the translation of arbitrary rigid bodies), presented to the St. Petersburg Academy on October 9, 1775, and first published in Novi Commentarii academiae scientiarum Petropolitanae 20, 1776, pp.&nbsp;189–207 (E478) and was reprinted in ''Theoria motus corporum rigidorum'', ed. nova, 1790, pp.&nbsp;449–460 (E478a) and later in his collected works  ''Opera Omnia'', Series 2, Volume 9, pp.&nbsp;84–98.
 
==External links==
*Euler's original treatise in ''The Euler Archive'': entry on [http://math.dartmouth.edu/~euler/pages/E478.html E478], first publication 1976 ([http://math.dartmouth.edu/~euler/docs/originals/E478.pdf pdf])
*[http://www.17centurymaths.com/contents/euler/e478tr.pdf Euler's original text (in Latin) and English translation] (by Johan Sten)
 
{{DEFAULTSORT:Euler's Rotation Theorem}}
[[Category:Euclidean symmetries]]
[[Category:Theorems in geometry]]
[[Category:Rotation in three dimensions]]

Revision as of 20:22, 28 February 2014

Hi there. Let me start by introducing the author, her name is Myrtle Cleary. One of the things he loves most is ice skating but he is struggling to find time for it. My working day occupation is a meter reader. South Dakota is her birth place but she requirements to transfer simply because of her family.

Also visit my weblog :: www.bestpornever.us