Definition:Space of Real Polynomials of Degree n

Definition

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

Let $f \in \map C \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}$

Sources

• 2013 : Philippe G. Ciarlet: Linear and Nonlinear Functional Analysis with Applications: Main Notations