查看“︁旋转”︁的源代码

{{Otheruses|subject=數學術語|other=物件的旋轉運動|轉動}}
[[File:Rotation illustration2.svg|thumb|绕点<math>O</math>的二维旋转。]]

'''旋转'''在[[几何]]和[[线性代数]]中是描述[[刚体]]围绕一个固定点的运动的在平面或空间中的[[变换]]。旋转不同于没有固定点的[[平移]]，和翻转变换的形体的[[反射 (数学)|反射]]。旋转和上面提及的变换是[[等距]]的，它们保留在任何两点之间的距离在变换之后不变。

==二维空间==
[[File:Rotation4.svg|thumb|在绕一个点旋转之后绕另一个不同的点的平面旋转导致要么是旋转（如本图）要么是[[平移]]的一个总和运动。]]

[[File:Simx2=rotOK.png|thumb|在针对一个轴的反射之后的针对不平行于前一个轴的[[反射 (数学)|反射]]导致是绕两个轴的交点的旋转的一个总和运动。]]

在讨论旋转的时候理解参照系是重要的。一种观点来看，你可以保持坐标轴固定旋转向量。而从另一观点出发，你可以保持向量固定旋转坐标系。

在第一种观点看来，'''坐标'''或'''向量'''关于原点的[[逆时针]]旋转；或者从第二种观点看来，'''平面'''或'''轴'''关于原点的[[顺时针]]旋转。这里的<math> (x,y) </math>被旋转了<math>\theta</math>并希望知道旋转后的坐标<math> (x',y') </math>:

:<math> \begin{bmatrix} x' \\ y' \end{bmatrix} =
 \begin{bmatrix} \cos \theta & - \sin \theta \\ + \sin \theta & \cos \theta \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix} </math>

或

:<math>x'=x\cos\theta-y\sin\theta\,</math>
:<math>y'=x\sin\theta+y\cos\theta\,</math>

'''平面'''或'''轴'''关于原点的[[逆时针]]旋转，在新平面中的坐标将[[顺时针]]旋转到旧坐标。在这种情况下，如果在旧平面中的坐标是<math> (x,y) </math>，同一个向量在新平面中的坐标是<math> (x',y') </math>，则：

:<math> \begin{bmatrix} x' \\ y' \end{bmatrix} =
 \begin{bmatrix} \cos \theta & +\sin \theta \\ -\sin \theta & \cos \theta \end{bmatrix} \begin{bmatrix} x \\ y \end{bmatrix} </math>

或

:<math>x'=x\cos\theta+y\sin\theta\,</math>
:<math>y'=-x\sin\theta+y\cos\theta\,</math>

[[向量]]<math>(x,y)</math>的大小同于向量 <math>(x',y')</math>的大小（正交变换是保距映射）。


一个是点的旋转，坐标系没动，得到的是：动的点在原来坐标系下的表示。

另一个是坐标系的旋转，点是不动的，得到的是：不动的点在动了的坐标系下的表示。

'''坐标'''或'''向量'''关于原点的[[逆时针]]旋转<math>\Longleftrightarrow</math>'''平面'''或'''轴'''关于原点的[[顺时针]]旋转。

'''坐标'''或'''向量'''关于原点的[[顺时针]]旋转<math>\Longleftrightarrow</math>'''平面'''或'''轴'''关于原点的[[顺时针|逆时针]]旋转。

顺时针（逆时针）旋转可以理解为逆时针（顺时针）旋转一个负角度，根据 <math>\sin( )</math>，<math>\cos( )</math> 的奇偶性，即 <math>\sin(-\theta)=-\sin(\theta)</math>，<math>\cos(-\theta)=\cos(\theta)</math> 可在逆时针旋转和顺时针旋转的变换公式之间相互转换。

===复平面===

复数可以看作是在复平面中的二维向量，它的尾部在原点而头部由这个复数给出。设
:<math> z = x + iy \,</math>
是这样一个复数。它的实部是[[横坐标]]而虚部是[[纵坐标]]。

则''z''可逆时针旋转角度θ，通过乘以<math> e^{i \theta} </math>（参见[[欧拉公式]], §2）。
{|
|           <math>  e^{i \theta} z \;</math> ||<math> = (\cos \theta + i \sin \theta) (x + i y)  \;</math>
|-
|
|<math> = (x \cos \theta + i y \cos \theta + i x \sin \theta - y \sin \theta)  \;</math>
|-
|
|<math> = (x \cos \theta - y \sin \theta) + i (x \sin \theta + y \cos \theta)  \;</math>
|-
|
|<math> = x' + i y' . \;</math>
|}

这可以被看作对应于在§ 1中描述的旋转。

因为复数的乘法是[[交换律|交换性]]的，不同于在更高维中的情况，二维旋转是可交换的。<ref>Lounesto 2001, p.30.</ref>

==三维空间==
[[File:Change of axes.svg|thumb|right|旋转描述刚体围绕一个点的运动。]]
{{Main|旋转矩阵}}
在[[欧几里得空间|普通]]三维空间中，坐标旋转可以用[[欧拉角]]来定义，或关于要绕其旋转的向量和一个单一的旋转角度构成的[[轴角]]定义。

关于原点的旋转最容易使用叫做[[旋转矩阵]]的3×3 [[矩阵]]变换来计算。关于其他点的旋转可以使用表现[[齐次坐标]]的4×4矩阵来描述。

===四元数===
{{main|四元数和空间旋转}}

表现在三维空间中的旋转的一种可供选择的方式是[[四元数]]。

[[四元数]]提供了表示在三维中旋转和方向的另一种方式。它们应用与计算机图形学、控制理论、信号处理和轨道力学中。例如，在太空船的姿态控制系统中常用四元数来下达指令，还用于测距它们的当前姿态。基本原理是组合很多四元数变换比组合很多矩阵变换在数值上更加稳定。

== 一般化 ==
===正交矩阵===
描述旋转的所有矩阵的集合''M('''v''',θ)''加上[[矩阵乘法]]运算叫做[[旋转群]]：SO(3)。

==注解==
{{reflist|2}}

==引用==

* {{cite book
|last=Hestenes
|first=David
|authorlink= David Hestenes
|title=New Foundations for Classical Mechanics
|publisher=[[Springer Science+Business Media|Kluwer Academic Publishers]]
|location=[[Dordrecht]]
|isbn=0-7923-5514-8
| year=1999}}
* {{Cite book
| last=Lounesto
| first=Pertti
| title=Clifford algebras and spinors
| publisher=[[Cambridge University Press]]
| location=Cambridge
|isbn=978-0-521-00551-7
| year=2001}}

==参见==
* [[旋转表示]]
* [[自旋]]
* [[欧拉角]]
* [[旋涡]]
* [[旋转群]]
* [[坐标旋转和反射]]
* [[Rodrigues旋转公式]]
* [[旋转矩阵]]
* [[方向 (几何)]]

{{几何术语}}

[[Category:函数|X]]
[[Category:欧几里得对称|X]]
[[Category:线性算子]]
[[Category:酉算子]]

[[fr:Rotation#En mathématiques]]