\]このうち、特に、右辺が\(0\)になっている部分に注目してください。これは関数が直交していることを意味しています。異なる元は直交していることになります。無限次元空間この事実をよく考えてみましょう。人間の感覚を超越していることが起きていることに気づくでしょう。つの元が直交することはあり得ません。つの元が直交することはあり得ません。つの元は、直交しています。ゆえに、こういう状態が起こるためには、そもそも「空間が無限次元である」としか考えられません。無限次元空間と言われると、馴染みのない人は半分冗談でしょという顔をするのですが、実は高校生でも内容に触れているのです。余談ですが、命題に述べた三角関数の性質は、フーリエ級数展開に関係があります。年生でより詳しく勉強することになるでしょう。考察することになります。変分法について汎関数さて、話戻しましょう。しようという話でした。定義域として、実数値を返す関数」になります。これを汎関数と言います。変分法とは、汎関数の臨界点を調べる一連の手法のことです。いう記号をおきますので、以下ではこれを用います。定義域として、実数を返す関数です。