Материал: Сандракова Дифферентсиалные формы на гладкикх многообразиякх 2014

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

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

По тем же соображениям, что и в примере 3.9, где была рассмотрена вещественная проективная прямая RP1 , вещественная проективная плоскость RP2 может быть интерпретирована как двумерная полусфера S+2 ={(x1, x2 , x3 ) R3 : x1 ≥ 0} R3 , с отождествленными диаметрально противоположными точками граничной окружности S1 = ∂S+2 . Проектируя полусферу на плоскость окруж-

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

Пример 3.11. Совокупность всех прямых на плоскости R2 можно разбить на два множества: A – невертикальные прямые, B – негоризонтальные прямые. Каждая прямая из A имеет уравнение y = a1x + a2 и тем самым характеризуется координатами (a1, a2 ) , в

71

то время как любая прямая из B имеет уравнение x = b1 y + b2 и за-

соответственно, от локальных координат (a1, a2 ) к локальным координатам (b1, b2 ) и, наоборот, на A ∩ B .

Таким образом, множество A B всех прямых на R2 наделяется гладким атласом из двух карт.

Любая прямая на плоскости R2 имеет уравнение ax +by + c = 0 , где вектор (a, b) – ненулевой, и характеризуется тройкой чисел (a, b, c) , a2 + b2 > 0 , причем пропорциональные тройки задают одну и ту же прямую. Может поэтому показаться, что мы снова имеем дело с вещественной проективной плоскостью RP2 , рассмот-

ренной в примере 3.10. Однако если в RP2 допускались любые тройки чисел, не равные одновременно нулю, то теперь не допус-

каются тройки вида (0, 0, c), c ≠ 0 . Всем таким тройкам в RP2 отвечает одна и та же точка. Значит, полученное в настоящем примере многообразие гомеоморфно тому, что получается удалением из

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

72

Вычислим якобиан преобразований (12.4) или (12.4′):

ме 3.9 карты A и B не согласованы, а кроме того, нельзя подобрать ориентирующего атласа.

Следовательно, гладкое многообразие, а значит, и лист Мебиуса неориентируемы.

§13. Разбиение единицы

Вэтом параграфе излагается специальная конструкция, называемая в математике разбиением единицы. Эта конструкция часто бывает основным приемом сведения глобальных вопросов к локальным. В этом параграфе она будет использована для пояснения возможности реализации любого многообразия в виде некоторой по-

верхности в пространстве Rn достаточно большой размерности n. Пусть M n – n-мерное гладкое многообразие. A – карта атласа

этого многообразия с локальными координатами (x1, x2 , ..., xn ) и пусть в карте A задан кубик

K ={(x1, ..., xn ); ai < xi < bi , i =1, 2, ..., n} A .

Определение 3.22. Функцией кубика K называется любая функция ΨK (x) , определенная на карте A, K A , удовлетворяющая

следующим условиям.

1.x K ΨK (x) > 0 .

2.x A \ K ΨK (x) = 0 , где K = K \ K (т.е. вне кубика K и на его границе ΨK (x) = 0 ).

73

Лемма 3.2. Пусть M n – n-мерное гладкое многообразие, τ –

гладкий атлас многообразия M n . Тогда для любой карты A τ и для любого кубика K A существует функция кубика K.

Доказательство.

1. Пусть R1 – вещественная прямая, a – произвольная точка R1 . Рассмотрим функцию

0, x ≤ a;

Ψa (x) = − 1 на R1.

e x−a , x > a

Ψa (x) – гладкая функция на R1 , так как существует

Функция Ψa′(x) непрерывна на R1 .

Аналогично проверяется существование и непрерывность производной Ψ(am) (x) любого порядка m на R1 . Значит, Ψa (x) –

функция класса C∞ на R1 .

Построим таким же способом гладкую функцию Ψb (x) для произвольной точки b R1 :

и Ψb (x) приведены на рис. 4.

74