O’zbekiston respublikasi oliy va o’rta maxsus ta’limi vazirligi abdulla qodiriy nomidagi jizzax davlat pedagogika instituti sirtqi (maxsus sirtqi) bo’lim

I I Bob. Sonli to’plamlar
2.1 Sonli to’plamning aniq chegarasi
Agar shunday haqiqiy son mavjud bo`lsaki, to`plamning barcha elementlari haqiqiy sondan katta bo`lmasa, ya`ni
(1.4)
bo`lsa, u holda to`plam yuqoridan chegaralangan deb ataladi.
Bu ta`rifni qanoatlantiruvchi barcha haqiqiy sonlarga, to`plamning yuqori chegarasi deb ataladi.
Xuddi shunday to`plamning quyi chegarasi ta`riflanadi.
Agar to`plam ham quyidan, ham yuqoridan chegaralangan bo`lsa, ya`ni bo`lsa, u holda to`plam chegaralangan deb ataladi.<sup>13</sup>
Yuqoridan chegaralangan to`plamning yuqori chegaralaridan eng kichigi uning aniq yuqori chegarasi deb ataladi va kabi belgilanadi, quyidan chegaralangan to`plamning quyi chegaralaridan eng kattasi uning aniq quyi chegarasi deb ataladi va kabi belgilanadi.
Ravshanki,


o`rinli.
1-misol. to`plamning aniq quyi va aniq yuqori chegaralarini toping.
Yechish. bo`lgani uchun bo`lganda ga ega bo`lamiz va yetarlicha katta larda 1 ni, bo`lganda 0 ni olamiz. bo`lganda ga ega bo`lamiz va yetarlicha katta larda 1 ni, bo`lganda ni hosil qilamiz. Shunday qilib, quyi chegara 0, yuqori chegara .
1-teorema. Agar bo`sh bo`lmagan to`plam yuqoridan chegaralangan bo`lsa, u holda bu to`plamning aniq yuqori chegarasi, ya`ni mavjud bo`ladi; agar bo`sh bo`lmagan to`plam quyidan chegaralangan bo`lsa, u holda bu to`plamning aniq quyi chegarasi, ya`ni mavjud bo`ladi.
Isbot. Aniq yuqori chegaraning mavjudligini isbotlash bilan chegaralanamiz. Teorema shartiga ko`ra bo`sh bo`lmagan to`plam , ya`ni o`zida kamida bitta elementni saqlaydi. Quyidagi ikki hol bo`lishi mumkin:
1). to`plam o`zida kamida bitta manfiy bo`lmagan elementni saqlaydi. Faraz qilaylik to`plamning barcha elementlari manfiy bo`lmasin, teorema shartiga ko`ra (1.4) shart bajariladi. Faraz qilaylik bo`lsin, u holda butun manfiy bo`lmagan son bo`lib, , bu yerda . Demak (1.5)
Agar to`plamda ixtiyoriy element bo`lsa, u holda (1.5) ga asosan bo`ladi. to`plam elementlarining butun qismlari to`plami ni qaraylik. Bu to`plam chekli bo`sh bo`lmagan butun manfiymas sonlar to`plami bo`lgani uchun bu to`plamda eng katta element mavjud bo`ladi. Quyidagicha belgilash olamiz:

Bu to`plam to`plamning shunday elementlaridan tuzilganki, ularning butun qismlari ga teng; to`plam bo`she mas va .
to`plam to`plam elementlarining birinchi o`nli belgilaridan tuzilgan bo`lsin. Bu to`plam chekli va bo`sh bo`lmaganligi sababli to`plam elementlarining birinchi o`nli belgilari ichidan eng kattasi mavjud bo`ladi.
bo`lsin. U holda . Bu to`plam chekli va bo`sh bo`lmaganligi sababli to`plam elementlarining ikkinchi o`nli belgilari ichidan eng kattasi mavjud bo`ladi,
.
Bu jarayonni davom ettirsak, bo`sh bo`lmagan ketma-ketlikni va o`nli belgilarning shunday ketma-ketligini hosil qilamizki,
.