Ещё когда я был то ли студентом, то ли аспирантом, я слышал о том, что невозможно задать на множестве действительных чисел такие топологии
и
, чтобы функция
была дифференцируема (в обычном смысле) тогда и только тогда, когда она непрерывна в этих топологиях.
К сожалению, это был только "кулуарный" разговор, мне неизвестно, где это опубликовано (а также неизвестна точная формулировка результата). Может быть, кто-нибудь встречал такую публикацию?
С другой стороны, существуют результаты А.А.Иванова о характеризации дифференцируемости (и вообще гладких структур на многообразиях)
структурами топологического типа.
Мне также известен результат такого рода: функция дифференцируема тогда и только тогда, когда её можно представить как суперпозицию непрерывных отображений специального вида.
Кто-нибудь слышал о других результатах в этом направлении?