Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет shribavavsenahu ([info]shribavavsenahu) в [info]ljr_math
Re: spasibo za otvet
>1. Esche raz spasibo za podderzhku!

Vsegda pozhaluista!

>Pozvol'te, ya snachala utochnyu, verno li ya Vas ponyal.
>
>2. Na 1-m etape Vi homotopiruete sechenie na S^{n-1}
>tak, chtobi v trivializacii nad B_1 ono stalo *.
>Zatem etu homotopiyu vi rasprostranyaete (v trivializacii!) na vse B_1.
>(Kstati, mozhno pri etom sdelat' tak, chto odno iz sechenii
>progomotopiruetsya na B_1 v *.)

Da. No zametim, chto ne oba odnovremenno.

>Zatem Vi vozvraschaete homotopiyu na S^{n-1}
>v homotopiyu na S^{n-1} \subset B_2 kak
>nad podmnogoobraziem i rasprostranyaete ee do
>homotopii na vsem B_2.

A vot etogo uzhe ya ne ponimayu. S $B_2$ my postupaem tochno tak zhe, kak i s $B_1$: my trivializuem rassloenie nad $B_2$, u nas est' gomotopiya sechenii nad $S^{n-1}$ i my prodolzhaem ee do gomotopii sechenii nad $B_2$. Tak kak ishodnye secheniya sovpadali na $B_2$, to, chto poluchitsya v konce gomotopii tozhe budet tam sovpadat'.

>Tak?
>
>3. Poidem dal'she. A dal'she Vi rassuzhdaete tak, kak bud-to
>DANNAYA homotopiya secheniya s v s' kak otobrazheniya
>prohodit zavedomo dvazhdi INVARIANTNO:
>a) ona postoyanna na B_2,
>b) ona s B_1 "ne zalazit" B_2

Net, etogo ya ne utverzhdayu. Razberem sluchai $n>1$. V etom sluchae $M$ odnosvyazno, i lyubomu otobrazheniyu $f:S^n\to M$ (v chastnosti, nashim secheniyam) sootvetstvuet korrektno opredelennyi element $[f]$ gruppy $\pi_n(M)$. Tak kak $s\sim s'$ kak otobrazhenie, imeem $[s]=[s']$. S drugoi storony, po opredeleniyu slozheniya v $\pi_n(M)$ i pol'zuyas' tem, chto $s=s'$ na $B_2$, $s=s'=*$ na $S^{n-1}$, poluchaem $[s]=[\tilde s]+i_*([g]), [s']=[\tilde s]+i_*([g'])$, gde $i_*:\pi_n(F)\to\pi_n(M)$ inducirovano vlozheniem $i:F\subset M$, a $\tilde s$ -- sechenie, ravnoe $s$ i $s'$ na $B_2$ i tozhdestvenno ravnoe $*$ na $B_1$ (v vybrannoi s samogo nachala trivializacii $M$ nad $B_1$.

V sluchae $n=1$ vse analogichno.

Gde-to tak


(Читать комментарии)

Добавить комментарий:

Как:
(комментарий будет скрыт)
Identity URL: 
имя пользователя:    
Вы должны предварительно войти в LiveJournal.com
 
E-mail для ответов: 
Вы сможете оставлять комментарии, даже если не введете e-mail.
Но вы не сможете получать уведомления об ответах на ваши комментарии!
Внимание: на указанный адрес будет выслано подтверждение.
Имя пользователя:
Пароль:
Тема:
HTML нельзя использовать в теме сообщения
Сообщение:



Обратите внимание! Этот пользователь включил опцию сохранения IP-адресов тех, кто пишет анонимно.