Fourier-support almost orthogonality (source code)

= Fourier-support almost orthogonality

Functions with pairwise disjoint, or uniformly finitely overlapping, Fourier supports are almost orthogonal in $L^2$ by the <Plancherel theorem>.