Math 2.0

example

Rotation matrix

Example

Let θ∈R\theta \in \R. The rotation matrix of angle θ\theta is R(θ)=(cos⁡θ−sin⁡θsin⁡θcos⁡θ).R(\theta) = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}. The map x↦R(θ)xx \mapsto R(\theta) x rotates the plane R2\R^2 about the origin by the angle θ\theta, counterclockwise. It is an orthogonal matrix with determinant cos⁡2θ+sin⁡2θ=1\cos^2\theta + \sin^2\theta = 1, so it is an element of SO(2)SO(2).

Remarks

Rotations add their angles: R(α)R(β)=R(α+β)R(\alpha) R(\beta) = R(\alpha + \beta). So R(θ)−1=R(−θ)=R(θ)TR(\theta)^{-1} = R(-\theta) = R(\theta)^T. For θ\theta not a multiple of π\pi, R(θ)R(\theta) has no real eigenvalue; its complex eigenvalues are e±iθe^{\pm i\theta}. Every element of SO(2)SO(2) is R(θ)R(\theta) for some θ\theta.

Explanations

L1 human

The rotation matrix sends (1,0)(1, 0) to (cos⁡θ,sin⁡θ)(\cos\theta, \sin\theta) and (0,1)(0, 1) to (−sin⁡θ,cos⁡θ)(-\sin\theta, \cos\theta). These are the first and the second column. For θ=90\theta = 90 degrees, it is (0−110)\begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}.

What this node needs for W3
  • a person confirmed each agent-written section: rule P04 (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 13 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Identity matrix object
  2. Matrix definition
  3. Vector space definition
  4. Square matrix definition
  5. Transpose definition
  6. Linear map definition
  7. Orthogonal matrix definition
  8. Multilinear map definition
  9. Orthogonal group object
  10. Alternating multilinear map definition
  11. Determinant definition
  12. Special orthogonal group object
  13. Rotation matrix example

Sources

  1. Web https://en.wikipedia.org/wiki/Rotation_matrix, In two dimensions