直交関数列
直交関数列で、
∫ α β f ( x ) e n ( x ) d x = 0 ( n = 1 , 2 , ... ) ⟹ f ( x ) = 0 {\displaystyle \int _{\alpha }^{\beta }f(x)e_{n}(x)dx=0\quad (n=1,2,\dots )\quad \Longrightarrow \quad f(x)=0}
となるもののことを言う。