ここでは東大数理の修士課程の院試の2006B12の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。
自乗可積分関数の集合
$$
L^1(\mathbb{R}):=\left\{f:\mathbb{R}\to\mathbb{C}\middle|\int_{-\infty}^\infty |f|d\mu<\infty\right\}
$$
を考え、$f\in L^1(\mathbb{R})$に対して
$$
\widehat{f}(\zeta):=\int_{-\infty}^\infty f(x)e^{-ix\zeta}dx
$$
とする。