1610912324-d1d4762aec28c33bb2e9df51074659f6 (824703), страница 72
Текст из файла (страница 72)
Проектируя полусферу на плоскость, мы получаем возможность интерпретировать ЯР2 как круг (двумерный диск) с отождествленными диаметрально противоположными точками его граничной окружности. 385 ~ 2. МНОГООБРАЗИЕ Любая прямая на плоскости имеет уравнение ах + )щ + с = 0 и характеризуется тройкой чисел (а, б, с), причем пропорциональные тройки задают одну и ту же прямую. Может поэтому показаться, что здесь мы вновь имеем дело с проективной плоскостью КР~, рассмотренной в примере 13. Однако если в КР~ допускались любые тройки чисел, не равных одновременно нулю, то теперь не допускаются тройки вида (0,0, с), где с ~ О.
Всем таким тройкам в ЯР~ отвечает одна и та же точка. Значит, полученное в настоящем примере многообразие гомеоморфно тому, что получается удалением из КР~ одной точки. Если интерпретировать ВР~ как круг с отождествленными диаметрально противоположными точками граничной окружности, то, выколов центр круга, мы с точностью до гомеоморфизма получим кольцо, внешняя окружность которого склеивается по диаметрально противоположным точкам. Простым разрезанием легко показать, что при этом получается не что иное, как знакомый лист Мебиуса.
Определение 9. Пусть М и Х вЂ” гладкие многообразия класса С~"). Отображение ~: М вЂ” > Х называется 1-гладким (класса СО)), если локальные координаты точки у (х) Е Х являются функциями класса СО) от локальных координат точки х Е М. Приведенное определение имеет смысл и корректно (не зависит от выбора локальной карты), если 1 < к.
В частности, гладкие отображения М в К1 — это гладкие функции на М, а гладкие отображения К' (или промежутка К') в М вЂ” это гладкие пути на М. Итак, степень гладкости функции у: М -+ Х на многообразии М не может превышать степени гладкости самого многообразия. 3. Ориентация многообразия и его края Определение 10. Две карты гладкого многообразия называются согласованными, если переход от локальных координат одной карты к локальным координатам другой карты в их общей области действия осуществляется диффеоморфизмом, имеющим всюду положительный якобиан. В частности, если районы действия локальных карт имеют пустое пересечение, то такие карты признаются согласованными.
Определение 11. Атлас А гладкого многообразия (М,А) нззы- 386 ГЛ. ХЧ. ИНТЕГРИРОВАНИЕ ДИФФЕРЕНЦИАЛЬНЫХ ФОРМ вается ориентируюияим атласом многообразия М, если он состоит из попарно согласованных карт. Определение 12. Многообразие называется ориентируемым, если оно обладает ориентирующим атласом. В противном случае многообразие называется неориентируемым. Два ориентирующих атласа многообразия будем считать эквивалентными (в смысле рассматриваемого сейчас вопроса об ориентации многообразия), если их объединение также является ориентирующим атласом этого многообразия.
Легко видеть, что введенное отношение действительно является отношением эквивалентности. Определение 13. Класс эквивалентности ориентирующих атласов многообразия по укаэанному отношению эквивалентности называется классом ориентации атласов многообразия или ориентацией многообразия. Определение 14. Ориентированным многообразием называется многообразие с указанным классом ориентации его атласов, т. е. с фиксированной на многообразии ориентацией.
Значит, ориентировать многообразие — это указать на нем (тем или иным способом) определенный класс ориентации его атласов. Для этого, например, достаточно указать любой конкретный ориентирующий атлас данного класса ориентации. Различные используемые на практике способы задания ориентации на лежащих в Н" многообразиях описаны в Я 2, 3 гл. ХП. я'тверждение 3.
Связное многообразие либо неориентируемо, либо допускает две ориентации. < Пусть А и А — два ориентирующих атласа данного многообразия М с диффеоморфными переходами от локальных координат карт одного из них к другому. Предположим, что нашлась точка ро Е М и такие две карты этих атласов, районы У„, О~, действия которых содержат рв, а якобиан преобразования координат этих карт в соответствующих точке рв точках областей параметров положителен. Покажем, что тогда для любой точки р Е М и любых карт атласов А, А, районы действия которых содержат точку р, якобиан преобразования координат в соответствующих координатных точках тоже будет положителен. 12.
МНОГООБРАЗИЕ 387 Сделаем прежде всего очевидное наблюдение, что если в точке р Е Е М якобиан преобразования положителен (отрицателен) для какой-то пары включающих р карт из атласов А и А, то он в р положителен (отрицателен) для любой такой пары карт, поскольку в пределах одного атласа преобразования координат происходят с положительным якобианом, а якобиан композиции отображений равен произведению их якобианов.
Пусть теперь Š— подмножество М, состоящее из тех точек р Е М, в которых преобразования координат от карт одного атласа к картам другого происходят с положительным якобизном. Множество Е непусто, так как ро Е Е. Множество Е открыто в М. Действительно, для любой точки р Е Е найдутся содержащие р районы Ц, О некоторых карт атласов А и А. Множества Ц, с7 открыты в М, поэтому открыто в М и множество У; П У . На содержащей р связной компоненте множества У; П (77, являющейся открытым в У; П У и в М множеством, якобиан преобразования не может менять знак, не обращаясь в нуль. То есть в некоторой окрестности точки р якобиан остается положительным, что и доказывает открытость множества Е.
Но множество Е еще и замкнуто в М. Это следует из непрерывности якобиана диффеоморфизма и того обстоятельства, что якобиан диффеоморфиэма не обращается в нуль. Итак, Š— непустое открыто-замкнутое подмножество связного множества М. Значит, Е = М и атласы А, А задают на М одну и ту же ориентацию. Заменив во всех картах атласа А одну из координат, например г1 на — ~1, получим ориентирующий атлас — А, принадлежащий другому классу ориентации. Поскольку якобиан преобразования координат из произвольной карты в карты атласов А и — А имеет противоположный знак, то на М любой ориентирующий М атлас эквивалентен либо А, либо -А. > Определение 15. Конечную последовательность карт данного атласа назовем цепочкой карт, если районы действия любой пары карт с соседними номерами имеют непустое пересечение (У; й П,~1 ф И).
Определение 16. Цепочка карт называется противоречивой или деэориентируюшей, если якобиан преобразования координат от любой карты цепочки к следующей ее карте положителен, районы действия первой и последней карт цепочки пересекаются, но преобразование ко- 388 ГЛ. ХУ. ИНТЕГРИРОВАНИЕ ДИФФЕРЕНЦИАЛЬНЫХ ФОРМ ординат от последней карты к первой имеет отрицательные значения якобиана. Утверждение 4. Многообразие ориентируемо тогда и только тогда, когда на кем не существует противоречивой цепочки карт.
~ Поскольку любое многообразие распадается на связные компоненты, ориентация которых задается независимо, достаточно доказать утверждение 4 для связного многообразия М. Необходимость. Пусть связное многообразие М ориентируемо и А — задающий ориентацию М атлас. По доказанному в утверждении 3 любая гладко связанная с картами атласа А локальная карта многообразия М либо согласована со всеми картами атласа А, либо согласована со всеми картами атласа — А. Это легко усмотреть из самого утверждения 3, если ограничить карты атласа А на район действия взятой карты, который можно рассматривать как связное ориентированное одной картой многообразие.
Отсюда следует, что противоречивой цепочки карт на многообразии М не существует. Достаточность. Из определения 1 следует, что на многообразии существует атлас из конечного или счетного числа карт. Возьмем такой атлас А и занумеруем его карты. Рассмотрим карту (Уь ~р1) и любую карту (с1„~р,) такую, что У1 П У, ф И. Тогда якобиан преобразований координат уп, ~р,1 либо всюду отрицателен, либо всюду в области определения преобразований положителен. Он не может иметь значения разных знаков, поскольку иначе в множестве 111 0 Ц можно было бы указать связные подмножества отрицательности и положительности Якобиана У, Гь и цепочка каРт (о'ь У1), (Г~., ~Р1), (К, ~о,), (У вЂ”, Ф*) оказалась бы противоречивой.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
