В.А. Ильин, Э.Г. Позняк - Основы математического анализа (DJVU) (1108889), страница 55
Текст из файла (страница 55)
8.5. 2. Прохождение непрерывной функции через любое промежуточное значение. Теорема Ь'.6. Пттсттсь функ!сил «(са) нетсрсрывна, на сегменпге [в„Ь], аринслс «(сг) = А, «(Ь) = В. Пусть далее С любое "спело, эаклюжюсое между А и В. Тогди на, сегметсте [сс,. 6] !сойдется псовка б такал, что «(() =- С. Д о к а з а т о . ! ь с т в о.
Следует расс мотреть лишь с !учай, когда А ф- В и когда С пе совпадает ни с одним из чисел А и В. Пусть ради определенности А < В, А < С < В. Расюмотрим фупкцгпо ср(са) = «(к) — С. Эта функция непрерывна на сегменте [а.Ь] (как разность непрерывных функций) и принимает на концах этого сегмента значения разных знаков ссэ(а) = «(сс) — С = А — С < О, ссэ(6) = «(Ь) — С =  — С > О. По теореме 8.5 внутри сегмента [а, 6] найдется точка ~ такая, что ссэ(ь) = «(Π— С = О. Стало быть «(с) = С Теорема чоююана й 5.
Ограниченность функции, непрерывной на сегменте Теорема 8.7 (первая таеорема Вейерштпрасса). Есл!с с«сункнаа «(к) непрерьсвна ни сегменте [и, 6], исо !сна огранссчгна на этом сегментпе. Д о к а з а т е л ь с 1 в о. Докажем, сто функция «(с) ограничена сверку па сегменте [и,Ь] (ограниченность снизу докжэывйстс71 совершенно йнйлО! инно). Предположим противное., т. с. дону!*.тим, что «(.г) не является ограни!синай сверху на с!имен ге [О„Ь] Тогда для лнсбого натурального числа тс, (тг = 1, 27... ) найдется хотя бы одна точка к„тгэ сегьичгга [а, 6] такая, тто «(к„) > п, (иначе «(к) оыла бы ограничена сверху на сеть!енте [о, 6]).
Таким ооразом, существует последовательность значений к„ из отмен!й [О,Ь] тйкйя, что соотвсстству!Ощйя пос лстдогйтссльность зна сепий функции 1«(к„)) является бесконечно большой. В силу теоремы Бсслысано Веш;рштрасса (см. теорему 3.1? из и.
4 З 4 гл. 3) из последовательности (к„) молсно выдсглить под- ПОС' 1ЕДОВНТС'ЛЬНОС'Тап СХОДЯП1?1ОСЯ К ТО 1КС1 ь, П1Э!П171777!Ссжтгнсгг!й!. В 257 точнык и лни еь>н>сци>е силу зймечйнпя 2 к укйзйннОЙ т<Ореме, <(> мензу [се, Ь). Ооознйчим эту подпо<|ледовательность символом (хь„) (и, =- 1, '2,... ). В силу непрерывности функции Е(х) в точке ~ соответству|о|цая под»О(:7(.;|овйт<,лы|ость энй п<ний функщп| (Е (хь„) ) обязйнй сходиться к е'(~), 11о это невозможно, ибо подпо<шедовательность (~(хгь)), бУДУчи выДелена из бесконе |но болыпой по< |еДоват(лы1Осги ( Г(хс>)), сама яВ>1я(>гся б(эск01к> шо бОльшОЙ (см.
п. <) 4 гл. 3). Полученное противоречие доказывает теорему. 3 а и е ч а н и е. Для ипзервала (или полусс|гмснтй) утверждение, аналогичное теореме 8.7, уже несправедливо, т. е. Из непрерывное>и функции нй иигерва:и> (или полус<шменте) уже НЕ ВЫтЕКаст ОГРанн ЕЕНПОСтЬ ЭтОй ФУНКЦИИ На УКсшаННОМ МНО- жестве, Рассмотрим, например, функцию Е (х) = 1>>х> на интервале (О, 1) (или на полусегменте (О, 1)).
Эта функция непрерывна на указанном интервале (или полусегмснте). но нс является нй н(м о>рйни иннОЙ, ибо с!щ<с|ву(т по(|7<довйг<>.|впасть то нк хн = 1/и (н, = 2,3,...), принадлежащих указанному интервалу (или пол!а:( гми1ту ), >акая, 1то соотВ(1 ГстВТ 1О!цая п<хсп ЛОВйт(ц!венк:ть знач(>ни>> фуе(к1(ии (У(>хв)) = (и) яв.тя<>тсл боскОне 1е10 больпп>й. 'й 6. Точные грани функции и их достижение функцией, непрерывной на сегменте 1. Понятие точной верхней и точной нижней граней функции на данном множестве. Рассмотрим функцию 1(:г), <праннченную на данном множестве (х) сверху (снизу) ). Рспольз>:я для мно>к(>стай всех зий 1('.Иий этОЙ фенк|(ип вв(.денное В и.,> ~ 1 гл.
2 понятие тощой Верхней (ТО|«ой ни>ке|еЙ) грйпи, мы придем к <шедующему <шределеняю. Число М (">осло т.) назывиетсл, гп, о ч, и о й в с р х н с й (т, о ч и, и й и и ж н е й) г р а н ь ю <у> д н к 1> и и 1(х) на л(ноз>сесп>вв (:г). если выполнены слс>дукт(ц<>е два требования: 1) для казкдого зничения х из множесп>ви (х) сприведлпво неравенство у(<х) ( М (1(<х) ) >и); 2) каково бы нп было положип>вльное числ<> г. н<ийдвпхя хоп>я бы. одно значение х из множества (х), длл, которого справедливо нсрс>иенс>пво 1(;1>) ) М вЂ” г (1(х) С >п + е). В этом определении требование 1) утвер>к;(ает, что число М (чис:ю т) яв>|яется одной из верхних (нижних) граней функции Е(з>) пй з>1>О>асс:.~в<> (з>), а трсбовйняе 2) гон<>рит о том.
что э|й грань является нал>мень|ней (нииболььлей) н уменьшена (увели- Определение функции, ограниченной на данном множестве сверху (снизу), было дано в начале г 2 этой главы. В Ндк Ипьвв, тьг. Познав, часть Е 258 ОснОВные теОРемы О нГП1'е1'ыВных Функциях Гл. 8 чена) быть не может. Для обозначения точной верхней и точной нижней граней функции /'(х) на множестве (х) употреб;1яют следующую символику: ЛХ = впр(/(х)), т = ш1[/(х)). (я) Из доказанной в п.
5 8 1 гл. 2 теоремы '2.1 непосредственно вытекает следугощее утверждение: ес,ли г/зуггкция /(х) ограничено гю мнооюесгпве (х) сверху (снизу)„то у функцгги /(х) существует на эп1олл мнвггсеспгвв точная верхняя, (тонная, нивгсняя) ярань. Естественно, возннкаег вопрос. является, ли тонная, верхняя, (гнонная, нггжняя) еуэань фуннцигг двспгигсимо11, т. е. сущег:твует ли среди точек множества (х) такая точках, значение функции в которой равно этой грани.
Следующий пример показывает, что точная верхняя и точная нижняя грани, вооби1е говоря„не являгогг1ся, досгггижимыми. Расг:мотрим на г:егменте [О, и/2) фунгигию ) вшх при 0<х<п/2, /(х) = ' 1/2 при х = 0 и х — т/2. Эта функция ограничена на сегменте [0,п/2[ и сверху и снизу и имеет на этом сег менте то гную верхнюю 1рань ЛХ = 1 и точную нижнюю грань т = О. Однако ни в одной точке сегмента [О, и/2) эта функция не приниъгает значений, равных этим граням (рис.
8.6). Таким образом, рассмотренная нами функпия не имеет на сегменте [О, и/2) ни максимального, ни минималь- 0 ного зна гений. Обратим внимание на то, что рассмотренная нами функция не является непрерывной на сегменте [О.п/2). Это обстоятельство не является случайным, ибо, как мы докажем в следующем пункте, функция, непрерывная на сегменте, обязательно достигает в некоторых точках этого сегмента своих то шых В(грхею1э и нижн(',Й граней. 2. Достижение функцией, непрерывной на сегменте, своих точных граней.
Пусть функция /(х) непрерывна на некотором сегменте [а, 5 [. Тогда в силу теоремы 8.7 эта функция ограни пгна на этом сегменте и сверху, и снизу. Стало быль, в силу утверждения, сформу:шрованного в предыдущем пункте. у этой функции гуществуют на сегменте [ги5] точная верхгпи грань М и точная нижняя грань гп. Докажеы, что эти грани достижимы.
точнын пани ех нкции 259 Теорема 8.8 (вторая тпеорема Вейер<игпрасса). Если функции Г(сс) непрерыв|са на сегменте [а, 6], п<о она (!Остигае)п на эпсом сегмент|с своих точных верхней и нижней граней' (т. е. на с)егменте [а, 6] найдутся такие точки:|:1 и хг, что с(х() = М, с(ха) = т). Д О к й .1 й т е л ь с т в О.
Докажем, ч! <) <])1 нкцнЯ 1 (:г) дОстиГйет нй Г(|Гм<а1те [а, 6] сво()Й точнОЙ В('.рхн(',Й Грани М (достиж()е1ие ГО'|нОЙ нижн(!Й Грани ДОказыва(гт('.я аналОГично). Предпо.п)жим про|нанос, т. е. предположим, что функция 1(х) не принимает пи в од!И)й точке сегмента [а,б] значения, равного М. Тогда для всех точек с()гмента [а,,б] справедливо нерва()Яство Г'(х) < М, и мы меж()м рйссмотреть нй <(!Гмент(.
[а, 1)] всюду полОжительну1О (]))нкци1О 1 .7-7(. ) Тйк кйк знамена!ель М вЂ” 7" (х) н(. Обрйшаетсе| в нуль и непрерывен на сегменте [а, 6], то по теореме 4.2 функция Г(х) также непрерывна на сета|сите [а, 6]. В таком случае, сся)ласно теореме 8.7, функция Е(х) ограничена на сегменте [а, 6]., т. е. найдется |юложительное число В такое, что для всех:1: из сегмента [и, 6] 1 Е(х) — < В. По<|леднев неравенство (с учетом того, что М вЂ” ! (:г) ) 0) можно переписать в виде ф(х) < М вЂ” —. и Паписанное соотношение, справедливое (|ля всех точек х из сегментй [<с,б], противор<гчит том1, по |игле М явля('гся ТО|НОЙ верхней |ранью (наимень<аей ив всех верхних граней) функции Г(:г) на сегменте [а, 6].
Полученное противоречие доказывает теорекгз 3 а м е ч а н и е 1. Для интервала и полусегь(ен)а утверждение, аналогичное теореме 8.8, не имеет места. В самом деле, в замечании к теореме 8.7 (см. З 5) мы привели пример <[)ункции, ншй)<)рывнОЙ нй инв ерванде (|юлус(1| м<|нт<!) и не яв,|яю|ц(ейп:я нй нем огрйпи.Ею|НОЙ (у тйкой| ц)уескцни точнйя верхняя (и„!и ниже1яя) Грие!ь н<г толькО н() дОстиГается, нО даж(1 Е1Е СУЩЕСТВУЕТ! ) . 3 а м е ч а н и е 2. По(сле того кйк доказано, что функция 1 (х), непрерывная на сегменте, дос) игает на этом се|мен| с своих точных верхней и нижней грйн<а|, мы можем нйзвйть точную всрхнкио грань максимальным хначением, й точную нижнюю грань лс(и<имад((м(ьсм значе|иссм функции с(х) на этой| с:егмепте и сформулировать теорему 8.8 в виде; )сепрерьсв)с<!я на сегмснтс 260 ОснОВные теОРемы О нГП1'ерыВных ФтнкЦН11х Гл.
8 функция имеспс иа этом с(гменпссс макяпсмальнаг. (л минимальное значенил ) 3 а, вс (. с а н и (с 3. К пк"с) д)зугих спейс~~ ф) нкс(ии, н(лп)за)зывной на с(сгасент(., относится свойство., называ((мое р(л(с(с(смерной непрерывностью. Это свойство мы изучим в () 4 гл. 10. Здесь ъсы лишь отметим, что весь материал пп. 1 и 2 8 4 гл. 10 может быть прочитан непосредственно в(ьсед за материалом наст(нищего параграфа.
й 7. Возрастание (убывание) функции в точке. Локальный максимум (минимум) 1. Возрастание (убывание) функции в точке. Будем предполагать, что функция у(х) определена всюду в некоторой окрес:тности точки с. Определение. Товорятт что функция )" ((л) в о з р а с т, ае т (у б ы в а е пс) в т о с к е с, если найдется и(акая окреспсносгпь (почки, с, в пределах которой 1(х) > 1(с) при х > с и 1(х) < 1(с) при лс < с (1(х) < < 1(с) 'айпи .'1: ) с 7( 1(.'Г) ) Г(с) у слрс(л х < с) .
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
