Displaying similar documents to “On classical dynamics of affinely-rigid bodies subject to the Kirchhoff-Love constraints.”

The Rotation Group

Karol Pąk (2012)

Formalized Mathematics

Similarity:

We introduce length-preserving linear transformations of Euclidean topological spaces. We also introduce rotation which preserves orientation (proper rotation) and reverses orientation (improper rotation). We show that every rotation that preserves orientation can be represented as a composition of base proper rotations. And finally, we show that every rotation that reverses orientation can be represented as a composition of proper rotations and one improper rotation.