Mustaqil ish mavzu : Natural sonlar to‘plamiga akslantirish prinsipi

tartiblangan juftlik tushunchasini o'rganamiz
Munosabat tushunchasiga aniqlik kiritish uchun tartiblangan juftlik tushunchasini o'rganamiz. Ma’lum tartibda joylashgan ikki predmetdan tuzilga kortej tartiblangan juftlik deb ataladi.
Ixtiyoriy x va у predmetlar uchun < x , y > kabi belgilanadigan muayyan obyekt mavjud bo'lib, har bir x va у predmetlarga yagona tartiblangan < x , y > juftlik mos keladi ( < x , y > yozuv “ x va у ning tartiblangan juftligi” deb o'qiladi)
Agar ikkita < x , y > va < u, v > tartiblangan juftlik uchun x = и va
у = v bo'lsa, u holda < x , y >=< u , v > bo'ladi. < x , y > tartiblangan juftlik < x , y > - {{x},{x,y}} ko'rinishdagi to'plamdir, ya’ni u shunday ikki elementli to'plamki, uning bir elementi {x, y} tartibsiz juftlikdan iborat, boshqa {x} elementi esa, shu tartibsiz juftlikning qaysi hadi birinchi hisoblanishi kerakligini ko'rsatadi. Tartiblangan juftliklardan birgalikda tartiblangan juftliklar to‘plamini tashkil etishadi.
< x, v > tartiblangan juftlikdagi x uning birinchi koordinatasi, у esa ikkinchi koordinatasi deb ataladi. Tartiblangan juftliklar atamasi asosida tartiblangan n -liklarni aniqlash mumkin. x, v va z predmetlarning tartiblangan uchligi quyidagi tartiblangan juftliklar shaklida aniqianadi: « x , y >, z > . Xuddi shu kabi x,,x2,...,xn predmetlarning tartiblangan « -ligi < x ,,x 2,...,x„ > , ta’rifga asosan, « x, ,x 2,...,x„_, >,x„ > tarzda aniqianadi. Matematik mantiqda n –ar munosabat tartiblangan n -liklar to'plami sifatida aniqianadi. Ba’zan n -ar munosabat iborasi o'rniga n o'rinli munosabat iborasi qo'llaniladi. Agar munosabat bir o'rinli bo'lsa, u holda u unar munosabat, ikki o'rinli bo'lganda esa binar munosabat deb
ataladi. Unar munosabat xossa (xususiyat) deb ham yuritiladi. Adabiyotda, ko'pincha, 3-ar munosabat ternar munosabat deb nomlanadi.

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

Berilgan shartlarda tenglama yechimining mavjudligi va yagonaligi bilan bog‘liq masalalarni mos metrik fazolardagi biror akslantirishning qo‘zg‘almas nuqtasi mavjudligi va yagonaligi haqidagi masala ko‘rinishida ifodalash mumkin. Qo‘zg‘almas nuqta mavjudligi va yagonaligi belgilari ichida eng sodda va shu bilan birga juda muhim belgi – bu «Qisqartirib akslantirish prinsipi» deb nomlanuvchi belgidir.

X metrik fazo va uni o‘zini-o‘ziga akslantiruvchi A son mavjud bo‘lib,0;1 akslantirish berilgan bo‘lsin. Agar shunday nuqtalar uchun  barcha x y X ,     Ax Ay x y , ,    (1) tengsizlik bajarilsa, A akslantirish qisqartirib akslantirish deb ataladi. Har bir qisqartirib akslantirish uzluksizdir. Haqiqatan ham, agar bo‘lgani uchun    Ax Ax x x n n , ,    bo‘lsa, u holda   , 0     x x x x n n . Ax Ax n nuqta mavjud bo‘lib akslantirish uchun shunday x X Agar A X X : tenglik bajarilsa, x nuqta A akslantirishning qo‘zg‘almas nuqtasiAx x deyiladi.

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