А чем плохо следующее определение многообразия?
Через

обозначим

-норму

.
Определение. Многообразием размерности

класса гладкости

называется множество

такое, что для любой точки

найдутся шар

, набор различных индексов

и набор функций

-гладких на множестве

и таких, что
что множество

является графиком отображения

.