Свойство Дарбу (Vfkwvmfk :gjQr)
Свойство Дарбу́ — свойство вещественнозначной функции на отрезке , согласно которому образ отрезка есть отрезок: найдутся такие , что .
Выполнение свойства Дарбу для непрерывных функций непосредственно следует из теоремы о промежуточном значении и теоремы Вейрштрасса — непрерывный образ отрезка всегда есть отрезок. Дарбу установил, что этому свойству могут удовлетворять не только непрерывные функции (теорема Дарбу): если функция дифференцируема в каждой точке отрезка , то и производная на этом отрезке обладает свойством Дарбу (даже если эта производная разрывна)[1].
Возможны и другие случаи, когда разрывные функции обладают свойством Дарбу, например, таков топологический синус[англ.], задаваемый с разрывом в нуле:
- .
Пример всюду разрывной функции[англ.], обладающей свойством Дарбу, — тринадцатеричная функция Конвея[англ.].
Монотонная на заданном отрезке функция обладает свойством Дарбу тогда и только тогда, когда она непрерывна на нём.
Теорема Серпинского: любая функция может быть представлена суммой двух функций со свойством Дарбу.
Строгое свойство Дарбу: образ всякого непустого открытого интервала — вся вещественная прямая:
- .
Тринадцатеричная функция Конвея удовлетворяет также и строгому свойству[2].
Примечания
[править | править код]- ↑ Ильин — Садовничий — Сендов, 1985, с. 287.
- ↑ Цисельский, 1997, с. 106–111.
Литература
[править | править код]- Дарбу теорема — статья из Математической энциклопедии. Кудрявцев Л. Д.
- Ильин В. А., Садовничий В. А., Сендов Б. Х. Математический анализ. Начальный курс. — МГУ, 1985.
- Ciesielski K. Set theory for the working mathematician. — Cambridge: Cambridge University Press, 1997. — (London Mathematical Society Student Texts, Vol. 39). — ISBN 0-521-59441-3.