Ріманова геометрія: відмінності між версіями
[перевірена версія] | [перевірена версія] |
Вилучено вміст Додано вміст
Inna Z (обговорення | внесок) Немає опису редагування |
м Вікіфікація |
||
Рядок 43:
=== Загальні теореми ===
# '''[[Формула Гауса — Бонне|Теорема Гауса — Бонне]]''' — інтеграл від Гаусової кривини на компактному 2-вимірному рімановому многовиді ''M'' дорівнює 2πχ(''M'') де χ(''M'') позначає [[Характеристика Ейлера|Ейлерову характеристику]] ''M''. Ця теорема має узагальнення на будь-якому компактному парномірному рімановому мновиді, див. {{нп5|Узагальнена теорема Гауса-Бонне|узагальнена теорема Гауса-Бонне|en|Generalized Gauss–Bonnet theorem}}.
# '''{{
=== Геометрія в цілому ===
Рядок 54:
==== Секційні кривини обмежені знизу ====
# '''Теорема {{
# '''Теорема Громова про число Бетті.''' Існує константа ''C'' = ''C''(''n'') така, що якщо ''M'' є компактним зв'язним ''n''-мірним рімановим многовидом з додатною секційною кривиною, то сума його [[Числа Бетті|чисел Бетті]] максимально ''C''.
# '''Теорема обмеженості Грува-Петерсена.''' Для заданих констант ''C'', ''D'' і ''V'', існує скінченне число гомотопних типів компактних ''n''-мірних Ріманових многовидів з секційною кривиною ''K'' ≥ ''C'', діаметром ≤ ''D'' та об'ємом ≥ ''V''.
Рядок 65:
::* {{нп5|Проблема тотожності|проблема тотожності|en|Word problem for groups}} для ''Γ'' має позитивне рішення;
::* група ''Γ'' має скінченну віртуальну {{нп5|Когомологічна розмірність|когомологічну розмірність|en|Cohomological dimension}};
::* вона містить лише скінченну кількість {{
::* [[Абелева група|Абелеві]] підгрупи ''Γ'' є [[Циклічна група|фактично циклічними]], так що вона не містить підгрупу ізоморфічну '''Z'''×'''Z'''.
|