Пусть H - гильбертово пространство L - подпространство в H Тогда H=L⊕L⊥ то есть Доказательство Связанные теоремы/определения Следствие теоремы 6.2
