сладко стянул

сладко стянул

Во введении к сборнику статей 50-60-ых годов "Топологическая библиотека" С.П.Новиков пишет: ...К сожалению, окончательное превращение топологии в строгий и точный раздел чистой математики имел и отрицательные последствия: возрос уровень абстрактности языка…

Обозначим V:=A∩B и W:=A∪B, и докажем, например, сюръективность i1.

Вот так мы рассуждаем сейчас:
«Так как j1 и j2 сюръективны, в данном случае точная последовательность Майера—Вьеториса превращается в короткую точную последовательность

0 -> H_*(V) -F-> H_*(A)⊕H_*(B) -G-> H_*(W) -> 0,
где F(u) := i1(u)⊕i2(u) и G(x⊕y) := j1(x)-j2(y).

Пусть теперь x∈H_*(A); тогда j1(x)∈H_*(W). Так как j2 сюръективно, имеем j1(x)=j2(y) для некоторого y∈H_*(B). Получаем G(x⊕y)=0. Наша последовательность точна, поэтому x⊕y=F(x') для некоторого x'∈H_*(V). Итак, x=i1(x'). Сюръективность доказана.»

Рассуждение строгое и чисто алгебраическое; его проще придумать с листочком бумаги, чем с закрытыми глазами

www.group-telegram.com/us/sweet_homotopy.com/2041

1.2K viewsNov 20 at 21:13

Обозначим V:=A∩B и W:=A∪B, и докажем, например, сюръективность i1.

Вот так мы рассуждаем сейчас:
«Так как j1 и j2 сюръективны, в данном случае точная последовательность Майера—Вьеториса превращается в короткую точную последовательность

0 -> H_*(V) -F-> H_*(A)⊕H_*(B) -G-> H_*(W) -> 0,
где F(u) := i1(u)⊕i2(u) и G(x⊕y) := j1(x)-j2(y).

Пусть теперь x∈H_*(A); тогда j1(x)∈H_*(W). Так как j2 сюръективно, имеем j1(x)=j2(y) для некоторого y∈H_*(B). Получаем G(x⊕y)=0. Наша последовательность точна, поэтому x⊕y=F(x') для некоторого x'∈H_*(V). Итак, x=i1(x'). Сюръективность доказана.»

Рассуждение строгое и чисто алгебраическое; его проще придумать с листочком бумаги, чем с закрытыми глазами

BY сладко стянул