G' grafning bo‘linish
Bo‘linish graflari izomorf bo‘lgan graflar gomeomorf graflar deb ataladi.
Graflarni birlashtirish.
G1 (V1,U1 )
va G2 (V2 ,U 2 )
graflar berilgan bo‘lsin.
Uchlari to‘plami V V1 ∪V2
va qirralari (yoylari) korteji U U1 ∪ U 2
kabi aniqlangan
G (V ,U )
graf G1 va G2
graflarning birlashmasi (uyushmasi) deb ataladi va
G G1 ∪ G2 ko‘rinishda belgilanadi.
Agar birlashtirilayotgan graflarning uchlari to‘plamlari kesishmasa, u holda bu graflarning birlashmasi diz’yunkt birlashma deb ataladi.
Graflarni biriktirish.
G1 (V1,U1)
va G2 (V2 ,U 2 )
graflar berilgan bo‘lsin. G1
uchi bilan qirra vositasida tutashtirilishi natijasida hosil bo‘lgan
G ( V , U )
graf G1
va G2 belgilanadi.
Agar uchlari to‘plamlari kesishmasi bo‘sh bo‘lmagan graflarni biriktirish zarur bo‘lsa, u holda hal qilinayotgan masala xossalarini e’tiborga olib ish ko‘rish kerakligini ta’kidlaymiz.
Eyler-Venn diagramalari haqida umumiy ma’lumot
To`plamlarni tekislikda shakllar yordamida tasvirlash XIII asrda boshlangan. Birinchi “falsafiy komp`yuter” ixtirochisi R.Lulliy (taxminan 1235-1315 yy) aylanalar yordamida sonlar, harflar va ranglar ustida amallar bajargan.
Shvetsariyalik matematik, mexanik va fizik Leonard Eyler (1707-1783 yy) va ingliz matematigi va mantiqchisi Jon Venn (1834-1923 yy) turli tabiatli to`plamlarni o`rganishda diagramma nazariyasiga asos solishgan. Hozirda to`plamlarni chizmalar orqali tasvirlash Eyler-Venn diаgrаmmаlаri deb yuritiladi.
Tа’rif 1. A vа B to‘plаmlаrning birlаshmаsi deb, bu to‘plаmlаrning hech bo‘lmаgаndа bittаsigа tegishli bo‘lgаn elementlаrdаn ibоrаt to‘plаmgа аytilаdi vа u
А В kаbi belgilanadi. Ba`zi hоllаrdа A vа B to`plamlarning birlаshmаsiga
yigindi deb hаm yuritilаdi. U inglizcha “union” – “qo`shma” so`zining birinchi harfidan olingan.
Misol 1. A ={1;3;5} va B ={4;5;6} to`plamlar berilgan bo`lsin. U holda
А В ={1;3;4;5;6} bo`ladi.
Eyler-Venn diagrammalari berilgan bo’lsa, to’plam ko’rinishini tiklash.
Yuqorida kiritilgаn birlashma, kesishma, ayirma, simmetrik ayirma, to’ldiruvchi аmаllаri yordаmidа аyrim to‘plаmlаrni bоshqаlаri оrqаli ifоdаlаsh mumkin, buning uchun amallarni bajarish ketma-ketligi kelishib olingan: 1) to‘ldiruvchi аmаli;
kesishmа;
yig‘indi vа аyirmа аmаllаri bаjаrilаdi. Bu tаrtibni ozgаrtirish uchun qаvslаrdаn fоydаlаnilаdi.
Shundаy qilib, to‘plаmni bоshqа to‘plаmlаr оrqаli аmаllаr va qаvslаrdаn fоydаlаngаn hоldа ifоdalash to‘plаmning аnаlitik ifоdаsi deyilаdi.
Biz 1.1.4-paragrafda to’plamning analitik ifodasi berilgan bo’lsa, uni geometrik tasvirlagan edik, endi esa teskari masala, ya’ni berilgan diagrammaga ko’ra to’plamning analitik ifodasini aniqlaymiz:
Misоl 1. Eyler-Venn diаgrаmmаsidagi shtriхlаngаn sohaning аnаlitik ifоdаsini A , B , C to‘plаmlar оrqаli ifodalang. Bunda A , B , C to`plamlar bitta universumga tegishli.
32 Bob I. To’plamlar
nazariyasi
1-usul: 2-usul:
( А В С) (А\(B C)) (B\(А C)) (C\А\B)
А В С =[(A\B) (B\A)] С =[((A\B) (B\A))\C] [C\((A\B) (B\A))]
Misоl 2. Strixlangan sohani A , B , C top`lamlar orqali tasvirlang. Bunda A , B ,
C to`plamlar bitta universumga tegishli.
Bu masalani yechishning ham bir nechta usullari mavjud.
Dostları ilə paylaş: |