Теоремы о проекции и о разложении

Теорема (о проекции). Пусть − сепарабельное гильбертово пространство, − его замкнутое подпространство. Тогда для любого вектора существует (единственная) проекция

Теорема (о разложении). Пусть − гильбертово пространство, − его замкнутое подпространство. Тогда