Die Elemente der neuen Basis sind qo , q1, q2 , …. mit
qk=n=0∑kxn mit k Element von ℕo.
Wir können die Elemente der alten Basis {1,x,x2,x^3, ..} auch mit der neuen Basis darstellen
und zwar xk=qk−n=0∑k−1qn für alle k Element von ℕo.
Also ist die neue Basis jedenfalls ein Erzeugendensystem für K[x].
Fehlt noch qo , q1, q2 , …. sind linear unabhängig.
Und da sehe ich ein Problem: Ansatz wäre ja:
Eine Linearkombination der qo , q1, q2 , …. sei = 0
Aber das gäbe ja eine unendliche Summe ??????????
Also ich tippe mal: Die sind vielleicht nicht linear unabhängig ???