標本化定理
標本化定理（ひょうほんかていり、: サンプリング定理とも）はアナログ信号をデジタル信号へと変換する際に、どの程度の間隔で標本化（サンプリング）すればよいかを定量的に示す定理。情報理論の分野において非常に重要な定理の一つである。
標本化定理は1928年にハリー・ナイキストによって予想され、1949年にクロード・E・シャノンと日本の染谷勲によってそれぞれ独立に証明された。そのためナイキスト定理、ナイキスト・シャノンの定理、シャノン・染谷の定理とも呼ばれる。
波形の最大周波数の2倍を超えた周波数で標本化すれば完全に元の波形に再構成される。
標本化とは、数学的には連続関数の値からある点の値だけを標本として取り出して離散関数に変換する操作であり、与えられた連続関数と標本化関数の積を求めることと等しい。標本化関数とは、ある離散値（連続でない、飛び飛びの値）"x"に対してのみ"g(x)"=1となり、その他の"x"に対しては"g(x)"=0となるような関数である。対象となる関数"f(x)"と標本化関数"g(x)"の積を取ると、関数formula_1が得られる。"g(x)"=1となる"x"に対してのみformula_2となり、その他の"x"に対しては"h(x)"=0となる。
標本化定理とは、ある関数"f(x)"をフーリエ変換した関数"F(s)"の成分（スペクトル）が、formula_3の範囲で"F(s)"=0であるような関数"f(x)"に対して、formula_4に相当する周期より小さい周期をもつ標本化関数で標本化したときに得られる関数は、そのスペクトルのうちformula_5が原関数のスペクトルに一致するというものである。
工学的には、原信号に含まれる最大周波数成分を "f" とすると、2"f" よりも高い周波数 formula_6 で標本化した信号は、低域通過（ローパス）フィルターで高域成分を除去することによって原信号を完全に復元することができるということを示している。たとえば原信号に含まれる周波数が最高で "f"=22.05kHz だった場合、formula_6=44.1kHz よりも高い周波数で標本化（1秒間に44100回超、値を取得）すれば、原信号を完全に復元することができる。原信号が復元可能な最大周波数 formula_8 を「ナイキスト周波数」と言い、ナイキスト周波数の逆数を「ナイキスト周期」と言う。
標本化周波数が 2"f" 以下であった場合、原信号にはない偽の周波数 formula_9 がエイリアス信号として、復元信号に現れる。よって、連続信号の標本化においては、ナイキスト周波数 2"f" よりも高い周波数で、標本化を行わなくてはならない。
なお、アナログ信号からデジタル信号への変換については、標本化のほかに量子化が必要である。
標本化定理は、フーリエ級数を用いると簡単に証明することができる。
理想的な標本化パルス列"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つの揺動散逸定理の発見の例になっている。