Suppose that you have two objects and would like to prove that they are in fact the same. If neither object has many degrees of freedom, in some appropriate sense that depends on the problem, then you can often establish this equality by performing a small number of tests on the two objects and showing that you get the same answers.
Basic linear algebra.
A basic but important result in the theory of Hilbert spaces is that if is an orthonormal basis, then for every vector How do we prove this? One way of doing so is to observe that both sides of this equation have the same inner product with any given Indeed,
To complete the proof, we need to know that any two vectors that have the same inner product with every must be equal. (The main theme of this article is on using this sort of principle, however.) To prove this, it is enough to prove that if is any non-zero vector then there must be some such that But we know that such an can be written in the form so all we have to do is pick some such that and take the inner product with
This is in fact a special case of the previous example. The Fourier inversion formula tells us that if is a suitably nice function defined on then we have the equality almost everywhere, where
More precisely, the functions defined on both sides of this equation are equal in the space To prove this, one first establishes that the functions form an orthonormal basis, and then one applies the general idea of the previous example.
A different but equivalent way of thinking about it is to say that if we know that then we can calculate by taking the inner product of both sides with the function