Up
Main page
## The vector space of polynomials in \(x\) with rational coefficients

Not every vector space is given by the span of a finite number of vectors.
Such a vector space is said to be **of infinite dimension**
or **infinite dimensional**. We
will now see an example of an infinite dimensional vector space.

Let \(P\) denote the vector space of all polynomials in \(x\) with
rational coefficients. (It is not difficult to check that \(P\) is indeed
a vector space with the usual polynomial addition as vector addition
and multiplying a polynomial by a rational number as scalar multiplication.)
For example, the following are all vectors in \(P\): \(5\), \(x^{1000} + 2x\),
\(x^4 + x^3 - x^2 + 8\). Adding the first two gives
\(x^{1000} + 2x + 5\) and multiplying the last one by \(3\) gives
\(3x^3+3x^3-3x^2 + 24\).

We claim that \(P\) is infinite dimensional.

Suppose to the contrary that \(P\) is given by the span of \(k\) polynomials
in \(P\), \(p_1,\ldots,p_k\). Let \(m\) denote the maximum of
the degrees of these \(k\) polynomials.
Then \(x^{m+1}\) is a vector in \(P\) but it cannot be written as a
linear combination of \(p_1,\ldots,p_k\) because taking linear combinations
of polynomials of degree at most \(m\)
cannot give polynomials of degree higher than \(m\).
Hence, \(x^{m+1}\) is not in the span of \(\{p_1,\ldots,p_k\}\), which
is a contradiction.

A vector space that is not of infinite dimension is said to be
**of finite dimension** or **finite dimensional**.
For example, if we consider the vector space consisting of
only the polynomials in \(x\) with degree at most \(k\), then it
is spanned by the finite set of vectors \(\{1,x,x^2,\ldots, x^k\}\).

Quick Quiz