2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Двойственность Пуанкаре-Лефшеца и Пуанкаре-Лефшеца-Александе
Сообщение01.04.2017, 15:08 
Аватара пользователя
Напомню формулировки.

Двойственность Пуанкаре-Лефшеца:
Цитата:
Пусть $M$ - компактное многообразие с краем такое, что $\operatorname{dim} M = n$ тогда выполняется $H^i(M, \partial M) = H_{n-i} (M)$ и $H_i (M, \partial M) = H^{n-i} (M)$.


Двойственность Пуанкаре-Лефшеца-Александера:
Цитата:
Пусть $M$ - компактное многообразие такое, что $\operatorname{dim} M = n$ и $B \subset A \subset M$ - его замкнутые подмножества. Тогда выполняется $H^i(M-B,M-A) = H_{n-i}(A,B)$


И вот говорят, что как-то не очень большими усилиями можно вывести из двойственности Пуанкаре-Лефшеца-Александера двойственность Пуанкаре-Лефшеца, но у меня не выходит что-то совсем. Дубль на MSE.

 
 
 
 Re: Двойственность Пуанкаре-Лефшеца и Пуанкаре-Лефшеца-Александе
Сообщение01.04.2017, 23:00 
Аватара пользователя
разве не подходит $B=\emptyset$ и $M\setminus A$ -- воротник границы?

 
 
 
 Re: Двойственность Пуанкаре-Лефшеца и Пуанкаре-Лефшеца-Александе
Сообщение01.04.2017, 23:36 
Аватара пользователя
Двойственность А-П-Л сформулирована только для многообразий без края, поэтому так просто не выйдет.

 
 
 
 Re: Двойственность Пуанкаре-Лефшеца и Пуанкаре-Лефшеца-Александе
Сообщение02.04.2017, 16:05 
1) там нужна некоторая ориентируемость многообразий

2) двойственность Александера верна и для некомпактных многообразий с краем. Нужно только, чтобы $A$ и $B$ были компактны и лежали в $M - \partial M$.
В этом случае двойственность Лефшеца (тут уже для компактных) выводится отсюда так, как указано выше.

3) Ну, в принципе, можно, наверное, и из приведённой формулировки что-то вывести. Например: $M$ - компактное с краем, $\tilde{M}$ - склейка двух копий $M$ по общему краю (тождеств. на краю). Пусть копии - $M_1$, $M_2$. Тогда возьмём $A = M_2$, $B=\partial M$. Тогда: $H_{n-i} (M, \partial M) = H^i (\tilde{M} - \partial M, \tilde{M} - M_2) = H^i (M \sqcup M, M) = H^i (M)$. Как-то так, например...

 
 
 
 Re: Двойственность Пуанкаре-Лефшеца и Пуанкаре-Лефшеца-Александе
Сообщение02.04.2017, 16:08 
Аватара пользователя
Geros
Хитро придумано, спасибо!

 
 
 [ Сообщений: 5 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group