1-mustaqil ish mavzu: Chiziqli algebraik tenglamalar sistemasi va ularni yechish usullari Reja

qo‘ysak: (2)

ega bo‘lamiz.

Bu tengliklar majmuasi quyidagi tenglikka ekvivalent:

(3)

Chiziqli algebraik tenglamalar sistemasining yechimi mavjudligining zaruriy va yetarli sharti (Kroneker-Kapelli teoremasi).

Bundan (1) sistemaning kengaytirilgan matritsasi oxirgi ustuni asosiy matritsa ustunlari chiziqli kombinatsiyasidan iborat ekanligi kelib chiqadi. Ma’lumki matritsaning rangi ustunlarning chiziqli kombinatsiyasidan iborat bo‘lgan ustunni tashlab yuborilganda o‘zgarmaydi. Kengaytirilgan matritsadan ozod hadlar ustunini olib tashlasak sistemaning asosiy matritsasiga ega bo‘lamiz. Demak, asosiy va kengaytirilgan matritsalarning ranglari teng. Shuni isbotlash talab etilgan edi. Yetarliligi. Aytaylik asosiy va kengaytirilgan matritsalarning ranglari teng, r(A)=r(A|B) (asosiy) matritsaning r ta bazis ustunlarini ajratamiz, bular (A|B) (kengaytirilgan) matritsaning ham bazis ustunlari bo‘ladi. Faraz qilamiz birinchi r ta ustun bazis bo‘lsin.

Bazis minor haqidagi teoremaga asosan A matritsaning oxirgi ustuni bazis ustunlarning chiziqli kombinatsiyasi sifatida tasvirlanishi mumkin. Bu esa:

munosabatni qanoatlantiruvchi lar mavjudligini bildiradi.

• 
  

Chiziqli algebraik tenglamalar sistemasining yechimi mavjudligining zaruriy va yetarli sharti (Kroneker-Kapelli teoremasi).

• 
  Oxirgi munosabat quyidagi m ta tenglamalarga ekvivalent:
  

Agar (1) tenglamalar sistemasiga ,

(4) qo‘ysak, u holda tenglamalar sistemasi (2) ga aylanadi. Bundan noma’lumlarning (4) qiymati (1) sistemadagi barcha tenglamalarni qanoatlantiradi, ya’ni sistema yechimga ega bo‘ladi. Teorema isbotlandi.

Kroneker - Kapelli teoremasiga ko‘ra birgalikda bo‘lgan tenglamalar sistemasining asosiy A matritsasi rangi bilan uning kengaytirilgan (A|B) matritsasining ranglari teng. r=r(A)=r(A|B) qiymatni berilgan sistemaning rangi deb ataymiz. A matritsaning biror bazis minorini belgilab olamiz. Bazis satrlarga mos bo‘lgan tenglamalarni berilgan sistemaning bazis tenglamalari deb ataymiz. Bazis tenglamalar bazis sistemani tashkil etadi. Bazis ustunlarda qatnashgan noma’lumlarni bazis o‘zgaruvchilar, qolganlarini ozod o‘zgaruvchilar, deb ataymiz.

•