Разрыв первого рода¶

Разрыв первого рода — это вид разрыва функции, при котором существуют конечные односторонние пределы функции в данной точке, но эти пределы не равны друг другу или не равны значению функции в этой точке (если функция определена). Разрыв первого рода является одним из двух основных типов точек разрыва функции (наряду с разрывом второго рода) и характеризуется скачкообразным изменением значения функции.

¶Определение и классификация

Пусть функция \( f(x) \) определена на некотором интервале, содержащем точку \( x_0 \), за исключением, возможно, самой точки \( x_0 \). Точка \( x_0 \) называется точкой разрыва первого рода, если существуют конечные односторонние пределы:

\[ \lim_{x \to x_0^-} f(x) = A, \quad \lim_{x \to x_0^+} f(x) = B, \]

где \( A \) и \( B \) — конечные числа, и выполняется хотя бы одно из условий:

• \( A \neq B \);
• функция определена в точке \( x_0 \), но \( f(x_0) \neq A \) или \( f(x_0) \neq B \);
• функция не определена в точке \( x_0 \).

Различают два подвида разрыва первого рода:

¶Устранимый разрыв

Устранимым разрывом первого рода называется ситуация, когда односторонние пределы равны (\( A = B \)), но значение функции в точке либо не определено, либо не совпадает с этим общим пределом. Такой разрыв называется устранимым, потому что его можно «исправить», доопределив или переопределив функцию в точке \( x_0 \) значением \( A \), после чего функция станет непрерывной в этой точке.

Пример: функция \( f(x) = \frac{\sin x}{x} \) имеет устранимый разрыв в точке \( x = 0 \), так как \( \lim_{x \to 0} \frac{\sin x}{x} = 1 \), но в нуле функция не определена. Доопределив её значением \( f(0) = 1 \), получаем непрерывную функцию.

¶Скачок (неустранимый разрыв)

Скачком (или неустранимым разрывом первого рода) называется ситуация, когда односторонние пределы различны (\( A \neq B \)). Величина \( |B - A| \) называется скачком функции в точке \( x_0 \). Такой разрыв не может быть устранён простым переопределением функции в одной точке, так как левый и правый пределы не совпадают.

Пример: функция Хевисайда (ступенька) \( H(x) = \begin{cases} 0, & x < 0, \\ 1, & x \geq 0 \end{cases} \) имеет скачок в точке \( x = 0 \): \( \lim_{x \to 0^-} H(x) = 0 \), \( \lim_{x \to 0^+} H(x) = 1 \), скачок равен 1.

¶Свойства и признаки

• Разрыв первого рода обязательно является изолированной точкой разрыва, то есть в некоторой окрестности этой точки функция непрерывна (за исключением самой точки).
• Если функция имеет разрыв первого рода в точке, то она не может быть непрерывной в этой точке, но может быть непрерывной слева или справа (если соответствующий односторонний предел совпадает со значением функции).
• Для монотонных функций (возрастающих или убывающих) все точки разрыва являются точками разрыва первого рода. Это следует из теоремы о том, что монотонная функция имеет не более чем счётное множество точек разрыва, и все они — первого рода.
• Разрыв первого рода — это единственный тип разрыва, при котором функция может быть интегрируема по Риману в окрестности точки разрыва (если функция ограничена).

¶Примеры

1. Функция знака (сигнум): \( \operatorname{sgn}(x) = \begin{cases} -1, & x < 0, \\ 0, & x = 0, \\ 1, & x > 0 \end{cases} \). В точке \( x = 0 \) левый предел равен \(-1\), правый — \(1\), скачок равен \(2\). Разрыв первого рода, неустранимый.

1. Функция Дирихле (индикатор рациональных чисел): \( D(x) = \begin{cases} 1, & x \in \mathbb{Q}, \\ 0, & x \notin \mathbb{Q} \end{cases} \). В любой точке \( x_0 \) не существует односторонних пределов (они не являются конечными или не существуют), поэтому все точки разрыва — второго рода.

1. Функция \( f(x) = \frac{x^2 - 1}{x - 1} \): при \( x = 1 \) функция не определена, но \( \lim_{x \to 1} f(x) = 2 \). Это устранимый разрыв первого рода.

1. Функция \( f(x) = \begin{cases} x^2, & x < 2, \\ 5, & x = 2, \\ 3x - 1, & x > 2 \end{cases} \): в точке \( x = 2 \) левый предел равен \( 4 \), правый — \( 5 \), значение функции равно \( 5 \). Так как \( 4 \neq 5 \), разрыв первого рода (скачок).

¶Связь с другими понятиями

• Непрерывность функции: функция непрерывна в точке тогда и только тогда, когда она не имеет разрыва (ни первого, ни второго рода) в этой точке.
• Разрыв второго рода: если хотя бы один из односторонних пределов не существует или бесконечен, то разрыв относится ко второму роду. Примеры: \( f(x) = \frac{1}{x} \) в точке \( x = 0 \) (бесконечный разрыв), \( f(x) = \sin\frac{1}{x} \) в точке \( x = 0 \) (предел не существует из-за колебаний).
• Интегрируемость: функция, имеющая на отрезке лишь конечное число точек разрыва первого рода, интегрируема по Риману на этом отрезке. Это широко используется в математическом анализе при вычислении определённых интегралов.
• Производная: если функция имеет разрыв первого рода, то она не может быть дифференцируема в этой точке, но может иметь односторонние производные (если они существуют).

¶Применение в анализе и смежных областях

Разрывы первого рода часто встречаются в прикладных задачах:

• Физика: моделирование ударных волн, скачков давления, фазовых переходов (например, скачок плотности при замерзании воды).
• Экономика: функции спроса и предложения могут иметь скачки при изменении цен (налогов, пошлин).
• Теория вероятностей: функция распределения случайной величины может иметь скачки в точках, где вероятность принимает ненулевое значение (дискретные компоненты).
• Обработка сигналов: ступенчатые функции (например, функция Хевисайда) используются для описания включения/выключения сигналов.

¶Интересные факты

• Термин «разрыв первого рода» ввёл немецкий математик Бернхард Риман в середине XIX века при разработке теории интегрирования.
• Функция, имеющая разрывы первого рода, может быть непрерывна почти всюду (в смысле меры Лебега) и при этом быть интегрируемой по Риману.
• Классическая теорема: если функция монотонна на отрезке, то множество её точек разрыва не более чем счётно, и все они — первого рода. Это доказывается с помощью рассмотрения суммы скачков.

¶Источники

• Фихтенгольц Г. М. «Курс дифференциального и интегрального исчисления», том 1, глава «Непрерывность функций».
• Кудрявцев Л. Д. «Математический анализ», том 1, раздел «Точки разрыва».
• Рудин У. «Основы математического анализа», глава «Непрерывность».
• Колмогоров А. Н., Фомин С. В. «Элементы теории функций и функционального анализа», глава «Функции и их свойства».