Polynomial vector space (source code)

= Polynomial vector space
{title2=$\Pi_k$}

The real <polynomials> of degree at most $k$, together with the <zero polynomial>, form a <vector space> of <dimension> $k+1$ with <basis> $1,x,\ldots,x^k$. <Polynomial> spaces of lower degree are nested <vector subspaces>.