∫[a,b] f(x)φ(x)dx=0 から f(x)=0 を示す証明の考え方｜連続関数の基本定理を解説

積分と連続関数に関するこの命題は、関数解析や基礎解析学で重要な考え方の一つです。本記事では「任意の連続関数φ(x)に対して積分が0ならばf(x)=0となる理由」について、直感と論理の両面からわかりやすく解説します。

問題の内容を整理する

条件は「区間[a,b]でf(x)が連続である」ことと、「任意の連続関数φ(x)に対して積分が0である」ことです。

つまり、どんなφ(x)を選んでも重み付き積分が常に0になるという強い条件です。

この性質からf(x)の形を特定していきます。

φ(x)は自由に選べる“重み関数”のようなものです。

もしf(x)がどこかで正または負の値を持っていれば、それを強調するφ(x)を作ることができます。

それでも積分が常に0になるということは、f(x)に正負の偏りが存在できないことを意味します。

f(x)がある点x0で正だと仮定します。

連続性より、その近くでもf(x)>0となる区間が存在します。

その区間に集中するような非負の連続関数φ(x)を取れば積分は正になり矛盾します。

同様にf(x0)<0の場合も、その周辺で負の寄与を強調するφ(x)を選べば積分は負になります。

しかし条件より積分は常に0なので矛盾が生じます。

したがってf(x)は正にも負にもなれません。

この証明ではf(x)の連続性が非常に重要です。

連続であることで「ある点での符号」が近傍に広がるため、局所的に検出するφ(x)を構成できます。

もし連続性がなければこの議論は成立しません。

任意の連続関数φ(x)に対して積分が0であるという条件は、f(x)のすべての局所的な情報を打ち消していることを意味します。

背理法と連続性を用いることで、f(x)は区間全体で0でなければならないことが示されます。

これは関数解析における基本的で重要な性質の一つです。