標本化定理

標本化定理（ひょうほんかていり、）またはサンプリング定理は、連続的な信号（アナログ信号）を離散的な信号（デジタル信号）へと変換する際に元の信号に忠実であるにはどの程度の間隔で標本化（サンプリング）すればよいかを示す、情報理論の定理である。

 概要 
標本化定理は、元の信号をその最大周波数の2倍を超えた周波数で標本化すれば完全に元の波形に再構成されることを示す。

標本化とは、数学的には連続関数の値からある点の値だけを標本として取り出して離散関数に変換する操作であり、与えられた連続関数  と標本化関数  の積を求めることと等しい。標本化関数  とは、ある離散値（連続でない、飛び飛びの値） に対してのみ  となり、その他の  に対しては  となるような関数である。対象となる原関数  と標本化関数  の積を取ると、関数  が得られる。 となる  に対してのみ  となり、それ以外の領域では  となる。

標本化定理とは、ある関数  をフーリエ変換した関数  の成分（スペクトル）が、 の範囲で  であるような関数  に対して、 より小さい周期を持つ標本化関数で標本化したときに得られる関数は、そのスペクトルのうち  が原関数のスペクトルに一致するというものである。

工学的には、原信号の成分の最大周波数  の2倍（）よりも高い周波数  で標本化した信号は、ローパスフィルタ（ハイカットフィルタ）で高域成分を除去することで原信号を完全に復元できることを示している。例えば原信号に含まれる周波数が最高で  だった場合、 よりも高い（ を含まない）周波数で標本化すれば、原信号を完全に復元することができる。原信号が復元可能な周波数の上限  をナイキスト周波数、またナイキスト周波数の逆数をナイキスト周期と言う。

標本化周波数が  以下であった場合、原信号にはない偽の周波数  がエイリアス信号として復元信号に現れる。よって連続信号の標本化においては、ナイキスト周波数  よりも高い周波数で標本化しなければならない。

サムネイル|529x529ピクセル|ナイキスト周波数と同じ周波数を持つ信号の標本化。青線の信号を標本化する（青丸）と0の信号（橙線・橙丸）と見分けがつかなくなり原信号を完全復元できない。

なお、アナログ信号からデジタル信号への変換については、標本化のほかに量子化が必要である。

 標本化定理の証明 
標本化定理は、フーリエ級数を用いると簡単に証明することができる。

理想的な標本化パルス列s(t)は、Tをサンプリング周期とし、デルタ関数を用いて、

と表される。標本化入力信号をg(t)とすると、出力信号p(t)は

であるから、

となり、明らかにg(nT)の系列となる。

ここで、出力信号p(t)の周波数成分を計算するためにs(t)をフーリエ級数展開すると、

となる。ただし、である。

扱いを容易にするために入力信号g(t)は振幅A、周波数の単一正弦波として次のように置く。

これに対する出力信号p(t)は、上の式より

となる。この式から周波数スペクトルの図を描き検討すると証明ができる。

抵抗と電圧のゆらぎについてのナイキストの定理
抵抗と電圧のゆらぎとの比例関係。導体が温度にあるとき、その両端には電位差が生じる。このとき

の関係をナイキストの定理という。この関係式は、角振動数に対する電気伝導度がによらずに等しい領域で成立する。これは一般の線形応答理論から基礎づけられる。これも歴史的には1つの揺動散逸定理の発見の例になっている『物理学辞典』 培風館、1984年。

歴史的背景
標本化定理はハリー・ナイキストが1928年に予想しており、これに対して1949年のクロード・シャノンの証明が有名である。そのため、シャノンの標本化定理やナイキスト＝シャノンの標本化定理と呼ばれることが多い。

しかし、その後の研究で、シャノンとは独立に標本化定理を証明していた人物が次々と見つかった。ソビエト連邦のウラジーミル・コテルニコフ（1935年）、ドイツのH.P.ラーベ（1938年）、日本の染谷勲（1949年）の論文が発見され、それぞれ標本化定理を証明した数学者として取り上げられた。このうちコテルニコフは1999年にドイツのエドゥアルト・ライン財団から「標本化定理を最初に証明した」として基礎研究賞を受賞している。

また、標本化定理の展開式と同じものを補間法の公式として、イギリスのエドマンド・テイラー・ホイッテーカーが1915年に証明している。そのため、ホイッテーカーも標本化定理の証明者としてみなされる場合がある。またホイッテーカーの証明方法からの日本の小倉金之助の論文（1920年）が、世界で最初の標本化定理の証明であると、2011年にブッツァーらによって発表されている。

 脚注 

出典

 関連項目 
 ウラジーミル・コテルニコフ - 1933年に標本化定理に関する論文を執筆していたソ連の無線工学者。
 音響信号処理
 シャノン＝ハートレーの定理
 サンプリング周波数
 ナイキスト周波数 - ナイキストレートとも呼ばれる。
 折り返し雑音 - 折り返しひずみとも呼ばれる。

Category:標本化
Category:情報理論
Category:フーリエ解析の定理
Category:理論計算機科学の定理
Category:物理学の定理
Category:クロード・シャノン
Category:ハリー・ナイキスト
Category:数学に関する記事
Category:証明を含む記事