equation 14.25 eq:lie-so2-matrix

Rests on

No declared or derived dependency edges point away from this node yet.

Supports

• depends_on proposition 14.30 Rodrigues formula; the exponential map is onto ¶
  • depends_on proposition 14.31 $\SO(3,\R)$ is not simply connected ¶
    • depends_on remark 29.12 The coordinate singularity, and what it is not ¶
  • depends_on theorem 14.37 $\SU(2)$ is a two-to-one cover of $\SO(3,\R)$ ¶
    • depends_on corollary 14.38 $\SU(2)$ is the universal cover ¶
      • depends_on proposition 14.31 $\SO(3,\R)$ is not simply connected ¶ ↺
      • depends_on proposition 14.45 Which representations descend to $\SO(3,\R)$ ¶
    • depends_on lemma A.369 $\Phi$ is a two-sheeted covering ¶
  • depends_on theorem 29.3 Euler's rotation theorem ¶
    • depends_on notation 29.9 The $z$–$x$–$z$ Euler angles used in this treatise ¶
      • depends_on proposition 29.11 Angular velocity in Euler angles ¶
        • depends_on definition 29.35 The Lagrange top ¶
        • depends_on remark 29.12 The coordinate singularity, and what it is not ¶ ↺
      • depends_on remark 29.10 Other conventions, and why the choice must be stated ¶
    • depends_on proposition 125.2 Crystallographic restriction ¶
      • depends_on remark 125.3 What the theorem does and does not forbid ¶
    • depends_on proposition 29.8 Chasles: the general displacement is a screw ¶