Функция Дирихле

Функция Дирихле — это числовая функция, определённая на множестве действительных чисел, которая принимает значение 1, если аргумент является рациональным числом, и значение 0, если аргумент является иррациональным числом. Функция Дирихле является классическим примером разрывной функции, не интегрируемой по Риману, но интегрируемой по Лебегу. Она играет важную роль в математическом анализе и теории функций, служа иллюстрацией фундаментальных понятий, таких как непрерывность, интегрируемость и измеримость.

Определение

Функция Дирихле \( D(x) \) определяется следующим образом:

\[ D(x) = \begin{cases} 1, & \text{если } x \in \mathbb{Q}, \\ 0, & \text{если } x \notin \mathbb{Q}, \end{cases} \]

где \( \mathbb{Q} \) — множество рациональных чисел (чисел, представимых в виде дроби \( p/q \), где \( p \) и \( q \) — целые числа, \( q \neq 0 \)), а \( x \notin \mathbb{Q} \) — иррациональные числа (действительные числа, не являющиеся рациональными, например, \( \sqrt{2}, \pi, e \)).

История

Функция названа в честь немецкого математика Петеру Густаву Лежёну Дирихле (1805—1859), который ввёл её в 1829 году в своей работе о сходимости рядов Фурье. Дирихле использовал эту функцию как контрпример, демонстрирующий, что не всякая функция может быть разложена в ряд Фурье. В то время господствовало мнение, что любая функция, заданная аналитическим выражением, должна быть непрерывной или, по крайней мере, иметь лишь конечное число точек разрыва. Функция Дирихле, будучи разрывной в каждой точке, опровергла это представление и стимулировала развитие более строгой теории функций, включая понятия равномерной сходимости и измеримости.

Свойства

Разрывность в каждой точке

Функция Дирихле является разрывной в каждой точке числовой прямой. Это следует из того, что в любой окрестности любого действительного числа \( x_0 \) содержатся как рациональные, так и иррациональные числа (в силу плотности множества \( \mathbb{Q} \) и \( \mathbb{R} \setminus \mathbb{Q} \) в \( \mathbb{R} \)). Следовательно, для любого \( \varepsilon < 1 \) не существует такой \( \delta \)-окрестности, в которой значения функции отличались бы от \( D(x_0) \) менее чем на \( \varepsilon \). Таким образом, функция не имеет ни одной точки непрерывности.

Отсутствие предела в любой точке

Из разрывности в каждой точке следует, что функция Дирихле не имеет предела в любой точке \( x_0 \in \mathbb{R} \). Предел функции в точке существует только в том случае, если значения функции стремятся к одному и тому же числу при приближении аргумента к этой точке с любой стороны. Для функции Дирихле, в силу плотности рациональных и иррациональных чисел, последовательности значений при стремлении к \( x_0 \) будут содержать как 0, так и 1, что делает предел неопределённым.

Периодичность

Функция Дирихле является периодической с любым рациональным периодом \( T \in \mathbb{Q} \). Действительно, если \( T \) — рациональное число, то для любого рационального \( x \) число \( x + T \) также рационально, а для любого иррационального \( x \) число \( x + T \) иррационально (так как сумма иррационального и рационального чисел иррациональна). Следовательно, \( D(x + T) = D(x) \) для всех \( x \in \mathbb{R} \). Однако функция не имеет наименьшего положительного периода, так как множество рациональных чисел плотно в \( \mathbb{R} \), и любой сколь угодно малый рациональный интервал содержит период.

Чётность

Функция Дирихле является чётной: \( D(-x) = D(x) \) для всех \( x \in \mathbb{R} \). Это следует из того, что если \( x \) рационально, то \( -x \) также рационально, и наоборот.

Интегрируемость

Интеграл Римана

Функция Дирихле не интегрируема по Риману ни на каком отрезке \( [a, b] \) (где \( a < b \)). Интеграл Римана существует, если для любого разбиения отрезка на части верхняя и нижняя суммы Дарбу стремятся к одному и тому же пределу при измельчении разбиения. Для функции Дирихле на любом отрезке, содержащем более одной точки, нижняя сумма Дарбу всегда равна 0 (так как в любом подинтервале есть иррациональные точки, где функция равна 0), а верхняя сумма Дарбу всегда равна длине отрезка (так как в любом подинтервале есть рациональные точки, где функция равна 1). Разность между верхней и нижней суммами равна длине отрезка и не стремится к нулю, поэтому интеграл Римана не существует.

Интеграл Лебега

Функция Дирихле интегрируема по Лебегу. Интеграл Лебега от неё по любому отрезку \( [a, b] \) равен 0. Это объясняется тем, что множество рациональных чисел счётно и, следовательно, имеет меру Лебега, равную нулю. Таким образом, функция равна 0 почти всюду (за исключением множества меры нуль), и её интеграл Лебега совпадает с интегралом от нулевой функции. Этот пример демонстрирует преимущество интеграла Лебега перед интегралом Римана: он позволяет интегрировать функции, которые «слишком разрывны» для классического подхода.

Измеримость

Функция Дирихле является измеримой по Лебегу. Множество рациональных чисел \( \mathbb{Q} \) является борелевским множеством (как счётное объединение одноточечных множеств), а значит, измеримым по Лебегу. Функция, принимающая постоянные значения на измеримых множествах, является измеримой. Измеримость функции Дирихле позволяет применять к ней теорию интеграла Лебега и другие методы функционального анализа.

Связь с другими функциями

Индикатор рациональных чисел

Функция Дирихле является индикаторной функцией (характеристической функцией) множества рациональных чисел: \( D(x) = \mathbf{1}_{\mathbb{Q}}(x) \).

Функция Томаэ

Функция Томаэ (или функция Римана) — это модификация функции Дирихле, определённая как:

\[ T(x) = \begin{cases} 1/q, & \text{если } x = p/q \text{ в несократимой дроби}, \\ 0, & \text{если } x \text{ иррационально}. \end{cases} \]

В отличие от функции Дирихле, функция Томаэ непрерывна во всех иррациональных точках и разрывна в рациональных. Она также интегрируема по Риману.

Значение в математике

Функция Дирихле является важным педагогическим и теоретическим инструментом. Она используется для:

• Иллюстрации понятий непрерывности и разрыва: демонстрирует, что функция может быть разрывной в каждой точке, что опровергает интуитивные представления о «нормальных» функциях.
• Разграничения интегралов Римана и Лебега: служит простейшим примером функции, не интегрируемой по Риману, но интегрируемой по Лебегу.
• Изучения свойств плотности множеств: показывает, как плотность рациональных чисел в действительной прямой влияет на поведение функции.
• Построения контрпримеров: в теории меры, функциональном анализе и топологии функция Дирихле часто используется для проверки границ применимости теорем (например, теоремы Лузина о непрерывности почти всюду).

Обобщения

Существуют обобщения функции Дирихле на более сложные множества. Например, можно определить функцию, равную 1 на некотором заданном множестве \( A \subset \mathbb{R} \) и 0 на его дополнении. Если \( A \) — произвольное измеримое множество, то такая функция будет измеримой и интегрируемой по Лебегу. В теории вероятностей такие функции называются индикаторами случайных событий.

Источники

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