Непрерывность функции на интервале и на отрезке

Рефераты по математике » Непрерывность функции на интервале и на отрезке

Непрерывность функции на интервале и на отрезке

Определение 3.3 Пусть - некоторая функция, - её область определения и - некоторый (открытый) интервал (может быть, с и/или )⁷. Назовём функцию непрерывной на интервале если непрерывна в любой точке , то есть для любого существует $limlimits_{xto x_0}f(x)=f(x_0)$ (в сокращённой записи: $forall x_0in(a;b) exists limlimits_{xto x_0}f(x)=f(x_0)).$

Пусть теперь - (замкнутый) отрезок в . Назовём функцию непрерывной на отрезке , если непрерывна на интервале , непрерывна справа в точке и непрерывна слева в точке , то есть
$1)quadforall x_0in(a;b) exists limlimits_{xto x_0}f(x)=f(x_0);$

$2)quadexists limlimits_{xto a+}f(x)=f(a);$ $3)quadexists limlimits_{xto b-}f(x)=f(b).$

Теорема 3.5 Пусть и - функции и - интервал или отрезок, лежащий в . Пусть и непрерывны на . Тогда функции , , непpеpывны на . Если вдобавок пpи всех , то функция $h_4(x)=dfrac{f(x)}{g(x)}$ также непpеpывна на .

Из этой теоpемы вытекает следующее утвеpждение, точно так же, как из теоpемы 3.1 - пpедложение 3.3:

Предложение 3.4 Множество $mathcal{C}_I$ всех функций, непpеpывных на интеpвале или отpезке - это линейное пpостpанство:

$displaystyle f_1(x),f_2(x)inmathcal{C}_I;C_1,C_2=mathrm{const}quadLongrightarrow quadC_1f_1(x)+C_2f_2(x)inmathcal{C}_I.$

Более сложное свойство непрерывной функции выражает следующая теорема.

Теорема 3.6 (о корне непрерывной функции) Пусть функция непрерывна на отрезке , причём и - числа разных знаков. (Будем для определённости считать, что , а .) Тогда существует хотя бы одно такое значение , что (то есть существует хотя бы один корень уравнения ).

Доказательство. Рассмотрим середину отрезка $c_1=dfrac{a+b}{2}$ . Тогда либо ${f(c_1)=0}$ , либо , либо . В первом случае корень найден: это . В остальных двух случаях рассмотрим ту часть отрезка, на концах которой функция принимает значения разных знаков: в случае или в случае . Выбранную половину отрезка обозначим через и применим к ней ту же процедуру: разделим на две половины и , где $c_2=dfrac{a_1+b_1}{2}$ , и найдём . В случае корень найден; в случае рассматриваем далее отрезок в случае - отрезок и т.д.

Рис.3.16. Последовательные деления отрезка пополам

Получаем, что либо на некотором шаге будет найден корень , либо будет построена система вложенных отрезков

в которой каждый следующий отрезок вдвое короче предыдущего. Последовательность - неубывающая и ограниченная сверху (например, числом ); следовательно (по теореме 2.13), она имеет предел $limlimits_{itoinfty}a_i=a'$ . Последовательность ${b_0=b,b_1,b_2,dots,b_i,dots}$ - невозрастающая и ограниченная снизу (например, числом); значит, существует предел $limlimits_{itoinfty}b_i=b'$ . Поскольку длины отрезков образуют убывающую геометрическую прогрессию (со знаменателем $frac{1}{2}$ ), то они стремятся к 0, и $limlimits_{itoinfty}a_i=limlimits_{itoinfty}b_i$ , то есть . Положим, теперь . Тогда

$displaystyle lim_{itoinfty}f(a_i)=f(a')=f(x_0)$ и $displaystyle lim_{itoinfty}f(b_i)=f(b')=f(x_0),$

поскольку функция непрерывна. Однако, по построению последовательностей ${a_i}$ и ${b_i}$ , и , так что, по теореме о переходе к пределу в неравенстве (теорема 2.7), $limlimits_{itoinfty}f(a_i)leqslant 0$ и $limlimits_{itoinfty}f(b_i)geqslant 0$ , то есть и . Значит, , и - корень уравнения .

Пример 3.14 Рассмотрим функцию на отрезке $[0;frac{pi}{2}]$ . Поскольку и $f(frac{pi}{2})=-frac{pi}{2}$ - числа разных знаков, то функция обращается в 0 в некоторой точке интервала $(0;frac{pi}{2})$ . Это означает, что уравнение имеет корень $x_0in(0;frac{pi}{2})$ .

Рис.3.17. Графическое представление корня уравнения

Доказанная теорема фактически даёт нам способ нахождения корня , хотя бы приближённого, с любой заданной наперёд степенью точности. Это- метод деления отрезка пополам, описанный при доказательстве теоремы. Более подробно с этим и другими, более эффективными, способами приближённого нахождения корня мы познакомимся ниже, после того, как изучим понятие и свойства производной.

Заметим, что теорема не утверждает, что если её условия выполнены, то корень - единственный. Как показывает следующий рисунок, корней может быть и больше одного (на рисунке их 3).

Рис.3.18. Несколько корней функции, принимающей значения разных знаков в концах отрезка

Однако, если функция монотонно возрастает или монотонно убывает на отрезке, в концах которого принимает значения разных знаков, то корень- единственный, так как строго монотонная функция каждое своё значение принимает ровно в одной точке, в том числе и значение 0.

Рис.3.19.Монотонная функция не может иметь более одного корня

Непосредственным следствием теоремы о корне непрерывной функции является следующая теорема, которая и сама по себе имеет очень важное значение в математическом анализе.

Теорема 3.7 (о промежуточном значении непрерывной функции) Пусть функция непрерывна на отрезке и (будем для определённости считать, что ). Пусть - некоторое число, лежащее между и . Тогда существует такая точка , что .

Рис.3.20.Непрерывная функция принимает любое промежуточное значение

Доказательство. Рассмотрим вспомогательную функцию , где . Тогда и . Функция , очевидно, непрерывна, и по предыдущей теореме существует такая точка , что . Но это равенство означает, что .

Заметим, что если функция не является непрерывной, то она может принимать не все промежуточные значения. Например, функция Хевисайда (см. пример 3.13) принимает значения , , но нигде, в том числе и на интервале , не принимает, скажем, промежуточного значения $frac{1}{2}$ . Дело в том, что функция Хевисайда имеет разрыв в точке , лежащей как раз в интервале .

Для дальнейшего изучения свойств функций, непрерывных на отрезке, нам понадобится следующее тонкое свойство системы вещественных чисел (мы уже упоминали его в главе 2 в связи с теоремой о пределе монотонно возрастающей ограниченной функции): для любого ограниченного снизу множества (то есть такого, что при всех и некотором ; число называется нижней гранью множества ) имеется точная нижняя грань , то есть наибольшее из чисел , таких что при всех Аналогично, если множество ограничено сверху, то оно имеет точную верхнюю грань : это наименьшая из верхних граней (для которых при всех ).

Рис.3.21.Нижняя и верхняя грани ограниченного множества

Если , то существует невозрастающая последовательность точек ${x_1geqslant x_2geqslant dotsgeqslant x_igeqslant dots}$ , которая стремится к . Точно так же если , то существует неубывающая последовательность точек ${x_1leqslant x_2leqslant dotsleqslant x_ileqslant dots}$ , которая стремится к .

Если точка принадлежит множеству , то является наименьшим элементом этого множества: ; аналогично, если , то .

Кроме того, для дальнейшего нам понадобится следующая

Лемма 3.1 Пусть - непрерывная функция на отрезке , и множество тех точек , в которых (или , или ) не пусто. Тогда в множестве имеется наименьшее значение $x_{min}in M$ , такое что $xgeqslant x_{min}$ при всех .

Рис.3.22. Наименьший аргумент, при котором функция принимает заданное значение

Доказательство. Поскольку - ограниченное множество (это часть отрезка ), то оно имеет точную нижнюю грань . Тогда существует невозрастающая последовательность ${x_i}sbs M$ , , такая что при . При этом , по определению множества . Поэтому, переходя к пределу, получаем, с одной стороны,

$displaystyle limlimits_{itoinfty}f(x_i)=lim_{itoinfty}K=K,$

а с другой стороны, вследствие непрерывности функции ,

$displaystyle limlimits_{itoinfty}f(x_i)=f(x_0).$

Значит, , так что точка принадлежит множеству и .

В случае, когда множество задано неравенством , мы имеем при всех и по теореме о переходе к пределу в неравенстве получаем

$displaystyle limlimits_{itoinfty}f(x_i)leqslant K,$

откуда , что означает, что и . Точно так же в случае неравенства переход к пределу в неравенстве даёт

$displaystyle limlimits_{itoinfty}f(x_i)geqslant K,$

откуда , и .

Теорема 3.8 (об ограниченности непрерывной функции) Пусть функция непрерывна на отрезке . Тогда ограничена на , то есть существует такая постоянная , что при всех .

Рис.3.23. Непрерывная на отрезке функция ограничена

Доказательство. Предположим обратное: пусть не ограничена, например, сверху. Тогда все множества ${M_1={xin[a;b]:f(x)geqslant f(a)+1}}$ , ${M_2={xin[a;b]:f(x)geqslant f(a)+2},dots}$ , ${M_i={xin[a;b]:f(x)geqslant f(a)+i},dots}$ , не пусты. По предыдущей лемме в каждом из этих множеств имеется наименьшее значение , . Покажем, что

Действительно, . Если какая-либо точка из , например , лежит между и , то

то есть - промежуточное значение между и . Значит, по теореме о промежуточном значении непрерывной функции, существует точка , такая что , и . Но , вопреки предположению о том, что - наименьшее значение из множества . Отсюда следует, что при всех .

Точно так же далее доказывается, что при всех , при всех , ит.д. Итак, ${x_i}$ - возрастающая последовательность, ограниченная сверху числом . Поэтому существует $limlimits_{itoinfty}x_i=x'$ . Из непрерывности функции следует, что существует $limlimits_{itoinfty}f(x_i)=f(x')$ , но при , так что предела не существует. Полученное противоречие доказывает, что функция ограничена сверху.

Аналогично доказывается, что ограничена снизу, откуда следует утверждение теоремы.

Очевидно, что ослабить условия теоремы нельзя: если функция не является непрерывной, то она не обязана быть ограниченной на отрезке (приведём в качестве примера функцию

$displaystyle f(x)=left{begin{array}{ll}dfrac{1}{x},&mbox{ при }xne0;\0,&mbox{ при }x=0,end{array}right.$

на отрезке . Эта функция не ограничена на отрезке, так как при имеет точку разрыва второго рода, такую что при . Также нельзя заменить в условии теоремы отрезок интервалом или полуинтервалом: в качестве примера рассмотрим ту же функцию на полуинтервале . Функция непрерывна на этом полуинтервале, но неограничена, вследствие того что при .

Поиск наилучших постоянных, которыми можно ограничить функцию сверху и снизу на заданном отрезке, естественным образом приводит нас к задаче об отыскании минимума и максимума непрерывной функции на этом отрезке. Возможность решения этой задачи описывается следующей теоремой.

Теорема 3.9 (о достижении экстремума непрерывной функцией) Пусть функция непрерывна на отрезке . Тогда существует точка , такая что при всех (то есть - точка минимума: $f(x_*)=minlimits_{xin[a;b]}f(x)$ ), и существует точка $x_{**}in[a;b]$ , такая что $f(x_{**})geqslant f(x)$ при всех (то есть $x_{**}$ - точка максимума: $f(x_{**})=maxlimits_{xin[a;b]}f(x)$ ). Иными словами, минимальное и максимальное⁸ значения непрерывной функции на отрезке существуют и достигаются в некоторых точках и $x_{**}$ этого отрезка.

Рис.3.24. Непрерывная на отрезке функция достигает максимума и минимума

Доказательство. Так как по предыдущей теореме функция ограничена на сверху, то существует точная верхняя грань значений функции на - число $K=suplimits_{xin[a;b]}{f(x)}$ . Тем самым, множества $M_1={xin[a;b]:f(x)geqslant K-1}$ , ${M_2={xin[a;b]:f(x)geqslant K-frac{1}{2}}}$ ,..., $M_i={xin[a;b]:f(x)geqslant K-frac{1}{i}}$ ,..., не пусты, и по предыдущей лемме в них есть наименьшие значения : $f(x_igeqslant K-frac{1}{i}$ , . Эти не убывают (доказывается это утверждение точно так же, как в предыдущей теореме):

и ограничены сверху числом . Поэтому, по теореме о пределе монотонной ограниченной последовательности, существует предел $limlimits_{itoinfty}x_i=x_{**}.$ Так как $f(x_i)geqslant K-frac{1}{i}$ , то и

$displaystyle limlimits_{itoinfty}f(x_i)=f(x_{**})geqslantlimlimits_{itoinfty}(K-frac{1}{i})=K,$

по теореме о переходе к пределу в неравенстве, то есть $f(x_{**})geqslant K$ . Но при всех , и в том числе $f(x_{**})leqslant K$ . Отсюда получается, что $f(x_{**})=K$ , то есть максимум функции достигается в точке $x_{**}$ .

Аналогично доказывается существование точки минимума.

В этой теореме, как и в предыдущей, нельзя ослабить условия: если функция не является непрерывной, то она может не достигать своего максимального или минимального значения на отрезке, даже будучи ограниченной. Для примера возьмём функцию

$displaystyle f(x)=left{begin{array}{ll}1+x,&mbox{ при }xin[-1;0);\0,&mbox{ при }xin[0;1],end{array}right.$

на отрезке . Эта функция ограничена на отрезке (очевидно, что ) и $suplimits_{xin[-1;1]}{f(x)}=1$ , однако значение1 она не принимает ни в одной точке отрезка (заметим, что , а не 1). Дело в том, что эта функция имеет разрыв первого рода в точке , так что при предел не равен значению функции в точке0. Далее, непрерывная функция, заданная на интервале или другом множестве, не являющемся замкнутым отрезком (на полуинтервале, полуоси) также может не принимать экстремального значения. В качестве примера рассмотрим функцию на интервале . Очевидно, что функция непрерывна и что $inflimits_{xin(0;1)}=0$ и $suplimits_{xin(0;1)}=1$ , однако ни значения0, ни значения1 функция не принимает ни в какой точке интервала . Рассмотрим также функцию на полуоси . Эта функция непрерывна на , возрастает, принимает своё минимальное значение0 в точке , но не принимает ни в какой точке максимального значения (хотя ограничена сверху числом $dfrac{pi}{2}$ и $suplimits_{xin[0;+infty)}f(x)=dfrac{pi}{2}).$