设是定义在[a,b]上的可积函数,(n=0,1,2,...),若对任意的m和n, 在[a,b]上可积,且有 则称是[a,b]上的正交函数列。特别地,当 是n次多项式时,称是[a,b]上的正交多项式 n次Legendre多项式 是[-1,1]上的正交多项式.