is a special case of a general result relating direct sums (of modules) to direct products.

By the Riesz–Markov–Kakutani representation theorem, the continuous dual of certain spaces of continuous functions can be described using measures.