[Math] Why does dual basis not span the dual space when the given vector space V is infinite dimensional

abstract-algebralinear algebramodules

We have a vector space V with basis $\mathcal{A}$. I have to show that the set $\mathcal{A}$* = { v* | v$\in\mathcal{A}$} does not span the dual space V*.

I can not see why dual basis fails to span in case of infinite dimensional vector space.

Best Answer

The main point is to realise that linear combinations can by definition only have finitely many nonzero coefficients. They must be defined this way, because in pure linear algebra there is no way to take the sum of infinitely many nonzero vectors (this cannot be defined by repeated addition: one never reaches the goal). In analysis some (convergent) infinite sums can be defined using limits, but linear algebra does not have the tools to make this possible.

Then if you have a set of functions like $\def\A{\mathcal A}\A^*$, each of which is zero on all basis vectors in $\A$ except one, any linear combination of them will produce a function that is zero on all basis vectors in $\A$ except for a finite number of them. When $\A$ is infinite, this is insufficient to produce all functions on the set $\A$, and therefore all linear functions on the vector space$~V$ of which $\A$ is a basis.

Related Question