Mavzu : Nomanfiy butun sonlar to’plamini aksiomatik asosda qurish: Peano aksiomalari Salimov Farhod Reja: Nomanfiy butun sonlar to’plamini aksiomatik asosda qurish Qoldiqli bo’lish Peano aksiomalari

Mavzu : Nomanfiy butun sonlar to’plamini aksiomatik asosda qurish: Peano aksiomalari Salimov Farhod

Reja: 1. Nomanfiy butun sonlar to’plamini aksiomatik asosda qurish 2.Qoldiqli bo’lish 3.Peano aksiomalari

KIRISH

Respublikamizning kelajakda gullab yashnashi ko’p jihatdan o’sib kelayotgan bilimdon yoshlarga bog’liq. Albatta bunday yoshlarga ta’lim-tarbiya beruvchi o’qituvchi yuqori kasbiy bilim va mahoratga ega bo’lmog’i darkor. Hurmatli yurtboshimiz I.A.Karimov aytganlaridek “Hozirgi zamon kadrlari yuqori kasbiy mahoratga ega bo’libgina qolmay, balki har jihatdan ma’lumotli, o’z sohalarining bilimdoni, tashabbuskor, muammolarni hal qilishga ijodiy yondashadigan kishilar bo’lishi lozim”.

Qoldiqli bo’lish. Ta’rif. Butun nomanfiy a sonni B natural songa qoldiqli bo’lish deb, a=bq+r va 0

Matematikada aksiomatik metod. Piano aksiomalari Boshlangich sinflarda asosan manfiy bo’lmagan butun sonlar bilan ish ko’riladi. Manfiy bo’lmagan butun sonlar to’plamiga ta’rif berganda Piano aksiomalari sistemasiga tayanamiz. Italyan olimi Piano 1889 yilda shu aksiomalarni kashf qildi. Piano natural sonlar uchun aksiomalar sistemasini berdi. Quyida keltirilgan aksiomalar sistemasi Zo uchundir. Piano aksiomalar sistemasi qurilishiga e’tibor beraylik. Bunda:

1.Asosiy tushunchalar “to’plam”, “son”, tushunchalari olinadi. 2.Asosiy munosabat - “ketidan keladi” munosabati tanlanadi. 3.Aksiomalar keltiriladi.(ular to’rtta) Ta’rif: Zo to’plamga manfiy bo’lmagan butun sonlar to’plami deb aytiladi, agar bu to’plamni elementlari orasida “ketidan keladi” munosabati ta’riflangan bo’lib, bu munosabat quyidagi aksiomalarni qanoatlantirsa: I. Hech qanday son ketidan kelmaydigan 0 soni mavjud. II. Har qanday natural sonning ketidan keluvchi bitta va faqat bitta natural son mavjud. III. Har qanday natural son bitta va faqat bitta natural son ketidan keladi. IV. (Induktsiya aksiomasi) Agar qandaydir sonlardan tuzilgan M to’plam 0- sonni o'z ichiga olsa, va bu to’plamda qandaydir a-natural sonni mavjudligidan uning ketidan keluvchi son a’ ham mavjud bo’lsa, bu holda M ~ Zo bo’ladi.

Bunda a’ -a natural son ketidan keluvchi son. Induksiya bu xususiylikdan umumiylikka, konkretlikdan abstraklikka o’tish bosqichidir. “Inductio”- lotincha “yo’l ko’rsatish” ma’nosini bildiradi. Pianoning 4-aksiomasini matematik induksiya printsipiga o’xshatib quyidagicha aytilish mumkin: “Qandaydir R fikr: 1) 0 uchun rost va 2) istalgan x natural son uchun rostligidan, x son ketidan keluvchi x’ uchun ham rostligi kelib chiqsa u holda R fikr barcha natural sonlar uchun rost bo’ladi”. Maktab matematika kursida matematik induktsiya printsipi quyidagicha ko’rib chiqilgan edi:

“Agar A(n) fikr (bunda n natural son) 1) n= 1 uchun rost 2) n=k uchun rostligidan (bunda k - istalgan natural son) navbatdagi n=k+1 son uchun ham rostligi kelib chiqsa u holda A(n) fikr ixtiyoriy natural son n uchun rost bo’ladi” Ikkinchi qismida n=k uchun fikr rost A(n) -deb faraz qilinib n=k +1 uchun fikr A(n+1) - rostligi ko’rsatiladi. Ya’ni A(k)^ A(k+1). Isbotlashning shu ikkala bosqichidan foydalanib, A(n)- fikrning barcha n-natural sonlar uchun rostligi kelib chiqadi.

E’tiboringiz uchun rahmat