ヒルベルト空間
任意のヒルベルト空間において、完全正規直交系は存在するが、特に可分なヒルベルト空間であれば、高々可算個からなる完全正規直交系が存在する。