Vector space of univariate polynomials (source code)

= Vector space of univariate polynomials
{title2=$\mathbb R[X]$}

The real univariate polynomials form a <vector space> with the countable <Hamel basis>
$$
1,X,X^2,\ldots.
$$
The subspace of polynomials of degree at most $n$ has dimension $n+1$.