Plancherel theorem
により定義される関数 である。フーリエ変換 は全単射であることが空間の次元比較とプランシュレルの定理からわかる。