Definition:Space of Real Polynomials

Definition
Let $\PP_n$ be the space of real polynomials of degree not greater than n.

Then the union of all such spaces is called the space of real polynomials and is denoted by $\PP$:


 * $\ds \PP := \bigcup _{n \mathop = 0}^\infty \PP_n$