傅立叶分析的一个基本问题就是正交基的存在性问题，对Lebesgue测度而言，这个问题十分成熟。考虑一般的Rn上具有紧支撑的Borel测度μ，......

令Fq是特征为2的有限域，S（n，q）是Fq上全体n阶对称矩阵的集合，On(Fq)表示Fq上全体正交矩阵对矩阵乘法所做成的群，称之为Fq上的n阶正交群，即......

令Fq是特征为2的q元有限域，K（n，q）表示Fq上所有n×n交错矩阵所构成的集合，GLn(Fq)为Fq上n阶一般线性群，On(Fq)表示Fq上全体正交矩阵对矩......