Должны выполнятся ещё и дифференциальные тождества Бьянки.
Значит, верно определять финслерово мноогообразие как диф-мое многообразие (по меньшей мере класса C3). Ввиду тождества Бьянки. тогда я не понимаю смысла определения на с.6 в этой статье "Global inversion of nonsmooth mappings on finsler manifolds" (в архиве) Тут рассматривается класс
![$C^{1}$ $C^{1}$](https://dxdy-02.korotkov.co.uk/f/9/2/5/9253585f3c190a38fc23c92c78d6adf182.png)
. или тут на с.11 "The myers-steenrod theorem for finsler manifolds of low regularity" (тоже в архиве). Тут вообще
![$C^{0}$ $C^{0}$](https://dxdy-01.korotkov.co.uk/f/4/9/a/49aa774ccbfa0aa61edac345513c108e82.png)
. Еще попадалась статья с
![$C^{2}$ $C^{2}$](https://dxdy-02.korotkov.co.uk/f/1/d/b/1db4511944180bec09fc6b85806e6a7082.png)
, если нужно найду ее по истории. что это? обобщения?
Вообще-то для того, кто только делает первые шаги в дифференциальной геометрии, вопросы гладкости не должны быть принципиальными. Считайте все многообразия и отображения принадлежащими классу
![$C^\infty$ $C^\infty$](https://dxdy-04.korotkov.co.uk/f/b/1/8/b18c43fc2c8361465b7a7d6dc0768c8582.png)
.
Согласна с вами полностью,но мне нужно разобрать одну статью.там гладкость меньше чем 3(((. Параллельно,конечно,разбираю бесконечную гладкость,но разные определения сбивают. где истина?