Open main menu
Home
Random
Recent changes
Special pages
Community portal
Preferences
About Wikipedia
Disclaimers
Incubator escapee wiki
Search
User menu
Talk
Dark mode
Contributions
Create account
Log in
Editing
Rotation matrix
(section)
Warning:
You are not logged in. Your IP address will be publicly visible if you make any edits. If you
log in
or
create an account
, your edits will be attributed to your username, along with other benefits.
Anti-spam check. Do
not
fill this in!
=== Exponential map === {{main|Rotation group SO(3)#Exponential map|Matrix exponential}} Connecting the Lie algebra to the Lie group is the [[exponential map (Lie theory)|exponential map]], which is defined using the standard [[matrix exponential]] series for {{mvar|e<sup>A</sup>}}<ref>{{Harv|Wedderburn|1934|loc=Β§8.02}}</ref> For any [[skew-symmetric matrix]] {{mvar|A}}, {{math|exp(''A'')}} is always a rotation matrix.<ref group="nb">Note that this exponential map of skew-symmetric matrices to rotation matrices is quite different from the Cayley transform discussed earlier, differing to the third order, :<math>e^{2A} - \frac{I+A}{I-A}=- \tfrac{2}{3} A^3 +\mathrm{O} \left(A^4\right) . </math> Conversely, a [[skew-symmetric matrix]] {{mvar|A}} specifying a rotation matrix through the Cayley map specifies the ''same'' rotation matrix through the map {{math|exp(2 artanh ''A'')}}.</ref> An important practical example is the {{nowrap|3 Γ 3}} case. In [[rotation group SO(3)]], it is shown that one can identify every {{math|''A'' β '''so'''(3)}} with an Euler vector {{math|1='''Ο''' = ''ΞΈ'''''u'''}}, where {{math|1='''u''' = (''x'', ''y'', ''z'')}} is a unit magnitude vector. By the properties of the identification <math>\mathbf{su}(2) \cong \mathbb{R}^3</math>, {{math|'''u'''}} is in the null space of {{mvar|A}}. Thus, {{math|'''u'''}} is left invariant by {{math|exp(''A'')}} and is hence a rotation axis. According to [[Rodrigues' rotation formula#Matrix notation|Rodrigues' rotation formula on matrix form]], one obtains, :<math>\begin{align} \exp( A ) &= \exp\bigl(\theta(\mathbf{u}\cdot\mathbf{L})\bigr) \\ &= \exp \left( \begin{bmatrix} 0 & -z \theta & y \theta \\ z \theta & 0&-x \theta \\ -y \theta & x \theta & 0 \end{bmatrix} \right) \\ &= I + \sin \theta \ \mathbf{u}\cdot\mathbf{L} + (1-\cos \theta)(\mathbf{u}\cdot\mathbf{L} )^2 , \end{align}</math> where : <math> \mathbf{u}\cdot\mathbf{L} = \begin{bmatrix} 0 & -z & y \\ z & 0&-x \\ -y & x & 0 \end{bmatrix} .</math> This is the matrix for a rotation around axis {{math|'''u'''}} by the angle {{mvar|ΞΈ}}. For full detail, see [[Rotation group SO(3)#Exponential map|exponential map SO(3)]].
Edit summary
(Briefly describe your changes)
By publishing changes, you agree to the
Terms of Use
, and you irrevocably agree to release your contribution under the
CC BY-SA 4.0 License
and the
GFDL
. You agree that a hyperlink or URL is sufficient attribution under the Creative Commons license.
Cancel
Editing help
(opens in new window)