1632
правки
Изменения
м
{{В разработке}}
{{TODO|t=Какие-то размахивания руками. Привести в порядок}}
rollbackEdits.php mass rollback
{{Определение
|definition=
'''Скалярным произведением''' в действительном линейном пространстве <tex>X</tex> называется функция <tex>\langle \cdot, \cdot \rangle : X \times X \to \mathbb{R}</tex>, удовлетворяющяя удовлетворяющая следующим аксиомам:
# <tex>\langle x, x \rangle \ge 0</tex> и <tex>\langle x, x \rangle = 0 \iff x = 0</tex>
# <tex>\langle x, y \rangle = \langle y, x \rangle</tex>
<tex> = \|x\|^2 + \sum \limits_{k=1}^n (\beta_k^2 - 2(x, e_k)\beta_k) = \|x\|^2 + \sum \limits_{k=1}^n (\beta_k - (x, e_k))^2 - \sum \limits_{k=1}^n \langle x, e_k \rangle ^2 </tex>.
Теперь, пусть <tex> \beta_k = (x, l_ke_k) </tex>, имеем <tex> 0 \le \|x\|^2 - \sum \limits_{k=1}^n (x, e_k)^2 </tex>, устремив <tex> n </tex> к бесконечности, получим требуемое.
}}
Пусть <tex>H</tex> {{---}} сепарабельное. Тогда в <tex> H </tex> существует ортнормированный базис.
|proof=
<tex>\exists A = \{ a_1 \dots a_n \dots \}, \mathrm{Cl} A = H</tex> — счетное всюду плотное.
