Bog'liq chiziqli algebra ma'ruza matn 280220212040
Теорема-1. Ҳар қандай n ўлчамли евклид фазосида ортогонал базислар мавжуддир.
Исбот. n ўлчамли фазонинг таърифига мувофиқ унда бирор базис мавжуддир. векторлардан ортогоналлаш жараёни ёрдамида жуфт-жуфти билан ортогонал бўлган n та вектор ясаймиз.
базис мавжуддир. 
бўлсин деб фараз қилайлик. 
кўринишда излаймиз. 
, яъни 
бўлсин. Бундан
