В.А. Ильин, Э.Г. Позняк - Основы математического анализа (PDF) (1108896), страница 9
Текст из файла (страница 9)
ен а ОТНОСИТСЯным ПОН}СТТШМСН()СК; 2) Hif С. 20).начаЛh-fZfЩEf ..ТВEffЮT,'f!, наПРf<М<Р. МНО>,B'fffeCTf;eHн ,fX чис<л ограfШЧ"cf;epxyВ<Р',:ней г\аfШ М T,'f!Oг" множества можно в :(fть любое Н<ОТРИЦ,)Т<ЛЬН<" в' [нественН<".\iножеСТf;f\ ВС<Х Ц<Лf,'по.ю" f<Т<Лf,НЫХн;, л,2.3"огр,шичено сни:укачестве ни:tкней гр,ши этого множ:естк,''''Жf Ю f;:~ЯТЬ люб, ,е f;ещ' С'! в' fшоенераненстну тn ~тn..ювл, [в' 'ряющ'"1.ECTecTf;eHHo. fЮЗf [<кае! fЮffрОС о сущеСТfЮf;аf fШ '}-шименъшеии:~ верхних гранеП ограниченного сверху множества и наибою,из нилених граней ограниченного СНИЗf множества.weI'lОпределениеНаиhliНЪUЮ.я из вс!2.вер! ?!и:т:ниченного ,веР1;У ht1-tО;JfCе,mеа {х} на.;ыает,.явр х н ег р а н ъu,.я , UhlвОЛОhl х = sup{ х}Наи60лъwа.яхMHO;JfCeCmeauзэтого ht1-tО;JfCеСmеа10oi 'означштв,е1; HU;JfCHU1; гранеи ог{ЮнU·t.енного 'ни.;ут о ч н оuн и ;JfC нэтого ht1-tО;JfCеimеа и обо.;на ·!Летс.я 'UhlвОЛОhl ;f2U1).назыlштсяяОпределениеогра-т о ч н о uмолшосформулироватьиг р а н ъu10= il1f{х} 2).поДРУГОМ;,аименно:Чuсло(ЧUСЛО;f ) на.; .!вштс.яточно'!i в! р!неи (точноuHи;JfCHeu) г{ анъ1О ограни ·t.енного (вер1;У (снuзу) MHO;JfCeCmea {х}.iСЛU вЫnОЛНiН!.! следУ1Оf!/,'U! два требовШJ-Ш.я: 1) nа;JfCдъиi элеht1-tО;JfCiСmеаудовлетворшт неравгнству~ х;?hleHm;f), 2) ffaKOBO jiы ни 6ыоo веще,твенное чuсло х' hlенъwее х(болъшее :.!.:.) нш!iдiтс.я :r;от.я 6ы один ЭЛihlент х ht1-tО;JfCеСmеа{ 1;}, у iовлетвор.я1ОЩUU неравен,тву х1;' (хх').'~ этом опреде.fеfШИ требоваН«е ) означает, что ·fИСЛО Х (Чf<СЛО ;f) (ШЛ(fется однои из верхних (нижних) граней, а требоваН«е 2) ГОfЮрf<'i о TO>'f, '!ТО эта раю, ЯВ.шется НШUhlеН1.шеU наии уменьшена (уве.шчена) быть не может.ю,ственныхMHo",ec'fBaчточисе.HffЬ,существует!ТОчислоне[;се:··:точна(}отрицатеЛf,НЫХверхня(}грань-f;ещечисюnринадле;JfCuт Уffд.инному ht1-tО;JfCiCmey.
Очевидно также, что у множества всех целых полож f'fеш,iгрань :.!.:.1f<сел, 2,. 3, ... существует то'шая·"няякоторая nрuнадле;JfCит уnа.ю.ННОhlУ ht1-tО;JfCеСmеу[. т. е. являетCf} наимеНЪWUhl элементОhl этого множ:ества). Таким образом, точная верхня(} (точна(} ниж:ня(}) грань мнO:tкеcTf;a>.южетf!Ю!ПРfшадле",аТf.,такинеffрЮfадлежагэтомумножеству.1) sup -первые три БУКi'Ы латинского СЛОi,а suрrешuш (<<CYiipeMYM»)которое переводится "ак,<наив"тсшее".2) inf - первы,- три б, ю,ы Лi\тИНСЮiГО слов" iпfiШllШ (<<ию!nrм, М»), Ю\ТОроеiieP'-iЮДИТС}[ кл,к«Нi\Инизшее>,ffCE.'fСущzСТВ()В{Шffе ужеСТfШ Т'f'ШОЙ вzр>~ней (ТОЧНifР,Шff'fеННi;iCf,e\xyШ·i<неЙ гра:ш не является ,fч,ви шым И Tpzбуzт д' ,ка :,iТ,лы тваTe()pZMY.'J-l()fntУю<.• iiii;ж;;сrnно fii7ч;сrnfii ины! 'Ч!!'се/{ сод;рэле.·i7енrn'/),огuшн,!!!t.еиогуще, твует веще, твенное Ч'UСЛОто"lНОЙоi(точно'!! H'UJfCH,а за т е лс т в о.С! еР1;Ц(Ч'UГЛО:.f) }i'omol ое являет-'!!)граны, этого ht'J-lОJfC;Сmва.ы остановимся лишь на ДОf<аза-Te.fЬcTBe существования точноП верхней грани Уfюбого ограничеННОiО cf,epxy MHo'i<ec'fBa, ffбо существоваНifе точной НИ·i<неЙграни у любого ограниченного снизу множества доказываетсясовершенно аналогично.Итю., пусть MHo,i<ecTBo {1;} ограничеfЮ cf,epxy,ет такоечисюBefIIecTBeHHoeст ,а {1;} удо шеТfЮРЯ8fl'vl,.
е. сущеСТf'что ка:tкдып Э.fемент :т: множе[еравенству~ М.J\IOrYTпредставиться два Сfучая:(>.6)10.Среди элементов множества {х} есть 1;отя 6ъt одно неОТРИf щтельное вещественноечисло. )0. Все элементы множества ЯВЛЯЮТСil отрицате.fЬНЫМИвещеСТf,енными ffСЛЮ,1 . Эти СJIУЧaffрасС'.ЮТРffотдеЛf.но.1о. Рассмотрим лишь неотрицате.fЬные веfIIественные числа.входящие в состав множ:естваКалсдое из этих чисел предcTaf,i' в виде беСКОffеЧfЮЙ десяти'ШОЙ дроби и рассмотрим цеJ.лые части этих десятичных дробей. В СИ.fУ.6)все цe.fЫe части не frpевосходят ЧffСfа М, а по.fТО\" найдется на:uБОЛ'i,'шая изr.елых частей.
которую мы обозначим через Ха. Сохраним среДff неотт'" щтеш.нычасть равначисе.MHo",ec'fBa {х} те,которыи отбросим все oCTa.fЬHыe ЧИСfа.це.fаясохраненных чисел рассмотрим первые деСilтичные ЗНaf<И после заПilТОЙ.НаиБОЛЫIIИЙ из этихшаков обозначим через Хl. Сохраним среДff HeoTpff щтельнычисел MHo",ec'fBa {х} те,которыцелаячасть равна Ха а первый десятичныП знак равен Хl и отбросимвсе остальные ЧИСfа. У сохраненных чисел рассмотрим вторыедесяти·шые знаки fюсле ЗafrятоЙ.affбольший ffЗ fТИХ знаКОf,обошачим через ,1'2, Продошсая ана.югичные рассуждения далее,мыfюслеДОf,ател ,fЮо rpеде.ШfдеСЯ'f ffчныеЗНaf<Hef<oTo-рого вещественного числа Х:=Ха·!l Х 2...ДОf<аже\f, 'по это вещеСТf,енноеffСЛО ХЯfшяется то шойверхней гранью множ:ества {х}.этого достаточно дока:ать,IBa утвеРJfCден'Uя: 1) что f<аждый элемент х множества {1;} удовлеТВОРilет неравенству :т: ~что, каково бы ни быю вещественное число :r;' .
мень неенайдеТСil хотя бы один элемент :т:\шожеСТf,а {1;}, дов.fеТВОРЯЮЩffЙ Hepaf,eHCTf'\ х1;'.[Z[ЩEf ..ТВEf[Юr'''[i,лаНО"Та[<Tr; любое1; и! м[ [;nrnjJ!f/u/!rne/!/blrХ,crr!'CTBi'у[овл<творяет неравенству~ Х Пустьлюбое 'J-lеornРU!!ПТJJе/!/Ь'J-lое число, в:.:одяще!,!fжестВf'Предположим что это число :Г нf удовлетворяет HepaBeНf ТВУ:Г ~ Х Тог[!, :Г>Хи= Ха, ... ,такой" что Ха!ра[шеНffЯ Нi!йдется Нfc\!ep 1.:>=1;k-1Xk-1, Х'"Xk.
Но последние соотношени}} противоречат тому, что в качестве ii'k беретс}}н аб о лш и й[lз деся'!,ншых знаКО[l(k - 1)у которых це.!ая часть и первыеСООТ[lетствеНfЮ рав![ы Ха, Хтех 'iлемеНТО[l Х,знаков пос!е заш}той, .... Xk-1'Докюкем теперь утвержде1-tие=. Пусть х'произво!Ьное вещественное число. .. -1;~.
1;~ Х;1) меньшее Х.Тогда в си!у прави!а сра шен !я вещест ,енных '!исе.nномер, = -Ха,,=Xj •Ха\!НожеСТ[lаn.'"7,)Хn ·,мы строи. !и так. что среди элементовнайдется ч[lсю Х ={1;}часть и первые1;.,= Хn-... , Х п -11;1С другой стороны. ЧИС1О[lC!aнайд8'! сятакой, чтоХа.1;Х2 ... 1;n ... ,:tKe"дес}}тичных знаков у которого те[е!аячто и уе..8)i!'i'-l,Сопостав. !}lЯныхИ[lсел!1ОВ СИ.!у правила сравнения ве!!!ествен-'!то Х ![lM.,ким обра:~ом. для с !учая1о1;. Утверж,}е1-tие2)доnшю1-tо. Та-су !!ествование точной верхней гранидоказано.Ана.1ОГИЧНО доказывается су!!!ествование точной верх20.не[lгрarшства [ми.ивовторо\!слу'!ае,1<огдавсеfле.ме1-tтъt.М1-tоже,я,вл,я,lОтс,я, отрицат!л'Ь1-tъt.ми в!щ!ств!1-t1-tыlмии 'Числаэтом с!учае все эле\!енты мно",ес'!ва {Х} мы представимв виде отрицате.!ЬНЫХ бесконечных десятичных дробей.
Обозна'1ерез Ха 1-tаиме1-t'ЬWУlО [lз це!ы'1астейдробей: '1еpe:~ Х1-1-tаИ.ме1-t'Ь '!iИ'Й и! первых десятичных знаков тех из этихДРО{iей, у которыхWИ'Й [fЗBTOP!i'[ела}} часть [)авна Ха: через Х2деСЯ'!fi 'шых знаКО[l тех [lзцела}} часть равна-дробей,1-tаиме1-t'Ь-KOTOP!i'а первый десятичный знак равенТаким путем мы ощеделим отри щтельное вещественное чис !оХ=-Ха,Х;В полноП аналогии со случаем 10 доказывается. что ЧИСТIO}lВля8'! ся то'шой вер ,:ней раны ; i \!НожеСТ[lа {Х}е. удо[шет юря-.Это число х'не огра"ичивая общности, будем с "патr неотри-Ц \Тельным, н[ю е, си бы (>НО бы.ю отрrП.<1те .. 'ЬНЫМ' то НР'iiшенств, ,rД()jiлеТiЮР",,бы неотрrП.<1те .. ,ьныi] "емент,rМН"Ж,'СТВi,{,r}.>х'ffCE.'f\ Тf,етн'ден !ям,.
сф, 'рМУШf1 i1ffJaШTeopfMif 11 ff<аЗiJнанчаян:лаеПриначиная с шкот' 'рог")ТО ЧИСЛff м(н"'"где Xk11ff<if:~a'f ел ,ств' те<>р' мы, Х1 Х2х,н<арассм<>тр' НИffMeCTif.;ifTf,f явс'для fЛУ-2.д'СЯf ffЧНf,"Шif,.м' ,гут <>Кif:~аться равными нулю. т. е.\fеющим ВИ.fo:f. О.в этом с.
fучае остаеТС'l в СИ.fе приведенное выше доказатеъство. но согласно договоренности. ПРИЮIТОЙ в п. 3. при сравнеШfс эле·,fентами \шожеСТf,а 'fИСЛО Х СJI8дует заХ§ 2.,ша'f[,в виде= -Ха, ХАрифметические операции над вещественнымиИСЛiiМИ1.fffCОсновтСiiОЙСТВiiщныОiлре/i,рлеНiiР суммы вещественныхисрл'шсел. Однимиз важнейших вопросов теории вещественных чисел ,ш. f'lетсявопрос об ОnРiделе'Н'U'U оnграций СЛО;)fCi'Н'UЯ 'U Уht'НО;)fCi'Н'U.я эт'U!ч'Uсел'U о свойства1; эт'U1; оnерациЙ.ювимся ffре'f'де [,сегона операi сии с.ю/кения вещественных чисе..Хорошо ИЗf,естно, i<Ю< Сi<ладывают Дf,а f,ещеСfвеfШЫ'fИСла на практике. Для того чтобы сложить два вещественныхffсла а и Ь.за\fеНЯl'"с тре:i\емой cTeffeHbl" ТОЧfЮСТИ раr.иональными чис.fами и за приближенное значение суммы двухданных вещественных чисел берут сумм; \казанных рациона.Ъных чисе..
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
