Главная » Просмотр файлов » А.Т. Фоменко - Вариационные методы в топологии

А.Т. Фоменко - Вариационные методы в топологии (1117996), страница 60

Файл №1117996 А.Т. Фоменко - Вариационные методы в топологии (А.Т. Фоменко - Вариационные методы в топологии) 60 страницаА.Т. Фоменко - Вариационные методы в топологии (1117996) страница 602019-05-09СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла (страница 60)

Для второго слагаемого имеем Нгп „+' — ",— — О. Из предложения 24.5.2 следует, что а~у,з!па+ о~х',"'+' в~о + 0 (~ х!»«+') и з!иск 0(~ х ~"«). Следовательно, с точностью до 0()х)о«+в) мы можем записать следующее неравенство: а " -(и — 1) й+ Х, з!и асов а( ( — (и — !)Авз(па+1,гбпа=й)з!па" й«а, Таким образом, а — я,й=О(!х!"«+') и выбором )в, близкого к единице, можно добиться выполнения требуемого условия й — й,й=о(~х,'«к').

Лемма док«чана. Тем самым, доказательство теоремы полностью завершено. Глава б построинии гловдльно минимдльных повирхностнй В ВАРИАЦИОННЫХ КЛАССАХ А(А, ь, А'), А(Д, ь) В 2б. Когомологический случай. Вычисление кограницы пары (Х, А) = Ц (Х„А„) через кограницы пар (Х„А,) с Теперь мы дадим доказательство теоремы существования глобально минимальных поверхностей нетривиального топологического типа в римановых многообразиях.

Основная геометрическая идея настоящего параграфа состоит в следующем: мы будем склеивать поверхность Х с границей А из отдельных кусков Х с границами Аь и затем выясним связь между А и Ц А„. Сначала отметим, что если Х = А, то р' (Х, А) = ф при любом х ен А; а если Х:э А и Х стягиваемо, то р*(Х, А)=Аь(А)" О при любом хе А. Лемма 26.!. Пусть Х = !!' Х„где Х,Д Х,= ф при гчьв, г ! а через А ~/ В обозначается букет двух пунктированных пространств. Пусть, далее, А„— гпакие компакты, что А,с:.Х, при 1ч с ~А!, хан А, для каждого г. Положим А = ~/ А„и пусть с ! (Х„А,) -+ (Х, А) — вложения. Тогда гомоморфизмы йа(Х, А) — Аь(Х„А,) образуют проективное представление группы Аь(Х, А) в виде прямой суммы О+Аь(Х„А,), т.

е. для любой l последовательности элементов и, ЫР(Х„А,) существует единственный элемент и енБь(Х, А) пикой, что 1;и=и, при 1ч -.::г ~ А!. Доказательство. Если рассмотреть несвязное объединение Х'=ЦХ„(т. е. Х!ПХ,=ф при !чь)' в компакте Х'), то Г получим, что А'(Х') ЯАь(Х,). Хотя отображения /,: (Х„А,)» Г (Х Д А„А) не являются вырезаниями в смысле аксиомы Аб (=- Аб'), но они являются относительными гомеоморфизмами, а поскольку теория й* относительно инвариантна на категории Ус (см. лемму 4.6.2), то гомоморфизмы 1'," являются изоморфиз. эвз минимлльныа поваэхности в влэилннонных классах Е! !гл.ь мами, а тогда, повторяя схему рассуждений доказательства теоремы 1.13.2 (см.

1101) для случая категории пунктированных пространств, получаем утверждение леммы. Отметим, что если (в рамках условий леммы 25.1) предпо. ложить, что все компакты Х! стягиваемы, то и» (Х, А) = 1!» (А)' О. и Ф Лемма 25.2, Пусть Х = [ ) Х„А = [ [ А„где А„с Х„ г ! » ! Х,ПХ,=А,ПА, при г~э и хек А, при каждом г; пусть 1;! (Х„А„)- (Х, А) — вложекил.

Тогда гомоморфиэмы !,": йь(Х, А)-»- ~- Ь" (Х„А,) образуют лроективкое представление группы )!»(Х, А) (длл любого й) в виде прямой суммы Я)!»(Х„А,). » Это утверждение немедленно следует из относительной инвариантности теории й» на Ус, что позволяет перейти от пары (Х„А,) к паре (Х,(А„х), и из леммы 25.1. Сделаем еще одно простое замечание. Пусть 1: (Х, А)-»- -~(У, В) — непрерывное отображение, х е А, у=1(х), Ь с с= д'(Х, А) — произвольное подмножество. Рассмотрим новое подмножество Ц~ с~»-!(В)" О, положив, по определению, 1.1 = (1»)-т1.. Тогда мы утверждаем, что Ь! — — Чь(г', В), т. е.

Ь!() () Кег5в=ф. Доказательство следует из диаграммы )! — (А) '1 )!~- (Х) !!' Ьь-! (В) -„Ьь-! (У) В самом деле, если допустить противное и предположить, что существует элемент аенЕт такой, что а-1! (ы), то получим, что 1э(а)енй и 9(а)=1Я(ы), т. е. 1э'(а)=ЬД1ш!!, что противоречит определению 1„в силу которого 1. () 1ш1! = ф. Извлечем следствие из этого замечания. Пусть х ен А с Х, Есй'-!(А)",О, Ьс и" (Х, А), и пусть 1'=э Х; тогда мы утверждаем, что Ьс7»(У, А).

Ясно, что это следует из доказанного выше замечания, поскольку В = А и 1=1. В дальнейшем через .г(А, В) мы будем обозначать вложение 1: В-» А, а через (а»)-' С вЂ” полный прообраз подмножества С в группе Х при гомоморфизме а»: У-!. Х. Лемма 25.3. Пусть Х = [) Х„А,сХ„А сХ, х~А, г ! при каждом г. Положим В = А () (и А,), и пусть 1. с= с 1!ь-' (А)~ 0 и Т,, с 7" (Х„А,). Предположим, что 1» (В А) т ! с [ )'!'* (В, А,) ' 1, Тогда Е с т!"(Х, А).

КОГОМОЛОГИЧЕСКНИ СЛУЧАИ' Доказательство. Требуется показать, что Е() 1ш(ь=ф, где ( = ( (Х, А), т. е. что Р (Х, А)-' Е = ф, Имеем следующую цепочку соотношений: (ь(Х, А)-'1.= (ь(Х> В) 1[(ь (В, А) АЦ с:. [ [(ь(Х, В)-'[(ь (В, Аг)-'1г]= г = Ц (ь (Х, А,) ~Е„= [ ) 1" (Х, Х,)-'[('> (Х„А,)-1Е,)= ф, поскольку по предположению!ь (Х„А„)-' 1„= ф. Лемма доказана. Отметим, что лемма 25.3 может быть доказана иным путем, который более длинен, чем описанный выше, но зато он более универсален и будет неоднократно применяться в дальнейшем.

Рассмотрим следующую коммутативную диаграмму: й"-'(Х,) —,Й'-'(А,) ь Ь'(Х„А,) Й"-'(Х) —;,Й'-'(В) =Ь (Х, В) ! ЙА-А(х) ьь-1(А) е ЬА(х А) > Пусть й ~ 1„Ь чь О. Требуется доказать, что 6, (й) чь О. Допустим противное, пусть 6, (й) = 0; тогда й =(У(~р) и Ь = ЕБ(у')=а(2 (~р'), т.

е. (А(Ч>') ея(ь(В, А)-'й, т. е. по условию 6 (>р') е= Ц вь (В, А„)-'1., откуда следует существование номера г Г таКОГО, Чта (3 (>р').Е= (ь (В, А,)-АЬ,. ПуетЬ В НаШЕй днаГраММЕ в верхней строкеегзято именно это значение г. Тогда у,(т (>р') ~ Е, т. е. 6„Т,Ц(~р')~О, В то же время мы имеем 6,Т,Ц(<р') = = т,6,(2 (~рр) =0 в силу точности.

Полученное противоречие доказывает наше утверждение. Следующая лемма важна для дальнейшего геометрического приложения наших алгебраических конструкций, поскольку она позволяет вычислять алгебраическую кограницу пары (Х, А), составленной из отдельных кусков (Хг, А,), через алгебраические кограницы этих кусков, которые предполагаются известными. Лемма 25.4. Пусть Х = [) Х„А,с Х„А ~ Х, А П Х,с: г ! с А„Х, () Х, = А„П А„если г ~ з, х ен А и х еи А, при «аждом г. Положим В = [) А, (тогда В~ А) и Г,=т7А(Хг, А,)с: г сйь-'(А,)' О. Тогда имеет место соотношение ~А(Х, А)=Й-А(А)",(( (В, А)~ЬА-~(В~',[[ [(ь(В, А)-АГ,ф („г зэ4 миним»льные повзгхности в в»ги»ционных класс»х и ~гл. е До к а з а т е л ь с т в о. Рассмотрим коммутативную диаграмму: Й»-» (Х,) — 'Й»-' (А,) — ' й» (Х„А,) Й вЂ” (Х) '" Ъ вЂ” (В) — '-й»(Х, В) (а !а Й»»(Х) — 'Й»-»(А) 4' л»(Х, А) Выделим в и»-'(А) следующее подмножество элементов (коциклов) Ф=Г»(В, А)1Й»»(В)ЦЦ(»(В; А„)-'Г,~ и докажем, что ) г 7'(Х, А) =Й»-'(А)',Ф.

Отметим, что поскольку Г, = = Й»-»(А,)",Кегб„то подмножество Ф в действительности является подгруппой в Й»-'(А). Докажем сначала, что 7»(Х, А) ~ сй* '(А)" Ф. Пусть а ен 7»(Х, А). Это эквивалентно тому, что Ь, (а) чь О. Допустим теперь, что а ен Ф; отсюда следует, что а=а(7), где ~ряЙ»-'(В) и ~р ф Ц(» (В, А„)-'Г,= Ц7,'(Г,), Г т.

е. 7„(7) ф Г, при любом г. Это означает, что Ь,у,(~р) =0 прн любом г, т. е. т„б, (ф) = 0 при любом г, а тогда, в силу леммы 25.2, мы имеем 6»(~р)=0, т. е. ~р=(»(л»), а=а(~р)=а(»(т)=(Я(л»), т. е. 6,(а)=64(($(т)=0, что противоречит выбору элемента а. Итак, 7»(Х, А) ~ Й»-'(А)',Ф. Обратно, докажем, что 7»(Х, А) з :э Й» '(А)',Ф. Пусть а ен Й» '(А)" Ф; предположим, что а 4 фЧ»(Х, А), т. е. 6,(а)=0; тогда а=(1'(т')=(5(т)=а(»(гп). Поскольку 6»(»(т)=0, то 7,(»(гп) ф Г, при каждом г, так как для любого г выполнено соотношение Ь,Ч,!~Т(т) = О. Поэтому (» (л») ен й» ' (В)'~,~ Ц у,' (Г,)1= Й»-' (В)',~ Ц (» (В, А„)-»Г,~. Отсюда ! следует, что а(3(л»)4 аен Ф, что противоречит выбору элемента а.

Лемма доказана. Еслн гомоморфизм а является эпиморфизмом, то лемма 25.4 может быть сформулирована в несколько иной форме, а именно имеет место соотношение; 7'(Х, А)=бф ~ Цт,'6, (Г„)$,0~. г Докажем это равенство. Обозначим правую часть через Ь н докажем сначала, что Е~ Ч'(Х, А). Пусть (ен В; тогда 6,(() ен е= ))) Цт,'Ь, (Г,) ~",О, т, е. 6»(() ФО, а потому ( е= 7»(Х, А). г Итак, В с: 7» (Х, А). Обратно, докажем, что Е ~ 7» (Х, А). Пусть й ен 7»(Х, А); это эквивалентно тому, что 61(й) ФО. Поскольку а — эпнморфизм, то существует элемент т такой, что й= когомологичаскин слгч»и =а(л»), т. е. 6,(Н)=(36»(л»), откуда имеем, что 6»(т) ~0. Поскольку гомоморфнзмы т, образуют проективное представление группы Н»(Х, В) в виде прямой суммы ~~Н»(Х„А,) (см, лем- Г му 25.2), то существуег номер г такой, что т,6»(и)чьО.

Пусть в нашей диаграмме (см. диаграмму леммы 25.4) взято именно это значение г. Поскольку т,б»(гп)ФО, то и элемент б,у,(л») отличен от нуля, т. е. у„(п») ев 7»(Х„, А,)=Г,. Итак, мы доказали существование г такого, что ~р=б»(т)ч»0, ~р~Н»(Х, В), 6»(Н)=~(у), т(у)=б„у,(гп) ~0, т. е. т,(р) ~6,(Г,), или 6»(Н) ~ я (3 1т„'6„ 1Г,ф,О, т. е.

Характеристики

Список файлов книги

Свежие статьи
Популярно сейчас
А знаете ли Вы, что из года в год задания практически не меняются? Математика, преподаваемая в учебных заведениях, никак не менялась минимум 30 лет. Найдите нужный учебный материал на СтудИзбе!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6384
Авторов
на СтудИзбе
307
Средний доход
с одного платного файла
Обучение Подробнее