Mavzu: Funksiyalar sistemasining to’liqligi va yopiqligi. Muhim yopiq sinflar. Post teoremalari



Download 219,5 Kb.
bet1/2
Sana18.07.2022
Hajmi219,5 Kb.
#821886
  1   2
Bog'liq
8-ma


Mavzu: Funksiyalar sistemasining to’liqligi va yopiqligi. Muhim yopiq sinflar. Post teoremalari.


O‘z-o‘zidan va mantiq algebrasining hamma funksiyalari sinfidan ( dan) farq qiluvchi funksional yopiq sinflarga kirmaydigan xususiy funksional yopiq sinf maksimal funksional yopiq sinf deb ataladi.
Mantiq algebrasida hammasi bo‘lib beshta maksimal funksional yopiq sinf mavjud. Bular quyidagilardir: , , , , .
Post teoremasi. E. L. Post tomonidan funksiyalar sistemasi to‘liqligining yetarli va zarur shartlari topilgan.
Post teoremasi. funksiyalar sistemasi to‘liq bo‘lishi uchun bu sistemada , , , , maksimal funksional yopiq sinflarning har biriga kirmaydigan kamida bitta funksiya mavjud bo‘lishi

Post jadvali




























































...

...

...

...

...

...























yetarli va zarur (ya’ni funksiyalar sistemasi faqat , , , , maksimal funksional yopiq sinflardan birortasining ham qism to‘plami bo‘lmaganda va faqat shundagina to‘liq sistema bo‘ladi).
Isboti. Zarurligi. to‘liq sistema (ya’ni ) va maksimal funksional yopiq sinflarning birortasi bo‘lsin deb faraz qilamiz. U vaqtda sinfning yopiqligini hisobga olib, munosabatni yozish mumkin, ya’ni . Ammo bunday bo‘lishi mumkin emas. Demak, munosabat bajarilmaydi.
Yetarliligi isbotini o‘quvchiga havola etamiz. ■
Natija. Mantiq algebrasidagi har qanday funksional yopiq sinf , , , , maksimal funksional yopiq sinflardan birortasining qism to‘plami bo‘ladi.
Amalda berilgan funksiyalar sistemasining to‘liq yoki to‘liq emasligini aniqlash uchun Post jadvali deb ataluvchi jadvaldan foydalaniladi. Post jadvali quyida keltirilgan.
Jadvalning xonalariga o‘sha satrdagi funksiya funksional yopiq sinflarning elementi bo‘lsa “+” ishora, bo‘lmasa “–” ishorasi qo‘yiladi. sistema to‘liq funksiyalar sistemasi bo‘lishi uchun, Post teoremasiga asosan, jadvalning har bir ustunida kamida bitta “–” ishorasi bo‘lishi yetarli va zarur.
funksiyalar sistemasi to‘liq bo‘lmasligi uchun , , , , maksimal funksional yopiq sinflardan birortasining qism to‘plami bo‘lishi, ya’ni Post jadvalining biror ustunidagi barcha ishoralar “+” bo‘lishi kerak.
Funksiyalar sistemasining to‘liqligi tushunchasi bilan sinfning (to‘plamning) yopig‘i tushunchasi o‘zaro bog‘langan.

Download 219,5 Kb.

Do'stlaringiz bilan baham:
  1   2




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish