複素数値関数の「直交」とは、 \begin{equation} \langle A(x), B(x) \rangle = \int_a^b \overline{A(x)} B(x) \, dx = 0 \end{equation}となることをいいます。 つまり、内積が0となることをいいます。式中のオーバーラインは、複素共役(共軛)を意味します…