对所有s∈，t∈，定义us（t)=eist，设X是这些函数us的全体有限线性组合所组成的复线性空间．若f∈X，g∈X，证明＜f，g＞=

对所有s∈，t∈，定义u_s(t)=e^ist，设X是这些函数u_s的全体有限线性组合所组成的复线性空间．若f∈X，g∈X，证明＜f，g＞=存在．说明这个内积使X成为一个内积空间，其完备化空间H是一个不司分的Hilbert空间，并证明{u_s：s∈}是H的一个极大规范正交集．