無限次元ベクトルで表現された関数の内積

関数fff(x)g(x)0<=x<=Nの範囲で無限次元ベクトルで表現したものをvec[f]]vec[g]]とした場合、vec[f]]vec[g]]の内積は、定積分を使って、以下のように表現できます。

\[\boldsymbol{f}\cdot \boldsymbol{g}=\displaystyle \int_{0}^{N} f(x)g(x)dx\]

この内積は、一般的なn次元ベクトルの内積と異なる定義ですが、内積の性質を満たします。