Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory object of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: rotation

Bottom of Page

1 to 12 of 12

  1.  
    • CommentRowNumber1.
    • CommentAuthorzskoda
    • CommentTimeJun 1st 2020

    Wrote a minimum of substance to this entry. My interest is prompted by current thinking on nn-dimensional analogues of Euler angles. There are several articles (mainly in quantum chemistry and mathematical physics literature) around 1969-1974, which introduce some analogues via calculational procedures. In my taste an elementary geometrical introduction using both intrinsic and extrinsic approach, in a spirit of Euler, will be more suggestive.

    diff, v4, current

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeJun 1st 2020

    More material, and corrections to the previous.

    diff, v4, current

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeJun 1st 2020

    Defined the angle of rotation geometrically in any number of dimensions.

    diff, v4, current

    • CommentRowNumber4.
    • CommentAuthorzskoda
    • CommentTimeJun 1st 2020

    I did not separate the paragraph on 2d case from the rest of the properties section because some nn-dimensional definitions directly continue and use the 2d definition (e.g. for the angle of rotation).

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJun 1st 2020

    Replaced pointer to Wikipedia’s entry on Euler angles with pointer to Euler angles.

    • CommentRowNumber6.
    • CommentAuthorzskoda
    • CommentTimeJun 7th 2020
    • (edited Jun 7th 2020)

    Thank you, Urs. I will have to extend the stub Euler angles soon.

    The statement which I put under rotation (and you likewise wrote in the Euler angles entry) that they supply global coordinates is just a manifold part of the story (besides there is nonuniqueness at a part of the boundary of the domain). More striking is the group part of the story, namely they give an ordered multiplicative decomposition of rotations into elementary ones (around coordinate axes); if we extend the domain of one particular angle to double domain, then we have multivalued coordinates which therefore lift to double cover SU(2)SU(2). Also I will have to expand on the relation to Pauli matrices in that case, Urs mentioned them under related items in Euler angle. Another striking property, which may be not true for multiplicative decompositions in other multiplicative generators is that both so called extrinsic and intrinsic decompositions may be made with the same angles, but with opposite order. Extrinsic is the decomposition into rotations about fixed coordinate axes, while the intrinsic is about the moving system of a rigid body which moves after each step in the process. This is more in the spirit of active vs. passive operations as far as single step is concerned, but not globally (there is no change in sign which pertains to active/passive points of view, in particular if only one Euler angle is nonzero than intrinsic and extrinsic decompositions are identical).

    • CommentRowNumber7.
    • CommentAuthorzskoda
    • CommentTimeJun 7th 2020
    • (edited Jun 7th 2020)

    By the way, Urs, you mention “Generalized constructions apply to other Lie groups”. SU(2)SU(2) and SO(3)SO(3) are the original case(s) and I have seen that there are several papers for some series like real and complex orthogonal groups and unitary groups (e.g. Bertini et al. J.Math.Phys. 2006, doi). Are you aware of some uniform construction which goes beyond single series of classical groups ?

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeJun 7th 2020

    I haven’t thought about this. I had created the entry Euler angles just as a stub, just to make links work.

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeJun 9th 2020
    • (edited Jun 9th 2020)

    I wrote this, but when submitting to the entry the server keeps failing.

    Euler’s theorem on rotations: a composition of rotations of a sphere is a rotation of a sphere. It is trivial that it is an isometry (when viewed as a transformation of the space), the nontrivial part of the theorem is that there is a (n−2)(n-2)-hyperplane fixed by the composition, the statement which itself is also called the Euler’s theorem. This is trivial in dimension 2 and nontrivial in dimension 3 proved by Euler and in higher dimension. Each orthogonal transformation in odd dimensional real space has an invariant (1-dimensional) axis, the statement also called the Euler’s theorem (this boils down to the statement that the eigenvalues of the orthogonal matrix are on the unit circle).

    Relation to quaternions in 3d and 4d

    Consider the vector space R 3⊂H\mathbf{R}^3\subset\mathbf{H} of imaginary quaternions. Let s∈R 3\{0}s\in\mathbf{R}^3\backslash\{0\}. Then σ s ⊥:q↦−sqs −1\sigma_{s^\perp}:q\mapsto -s q s^{-1} is a reflection with respect to the plane through origin and orthogonal to qq. If s∈Hs\in\mathbf{H} is a quaternion the map ρ′ s:q↦sqs −1\rho'_s:q\mapsto s q s^{-1} leaves the space R 3\mathbf{R}^3 of imaginary quaternions invariant and the restriction ρ s=ρ′ s| R 3\rho_s = \rho'_s|_{\mathbf{R}^3} is a rotation. Every rotation arises in that way and the map s↦ρ ss\mapsto\rho_s factorizes as the quotient map to the space of real rays H→RP 3\mathbf{H}\to\mathbf{R}P^3 and a homeomorphism RP 3≅SO(3)\mathbf{R}P^3\cong SO(3). The composition of rotations corresponds to the multiplication of quaternions. Components a,b,c,da,b,c,d of quaternions involved fixing s∈Hs\in\mathbf{H} at the unit sphere S 3⊂HS^3\subset\mathbf{H} are called Euler-Rodrigues parameters. There is a redundancy of 1 parameter (plus the matter of 2-element kernel in the map S 3→RP 3S^3\to\mathbf{R}P^3), but this choice has its advantage in numerical modeling as it avoids the special role of the boundaries for the Euler angles.

    There is a similar construction for SO(4)SO(4) (see Berger, 8.9.8). Indeed, there is an epimorphism of Lie groups

    τ:S 3×S 3→SO(4),(s,r)↦{q↦sqr¯} \tau : S^3\times S^3\to SO(4),\,\,\,\,(s,r)\mapsto \{q\mapsto s q\overline{r}\}

    with kernel {(1,1),(−1,−1)}\{(1,1),(-1,-1)\}. The direct product structure of the domain can be used to easily exhibit some nontrivial subgroups in SO(4)SO(4).

    P.S. it worked in the 4th attempt.

    • CommentRowNumber10.
    • CommentAuthorzskoda
    • CommentTimeJun 9th 2020

    Added Euler’s theorem on rotations and the role of quaternions in a parametrization of SO(3)SO(3) (Euler-Rodrigues parameters) and in a parametrization of SO(4)SO(4).

    diff, v6, current

    • CommentRowNumber11.
    • CommentAuthorGuest
    • CommentTimeJun 19th 2021

    Re #9: what exactly does “C. Berger, Geometry” refer to? Google (Books) hasn’t been very useful…

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeJun 19th 2021

    The section 8.9.8 that is meant is not in “C. Berger”, but in

    See here.

    diff, v7, current

1 to 12 of 12

  1.