Definition:Space of Real Polynomials of Degree n

Definition
Let $\map \CC \R$ be the space of real-valued continuous functions.

Let $f \in \map \CC \R$ be a polynomial over real numbers of degree not greater than $n$.

Then the set of all such mappings $f$ is known as space of real polynomials of degree $\le n$ and is denoted by $\map {\PP_n} \R$:


 * $\map {\PP_n} \R := \set {f : \R \to \R : \map \deg f \le n}$