標本化定理のソースを表示

'''標本化定理'''（ひょうほんかていり、{{lang-en-short|sampling theorem}}）または'''サンプリング定理'''は、[[連続 (数学)|連続]]的な[[信号 (電気工学)|信号]]（[[アナログ]]信号）を離散的な信号（[[デジタル信号]]）へと変換する際に元の信号に忠実であるにはどの程度の間隔で[[標本化]]（サンプリング）すればよいかを示す、[[情報理論]]の[[定理]]である。

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

'''標本化'''とは、数学的には連続関数の値からある点の値だけを標本として取り出して離散関数に変換する操作であり、与えられた連続関数 {{mvar|g}} と標本化関数 {{mvar|&delta;}} の積を求めることと等しい。標本化関数 {{mvar|&delta;}} とは、ある離散値（連続でない、飛び飛びの値）{{mvar|x}} に対してのみ {{math|1=''&delta;''(''x'') = 1}} となり、その他の {{mvar|x}} に対しては {{math|1=''&delta;''(''x'') = 0}} となるような関数である。対象となる原関数 {{math|1=''g''(''x'')}} と標本化関数 {{math|1=''&delta;''(''x'')}} の積を取ると、関数 <math>G(x)=\delta(x)g(x)</math> が得られる。{{math|1=''&delta;''(''x'') = 1}} となる {{mvar|x}} に対してのみ <math>G(x) = g(x)</math> となり、それ以外の領域では {{math|1=''G''(''x'') = 0}} となる。

'''標本化定理'''とは、ある関数 {{math|1=''g''(''x'')}} を[[フーリエ変換]]した関数 {{math|1=''F''(''f'')}} の成分（[[スペクトル]]）が、<math>|f| \ge W</math> の範囲で {{math|1=''F''(''f'') = 0}} であるような関数 {{math|1=''g''(''x'')}} に対して、<math>\tfrac{1}{f} = \tfrac{1}{2W}</math> より小さい周期を持つ標本化関数で標本化したときに得られる関数は、そのスペクトルのうち <math>|f| < W</math> が原関数のスペクトルに一致するというものである。

工学的には、原信号の成分の最大[[周波数]] {{math|1=''f''<sub>max</sub>}} の2倍（{{math|2''f''<sub>max</sub>}}）よりも高い周波数 <math>f_\mathrm{sampling}</math> で標本化した信号は、[[ローパスフィルタ]]（ハイカットフィルタ）で高域成分を除去することで原信号を完全に復元できることを示している。例えば原信号に含まれる周波数が最高で {{math|1=''f''<sub>max</sub> = {{val|22.05|u=kHz}}}} だった場合、{{math|1=2''f''<sub>max</sub> = {{val|44.1|u=kHz}}}} <strong>よりも高い</strong>（<math>2f_\mathrm{max}</math> を含まない）周波数で標本化すれば、原信号を完全に復元することができる。原信号が復元可能な周波数の上限 <math>\tfrac{f_\mathrm{sampling}}{2}</math> を[[ナイキスト周波数]]、またナイキスト周波数の逆数をナイキスト周期と言う。

標本化周波数が {{math|1=2''f''<sub>max</sub>}} 以下であった場合、原信号にはない偽の周波数 <math>f_\mathrm{sampling} - f_\mathrm{max}</math> が[[折り返し雑音|エイリアス信号]]として復元信号に現れる。よって連続信号の標本化においては、ナイキスト周波数 {{math|1=2''f''<sub>max</sub>}} <strong>よりも高い</strong>周波数で標本化しなければならない。

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

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

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

理想的な標本化パルス列''s(t)''は、''T''をサンプリング周期とし、[[デルタ関数]]<math>\delta(t)</math>を用いて、
{{Indent|<math> s(t) = \sum_{n=-\infty}^{\infty} \delta(t-nT) </math>}}
と表される。標本化入力信号を''g(t)''とすると、出力信号''p(t)''は
{{Indent|<math> p(t) = g(t)s(t) </math>}}
であるから、
{{Indent|<math> p(t) = g(t)\sum_{n=-\infty}^{\infty} \delta(t-nT)=\sum_{n=-\infty}^{\infty} g(nT)\delta(t-nT) </math>}}
となり、明らかに''g(nT)''の系列となる。

ここで、出力信号''p(t)''の周波数成分を計算するために''s(t)''をフーリエ級数展開すると、
{{Indent|<math> s(t)=\frac{1}{T}\sum_{n=-\infty}^{\infty} e^{jn\omega_0 t} </math>}}
となる。ただし、<math> \omega_0 = 2\pi f_0 = \frac{2\pi}{T} </math>である。

扱いを容易にするために入力信号''g(t)''は振幅''A''、周波数<math>f_a = \frac{\omega_a}{2\pi} </math>の単一正弦波として次のように置く。
{{Indent|<math> g(t) = A\cos(\omega_a t + \theta_a)=\frac{A}{2}e^{j(\omega_a t + \theta_a)} + \frac{A}{2}e^{-j(\omega_a t + \theta_a)} </math>}}

これに対する出力信号''p(t)''は、上の式より
{{Indent|<math> p(t) = \frac{A}{2T}\sum_{n=-\infty}^{\infty} e^{j\{(n\omega_0+\omega_a)t+\theta_a\}} + \frac{A}{2T}\sum_{n=-\infty}^{\infty} e^{j\{(n\omega_0-\omega_a)t-\theta_a\}} </math>}}
となる。この式から周波数スペクトルの図を描き検討すると証明ができる。

==抵抗と電圧のゆらぎについてのナイキストの定理==
抵抗<math>R</math>と電圧の[[ゆらぎ]]との比例関係。導体が温度<math>T</math>にあるとき、その両端には電位差<math>V(t)</math>が生じる。このとき
:<math>\langle V(t)V(t') \rangle = 2Rkt\delta(t-t')</math>
の関係を'''ナイキストの定理'''という。この関係式は、[[角振動数]]<math>\omega</math>に対する[[電気伝導度]]<math>\sigma(\omega)</math>が<math>\omega</math>によらず<math>\sigma(0)</math>に等しい領域で成立する。これは一般の[[線形応答理論]]から基礎づけられる。これも歴史的には1つの[[揺動散逸定理]]の発見の例になっている<ref>『物理学辞典』 培風館、1984年</ref>。

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

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

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

== 脚注 ==
{{脚注ヘルプ}}
<!--===注釈===
{{Notelist}}-->
===出典===
<references />

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

{{データ圧縮}}
{{デジタル信号処理}}

{{DEFAULTSORT:ひようほんかていり}}
[[Category:標本化]]
[[Category:情報理論]]
[[Category:フーリエ解析の定理]]
[[Category:理論計算機科学の定理]]
[[Category:物理学の定理]]
[[Category:クロード・シャノン]]
[[Category:ハリー・ナイキスト]]
[[Category:数学に関する記事]]
[[Category:証明を含む記事]]