Ріманова геометрія: відмінності між версіями

[перевірена версія][перевірена версія]
Вилучено вміст Додано вміст
Inna Z (обговорення | внесок)
Немає опису редагування
BunykBot (обговорення | внесок)
м Вікіфікація
Рядок 43:
=== Загальні теореми ===
# '''[[Формула Гауса — Бонне|Теорема Гауса — Бонне]]''' — інтеграл від Гаусової кривини на компактному 2-вимірному рімановому многовиді ''M'' дорівнює 2πχ(''M'') де χ(''M'') позначає [[Характеристика Ейлера|Ейлерову характеристику]] ''M''. Ця теорема має узагальнення на будь-якому компактному парномірному рімановому мновиді, див. {{нп5|Узагальнена теорема Гауса-Бонне|узагальнена теорема Гауса-Бонне|en|Generalized Gauss–Bonnet theorem}}.
# '''{{нп5нп|Теорема Неша про регулярні вкладення||ru|Теорема Нэша оNash регулярныхembedding вложенияхtheorem}}''', також її називають {{нп5|Фундаментальна теорема геометрії Рімана|фундаментальною теоремою геометрії Рімана|en|Fundamental theorem of Riemannian geometry}}. Вона стверджує, що кожен [[Ріманів многовид]] можна ізометрично [[вкладення|вкласти]] в [[Евклідів простір]] '''R'''<sup>''n''</sup>.
 
=== Геометрія в цілому ===
Рядок 54:
 
==== Секційні кривини обмежені знизу ====
# '''Теорема {{нп5нп|Душа (диференціальна геометрія)|душі|ru|ДушаSoul (дифференциальная геометрия)theorem}} Чігера-Громолла.''' Якщо ''M'' є некомпактний повний ''n''-мірний ріманів многовид невід'ємної кривини, то ''M'' містить компактний, цілком геодезичний підмноговид ''S'' такий, що ''M'' дифеоморфне нормальному шаруванню ''S'' (''S'' називається '''душею''' ''M''.) Зокрема, якщо ''M'' має строго додатну кривину всюди, то воно [[Дифеоморфізм|дифеоморфно]] '''R'''<sup>''n''</sup>. [[Перельман Григорій Якович|Г. Перельман]] в 1994 році дав дивно елегантний/короткий доказ гіпотези: ''M'' дифеоморфно '''R'''<sup>''n''</sup> якщо воно має додатну кривину хоча б в одній точці.
# '''Теорема Громова про число Бетті.''' Існує константа ''C'' = ''C''(''n'') така, що якщо ''M'' є компактним зв'язним ''n''-мірним рімановим многовидом з додатною секційною кривиною, то сума його [[Числа Бетті|чисел Бетті]] максимально ''C''.
# '''Теорема обмеженості Грува-Петерсена.''' Для заданих констант ''C'', ''D'' і ''V'', існує скінченне число гомотопних типів компактних ''n''-мірних Ріманових многовидів з секційною кривиною ''K'' ≥ ''C'', діаметром ≤ ''D'' та об'ємом ≥ ''V''.
Рядок 65:
::* {{нп5|Проблема тотожності|проблема тотожності|en|Word problem for groups}} для ''&Gamma;'' має позитивне рішення;
::* група ''&Gamma;'' має скінченну віртуальну {{нп5|Когомологічна розмірність|когомологічну розмірність|en|Cohomological dimension}};
::* вона містить лише скінченну кількість {{нп5нп|Клас спряженості|класів спряженості|ru|КлассConjugacy сопряжённостиclass}} {{нп5нп|Кручення (алгебра)|елементів кінцевого порядку|ru|КручениеTorsion (алгебраalgebra)}};
::* [[Абелева група|Абелеві]] підгрупи ''&Gamma;'' є [[Циклічна група|фактично циклічними]], так що вона не містить підгрупу ізоморфічну '''Z'''&times;'''Z'''.