Mavzu:” Chiziqli fаzо elеmеntini bаzis bo‘yichа yoyish.”

13- ta’rif. Agar elementlar uchun boʻlsa u holda elementlar ortogonal vektorlar deyiladi.
14- ta’rif. Noldan farqli elementlardan tashkil topgan vektorlar sistemasidagi vektorlarning har qanday ikki jufti oʻzaro ortogonal boʻlsa, u holda bu sistema ortogonal vektorlar sistemasi deb ataladi.
15- ta’rif. Agar ortogonal vektorlar sistemasi boʻlib boʻlsa, u holda vektorlar sistemasi ortonormal vektorlar sistemasi deyiladi.
16- ta’rif. Agar vektorlar sistemasi fazoning bazisi boʻlib, ortonormal vektorlar sistemasini tashkil qilsa, u holda bu bazisga ortonormal bazis deyiladi.
Ortonormallangan bazis uchun quyidagi munosabat oʻrinli:

Teorema. Har qanday oʻlchovli haqiqiy Evklid fazosida ortonormallangan bazis mavjud.
Isbot. Faraz qilaylik vektorlar sistemasi fazoning ortonormall boʻlmagan bazislaridan biri boʻlsin. Biz bu bazisdan ortonormallangan bazisni quramiz. Buning uchun Shmidt formulalaridan foydalanamiz:
, deb olib keyingi qadamda

Teorema isbotlandi.
******* * ** **