補題 上のコンパクト台をもつ実数値 関数 と実数 に対し， とすると， ノルム に対し， Fourier 解析による証明 Parseval の等式より結論が従う．// ベクトル解析による証明 より．// 補題より，0"> の場合， の定数倍で の ノルムが抑えられる． の場合，0"…