Differentialoperatoren/Hauptteilring/Ableitungsbeschreibung/Hyperfläche/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wir arbeiten mit der Beschreibung

wobei aus entsteht, indem man durch ersetzt. Wir setzen

an und schreiben den Ring als

wobei

ist. Betrachte ein Monom aus . In die Gleichung für die Algebra der Hauptteile geht dies in der Form

ein. Ausmultiplizieren ergibt

Auf das Taylormonom bezieht sich also der Term

Dies stimmt mit

überein.

Zur bewiesenen Aussage