Bewegungsinvariante Funktion

Eine bewegungsinvariante Funktion ist ein Begriff aus der Mathematik, insbesondere aus dem Bereich der Geometrie aber auch der Analysis. Verkettet man eine bewegungsinvariante Funktion des euklidischen Raums mit einer euklidischen Bewegung, dann ändert sich das Verhalten der bewegungsinvarianten Funktion nicht. Jede bewegungsinvariante Funktion ist auch eine translationsinvariante Funktion. In der analytischen Geometrie kann man Bewegungsinvarianz auch verstehen als Unabhängigkeit von der Wahl des Koordinatensystems.

Definition

Sei <math>\phi \colon \R^n \to \R^n</math> eine euklidische Bewegung, <math>U \subset \R^n</math> eine Teilmenge und <math>f \colon U \to \R</math> eine Funktion. Diese Funktion heißt bewegungsinvariant, falls

für alle <math>x \in U</math> gilt.<ref name="Amann53" >Herbert Amann, Joachim Escher: Analysis III. 1. Auflage. Birkhäuser-Verlag, Basel/Boston/Berlin 2001, ISBN 3-7643-6613-3, S. 30.</ref>

Beispiele

Das äußere Hausdorff-Maß<ref name="Amann30" /> und das Lebesgue-Maß<ref name="Amann30" >Herbert Amann, Joachim Escher: Analysis III. 1. Auflage. Birkhäuser-Verlag, Basel/Boston/Berlin 2001, ISBN 3-7643-6613-3, S. 53.</ref> sind bewegungsinvariant.
Das Lebesgue-Integral ist bewegungsinvariant.<ref name="Amann148" >Herbert Amann, Joachim Escher: Analysis III. 1. Auflage. Birkhäuser-Verlag, Basel/Boston/Berlin 2001, ISBN 3-7643-6613-3, S. 148.</ref>

Einzelnachweise