Kurs ishi urganch davlat universiteti fizika-matematika fakulteti matematika yo‘nalishi 192-guruh talabasi babajonova nilufarning diskret matematika va matemtik mantiq fanidan mavzu: To’plamlar algebrasi

Ekvivalent tasdiqlar. To'plamlar algebrasining asosiy qonunlariga qo'shimcha quyidagi teoremani keltiramiz.

12- teorema . Ixtiyoriy A va В to'plamlar uchun quyidagi tasdiqlar ekvivalentdir:

1 ) ;

2) ;

3 ) .

Isbot. 1. Teoremaning 1) tasdig'i o'rinli bo'lsin. U holda munosabat to'g'rligini isbotlaymiz. Avvalo , to'plamlarning kesishmasi ta’rifiga ko'ra, bo'ladi. Endi A to'plamning ixtiyoriy elementini x bilan belgilaymiz. U holda .

Demak, to'plamlarning kesishmasi ta’rifiga ko'ra, , ya’ni . Shunday qilib, va bo'lganidan o'rinlidir.

2. bo'lishini isbotlash uchun, avvalo, ifodadagi A to'plamning o'rniga unga teng bo'lgan to'plamni qo'yib, ifodani hosil qilamiz. So'ngra, bu ifodaga hirlashmaga nisbatan distributivlik qonunini qo‘llab, ifodani hosil qilamiz. Idempotentlik qonuniga asosan o'rinlidir. Shuning uchun ifodani ko'rinishda yozish mumkin. Oxirgi ifoda yutilish qonuniga asosan В ga teng. Demak, AUВ= В.

3. munosabatni tekshiramiz. Teskarisini faraz qilamiz, ya’ni tenglik o'rinli bo'lsa-da, A to'plam В to'plamning qism to'plami bo'lmasin. U holda A to'plam tarkibida В to'plamga tegishli bo'lmagan hech bo'lmasa bitta x element topiladi, ya’ni va . To'plamlarning birlashmasi ta’rifiga asosan bo'lganidan munosabat o'rinlidir. tenglikdan kelib chiqadi. Hosil bo'lgan ziddiyat, ya’ni, ham , ham bo'lishi qilgan farazimizning noto'g'riligini isbotlaydi. Demak tenglikdan munosabat kelib chiqadi. ■