3-ma’ruza mavzu: Moslik va munosabat. Ikki to’plam elementlari orasidagi moslik. Binar munosabatlar va ularning xossalari

 2-Ta’rif: 
Agar f moslikning aniqlanish sohasi birinchi to’plam bilan ustma-ust tushsa, f
moslik hamma yerda aniqlangan deyiladi
.
3-Ta’rif: 
Agar f-moslikning qiymatlar to’plami ikkinchi to’plam bilan ustma-ust tushsa,
f moslik syur’ektiv deyiladi
.
4-Ta’rif: 
Agar f moslikda birinchi to’plamning har bir elementiga ikkinchi to’plamning
bittadan ortiq bo’lmagan elementi mos kelsa, f moslik funktsio’nal deyiladi.
5-Ta’rif: 
Agar f moslikda ikkinchi to’plamning har bir elementiga birinchi to’plamning
1 tadan ortiq bo’lmagan elementi mos qo’yilgan bo’lsa, f moslik in’ektiv deyiladi.
6-Ta’rif: 
Syur’ektiv va in’ektiv moslik bir so’z bilan biektiv deyiladi.
7-Ta’rif: Hamma yerda aniqlangan funktsio’nal moslik akslantirish deyiladi.
8-Ta’rif: X va Y to’plamlar orasidagi f moslik biektiv akslantirish bo’lsa, X va Y
to’plamlar orasida o’zaro bir qiymatli moslik o’rnatilgan deyiladi. Masalan: X={a; b; c;
d;}; va Y={x; y; z; t}; to’plamlar orasidagi moslik G
f
={(a; x),(b; y),(c; z),(d; t)}
bo’lsa, f moslik X va Y to’plamlari orasidagi o’zaro bir qiymatli moslik bo’ladi.
9-ta’rif. X va Y to’plamlar orasida o’zaro bir qiymatli moslik o’rnatilgan bo’lsa, bu
to’plamlar teng quvvatli yoki ekvivalent deyiladi va X
Y ko’rinishida yoziladi. Bu
holda n(X) = n(Y) bo’ladi.
10-Ta’rif: Barcha natural sonlar to’plami N ga teng quvvatli to’plamlar sanoqli to’plam
deyilad
Binar munosabatlar va ularning xossalari
 
Agar moslik bitta X to’plamning elementlari orasida berilgan bo’lsa, bunday
moslikni binar munosabat deyiladi. O’z – o’zidan ko’rinib turibdiki binar munosabatni
qanoatlantiruvchi juftliklar to’plami X to’plamning o’z-o’ziga dekart ko’paytmasining
qism to’plami bo’ladi. R 

X 

X Binar munosabat R, T, Q, G, K, M… kabi harflar

---