Reja: To’plamlarning dekart ko’paytmasi

Dekart ko’paytma. Binar munosabatlar. Funksiya
Reja:

1. 
   To’plamlarning dekart ko’paytmasi.
   
2. 
   Binar munosabatlar.
   
3. 
   Funksiya (akslantirish) haqida tushuncha.
   

Ta’rtif: Bo’sh bo’lmagan A va B to’plamlarda A to’plam elementlarini birinchi, B to’plam elementlarini ikkinchi qilib tuzilgan barcha juftliklar to’plamiga A va B to’plamlarning dekart (to’g’ri) ko’paytmasi deyiladi va u AxB ko’rinishda belgilanadi.
Ta’rifga ko’ra AxB={(x;y)/x A, y B} bo’ladi. Tartiblangan (x; y) juftlikni uzunligi teng ikkiga bo’lgan kortej ham deyiladi. Uzunligi n ga teng bo’lgan kortej deganda tartiblangan (a₁, a₂,..., a_n) belginin tushinamiz. Agar ikkita kortejning uzunliklari va mos komponentalari o’zaro teng bo’lsa, u holda bu kortejlani teng deyiladi.
Misol. A={1, 2, 3}, B={4, 5} bo’lsa u holda AxB={(1;4), (1;5), (2;4), (2;5), (3;4), (3;5)} bo’ladi.
Agar A to’plamda m ta B to’plamda n ta element bo’lsa, u holda AxB to’g’ri ko’paytmada mn ta element bo’ladi.
Ta’rif: Har qanday A₁, A₂, ... A_n to’plamlar berilgan bo’lsa, u holda A₁xA₂x…xA_n dekart ko’paytmaning ixtiyoriy W qism to’plami shu to’plamlar elementlari orasida aniqlangan n o’rinli moslik, n ga esa shu W moslikning rangi deyiladi.
Xususiy holda A₁=A₂=…=A_n=A bo’lsa, u holda W moslik A to’plamdan aniqlangan munosabat deb yuritiladi.
bo’lib Aⁿ={(x₁, x₂,…, x_n)|x_iA (i= )} bo’ladi.

Dekart ko’paytma kommutativ emas.
Ta’rif: AxB dekart ko’paytmaning ixtiyoriy  qism to’plamiga A va B to’plam elementlari orasida aniqlngan binar (ikki o’rinli) munosabat deyiladi.
Agar aA, bВ bo’lib, (a; b) bo’lsa, u holda a element  munosabat yordamida b element bilan bog’langan deyiladi yoki  munosabat a va b elementlar uchun o’rinli deb yuritiladi va uni ab shaklda yoziladi. Mosliklarni , R, S, T… harflar orqali belgilanadi.
ab da  o’rnida =, //, ,   , … munosabatlar kelishi mumkin.
Misol. Ikkita a va b natural sonlarning eng katta umumiy bo’luvchisini topish uch o’rinli (ternar) munosabat bo’ladi.
Quyida binar munosabat turlarini ko’raylik: