Linearer Endomorphismus/Bildmaß von Borel-Lebesgue/Translationsinvariant/Fakt/Beweis

Beweis

(1). Es sei die Translation um den Vektor . Es sei . Dabei ist

Somit ist für eine beliebige messbare Menge aufgrund der Translationsinvarianz von


(2) folgt aus (1) mit Fakt.