Здравствуйте. Если в пространстве со скалярным произведением задано

- семейство попарно ортогональных подпространств этого пространства,

, то можно ли утверждать, что
![$[\overline{lin \bigcup X_n}]=\overline {lin \bigcup [X_n]}$ $[\overline{lin \bigcup X_n}]=\overline {lin \bigcup [X_n]}$](https://dxdy-03.korotkov.co.uk/f/e/d/d/edd724e3d23f82e324af11765f2a61d682.png)
?
![$[X]$ $[X]$](https://dxdy-03.korotkov.co.uk/f/e/9/b/e9b9138812886eb81cff48ae91d583eb82.png)
- это пополнение множества Х,

- это замыкание множества Х.
Не очень понятно, что надо показывать. Пополнение - это навешивание замыкания или что- то еще в данном примере? Если так, то, вроде, утверждение верно.