Основные теоремы о свойствах непрерывных функций. (теорема Вейерштрасса и Коши, равномерная сходимость)

Ответ:

Свойство 1: (Первая теорема Вейерштрасса (Вейерштрасс Карл (1815-1897)- немецкий математик)). Функция, непрерывная на отрезке, ограничена на этом отрезке, т.е. на отрезке [a, b] выполняется условие –M £ f(x) £ M.

Доказательство этого свойства основано на том, что функция, непрерывная в точке х₀, ограничена в некоторой ее окрестности, а если разбивать отрезок [a, b] на бесконечное количество отрезков, которые “стягиваются” к точке х₀, то образуется некоторая окрестность точки х₀.

Свойство 2: Функция, непрерывная на отрезке [a, b], принимает на нем наибольшее и наименьшее значения.

Т.е. существуют такие значения х₁ и х₂, что f(x₁) = m, f(x₂) = M, причем

m £ f(x) £ M

Отметим эти наибольшие и наименьшие значения функция может принимать на отрезке и несколько раз (например – f(x) = sinx).

Разность между наибольшим и наименьшим значением функции на отрезке называется колебанием функции на отрезке.

Свойство 3: (Вторая теорема Больцано – Коши). Функция, непрерывная на отрезке [a, b], принимает на этом отрезке все значения между двумя произвольными величинами.

Свойство 4: Если функция f(x) непрерывна в точке х = х₀, то существует некоторая окрестность точки х₀, в которой функция сохраняет знак.

Свойство 5: (Первая теорема Больцано (1781-1848) – Коши). Если функция f(x)- непрерывная на отрезке [a, b] и имеет на концах отрезка значения противоположных знаков, то существует такая точка внутри этого отрезка, где f(x) = 0.

Т.е. если sign(f(a)) ¹ sign(f(b)), то $ х₀: f(x₀) = 0.

Определение. Функция f(x) называется равномерно непрерывной на отрезке [a, b], если для любого e>0 существует D>0 такое, что для любых точек х₁Î[a,b] и x₂Î[a,b] таких, что

ïх₂ – х₁ï< D

верно неравенство ïf(x₂) – f(x₁)ï < e

Отличие равномерной непрерывности от “обычной” в том, что для любого e существует свое D, не зависящее от х, а при “обычной” непрерывности D зависит от e и х.

Свойство 6: Теорема Кантора (Кантор Георг (1845-1918)- немецкий математик). Функция, непрерывная на отрезке, равномерно непрерывна на нем.

(Это свойство справедливо только для отрезков, а не для интервалов и полуинтервалов.)