1679
правок
Изменения
→27 Замкнутые и полные о.н.с.
= 27 Замкнутые и полные о.н.с. =
# ОНС {{---}} замкнута: (<tex>\forall j : \langle x, e_j\rangle = 0) \Rightarrow x = 0</tex>.
# ОНС {{---}} полная: <tex>\operatorname{Cl} \mathcal{L}(e_1, \ldots, e_n, \ldots) = \mathcal{H}</tex> (замыкание линейной оболочки совпадает с самим пространством).
{{Теорема
|statement=ОНС {{---}} полная <tex>\iff</tex> ОНС {{---}} замкнутая