Nomanfiy butun sonlar yigindisi va ko’paytmasi

V: -Nomanfiy butun a son uchun a+0=a (0- Zo da qo’shishga nisbatan neytral element)

VI: Ixtiyoriy a, в nomanfiy butun sonlar uchun a+в`=(a+в)`

Misol: a=5, в=2 bo’lsin. 6-aksioma to’g’riligini tekshiramiz.

а+в`=5+3=8 , (a+в)`=(5+2)=8

1-teorema: Natural sonlarni qo’shish amali mavjud va u amal yagonadir.

Istalgan natural sonlarni doim qo’shish mumkin.

Z₀ da qo’shishning xossalari:

1-xossa: Manfiy bo’lmagan butun sonlar to’plami nolni yutish xossasiga ega.

(а) [0+a=a]

2-xossa: Manfiy bo’lmagan butun sonlarni qo’shish amali o'rin almashtirish

(kommutativlik) xossasiga ega. Ya'ni (а,в) [ а+в=в+а]

Misol: 51+49=49+51=100

3- xossa: Nomanfiy butun sonlarni qo’shish amali guruhlash (assotsiativlik) xossasiga ega, ya'ni (а, в, с Z₀ ) [(а+в)+с=а+(в+с)]

VII: (аZ₀) a0=0

VIII: (а, вZ₀) ав`=ав+а

2-teorema. Natural sonlarni ko’paytirish amali mavjud va u yagona.

Yuqoridagi ta’rif va teoremalardan ko’paytirish amalining qator xossalari kelib chiqadi.

1⁰. 1·a=a . Har qanday sonni birga ko’paytirsak, shu sonning o’zi hosil bo’ladi.

2⁰. Ko’paytirish amali kommutativlik xossasiga ega: (а, вZ₀) а·в=в·a.

Misol: 2·3=3·2

3⁰. Ko’paytirish amali assotsiativlik (guruhlash)xossasiga ega.

(а, в, с  N₀)[(ав)с=а(вс)]

4⁰. Nomanfiy natural sonlarni ko’paytirish amali qo’shishga nisbatan tarqatish xossasiga ega. a· (в+с)= a·в+ a·с .

Misol: 2·17=2∙(10+7)=2·10+2·7= 20+14=34

( а,в,с Z₀) [а (в+c)=ав+ас]. Bu xossaning isbotini keltiraylik.

Isbot: a,в- ixtiyoriy natural sonlar. M-to’plam shunday natural sonlar to’plamiki, bu to’plam elementlari uchun teorema o’rinli bo’lsin. Agar с=0 bo’lsa,

1. 
   а(в+0)=ав. aв+а0=ав+0=ав 0М.
   
2. 
   сМ uchun: а(в+с)= ав+ас bo’lsin.
   
3. 
   а (в+с`)=а(в+с)`=а(в+с)+а=ав+ас+а= ав+ас c`М.
   

Ta’rif: Agar a va в natural sonlari uchun, shunday noldan farqli k soni mavjud bo’lsaki, a=в+k tenglik bajarilsa u holda a son в sondan katta, yoki в son a sondan kichik deb aytiladi, va u a>в yoki в

munosabat o’rinli bo’ladi.

Haqiqatdan ham: а’=а+1 х’=х+1 (natijaga asosan) а’>а х’>х (ta’rifga asosan).

1-xossa: Manfiy bo’lmagan butun sonlar to’plamida quyidagi munosabat o’rinli:

0<1<2<3<4<5…1<…

2-teorema: Natural sonlar qatorida quyidagi munosabatlardan faqat va faqat bittasi bajariladi.