2. Выпуклость
Если риманово многообразие
изометрически погружено в эвклидово
то на
существует
симметричных тензоров
таких, что для тензора кривизны будет иметь место представление
Примем теперь более общее допущение, что для нашего
тензор кривизны имеет указанное представление в окрестности каждой точки с тензорами
определенными только в каждой отдельной окрестности; условимся на минуту называть
внутренне полувыпуклым, если все — неотрицательно определенные, и внутренне выпуклым, если хотя бы один из этих тензоров положительно определенный. Можно также ограничиться в случае полувыпуклости более общим предположением, что в каждой окрестности тензор
является лишь пределом, в смысле равномерной сходимости, выражений вида (9.9), в которых каждый из тензоров
- неотрицательно определенный.
Теперь, рассматривая выражение
для тензора кривизны вида (9.9), мы получим как следствие теоремы 3.4 следующее утверждение:
Теорема 9.3. Если компактное ориентируемое риманово многообразие внутренне выпукло, то первые два числа Бетти равны нулю,
если многообразие полувыпукло, то гармонические векторы и тензоры должны иметь ковариантные производные, равные нулю.
Если в
то можно даже высказать следующее утверждение о всех числах Бетти:
Теорема 9.4. Если компактное ориентируемое риманово многообразие изометрически выпукло погружено в эвклидово
и если наибольшая и наименьшая главные кривизны отличаются не более чем в два раза, то все числа Бетти равны нулю.
Эта теорема формулировалась у Лихнеровича [9] и также может быть получена из теоремы 5.1 настоящей книги.