標本化定理

標本化定理（ひょうほんかていり、）またはサンプリング定理は、連続的な信号（アナログ信号）を離散的な信号（デジタル信号）へと変換する際に元の信号に忠実であるにはどの程度の間隔で標本化（サンプリング）すればよいかを示す、情報理論の定理である。
概要.
標本化定理は、元の信号をその最大周波数の2倍を超えた周波数で標本化すれば完全に元の波形に再構成されることを示す。
標本化とは、数学的には連続関数の値からある点の値だけを標本として取り出して離散関数に変換する操作であり、与えられた連続関数 と標本化関数 の積を求めることと等しい。標本化関数 とは、ある離散値（連続でない、飛び飛びの値） に対してのみ となり、その他の に対しては となるような関数である。対象となる原関数 と標本化関数 の積を取ると、関数 formula_1 が得られる。 となる に対してのみ formula_2 となり、それ以外の領域では となる。
標本化定理とは、ある関数 をフーリエ変換した関数 の成分（スペクトル）が、formula_3 の範囲で であるような関数 に対して、formula_4 より小さい周期を持つ標本化関数で標本化したときに得られる関数は、そのスペクトルのうち formula_5 が原関数のスペクトルに一致するというものである。
工学的には、原信号の成分の最大周波数 の2倍（）よりも高い周波数 formula_6 で標本化した信号は、ローパスフィルタ（ハイカットフィルタ）で高域成分を除去することで原信号を完全に復元できることを示している。例えば原信号に含まれる周波数が最高で だった場合、 よりも高い（formula_7 を含まない）周波数で標本化すれば、原信号を完全に復元することができる。原信号が復元可能な周波数の上限 formula_8 をナイキスト周波数、またナイキスト周波数の逆数をナイキスト周期と言う。
標本化周波数が 以下であった場合、原信号にはない偽の周波数 formula_9 がエイリアス信号として復元信号に現れる。よって連続信号の標本化においては、ナイキスト周波数 よりも高い周波数で標本化しなければならない。
なお、アナログ信号からデジタル信号への変換については、標本化のほかに量子化が必要である。
標本化定理の証明.
標本化定理は、フーリエ級数を用いると簡単に証明することができる。
理想的な標本化パルス列"s(t)"は、"T"をサンプリング周期とし、デルタ関数formula_10を用いて、
と表される。標本化入力信号を"g(t)"とすると、出力信号"p(t)"は
であるから、
となり、明らかに"g(nT)"の系列となる。
ここで、出力信号"p(t)"の周波数成分を計算するために"s(t)"をフーリエ級数展開すると、
となる。ただし、formula_11である。
扱いを容易にするために入力信号"g(t)"は振幅"A"、周波数formula_12の単一正弦波として次のように置く。
これに対する出力信号"p(t)"は、上の式より
となる。この式から周波数スペクトルの図を描き検討すると証明ができる。
抵抗と電圧のゆらぎについてのナイキストの定理.
抵抗formula_13と電圧のゆらぎとの比例関係。導体が温度formula_14にあるとき、その両端には電位差formula_15が生じる。このとき
の関係をナイキストの定理という。この関係式は、角振動数formula_17に対する電気伝導度formula_18がformula_17によらずformula_20に等しい領域で成立する。これは一般の線形応答理論から基礎づけられる。これも歴史的には1つの揺動散逸定理の発見の例になっている。
歴史的背景.
標本化定理はハリー・ナイキストが1928年に予想しており、これに対して1949年のクロード・シャノンの証明が有名である。そのため、シャノンの標本化定理やナイキスト＝シャノンの標本化定理と呼ばれることが多い。
しかし、その後の研究で、シャノンとは独立に標本化定理を証明していた人物が次々と見つかった。ソビエト連邦のウラジーミル・コテルニコフ（1935年）、ドイツのH.P.ラーベ（1938年）、日本の染谷勲（1949年）の論文が発見され、それぞれ標本化定理を証明した数学者として取り上げられた。このうちコテルニコフは1999年にドイツのエドゥアルト・ライン財団から「標本化定理を最初に証明した」として基礎研究賞を受賞している。
また、標本化定理の展開式と同じものを補間法の公式として、イギリスのエドマンド・テイラー・ホイッテーカーが1915年に証明している。そのため、ホイッテーカーも標本化定理の証明者としてみなされる場合がある。またホイッテーカーの証明方法からの日本の小倉金之助の論文（1920年）が、世界で最初の標本化定理の証明であると、2011年にブッツァーらによって発表されている。