Polynomring/Direkter Summand/Differentialoperatoren/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Sei . Dann gibt es einen Differentialoperator mit . Die Einschränkung ist dann nach Fakt ein Differentialoperator auf mit der gewünschten Eigenschaft, da .