>>411 ある函数の集合に"内積"を定義してやると、うまいことユークリッド空間
　と同じような性質をもつヒルベルト空間というものになる。
　直交はその内積がゼロになること。
　抽象的な概念だから直感的にといわれると少し困るな。