Вопрос от дилетанта в дифференциальной геометрии.
Пусть
- многообразия Штифеля, т.е. множество
матриц с ортонормированными столбцами, вложенное в
.
Возник следующий вопрос: пусть
- шар радиуса
в
относительно Евклидовой нормы (т.е. нормы Фробениуса).
Показать, что существует абсолютная константа
(не зависящая от
), удовлетворяющая
, где
- площадь на
(ясно, что степень можно уменьшить до
, но это не важно).
Для
неравенство очевидно, для
можно воспользоваться формулой Вейля, дающей явное выражение объема, а что делать в общем случае?