3
$\begingroup$

An affine transformation is a linear transformation followed by a translation. They are morphism between affine spaces.

A rigid transformation consists of a rotation and a translation. I was wondering what are the spaces between which the rigid transformations can become morphisms?

what are the spaces between which the rotation transformations can become morphisms?

Same question for similarity transformation and projective transformation.

Thanks and regards!

  • 0
    Sorry. Made a mistake. Now making changes to the original post.2010-09-21

1 Answers 1

1

If by "rotation" you mean "orientation-preserving isometry of $\mathbb{R}^n$ fixing the origin," then

  • the spaces between which rigid transformations are morphisms are the "affine oriented (finite-dimensional) inner product spaces" over $\mathbb{R}$, by which I mean torsors over a finite-dimensional oriented inner product space over $\mathbb{R}$,
  • the spaces between which rotations are morphisms are the oriented finite-dimensional inner product spaces over $\mathbb{R}$, and
  • the spaces between which projective transformations are morphisms are the projective spaces over $\mathbb{R}$.

I cannot off the top of my head think of a good name for the spaces between which similarities are morphisms. I think you are looking for "conformal affine spaces," e.g. torsors over $\mathbb{R}^n$ equipped with a notion of oriented angle (but not the full inner product).

  • 0
    The truth of yur statement of course depends on what you mean by *structure* :) Is *everything* preserved by motions definable in terms of/determined by the metric and the orientation?2010-09-21