6.2. Определение непрерывности функции

    При рассмотрении предела функции  f(x), x принадлежит X, в точке x0 случай, когда x0 принадлежит X, представляет особый интерес - он приводит к понятию непрерывной функции.
    Если x0 принадлежит X и существует предел lim3.gif (127 bytes) f(x), то он равен f(x0):

lim3.gif (127 bytes) f(x) =  f(x0).

(6.8)

В самом деле, поскольку x0 принадлежит X, то в качестве последовательности xn принадлежит X, n = 1, 2, ..., x0, в этом случае можно взять стационарную последовательность xn = x0 , n = 1, 2, ... Для нее имеем

f(xn) = f(x0) =  f(x0).

(6.9)

    Если существует предел lim3.gif (127 bytes) f(x), то, согласно его определению, для любой последовательности xn принадлежит X, n = 1, 2, ..., для которой x0, существует предел последовательности  f(xn), n = 1, 2, ..., и все пределы таких последовательностей равны между собой. Поэтому из равенства (6.9) следует выполнение условия (6.8).

    Определение 5. Если

lim3.gif (127 bytes) f(x) =  f(x0),

то функция  f(x) называется непрерывной в точке x0.  Согласно сказанному выше функция  f(x) непрерывна в точке x0 тогда и только тогда, когда существует предел (по множеству X) lim3.gif (127 bytes) f(x) и x0 принадлежит X. Например, функция   является непрерывной в точке x = 0 (как и во всякой другой точке x не равно 1), ибо, как это было показано в п. 6.1,

Функция же

не является непрерывной в точке x = 0, так как предел lim5.gif (928 bytes)sin 1/x не существует.


Первое определение предела функции  Оглавление  Второе определение предела функции