Математическая энциклопедия - непрерывная функция

одно из основных понятий математического анализа.

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

Если обозначить

и

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

Используя понятие предела, можно сказать, что функция /непрерывна в точке х 0 , если в этой точке существует ее предел по множеству Еи этот предел равен :

Это равносильно тому, что

где т. е. бесконечно малому приращению аргумента в точке х 0 соответствует бесконечно малое приращение функции.

В терминах предела последовательности определение Н. ф. в точке : функция fнепрерывна в точке , если для любой последовательности точек

имеет место

Все приведенные определения Н. ф. в точке эквивалентны между собой.

Если функция f непрерывна в точке по множеству (соответственно по множеству ), то функция наз. непрерывной справа (слева) в точке

Все основные элементарные функции являются непрерывными во всех точках их областей определения. Важным свойством Н. ф. является замкнутость класса непрерывных функций относительно арифметич. операций и операции композиции функций. Более точно, если действительные функции , непрерывны в точке , то их сумма и произведение , а при и частное (заведомо определенное в пересечении нек-рой окрестности точки х 0 с множеством Е)непрерывны в точке х 0. Если, как и выше, функция непрерывна в точке а функция такова, что и, следовательно, имеет смысл композиция , причем существует такое и функция непрерывна в точке t0, то композиция также непрерывна в точке t0. Таким образом, в этом случае

т. е. в этом смысле операция предельного перехода перестановочна с операцией взятия Н. ф. Из перечисленных свойств Н. ф. следует, что не только основные, но и любые элементарные функции непрерывны в области их определения. Сохраняется свойстве непрерывности и при равномерном предельном переходе: если последовательность функций равномерно сходится на множестве Еи каждая функция непрерывна в точке то и предельная функция непрерывна в этой точке.

Если функция непрерывна в каждой точке множества Е, то она наз. непрерывной на множестве Е. Если и функция f непрерывна в точке х 0, то сужение функции f на множестве Е' также непрерывно при . (Обратное, вообще говоря, неверно. Напр., сужение Дирихле функции как на множестве рациональных, так и иррациональных точек непрерывно, а сама функция Дирихле разрывна во всех точках.

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

Первая теорема Вейерштрасса: функция, непрерывная на отрезке, ограничена на нем.

Вторая теорема Вейерштрасса: функция, непрерывная на отрезке, принимает на нем наибольшее и наименьшее значения.

Теорема Коши о промежуточных значениях: функция, непрерывная на отрезке, принимает на нем любое значение, заключенное между значениями, к-рые она принимает на концах отрезка.

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

Теорема Кантора о равномерной непрерывности: функция, непрерывная на отрезке, равномерно непрерывна на нем.

Всякая функция, непрерывная на отрезке, может быть равномерно сколь угодно точно приближена алгебраич. многочленом, а всякая функция f, непрерывная на отрезке и такая, что может быть равномерно сколь угодно точно приближена тригонометрич. полиномами (см. Вейерштрасса теорема о приближении функций).