МИНИСТЕРСТВО ВЫСШЕГО ОБРАЗОВАНИЯ, НАУКИ И

ИННОВАЦИЙ РЕСПУБЛИКИ УЗБЕКИСТАН

НАЦИОНАЛЬНЫЙ УНИВЕРСИТЕТ УЗБЕКИСТАНА ИМЕНИ
МИРЗО УЛУГБЕКА
КАФЕДРА ГЕОМЕТРИЯ И ТОПОЛОГИЯ

МАГИСТЕРСКАЯ ДИССЕРТАЦИЯ

ГЕОМЕТРИЯ МНОГООБРАЗИЕ
ГРАССМАНА

Работу выполнил
магистрант 1 курса
направления «Математика»
Рахмонов Шохрух Муйсинжон угли

Научный руководитель:
Проф. Нарманов А.Я.

Работа допущена к защите

«____»________________ 202
Заведующий кафедрой_____________
Дата защиты: «____»___________202
Оценка: __________

Ташкент 2024

1
 Содержание

Введение…………………………………………………………………………

ГЛАВА 1.

ТЕОРИЯ ГЛАДКИХ МНОГООБРАЗИЙ……………………………….…...

§1.1 Топологические многообразия………………………………...………......
§1.2 Гладкие многообразия …………….………………………………….........

ГЛАВА 2.

ВЕКТОРНЫЕ ПОЛЯ НА МНОГООБРАЗИЯХ ..…………………...........

§2.1 Касательный вектор и касательное пространство ………..………...…
§2.2 Векторные поля на многообразиях …..………………………………...

ГЛАВА 3.

ГЕОМЕТРИЯ МНОГООБРАЗИЯ ГРАССМОНА ……………………..

§3.1 Многообразия Грассмана ………………………………………...…….
§3.2 Касательное пространство многообразия Грассмана …….………….

Заключение…………………………………………………………………...

Список использованной литературы………………………………………..

2
 ГЛАВА 1.

ТЕОРИЯ ГЛАДКИХ МНОГООБРАЗИЙ

§1.1 Топологические многообразия

Мы начнем с обзора области теории топологических многообразий в целом

предварительный просмотр того, что мы обсудим. Сначала мы обсудим
определение топологического многообразия более подробно и представим
ряд альтернативных определений. Сначала мы вспомним некоторые теоремы
для дальнейшего использования.

Определение 1.1. Топологическое пространство Х является

Хаусдорфовым, если для каждого x,y∈X, с x ≠ y , обладают
непересекающимися окрестностями U ( x ) ,V ( y ).

Семейство множеств { U α } α ∈ A в топологическом пространстве X называется

покрытием этого пространства, если ¿ α ∈ A U α =X . Такая система называется
открытым покрытием, если каждое U α открыто. Говорим, что покрытие
{U α } α ∈ A является подпокрытием {V β }β ∈B , если для каждого α ∈ A найдется
такое β=β ( α ) ∈ B , что U α =V β ( α ).

Определение 1.2. Топологическое пространство называется компактным,

если из любого открытого покрытия этого пространства можно выделить
конечное подпокрытие. Множество К в топологическом пространстве Х
называется компактным, если К компактно, рассматриваемое пространство с
индуцированной из Х топологией.

Теорема 1.1 (Тихонова). Пусть X −¿ компактное топологическое

пространство, а Y −¿ хаусдорфово. Если f : X → Y −¿ непрерывное биективное
отображение, то f −¿ гомеоморфизм.

Топологическое пространство называется локально евклидовым

пространством размерности n, если каждая его точка обладает
окрестностью, гомоморфной пространству Rn или полупространству Rn❑
пространства Rn , составленному из точек ( x 1 ,… , x n ) [3].

Определение 1.3.Точки локально евклидова пространства, обладающие

окрестностью, гомеоморфной Rn, называются внутренними ( intX ), остальные

3
точки – краевыми ( ∂ X ). Внутренние точки всюду плотные открытые, край –
замкнутое множество.

Теорема 1.2. Из гомеоморфности произведения Rn × Rn пространству Rn +n 1 2 1 2

следует, Если X 1 , … , X s −¿ локально евклидовы пространство размерностей

n1 , … , ns без края, то X 1 ×… × X s локально евклидово пространство размерности
n1 ,+…+ ns без края.

Теорема 1.3. Край локально евклидова пространства размерности n есть

локально евклидово пространство размерности n-1 без края.

Теорема 1.4. Для любых локально евклидовых пространств X 1 , … , X s

∫ ( X 1 × … × X s )=∫ X 1 × … ×∫ X s ,
∂( X ¿ ¿ 1× … × X s )=(∂ X 1 × … ×∂ X s)∪… ∪( X 1 × … × X s−1 × ∂ X s ). ¿

Теорема 1.5. Локально евклидово пространство связано в том и только том

случае, если связана его внутренняя часть.

Определение 1.4. Топологическое пространство X ¿ ¿ :∂ X → X X , построенное

по локально евклидову пространству X , называется удвоением последнего и
обозначается через doppX .

Теперь вспомним определение топологического многообразия

Определение 1.3. Топологическое пространство M называется

топологическим многообразием размерности n, если

1) M локально гомеоморфно пространству Rn , т. е. у каждой точки

пространства M имеется окрестность, гомеоморфная некоторому открытому
множеству в Rn ;

2) M хаусдорфово;

3) M удовлетворяет второй аксиоме счетности, т. е. имеет счетную базу

топологии.

Теорема 1.5. Непустое n−мерное топологическое многообразие не может быть

гомеоморфным m− мерному многообразию, если только n=m.

Многообразия с краем

4
Определение 1.4 n-мерным топологическим многообразием с краем
называется всякое хаусдорфово топологическое пространство со счетной
базой, удовлетворяющее условию: для всякой его точки существует
окрестность, гомеоморфная либо пространству Rn, либо полупространству
Rn0 ={( x 1 , … , x n ) ∈ R n } : x n ≥ 0

Определение 1.5 Множество всех точек многообразия M n , имеющих

окрестность, гомеоморфную Rn называют внутренностью многообразия M n и
обозначают ∫ M .
n

Определение 1.6 Точка q ∈ M n называется краевой точкой многообразия M n,

если у нее имеется окрестность V q , гомеоморфная полупространству Rn0,
причем связывающий их гомеоморфизм φ :V q → Rn0 переводит точку в q n
некоторую точку гиперплоскости, граничной для Rn0 . Множество всех
краевых точек называется краем M n и обозначается ∂ M n.

Определение 1.7 Топологическое многообразие, множество краевых точек

которого не пусто, называется многообразием с краем, а многообразие, все
точки которого являются внутренними, называется многообразием без края.

Определение 1.8 Компактное топологическое многообразие без края

называется замкнутым. Топологическое многообразие называется
открытым, если у него нет компактных компонент.

Пример 1.1. Полупространство R0 ={( x 1 , … , x n ) ∈ R } : x n ≥ 0

n n

n−мерное многообразие с краем ∂ M n является гиперплоскость Rn−1, заданная

уравнением x n=0. Внутренность intRn0 −¿ открытое полупространство R+¿ ¿, n

заданное неравенством x n ≥ 0 .

Пример 1.2. Замкнутый шар

Bn [ a ,r ] ={( x 1 , … , x n ) ∈ R n : ( x 1−a1 )2+ …+ ( x n−an )2 <r 2 } .
n−мерное многообразие с краем ∂ Bn является сфера Sn−1 ( a , r ) ,заданная
2 2 2
уравнением ( x 1−a 1 ) + …+ ( x n−an ) =r . Внутренность – это открытый шар
Bn [ a ,r ] ={( x 1 , … , x n ) ∈ R n : ( x 1−a1 )2+ …+ ( x n−an )2 <r 2 } .

Пример 1.3. Отрезок [0;1] одномерное многообразие с краем

5
 ∂ [ 0 ; 1 ] ={ 0 , 1 } ,∫ [ 0 ; 1 ] =( 0 ; 1 )−открытый интервал .

Дальше рассмотрим некоторые спомоготельные понятие клеточные

разбиение, характеристика Эйлера-Пуанкаре.

Обозначим Bk замкнутый шар единичного радиуса в пространстве Rk , а через

intB - его внутренность. В случае k=0 будем считать, что нульмерный шар и
k

его внутренность состоят из единственной точки.

Пусть Х – хаусдорфово топологическое пространство.
Определение 1.8. Подмножество e k топологического пространства Х
называется k-мерной отрытой клеткой в X, если существует такое
непрерывное отображение f : Bk → X , под действием которого intBk
гомеоморфно отображается на e k .

Такое отображение f называется характеристическим для клеткиe k .

Определение 1.9. Клеточное разбиение – это пара, состоящая из

хаусдорфоватопологического пространства Х – пространства разбиения, - и
системы его непересекающихся подмножеств { e α }, покрывающих
пространство Х, для которых выполняются следующие условия:

1. каждое подмножество e α семейства { e α } представляет собой открытую

клетку размерности n(α ) ≥ 0 ;
2. граница каждой k- мерной клетки семейства {e α } содержится в
объединении всех клеток из { e α } , размерности которых меньше k. Это
объединение называется (k-1)- мерным остовом разбиения {e α }, обозначается
T ;
k−1

3. подмножество пространства Х замкнуто тогда и только тогда, когда замкну

то его пересечение с замыканием любой клетки из {e α };
4. любая клетка содержится в замкнутом множестве, являющимся
объединением конечного числа клеток семейства {e α }.

Определение 1.10. Хаусдорфово топологическое пространство Х, для

которого существует покрытие {e α } , удовлетворяющее требованиям
определения 2 , называется клеточным пространством.
Определение 1.11. Клеточное пространство называется конечным
(счетным)
если оно допускает разбиение на конечное (счетное) число клеток.

6
 Замечание.1.: Возможен индуктивный подход к построению клеточных
пространств.
Определение 1.12. Размерностью клеточного пространства Х называется
верхняя граница размерностей его клеток. Обозначается dimX.
По определению dimT k ≤ k и dimT k = k тогда и только тогда, когда
T ≠T .
k k−1

Таким образом, если dimX = n, то T m = X для любого m ≥ n .

Клеточное пространство нульмерно тогда и только тогда, когда оно
дискретно.
Все клеточные пространства, за исключением нульмерного, допускают бес-
конечно много клеточных разбиений.
Перечислим (без доказательства) некоторые свойства клеточных
пространств.
• Клеточное пространство компактно в том и только в том случае, когда оно
дискретно;
• Клеточное пространство связно в том и только в том случае, если связен его
первый остов;
• Клеточное пространство сепарабельно в том и только в том случае, если
оно счетно;
• Для того чтобы клеточное пространство обладала счетной базой,
необходимо и достаточно чтобы оно было счетным и локально конечным
(каждая точка должна обладать окрестностью, пересекающейся только с
конечным числом клеток);
• Клеточное пространство метризуемо в том и только в том случае, если оно
локально конечно.

Известно, что всякое n- мерное топологическое многообразие M n является

клеточным пространством, причем размерность M n равно n. Если M n
компактное многообразие, то для любого клеточного разбиения число клеток
каждой размерности конечно.

Обозначим через ω i количество клеток размерности i в некотором клеточном

разбиении компактного многообразия M n, причем клеток каких то
промежуточных размерностей в разбиении может и не быть.
Определение.1.13. Число
n
χ ( M n )=∑ (−1 ) ω i
i

i =0

7
называется характеристикой Эйлера – Пуанкаре компактного
топологического многообразия M .
n

(Корректность такого определения обычно доказывается в курсах

алгебраической топологии). Эта характеристика не зависит от разбиения, а
зависит от строения самого многообразия и является одним из важнейших
топологических инвариантов.

Сопоставляя сказанное с выше соответствующими свойствами хаусдорфовых

пространств, пространств со счетной базой и компактных пространств, мы
видим что: открытое подмножество n−мерного многообразия есть n−мерное
многообразие; внутренняя часть n−мерного многообразия есть ( n−1 )−мерное
многообразие без края; край компактного многообразия есть замкнутое
многообразие.

Определение1.21. Пусть М – топологическое многообразие размерности n.

Картой на М называется пара ( U , φ ) , U −¿ открытое множество в M и
φ :U → V ⊂ R −¿ гомеоморфизм на некоторое открытое множество из R .
n n

Карта ( U , φ ) вводит в M в пределах области φ ( U ) локальные координаты:

координатами точки x ∈ φ ( U ) считается упорядоченный набор чисел
φx=( x 1 , .. . , x n ) ∈ Rn. Часто под картой ( V , ψ ) понимают гомоморфизм ψ области
V ⊂ M на область U ⊂ Rn. Тогда нашей φ=ψ−1

8
Рассмотрим примеры топологических пространств.

Пример 1.4. (Графики непрерывных функций). Пусть U ⊆ Rn открытое

подмножество, и пусть f :U → Rk непрерывная функция. График f является
подмножеством Rn × R k, определяемым таким образом

Г ( f )={( x , y ) ∈ Rn × Rk : x ∈ U и y =f ( x ) } , с топологий подпространства. Пусть

π 1 : R × R → R обозначим проекцию на первый множитель, и пусть φ : Г ( f ) →U
n k n

сужение π 1 на Г ( f ) .

Поскольку φ является сужением непрерывного отображения, то оно является

непрерывным, и оно является гомеоморфизм потому что имеет обратное
непрерывную отображения φ−1 ( x )=( x , f ( x ) ) . Таким образом Г ( f ) является
топологическим многообразием размерности n. Фактически Г(f )
гомеоморфно самому U , и ¿) глобальная координатная карта, называемая
координатами графика. То же самое наблюдение применимо к любому
подмножеств Rn +k определяемому путем установки любого k координат (не
обязательно последнего k ) равным некоторой непрерывной функции другого
n, которые ограничены тем что лежат в открытом подмножестве Rn.

Пример 1.5 (Сферы). Для каждого числа n ≥ 0 единичная n−мерной сферой Sn

является Хаусдорфовой и второй счетной, поскольку она является
топологическим подпространством в Rn +1. Чтобы показать, что она локально
+¿ ¿
евклидово для каждого индекса i=1 , 2 ,… , n+1 пусть U i обозначаем
подмножество в R где i−ая координата положительна:
n +1

+¿= {( x ,. .. ,x )∈ Rn+ 1 : x i >0 }. ¿

1 n+ 1

Ui

9
 −¿−¿¿
(См.рис.1.2) Аналогично, U i это множество где x i <0.

Рис.1.2 Карта для Сферы Sn

Пусть f : Bn → R непрерывная функция

f ( u )=√ 1−|u| .
2

Тогда для каждого i=1 , … , n+1 ,легко проверить, что U +¿

i
∩S ¿
это график
функции
x =f ( x , … , ^
x ,…, x ),
i 1 i n+1

где шапочка указывает на то что x i опущено. Аналогично U −¿∩

i
S ¿
это график
функции
x =−f ( x , … , ^
x ,…, x )
i 1 i n+1

10
 Таким образом, каждое подмножество U ±i ∩ S n является локально Евклидово
размерности n, и отображение дается следующим образом
± ± n n
φ i :U i ∩ S → B

φ ±i ( x 1 , . .. , x n+1 ) =( x 1 , … , ^
x i ,… , x n+1 )

являются координатами графика для Sn. Поскольку каждая точка Snнаходится

в области по крайней мере одной из этих 2 n+2карт, Sn является
топологическим n-многообразием.

Пример 1.6 (Проективные пространство). n−мерное вещественное

проективное пространство, обозначаемое R Pn (иногда просто Pn),
определяется как множество одномерных линейных подпространств Rn +1, с
факторной топологией, определяемой естественным отображением (картой):
¿ { 0 } → R P передающий каждый точки x ∈ R ¿ { 0 } → R P в
n+1 n n+ 1 n
π :R

подпространство, охватываемое x . 2−¿ мерное проективное пространство R P2

называется проективной плоскостью. Для любой точки x ∈ Rn+ 1 ¿ { 0 }, пусть
[ x ] =π ( x ) ∈ R Pnобозначает прямую пересекаемую x .

~
Для каждого i=1 , … , n+1 ,пусть U i ⊆ Rn +1\ { 0 } множество, где x i ≠ 0, и пусть
~ ~
U i=π ( U i) ⊆ R P .Поскольку, U i является насыщенным открытом
n

~
подмножеством, U i открыто и π ¿~
U : U i → U i является фактор отображением.
i

Определяется отображение φ i :U i → R n виде

( )
1 i−1 i+1 n +1
x x x x
φ i [ x ,… , x ]=
1 n+1
i
,…, i , i ,…, i .
x x x x

Этот отображение хорошо определена, потому что ее значение остается

неизменным при умножение x на ненулевому константу. Поскольку φ i ° π
непрерывно, оно непрерывно по характеристическому свойству частных
отображений [3]. Фактически, гомеоморфизмом, поскольку имеет

11
непрерывное обратное значение данным таким образом

Геометрически, φ ( [ x ] )=u означает ( u , 1 ) это точка в Rn +1, где прямая [x]

пересекает аффинную гиперплоскость, где i
x =1 (Рис.1.3). Поскольку
множество U 1 , … ,U n+1 охватывает R Pn , это показывает, что R Pn является
локально евклидовым размером n.

Рис.1.3 Карта для R Pn

Пример 1.7 (Многообразия произведений). Предположим, что M 1 ,… , M k

является топологическими многообразиями размерностей n1 , … , nk

12
 соответственно. Произведение M 1 × … × M k является топологическим
многообразием размерности n1 +…+ nk . Этот многообразие является
Хаусдофвов и удовлетворяет второй аксиоме счетности. Необходимо
проверит локально евклидово свойства. Учитывая любую точку
( p1 , … , p k ) ∈ M 1 × …× M k , мы можем выбрать координатную карту (U ¿ ¿ i , φi )¿ для
каждого M i с помощью pi ∈U i . Карта отображения
n1 +…+nk
φ 1 × …× φ k :U 1 ×… × U k → R

является гомоморфизмом его образу, которое является открытом

подмножеством произведения Rn +…+n . Таким образом, M 1 × … × M k является
1 k

топологическим многообразием размером n1 +…+ nk , с картой

( U 1 ×… × U k , φ1 × … ×φ k ) .

Пример 1.8 (Тор) Для целого положительного числа n−торявляется

пространство
T =S ×… × S .Согласно примере 1.7 это топологическое n−мерное
n 1 1

многообразие.

§1.1 Гладкие многообразия

Дифференцируемая структура на топологическом многообразия вводиться

путем цепочки определений, представленных в нескольких следующих
абзацах.

Пусть 0 ≤ r ≤∞ −¿целое число. Две карты ( U 1 , φ1 ) и ( U 2 , φ2 ) на топологическом

многообразии M называется C r−¿ согласованными, если
−1
φ 2 ∘ φ1 :φ1 ( U 1 ∩U 2 ) →φ 2 ( U 1 ∩U 2 )

13
отображение класса C r, т.е. все частные производные порядка ≤ r этого
отображения существуют и непрерывны. Отметим, что определено понятие
частных производных для отображения между этими множествами. При r =∞
требуется существование и непрерывность всех частных производных.

Рис.
Согласованные карты

Семейство карт
A={( U α , φ α ) }на топологическом многообразии M называется C r−¿ атласом,

если
M =¿ α U α

и любые две карты этого семейства C r−согласованы .

Две r
C −атласа A и A
'
на M называются эквивалентными, если
A ∪ A −¿ тоже C −атлас. Как легко видеть, это эквивалентно требованию :
' r

любая карта из Λ C r−согласованас любой картой из Λ' .

14
Определение. Дифференцируемой структурой D класса Cr на топологическом
многообразии M называется класс эквивалентности C −¿ атласов.
r

Топологическое многообразие вместе с зафиксированной на нем

дифференцируемой структурой класса C r называется дифференцируемым
многообразием класса C r (или C r− многообразием ¿ . Дифференцируемое
многообразие обозначается ( M , D ) или просто M.

Класс эквивалентности атласов однозначно определяется указанием одного

представителя этого класса. Поэтому для определения дифференцируемой
структуры класса C r на топологическом многообразии достаточно указать
один C r−атлас на M.

Мы будем использовать термин “гладкий” как синоним термина

“бесконечно дифференцируемый”. Таким образом, гладкое многообразие
означает дифференцируемое многообразие класса C ∞ .

Гладким m− мерным подмногообразием гладкого многообразия M называют

такое подмножество N ⊂ M , что для каждой точки p ∈ N в полной системе
карт на M, существует такая карта ( U , h ) , что p ∈h ( U ) задается в этой карте
уравнениями
x m+1 =x m=…=x n=0

Такие карты ( U , h ) своими первыми m координатами задают на N атлас

гладкого многообразия (рис.).

15
 Рис.

Определение. Пусть M и N – гладкие многообразия размерностей m и n ,

соответственно. Непрерывное отображения f : M → N называются гладким
(или C ∞), если для каждая гладкая карта ( U , φ ) на M и каждая гладкая карта
( V , ψ ) на N , отображения :

ψ ∘ f ∘ φ−1 :φ ( U ∩ f −1 ( V ) ) →ψ ( V )

гладкий. Отображение ψ ∘f ∘φ ,
−1
определенное между открытыми
множествами в Rm и Rn , называется локальным отображением f в картах ( U , φ ) и
( V , ψ ).

Пространство гладких отображений M в N обозначается C ∞ ( M , V ) .Если N=R мы

пишем просто C ∞ ( M ) .

Предложение. Пусть f : M → N и g : N → P гладкие отображения между

гладкими многообразиями. Тогда g ∘ f : M → P тоже является гладким.

Далее мы расширим такие понятия как диффеоморфизма:

Определение. Отображение f : M → N между гладкими многообразиями M и N

называется диффеоморфизмом, если f биективно, и f и f −1 гладкие. Если

16
существует диффеоморфизм f : M → N , то многообразия M и N называются
диффеоморфными.

Отметим здесь, что на многообразиях существует операция произведения:

Предложение. Пусть M и N – гладкие многообразия размерностей m и n

соответственно. Тогда произведение M × N, наделенное топологией
произведения, является гладким n+ m−¿мерным многообразием. Гладкий
атлас на M × N

A M × N := {( U ×V , φ ×ψ ) : ( U , φ ) ∈ A M , ( V , ψ ) ∈ A N }

где A M — гладкий атлас на M, A N — гладкий атлас на N. Более того,

проекционные отображения

p r 1 : M × N → M , p r 1 ( x , y )=x , p r 2 : M × N → N , p r 2 ( x , y )= y

является гладкими.

Утверждение. Пусть M −¿ множество, а Λ−¿ семейство карт

A={( U α , φ α ) :α ∈ I } ,U α ⊂ M , φα : U α → R ,
m

которые удовлетворяют следующим условиям:

1) ¿ α U α =M ;
2) ∀ α ∈ I , φα −инективен ;
m m
3) ∀ α , β ∈ I , φ β ( U α ∩U β ) открыто в R , в часности , при α =β , φ α ( U α ) открыто в R ;
−1
4) ∀ α , β ∈ I , отображение φ α ∘ φ β :φ β ( U α ∩U β ) → φα ( U α ∩U β ) является
диффеоморфизмом.

Существует единственная топология T A на M такая, что для всех α ∈ I пара

( U α , φ α ) является картой на M. Кроме того,

 Если I не более счетно, то T A является вторым счетным.

17
  Если для каждых двух различных точек p , q ∈ M существует α , β ∈ I и
открытые множество Oα и O β в Rm такие что
−1 −1 −1 −1
p ∈φ α ( O α ) , q ∈ φ β ( O β ) , φα ( Oα ) ∩φ β ( O β ) =∅ ,

тогда T A является Хаусдорфово.

 Если T A Хаусдорфово и вторым счетным, то M имеет m− мерную
дифференцируемую структуру, для которой A является C ∞−атласом .

Доказательство: Сначала мы покажем, что существует не более одной

топологии T A на M , для которой A является атласом, поскольку , { U α }

является открытым покрытием M относительно T A, мы имеем что

V ∈T A ⟺ ( ∀ α ∈ I : ( V ∩U α ) ∈T A ) ;

и поскольку φ α :U α → φα ( U α )−¿ гомеоморфизм, мы имеет это

V ∈T A ⟺ ( ∀ α ∈ I :φ α ( V ∩U α ) открыто Rm ) .

Вышеупомянутое определяет T A однозначно. Далее мы покажем, что T A

действительно является топологией. Очевидно, ∅ ∈T A, а по (3) M ∈ T A. Пусть
V 1 ,V 2 ∈T A . Для каждого α ∈ I имеем

φ α ( U α ∩V 1 ∩V 2 )=φα ¿

что показывает, что φ α ( U α ∩V 1 ∩V 2 ) открыт. Это означает, что V 1 ,V 2 ∈T A .

Наконец, рассмотрим произвольное семейство { V λ }λ ∈ Λ ⊂ T A . Тогда для каждого
α ∈ I,

φ α ( U α ∩ ( ¿ λ ∈ Λ V λ ) ) =φ α ( ¿ λ ∈ Λ U α ⋂ V λ ) =¿ λ ∈ Λ φα ( U α ∩V λ ) ,

которое показывает, что φ α (U α ∩ ( ¿ λ ∈ Λ V λ ) ) открыта. Следовательно,

¿ λ ∈ Λ V λ ∈ T A . Приходим к выводу, что T A является топологией.

Посмотрим, что ( U α , φ α ) действительно является картой на M для топологии T A

. Согласно (3) U α открыта. Далее покажем, что φ α :U α → φα ( U α ) —

18
гомеоморфизм. Для любого открытого множества O ⊂ φα ( U α ) имеем
φ β ( U β ∩ φ−1
α O )=φβ ∘ φ α O
( ) −1
( ) открыто, поскольку в силу (4) φ β ∘ φ−1
α является
гомеоморфизмом. Поскольку β произвольно, φ−1
α ( O ) ∈T A . Итак,
φ α непрерывен.
−1
По определению T A также имеем, что φ α : φα ( U α ) → M непрерывно. Таким
образом, отображения φ α :U α → φα ( U α ) являются гомеоморфизмами, т. е.
картами на M для топологии T A.

Предполагая, что I не более чем счетно, мы доказываем, что T A вторично

счетно. Пусть { Ok } k∈ N счетный базис топологии Rm, т. е. каждое открытое
множество U ⊂ Rm можно представить как U =¿ k ∈ J U Ok для подмножества
−1
J U ⊂ N . Мы утверждаем, что семейство открытых множеств {φα (Ok )}α ∈ I ,k ∈ N

является базисом T A. Поскольку I не более чем счетно, набор индекс I × N

является счетным. Пусть V ∈T A — открытое множество. Сначала разложим
V =¿ α ∈ I (U α ¿ ⋂ V )¿. Поскольку φ α ( U α ∩V ) открыто в R ,
m
существует
подмножество J α ⊂ N такое, что φ α ( U α ∩V ) =¿ k ∈ J α Ok . Таким образом,

мы имеем это

−1
V =¿ α ∈ I (U α ¿ ⋂ V )=¿ α ∈ I ¿ k ∈ J α φ α ( Ok ) ¿.

Это показывает, что T A является вторым счетным.

Критерий хаусдорфа ясен: точки p и q разделены расстоянием открытые

−1 −1
множества φ α ( O α ) и φ β ( O β ).

Согласно (4) карты из A попарно согласованы, что делает окончательный

вывод очевидным. ∎

Пример. (0-мерные многообразия). Топологическое многообразие M

размерности 0 — это просто счетное дискретное пространство. Для каждой
точки p ∈ M единственной окрестностью точки p, гомеоморфной открытому
подмножеству R0, является сама {p}, и существует ровно одно координатное

19
отображение φ : { p } → R 0. Таким образом, множество всех карт на M
тривиально удовлетворяет условию гладкой совместимости, и каждое
0-мерное многообразие имеет уникальную гладкую структуру.

Пример. (Евклидовы пространства). Для каждого целого неотрицательного n

евклидово пространство Rn представляет собой гладкое n−¿ мерное
многообразие с гладкой структурой, определяемой атласом, состоящим из
n
одной карты ( R , Id R ¿. Мы называем это стандартной гладкой структурой на
n

R
n
и получающуюся в результате карту координат стандартными
координатами. Если мы явно не оговариваем иное, мы всегда используем эту
гладкую структуру на Rn . По отношению к этой гладкой структуре гладкими
координатными картами для Rn являются в точности те карты ( U , φ ) , которые
являются диффеоморфизмом (в смысле обычного исчисления) из U в другое
^ ⊆ Rn .
открытое подмножество U

Пример. (Еще одна гладкая структура на R). Рассмотрим гомеоморфизм

ψ : R→ R заданный формулой

3
ψ ( x )=x

Атлас, состоящий из одной карты ( R , ψ ), определяет гладкую структуру на R .

Эта карта несовместима гладко со стандартной гладкой структурой,
1
поскольку карта перехода −1
Id R ∘ ψ ( y )= y 3 не является гладкой в начале

координат. Следовательно, гладкая структура, определенная на R

посредством ψ , не совпадает со стандартной правилам. Используя подобные

идеи, нетрудно построить множество различных гладких структур на любом
заданном топологическом многообразии положительной размерности, если
оно изначально имеет одну гладкую структуру.

20
Пример. (Конечномерные векторные пространства). Пусть V —
конечномерное вещественное векторное пространство. Любая норма на V
определяет топологию, независимую от выбора нормы . В этой топологии V
является топологическим n−многообразием и имеет естественную гладкую
структуру, определяемую следующим образом. Каждый (упорядоченный)
базис ( E1 , … , En ) для V определяет базисный изоморфизм E : Rn →V формулой

Это отображение является гомеоморфизмом, поэтому является

~ j~
картой. Если
~ ~
( E1 , ... , E n)— любой другой базис и E(x)=∑ x E j —
j

соответствующий изоморфизм, то существует некоторая обратная матрица

j
( Ai )
такая, что для каждого i. Тогда карта перехода между двумя

диаграммами задается формулой , где

определяется как

~
x
Отсюда следует, что .Таким образом, карта, переводящая x в ,
является обратимым линейным отображением и, следовательно,
диффеоморфизмом, поэтому любые две такие карты гладко совместимы.
Таким образом, совокупность всех таких карт определяет гладкую структуру,
называемую стандартной гладкой структурой на V.

21
Пример. (Пространства матриц). Обозначим через M ( m× n , R ) множество
матриц m ×n с вещественными элементами. Поскольку это векторное
пространство размерности mn при сложении матриц и скалярном умножении,
M ( m× n , R ) является гладким mn−¿ мерным многообразием. (На самом деле,

часто бывает полезно отождествить M ( m× n , R ) с Rn m, просто выстроив все

элементы матрицы в одну строку.) Аналогично, пространство M ( m× n ,C ) для
m ×n комплексных матриц представляет собой векторное пространство

размерности 2 mn над R и, следовательно, гладкое многообразие размерности

2 mn. В частном случае, когда m=n (квадратные матрицы), мы сокращаем

M ( m× n , R ) и M ( m× n ,C ) через M ( n , R ) и M ( n ,C ) соответственно.

Пример. (Открытые подмногообразия). Пусть U — любое открытое

подмножество R.
n
Тогда U — топологическое n-многообразие, и
единственная карта ¿определяет гладкую структуру на U.

В более общем смысле, пусть M — гладкое n-многообразие, а U ⊆ M — любое

открытое подмножество. Определим атлас на U как
AU ={ гладкие карты ( V , φ ) для M такие , что V ⊆ U } .

Каждая точка p ∈U содержится в области определения некоторой карты ( W , φ )

для M ; если мы положим V =W ⋂ U , то ( V , φ ¿V ) — карта в AU , область
определения которой содержит p. Следовательно, U покрыто областями карт
в AU , и легко проверить, что это гладкий атлас для U. Таким образом, любое
открытое подмножество M само по себе является гладким n-многообразием
естественным образом. Наделенные этой гладкой структурой, мы называем
любое открытое подмножество открытым подмногообразием M.

22
Пример (Общая линейная группа). Общая линейная группа GL ( n , R )
представляет собой множество обратимых матриц размера nxn с
вещественными элементами. Это гладкое n2 −мерное многообразие, поскольку
оно является открытым подмножеством n2 −мерного векторного пространства
M ( n , R ), а именно множеством, в котором (непрерывная) детерминантная

функция отлична от нуля.

Пример 1.28 (Матрицы полного ранга). Предыдущий пример имеет

естественное обобщение на прямоугольные матрицы полного ранга.
Предположим, что m<n, и пусть M m ( m× n , R ) обозначает подмножество
M ( m× n , R ), состоящее из матриц ранга m . Если A — произвольная такая

матрица, то тот факт, что рангA=m означает, что A имеет некоторую

невырожденную подматрицу mxm. В силу непрерывности определяющей
функции эта же подматрица имеет ненулевой определитель в окрестности A
в M m ( m× n , R ), что подразумевает, что A имеет окрестности, содержащиеся в
M m ( m× n , R ). Таким образом, M m ( m× n , R ) является открытым подмножеством

M n ( m× n , R ), и следовательно, само по себе является гладким nm−¿ мерным

многообразием. Аналогичный аргумент показывает, что M n ( m× n , R ) является

гладким mn− многообразием, когда n< m.

Пример (Пространства линейных отображений). Предположим, что V и W —

конечномерные вещественные векторные пространства, и пусть L ( V ; W )
обозначает множество линейных отображений из V в W . Тогда, поскольку
L ( V ; W ) само по себе является конечномерным векторным пространством

(размерность которого является произведением размерностей V и W ), оно

имеет естественную гладкую структуру многообразия, как в примере 1.24.
Один из способов разместить на нем глобальные координаты — выбрать
базы для V и W и представить каждый T ∈ L ( V ; W ) его матрицей, что дает
изоморфизм L ( V ; W ) с M ( m× n , R ) дляm=dimW и n=dim V .

23
Пример (Графики гладких функций). Если U ⊆ Rn — открытое подмножество
и f :U → Rn— гладкая функция, то выше (пример 1.4) мы уже заметили, что
график f является топологическим n−многообразием . Поскольку Г(f )

покрывается единую координатную карту графа φ : Γ ( f ) →U ( ограничение π 1 ), мы

можем поместить каноническую гладкую структуру в Γ ( f ) , объявив
координатную карту ( Γ ( f ) , φ ) гладкой диаграммой.

24
 СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ

1. Бураго Ю.Д., Залгаллер В.А. Введение в риманову геометрию. СПб.:

Наука, 1994.318с.
2. Рохлин В.А., Фукс Д.Б. Начальный курс топологии , геометрические
главы. Наука, 1977г.,488с.
3. Хирш М. Дифференциальная топология. Мир
4. Goapal Anathkrishna, Anthony Convan, Ekin Ergen. Topological manifolds.
2008 512c.
5. В.А. Шарафуддинов, Введение в дифференциальную топологию и
римманову геометрию. //Учебное пособие. Новосибирск 2018 C-12-108
6. Lee J.M., Introduction to smooth manifolds Springer , 2003

25
26