Genau, aber woher weiß man, dass x ∈ ℝ ist? Ist das unproblematisch, wenn man das annehmen darf?
Ehrlich gesagt verstehe ich dein Problem nicht.
Du willst zeigen:
\(p=\sum a_iX^i\) mit \(a_0,\cdots,a_n\in \mathbb{R}\;\Rightarrow \forall x\in \mathbb{R}:\; p(x)\in \mathbb{R}\).
Um aus (ii) auf (i) zu schließen, musst du also nachweisen,
dass reelle x reelle Werte p(x) liefern.