Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
Министерство образования и науки РФ
Федеральное агентство по образованию
Сибирский Федеральный Университет
Институт математики
Курсовая работа
по математическому анализу
Функция Дирихле и ее свойства
Выполнила: студентка гр. М-26
Матузова В.В.
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
Красноярск 2008 г.
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
Функция, принимающая значение 1, если аргумент рационален, и 0, если
аргумент иррационален:
D(x) =
функция дирихле математический анализ
была введена немецким математиком П.В. Дирихле как пример функции,
свободной от аналитического задания значения.
Свойства:
Область определения - (-∞; +∞); область значения - 0,1;
Функция Дирихле не имеет предела ни в одной точке, так как в любой
окрестности любой точки вещественной прямой содержатся как рациональные,
так и иррациональные числа (а значит, как нули, так и единицы функции).
Это в свою очередь значит, что функция разрывна на всей числовой
прямой (причём все точки разрыва - второго рода), и ее график изобразить
невозможно.
Также ни в одной точке вещественной оси для данной функции не
существует производной.
Функция Дирихле служит примером функции, не интегрируемой в смысле
Римана, но интегрируемой по Лебегу. Интеграл Лебега от функции Дирихле на
любом числовом промежутке может быть легко найден, он всегда равен нулю.
Это следует из того, что мера Лебега множества рациональных чисел равна
нулю.
Остановимся на некоторых свойствах подробнее.
Функция Дирихле не имеет предела ни в одной точке:
Воспользуемся отрицанием критерия Коши: функция D не имеет предела
в точке а, если либо функция не определена в окрестности точки а, либо
найдется число ε > 0 и в любой окрестности U(а) найдутся точки x’, x’’ ∈ U(а),
x’, x’’ ≠ a такие, что будет выполнено неравенство: |D(x’) - D(x’’)| ≥ ε.
Первое условие не выполнено, т.к. область определения функции Дирихле
- вся числовая прямая.
Так как в любой окрестности любой точки а находятся как рациональные,
так и иррациональные числа, то положим x’ ∈ ℚ , x’’ ∉ ℚ . Тогда D(x’) =1,
D(x’’) = 0. Возьмем ε - любое число, принадлежащее полуотрезку (0, 1],
получим:
|D(x’) - D(x’’)| = 1 ≥ ε.
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
Так как точка a - произвольна, то ни в одной точке числовой прямой не
существует предела для функции Дирихле.
Аналогично можно показать отсутствие предела справа и слева.
Функция разрывна в каждой точке
По определению непрерывности D(x) непрерывна в точке а, если
= D(a), но функция Дирихле не имеет предела, а следовательно
разрывна в каждой точке.
Или по прямому определению разрывности: функция D(x) разрывна в
точке а, если существует число ε0 > 0, что для любого δ > 0 найдется точка хδ
такая, что
|a - хδ | < δ, |D(a) - D(хδ)| < ε0
Если точка а рациональна, то хδ возьмем иррациональное и наоборот, если
а ∈ ℚ , то пусть хδ ∉ ℚ . Тогда |D(x’) - D(x’’)| = 1. При ε0 ∈ (0, 1] видим, что
D(x) разрывна в точке а; в силу произвольности а она разрывна в каждой точке.
А так как не существует предела функции справа и слева, то все точки разрыва II рода.
Очевидно, что функция Дирихле также не является равномерно
непрерывной, потому что можно подобрать как угодно близкие числа x’, x’’
такие, что x’ ∈ ℚ , x’’ ∉ ℚ . Таким образом будет выполняться |D(x’) - D(x’’)|
= 1 ≥ ε, если, например, ε ∈ (0,1].
Не существует производной функции Дирихле ни в одной точке.
Производная функции в точке - это предел отношения:
Покажем, что его не существует, то есть:
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
∃ε > 0 ∃ x’, x’’ ∈ U(0), x’, x’’ ≠ 0 :
|
| ≥ ε.
Подберем такие x’, x’’, что x’, x’’ < 1 и f(x + x’) - рационально, а f(x + x’’)
- иррационально. Тогда в любом случае одна из дробей обращается в нуль, а
вторая по модулю больше единицы. Остается положить ε = 1.
Функция Дирихле не интегрируема по Риману.
По отрицанию к Основной теореме имеем: Интеграл от ограниченной
функции f на [a,b] не существует тогда и только тогда, когда найдется ε > 0 для
любого разбиения R отрезка [a,b], что SR - sR ≥ ε. (SR и sR - верхняя и нижняя
суммы Дарбу).
Пусть а = x0 < x1 < … < xn = b - некоторое разбиение R отрезка [a,b]. Для
любого такого разбиения
sR = Σmj∆хj = 0 - очевидно;
SR = ΣMj∆хj = (b - a) - длина отрезка [a,b]
(здесь mj =
Mj =
∆хj длина отрезка [a,b]).
Пусть ε < b - a, тогда SR - sR ≥ ε, что и требовалось.
Функция Дирихле имеет жорданову меру нуль и лебегову меру нуль.
Множество G называется измеримым по Жордану, если его внутренняя и
внешняя меры равны между собой: mjG = meG = mG.
Так как функция Дирихле принимает только два значения - 0 и 1, то будем
множество ее значений рассматривать как объединение {0} ⋃ {1}. И для {0},
и для {1} внутренняя мера равна mjG =
= |∅| = 0. Внешняя мера для
обоих этих множеств также равна 0: meG =
= 0, потому что σ отрезки, покрывающие {0} и {1} - имеют как угодно малую меру.
Таким образом, множество значений функции Дирихле имеет жоданову
меру нуль как объединение множеств меры нуль.
Функция f называется измеримой по Лебегу на отрезке [a,b], если для
любого А ∈ ℝ множество {х: х ∈ [a,b] ; f(x) < A} измеримо по Лебегу. Для
функции Дирихле если А < 0 то множество таких х пустое, а значит измеримое.
Если 0 < A < 1 или А > 1, то мера множества таких х равна длине отрезка [a,b] также существует. Значит функция Дирихле измерима по Лебегу. А так как
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
установлено, что ее жорданова мера равна 0, то и лебегова мера тоже будет
равна 0.
Функция Дирихле интегрируема по Лебегу.
Удобно воспользоваться определением интеграла Лебега для ступенчатой
функции. Функция f называется ступенчатой, если она принимает не более, чем
счетное число значений Сj, j=1,2… и все множества αj = {x: f(x) = Сj} измеримы. Тогда интеграл Лебега ступенчатой функции равен ∫fdx = Σ Сj mαj,
если этот ряд сходится абсолютно.
Для функции Дирихле С1 = 1, С2 = 0, α1 = {x: x ∈ ℚ }, α2 = {x: x ∉ ℚ
}. Множества α1 и α2 измеримы на любом отрезке [a,b], причем mα1 = 0, так как
это множество счетное, а mα2 равна длине отрезка [a,b]. ∫D(x)dx = С1 * 0 + С2 * 1
= 0.
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/
Литература
1. Никольский С.М. «Курс математического анализа», ФИЗМАТЛИТ, М., 2000.
Все о написании дипломных работ на сайте
https://edunews.ru/students/vypusknaya/