Bog'liq chiziqli algebra ma'ruza matn 280220212040
Ортогонал базисга биз берган бу таърифнинг тўғри бўлиши учун, таърифга кирган векторларнинг ҳақиқатан ҳам базис ташкил қилишини, яъни улар чизиқли эркли эканлигини исбот қилишимиз зарур.
Буни исбот қиламиз, яъни
(2)
тенгликнинг бўлсагина ўринли бўлиши мумкин эканлигини кўрсатамиз. (2) тенгликнинг иккала томонини га скаляр кўпайтирамиз. У ҳолда
векторларнинг ҳақиқатан ҳам базис ташкил қилишини, яъни улар чизиқли эркли эканлигини исбот қилишимиз зарур.
(2)
бўлсагина ўринли бўлиши мумкин эканлигини кўрсатамиз. (2) 
га скаляр кўпайтирамиз. У ҳолда
