|
Z – butun sonlar to‘plami: n, -n va 0 ko‘rinishidagi sonlar, bu yerda
n – natural son.
- rasional sonlar to‘plami: p/q ko‘rinishidagi sonlar, bu yerda p va q - butun sonlar va 0 ≠ q. Rasional sonlar sinfi barcha Z butun sonlar to‘plamini, shu bilan birga o‘z navbatida barcha N natural sonlarni ham o‘z ichiga oladi.
– haqiqiy sonlar to‘plami: ushbu sinf rasional va barcha irrasional
sonlarni o‘z ichiga oladi.
Agar har ikkala to‘plam ham bir xil elementlardan tashkil topgan bo‘lsa, berilgan X va Y to‘plamlar teng deyiladi, aks holda teng emas deyiladi.
Misol uchun:
X 0;0;0;00;0;0;0Y , X0;0;0;00;0;0Y , ya’ni
to‘plamlar elementlari soni teng emas.
Elementlari soni chekli (cheksiz) bo‘lgan to‘plam chekli (cheksiz) to‘plam
deyiladi.
Har bir olingan x X elementga bitta (x)Y element mos kelib, har bir olingan y Y elementga (x) y tenglikni qanoatlantiruvchi x X element mos kelsa, unda berilgan X va Y to‘plamlar o‘zaro bir qiymatli (biyektiv) - moslikka ega deyiladi, Bunday biyektiv moslik : X Y ko‘rinishda ifodalanadi. Umuman olganda “- akslantirish X - to‘plam elementlarini Y - to‘plam elementlariga akslantiradi” iborasi: : X Y ko‘rinishda ifodalanadi.
To‘plamlar bilan bog‘liq bo‘lgan tushunchalar, ta’rif va tasdiqlar juda keng tarqalgan bo‘lib, fan va texnikaning ko‘plab sohalariga tegishli bo‘lgan adabiyotlarda turli shakllarda keltirilganligi uchun, quyida ularni tartib raqamlarisiz keltiriladi.
Agar berilgan X - cheksiz to‘plamning elementlarini nomerlab chiqish mumkin bo‘lsa, ya’ni X - to‘plam bilan N - natural sonlar to‘plami o‘zaro bir qiymatli moslikka ega bo‘lsa, bu cheksiz to‘plam sanoqli deyiladi. Boshqa cheksiz to‘plamlar sanoqsiz deyiladi. Misol uchun, isbot qilish mumkinki, barcha rasional sonlar to‘plami sanoqli, 0;1 - kesmadagi barcha haqiqiy sonlar to‘plami esa sanoqsizdir.
B erilgan chekli to‘plam elementlari soni uning quvvatini aniqlaydi. Elementlari soni n ta bo‘lgan X -to‘plamning quvvati n ga teng bo‘lib, X n, deb ifodalanadi. Sanoqsiz to‘plamlar “kontinium” quvvatga ega deb ham yuritiladi.
To‘plamni aniqlash uning elementlarini bevosita ko‘rsatish bilan amalga oshiriladi. Bundan tashqari, to‘plamni, uning elementlari xususiyatlarini so‘zlar orqali yoritish:
M={iN: I –naturol son bo‘lib, 2 ga qoldiqsiz bo‘linadi}
yoki formulalar bilan ifodalash (rekursiv usul):
M iN :i 2k; k 1,2,...
orqali aniqlash mumkin.
Agarda Y - to‘plamning har bir elementi X - to‘plamning ham elementi bo‘lsa, u holda Y - to‘plam X -to‘plamga qism to‘plam bo‘ladi va Y X ko‘rinishda ifodalanadi.
Agarda Y X bo‘lib, Y X bo‘lsa, u holda Y X ko‘rinishda ifodalanadi va Y -to‘plam X -to‘plamning xos qism to‘plami deyiladi.
Agar Y X va X Y bo‘lsa, u holda Y X bo‘ladi.
Birorta ham elementga ega bo‘lmagan to‘plam bo‘sh to‘plam deyiladi va
belgi bilan ifodalanadi. Bo‘sh to‘plam ixtiyoriy to‘plamga qism to‘plam bo‘ladi va uning quvvati nolga teng, ya’ni 0.
Har qanday X va Y - to‘plamlar juftligi uchun quyidagi amallar aniqlangan:
yig‘indi X Y x: xX ёки xY;
kesishma (ko‘paytma) X Y x: xX ва xY;
ayirma X \Y x: xX ва xY.
Bu amallar quyidagi xossalarga ega:
kommutativlik: X Y Y X va X Y Y X ;
assosiativlik: X YZ X Y Z va X YZ X Y Z;
distributivlik: X Y ZX YX Z va
Y ZX YX Z;
X \YX Y X.
Agar X U bo‘lsa, u holda X - to‘plamning U - to‘plamga nisbatan
to‘ldiruvchisi deb
=U \ X xU : xX U
to‘plamga aytiladi.
Quyidagi munosabatlar o‘rinli:
X Y = X Y i X Y = X Y .
Berilgan X1, X 2 ,, X m - to‘plamlarning Dekart ko‘paytmasi deb, ushbu X X1 X 2 X m =x1,x2 ,,xm x X : xi Xi - to‘plamga aytiladi. Matematik induksiya usulidan foydalanib X1, X 2 ,, X m - to‘plamlar Dekart ko‘paytmasini tashkil etuvchi to‘plamning quvvati ushbu
m
X1 X 2 X m X i
i1
tenglik bilan aniqlanishini isbot qilish mumkin, ya’ni berilgan to‘plamlar Dekart ko‘paytmasini tashkil etuvchi to‘plamning quvvati ko‘paytuvchilar quvvatlarining ko‘paytmasidan iborat.
Berilgan X - to‘plam - munosabat bilan tartiblangan (chiziqli tartiblangan, to‘la tartiblangan) deyiladi, agarda a,b,c X - elementlar uchun quyidagi xossalar bajarilsa:
refleksivlik a a;
antisimmetriklik – agar a b va b a bo‘lsa, u holda a b;
tranzitivlik – agar a b va b c bo‘lsa, u holda a c; 4) chiziqlilik – yoki a b, yoki b a.
Agar a,b,c X - elementlar uchun (1)-(3) xossalar bajarilsa, berilgan X - to‘plam qisman tartiblangan to‘plam deyiladi.
- qisman tartiblangan to‘plamning diagrammasi (Xaas diagrammasi)
deb, shu to‘plam elementlari juftliklarining a,b X yoy (yo‘naltirilgan kesma) bilan bog‘langan ifodasini tekislikdagi tasviriga aytiladi. Graflar ta’rifida, X - qisman tartiblangan to‘plam – bu yo‘nalishga ega bo‘lgan graf bo‘lib, uning uchlari X - to‘plamdan iborat ekanligi, a,b - juftlik faqat va faqat ushbu a b va a b- shartlar bilan birgalikda a va b elementlardan farqli bo‘lgan a c b shartni qanoatlantiruvchi сX element mavjud bo‘lmagandagina yoy tashkil etishi ta’kidlanadi.
- to‘plam berilgan X - qisman tartiblangan to‘plamning qism to‘plami bo‘lib, a X bo‘lsin. U holda a X bo‘lgan element Y - qism to‘plamning yuqori (quyi) chegarasi deyiladi, agarda barcha bY elementlar uchun b a a b shart bajarilsa. Y - to‘plamning yuqori chegarasi a uning aniq yuqori (quyi) chegarasi deyiladi, agarda Y -to‘plamning barcha s-yuqori (quyi) chegaralari uchun a c c a shart bajarilsa, a supY (a inf Y) deb belgilanadi.
Agar a,bX elementlar uchun supa,b X hamda infa,b X bo‘lsa, qisman tartiblangan to‘plam X panjara deyiladi.
To‘plamlarning xossalari bilan bog‘liq bo‘lgan kriptologiya masalalarini tahlil qilishda qo‘llaniladigan tushuncha va tasdiqlarni to‘plamlar nazariyasining amaliy tadbiqlari yoritilgan o‘quv qo‘llanmalaridan topish mumkin.
Do'stlaringiz bilan baham: |
