<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></abstract>

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.

The Rotation Group

Institute of Informatics, University of Białystok, Poland

Formalized Mathematics

{"article-title":"The Rotation Group"}

We introduce length-preserving linear transformations of Euclidean topological spaces. We also introduce rotation which preserves orientation (proper rotation)...

The Rotation Group

Online veröffentlicht: 12. Sept. 2012

Seitenbereich: 23 - 29

DOI: https://doi.org/10.2478/v10037-012-0004-2

This content is open access.