**Theorem:** The set of all polynomials with coefficients in a field \(\mathbb{F}\), denoted \(P\) or \(\mathbb{F}[x]\), is a vector space over \(\mathbb{F}\).

- **Addition:** \((a_0 + a_1x + \cdots)(b_0 + b_1x + \cdots) = (a_0+b_0) + (a_1+b_1)x + \cdots\)
- **Scalar multiplication:** \(c(a_0 + a_1x + a_2x^2 + \cdots) = (ca_0) + (ca_1)x + (ca_2)x^2 + \cdots\)

**Zero vector:** The zero polynomial \(p(x) = 0\).

This space is *infinite-dimensional*. The set \(\{1, x, x^2, x^3, \ldots\}\) is an infinite basis.

**Note:** Polynomials must have finitely many nonzero terms (each individual polynomial has finite degree), but there is no upper bound on the degree across the whole space.