更新时间:2022-09-16 15:53
在线性代数里,假若,内积空间的两个向量是互相正交的,并且,两个向量的范数都是 1 ,则称这两个向量互相具有正交规范性,又译单范正交性,正交归一性。假若,一组向量全都是互相正交规范的,则称这组向量为正交规范集。假若,这正交规范集形成了一个基,则称这集合为正交规范基。
正交基的存在性
运用佐恩引理和格拉姆-施密特正交化方法,可以证明每个希尔伯特空间都有基,并且有正交基。同一个空间的正交基的基数必然是相同的。当一个希尔伯特空间有可数个元素组成的正交基,就说这个空间是可分的。
哈默尔基
有前面的定义可以知道,在无穷维空间的情况下,正交基不再是一般线性代数的定义下的基。为了区分,把一般线性代数的定义下的基称为哈默尔基。
在内积空间的实际应用中,哈默尔基甚少出现,因此提到“基”的概念时,一般指的是正交基。