正交是通过 内积 定义的

对于两个向量,当内积等于 0,则是正交的

对于两个函数,如在给定的区间内连续 ,把区间 n 等分,函数值离散点构成一个 n 维向量,这个向量内积等于 0

取 n 极限,那就得到了