Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2017/ii/paper-3/20f/i/solution

Dominated convergence makes continuous, and . Smooth compactly supported functions are dense in . Their Fourier transforms decay at infinity by integration by parts, so uniform approximation proves the Riemann-Lebesgue lemma: .
For density, smooth compactly supported functions are also uniformly dense in by cutoff and mollification. Each such target is a Schwartz function; its inverse Fourier transform is another Schwartz function, hence belongs to , and Fourier inversion recovers . Therefore the image of a function of is dense in .
The Fourier inversion theorem says that if , then agrees almost everywhere with the inverse integral of . If , this applies and gives almost everywhere. Hence the Fourier transform is injective as a map of equivalence classes, with dense image in .

New to topics? Read the docs here!