|
2.3 . Chiziqli tengsizliklar sistemasining birgalikdalik kriteriyasi.
- maydonga nisbatan chiziqli fazo berilgan bo‘lsin. Biz bu fazoni ko‘rinishida belgilaymiz.
Chiziqli tengsizliklar sistemasini qaraymiz.
A= va =
Matritsalarga mos ravishda (1) – sistemaning asosiy va kengaytirilgan matritsalari deyiladi. ning rangiga (1) – sistemaning rangi deyiladi. Ushbu paragrafda biz quyidagi teoremani isbotlaymiz.
Isboti: Agar noldan farqli rangga ega bo‘lgan (1) sistema birgalikda bo‘lib uning yechimi shu sistemadagi nol bo‘lmagan (x) funksiya qatnashgan tengsizlikni tenglikka aylantirsa bunday yechimga (1) sistemaning chegaraviy yechimi deyiladi. Agarda rangi bo‘lgan chegaraviy yechimi (1)ning ta tengsizligini tenglikka aylantirsa bunday yechimga (1)ning tugun yechimi deyiladi. Bunday r ta tengsizlikdan tuzilgan qismiy sistemaga ega (1) ning tugun qismiy sistemasi deyiladi.
Teorema. fazodagi rangi ga teng bo‘lgan (1) – chiziqli tengsizliklar sistemasining yechimiga ega bo‘lishi uchun matritsada
(2)
Shartni qanoatlantiruvchi -tartibli noldan farqli
=
minorning mavjud bo‘lishi zarur va yetarlidir.
Agar (1) sistemaning rangi bo‘lsa dagi u.1.1-teoremaga asosan hech bo‘lmasa birorta tugun sistemaga va uning rangi ham r ga teng bo‘ladi. U holda (1) sistemaga kiruvchi chiziqli formalar lar orasida ta chiziqli bog‘lanmagan formalar mavjud bo‘lib
- +… + - =0 (3)
Tenglamaning har bir yechimi (1) sistemani qanoatlantiradi. Umumiylikni chegaralanmagan holda deb hisoblash mumkin.
Tanlangan formalar chiziqli bog‘lanmagan bo‘lganligi sababli (1) sistemaning koeffitsentlaridan tuzilgan matritsa noldan farqli tartibli.
=
minorga ega bo‘ladi. Endi deb belgilash kiritb aynan nolga teng bo‘lgan
determinantni qaraymiz. Bu yerdan
,
Bundan foydalanib (1) sistemani quyidagicha yzoish mumkin:
(4)
bu tengsizlikni bo‘lganda (4) dan ni hosil qilamiz. (4) dagi noma’lumlarni ularning noma’lumlar orqali ifodasi = bilan almashtirilganda (4) sistema (1) sistemaga aylanadi va (1) ni (3) ning barcha yechimlari qanoatlantirgani uchun (4) da lar o‘rniga elementlarini qo‘ysak (4) tengsizlik o‘zgarmay qoladi. Buning natijasida hosil bo‘lgan (2) tengsizlik (1) ning yechimiga ega bo‘lishining zaruriy shartini beradi.
Endi agar (1) sistemaning matritsasi biror noldan farqli r-tartibli minori
=
uchun (2) munosabat bajarilsa, u holda (1) sistemaning birgalikda ekanligini ko‘rsatamiz. Haqiqattan ham (2) munosabatdan (4) sistemaning
(5)
yechimga ega ekanligi krlib chiqadi. (5) da noma’lumlarni ularning
noma‘lumlar orqali ifodasi bilan almashtirb (3) – sitemaga kelamiz. determinant -tartibli minori bo‘lgani uchun sistemaning rangi undagi tenglamalar soni bilan bir xil bo‘ladi va demak bu sistema birgalikda (4)-sistemaning yechimi (5) mavjud bo‘lgani uchun ham (3) ning har bir yechimi
- , (6)
sistemani qanoatlantiradi. Bu Sistema esa (1) dan faqat yozilish shakli bilangina farq qiladi. Shuning uchun ham (1) Sistema ham birgalikdagi Sistema bo‘ladi. Shunday qilib (2) sistemaning bajarilishi (1) ning birgalikda bo‘lishing yetarli sharti hamdir. Teorema to‘la isbot bo‘ldi.
– algebraik amalni bilan belgilasak . Ba’zi hollarda bo‘lishi mumkin. Bunday hollarda qaralayotgan algebraik amal qismiy algebraik amal deb yuritiladi. Algebraik amallar nol, bir, ikki, uch, … , o‘rinli bo‘lishi mumkin. Ular mos ravishda nular, unar, binar, ternar, … - ar algebraik amal deyiladi.
to‘plamning istalgan elementini alohida olish nular algebraik amaldir.
to‘plamning barcha qism to‘plamlari to‘plami bo‘lsin. Har bir
to‘plamning to‘ldiruvchisi bo‘sin. ni mos qo‘yuvchi akslantirish unar algebraic amalga misol bo‘ladi.
Natural sonlar to‘plamidagi ayirish amali qismiy algebraik amalga misol bo‘ladi.
Butun sonlar to‘plamidagi bo‘lish amali ham butun sonlar to‘plamidagi qismiy algebraik amaldir.
ta natural sonlar ga ularning eng katta umumiy bo‘luvchisini amal – ar algebraik amaldir
Bitta to‘plamda aniqlangan barcha algebraik amallar bo‘lsin.
3-ta’rif. Bo‘sh bo‘lmagan A to‘plam va unda aniqlangan algebraik amallar to‘plami dan tuzilgan juftlikka algebra deyiladi. Agar dagi amallar soni chekli bo‘lsa, ular sanab ko‘rsatiladi, ya’ni ko‘rinishida yoziladi. - bo‘sa to‘plamga algebraning asosiy to‘plami deyiladi. α – algebraik amalning rangi r(f) ko‘rinishda belgilanadi. ga
algebraning tipi deyiladi.
, tipli
, tipli
, tipli algebradir.
Do'stlaringiz bilan baham: |
