Вопрос 32

Теорема 1. Сумма непрерывных функций есть функция непрерывная.  Доказательство. Пусть функции     и     непрерывны в точке  a. Тогда

Согласно свойству пределов функций существование пределов функций     и     гарантирует существование предела их суммы. При этом

что и требовалось доказать.  Свойство. Сумма конечного числа непрерывных функций есть функция непрерывная.  Доказательство. Каждую пару непрерывных функций можно заменить одной непрерывной функцией. Затем каждую пару полученных непрерывных функций можно заменить одной непрерывной функцией. В конечном итоге останется одна непрерывная функция.

Теорема 2. Произведение непрерывных функций есть функция непрерывная.  Свойство. Произведение конечного числа непрерывных функций есть функция непрерывная.  Теорема 3. Частное от деления непрерывных функций есть функция непрерывная – за исключением точек, в которых знаменатель обращается в нуль.  Доказательство теорем 2 и 3 по своей сути не отличается от доказательства теоремы 1 и предоставляется читателю.

Вопрос 33

Пусть функция (t) непрерывна в точке t₀ и функция f(x) непрерывна в точке х₀=(t₀). Тогда функция f((t)) непрерывна в точке t₀.

Доказательство.

Для доказательства этой теоремы воспользуемся формальным преобразованием двух строчек кванторов. Имеем

Выписывая подчеркнутые кванторы, получим, что

,

что и говорит о том, что f((t)) непрерывна в точке t₀. 

Обратите внимание на следующие детали:

а) т.к. x=(t), то |(t)-(t₀)|< может быть записано как |x-x₀|<, и f(x) превращается в F((t));

б) при определении непрерывности (t) в точке t₀ в первом кванторе стоит буква . Это необходимо для согласования с квантором   в предыдущей строке и взаимного уничтожения  . Любая другая буква на этом месте не дала бы верного результата.

Вопрос 34

Классификация точек разрыва функции Все точки разрыва функции разделяются на точки разрыва первого и второго рода.  Говорят, что функция f (x) имеет точку разрыва первого рода при x = a, если в это точке Существуют левосторонний предел   и правосторонний предел  ; Эти односторонние пределы конечны. При этом возможно следующие два случая: Левосторонний предел и правосторонний предел равны друг другу: Такая точка называется точкой устранимого разрыва. Левосторонний предел и правосторонний предел не равны друг другу: Такая точка называется точкой конечного разрыва. Модуль разности значений односторонних пределов  называется скачком функции. Функция f (x) имеет точку разрыва второго рода при x = a, если по крайней мере один из односторонних пределов не существует или равен бесконечности.

Пример 1

Исследовать функцию   на непрерывность. Решение. Данная функция не определена в точках x = −1 и x = 1. Следовательно, функция имеет разрывы в точкахx = ±1. Чтобы определить тип разрыва, вычислим односторонние пределы в этих точках.        Поскольку левосторонний предел при x = −1 равен бесконечности, то данная точка является точкой разрыва второго рода.        Аналогично, левосторонний предел в точке x = 1 равен бесконечности. Эта точка также является точкой разрыва второго рода.