正交集

子集 of a 向量空间 ，带有内积 ，如果 当 时，被称为正交的。也就是说，这些向量是相互垂直的。

请注意，对向量的长度没有限制。如果正交集中的向量都具有长度 1，则它们是标准正交的。

正交的概念对于任何域上的抽象向量空间都有意义，只要存在对称二次型。欧几里得空间中通常的正交集和群可以被推广，并应用于狭义相对论、微分几何和抽象代数。