Differentialoperatoren/Gruppenoperation/Direkter Summand/Verträglichkeit der Einschränkungen/Fakt/Beweis

Beweis

Es sei . Dann ist einerseits

und andererseits ebenso

wegen der Invarianz von .