\(e_1=1,\; e_2=x,\; e_3=x^2\) ist bekanntermaßen
eine Basis von \(\Pi_2\).
Ich zeige, dass \(\{p_1=1,\; p_2=x+2,\; p_3=(x+2)^2=x^2+4(x+1)\}\)
ein Erzeugendensystem ist mit so vielen Elementen, wie eine Basis hat,
und damit selbst eine Basis ist.
Dazu reicht es zu zeigen, dass \(e_1,e_2,e_3\in \langle p_1,p_2,p_3\rangle\) sind.
Es gilt:
\(e_1=p_1\)
\(e_2=p_2\oplus (-1)\odot p_1\)
\(e_3=p_3\oplus (-4)\odot p_2\)