Polynome/Differentialoperatoren/Jacobi-Taylor-Beschreibung/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Wir arbeiten mit der exakten Sequenz

aus Fakt, wobei die -te Jacobi-Taylor-Matrix bezeichnet. Ein Differentialoperator auf ist das gleiche wie eine -Linearform auf . Dies wiederum ist das gleiche wie eine -Linearform auf (also einfach ein -Tupel ), die die Eigenschaft erfüllt. Dies ist äquivalent zu .

Zur bewiesenen Aussage