Beweisansatz gesucht: Polynomraum nicht endlich erzeugt?
Es ist zu zeigen, dass der Polynomraum K[t] nicht endlich erzeugt ist. Intuitiv ist mir klar, dass der Polynomraum keine Beschränkung des Grades hat, d.h. prinzipiell Koeffizientenvektoren unendlicher Länge erzeugt. Dabei wäre die Basis ja (1,x,x^2, ... ).
Ich bräuchte nur einen Ansatz, wie diese Gedanken in einen Beweis transformiert werden könnten.
3 Antworten
![](https://images.gutefrage.net/media/default/user/14_nmmslarge.png?v=1551279448000)
Nimm dir einfach eine beliebige endliche Teilmenge B in K[X] und zeige, dass die lineare Hülle L(B) eine echte Teilmenge in K[X] ist.
Dazu nutzt du aus, dass es ein n in lN gibt mit
grad(p) < n für alle p in B. [Warum?]
Mithilfe der Grad-Eigenschaften zeigst du dann, dass auch für jede linear Kombination p in L(B) gilt:
grad(p) < n.
![](https://images.gutefrage.net/media/user/Lambdafunktion/1635355919529_nmmslarge__0_0_225_225_e90e21b3d3b0fa1d33f6e3dda80170d9.png?v=1635355920000)
Super, vielen Dank. Das geht dann in eine ähnliche Richtung wie der Beitrag von MitFrage.
![](https://images.gutefrage.net/media/default/user/11_nmmslarge.png?v=1551279448000)
Angenommen, er wäre endlich erzeugt. Dann gibt es ein endliches Erzeugendensystem {a_1, ..., a_n}.
Finde dann ein Polynom, welches mit den vorhandenen Elementen im Erzeugendensystem nicht linearkombiniert/erzeugt werden kann.
Dann aber kann {a_1, ...a_n} kein Erzeugendensystem sein! So entsteht ein Widerspruch zur Annahme.
![](https://images.gutefrage.net/media/user/BLAEKK/1641953172978_nmmslarge__0_548_1993_1993_752bed8ec91fc3681a0f80ecbb0d84ea.jpg?v=1641953173000)
Hier Dein Ansatz.