В самом деле (гл. VII, § 6, последняя теорема), в существует разреженное в точке множество, вне которого стремится к когда Расширим это множество до открытого множества разреженного в точке которую можно считать граничной точкой а. Пусть продолжение значениями тогда Отсюда видно, что нижний и верхний пределы функции на а в точке содержатся между пределами на , т. е. между
Следствие (теорема М. В. Келдыша). Существует такое счетное множество иррегулярных точек что если для всех то для любой точки
В самом деле, рассмотрим пространство конечных непрерывных функций на снабженное топологией равномерной сходимости. Множество линейных функционалов от вида
с индексом х, где иррегулярная точка, содержит счетное подмножество, относительно плотное в слабой топологии простой сходимости на Это следует из того, что рассматриваемое пространство функций сепарабельно. Соответствующие этому подмножеству точки х, отвечают условию теоремы, так как обращение в нуль разности для всех влечет за собой обращение в нуль разности для всех иррегуляренных точек х.
Замечание. Отметим еще без доказательства, что выметание относительно единичной массы, помещенной в граничной точке X, например, в некотором шаре, содержащем ничего не изменяет, если точка X регулярна, и дает меру если точка X иррегулярна. Кроме того, для любой разрешимой функции суммируемой в широком смысле, функция имеет в иррегулярной точке X тонкий предел в библиографии работу Брело, 1946).
БИБЛИОГРАФИЯ
(см. скан)