Interested Article - Пример Помпею

График некоторой функции Помпею. По графику можно видеть, что производная нулевая во всех точках, где функция принимает рациональное значение из интервала (0;1)
График её производной

Пример Помпею — пример дифференцируемой функции , производная которой ( производная Помпею ) обращается в ноль на плотном множестве . В частности, производная Помпею разрывна в любой точке, где она не равна 0.

История

Вопрос о том, могут ли существовать такие функции, не являющиеся тождественно нулевыми, возник в контексте исследований функциональной дифференцируемости и интегрируемости в начале 1900-х годов. На этот вопрос утвердительно ответил Димитри Помпейу , построив явный пример.

Построение

Пусть обозначает вещественный кубический корень вещественного числа . Выберем перечисление рациональных чисел в единичном интервале и положительные числа такие, что

Рассмотрим функцию

Для любого x из [0, 1] каждый член ряда меньше или равна a j по абсолютной величине, так что по признаку Вейерштрасса ряд равномерно сходится к непрерывной строго возрастающей функции g ( x ) . Более того, оказывается, что функция g дифференцируема, причем

в любой точке, где сумма конечна; кроме того, во всех остальных точках, в частности, в любом из q j , g ′( x ) := +∞ .

Поскольку образ g представляет собой замкнутый ограниченный интервал с левым концом

с точностью до выбора a 0 мы можем считать g (0) = 0 и с точностью до выбора мультипликативного множителя можем считать, что g отображает интервал [0, 1] на себя. Поскольку g строго возрастает, он инъективен и, следовательно, гомеоморфизм .

По теореме о дифференцировании обратной функции обратная к ней функция f := g −1 имеет конечную производную в любой точке, которая обращается в нуль по крайней мере в точках { g ( q j )} j ∈ℕ . Они образуют плотное подмножество [0, 1] (на самом деле производная обнуляется на большем множестве, см. Свойства).

Свойства

  • Поскольку множество нулей производной любой всюду дифференцируемой функции является G-дельта-множеством , для любой функции Помпею это множество является плотным G-дельта-множеством. В частности, по теореме Бэра оно несчетно .
  • Линейная комбинация функций Помпею имеет производную и обращается в нуль на множестве , которое является плотным G-дельта-множеством. Таким образом, функции Помпею образуют векторное пространство .
  • Предельная функция равномерно сходящейся последовательности производных Помпею является производной Помпею. Действительно, это производная по теореме о пределе под знаком производной. Более того, она обращается в нуль на пересечении нулевых множеств функций последовательности: поскольку это плотные G-дельта-множества, нулевое множество предельной функции также плотно.
    • Как следствие, класс E всех ограниченных производных Помпею на интервале [ a , b ] является замкнутым линейным подпространством банахова пространства всех ограниченных функций относительно равномерного расстояния (следовательно, это банахово пространство).
    • Вышеупомянутая конструкция Помпею положительна , что является редким свойством: теорема Вейля утверждает, что в общем случае производная Помпейу принимает как положительные, так и отрицательные значения в плотных множествах, в точном смысле, что такие функции составляют плотное G-дельта-множество банахова пространство E .

Литература

  • Pompeiu, Dimitrie (1907). . Mathematische Annalen (фр.) . 63 (3): 326—332. doi : . Дата обращения: 12 октября 2021 .
  • Andrew M. Bruckner, "Differentiation of real functions"; CRM Monograph series, Montreal (1994).
Источник —

Same as Пример Помпею