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$.