The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

The search session has expired. Please query the service again.

Page 1

Displaying 1 – 1 of 1

Showing per page

The Rotation Group

Karol Pąk (2012)

Formalized Mathematics

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.

Currently displaying 1 – 1 of 1

Page 1