Последовательность Майера — Вьеториса

Последовательность Майера — Вьеториса  — естественная длинная точная последовательность, связывающая гомологии пространства с гомологиями двух покрывающих его открытых множеств и их пересечения.

Последовательность Майера — Вьеториса можно написать для различных теорий  гомологий, в том числе сингулярных, а также для всех теорий, удовлетворяющих аксиомам Стинрода — Эйленберга.

Названа в честь двух австрийских математиков, Вальтера Майера и Леопольда Вьеториса.

Формулировка

Предположим, топологическое пространство $X$ представляется как объединение открытых подмножеств $A$ и $B$. Последовательность Майера — Вьеториса:

$\begin{array}{cc}\cdots \to H_{n+1}(X)& \stackrel{{\partial }_{*}}{\to }{H}_n(A\cap B)\stackrel{(i_{*},j_{*})}{\to }{H}_n(A)\oplus H_n(B)\stackrel{k_{*}-l_{*}}{\to }{H}_n(X)\stackrel{{\partial }_{*}}{\to }\\ & \stackrel{{\partial }_{*}}{\to }{H}_{n-1}(A\cap B)\to \cdots \to H_0(A)\oplus H_0(B)\stackrel{k_{*}-l_{*}}{\to }{H}_0(X)\to 0.\end{array}$

Отображения границы ∂_* на торе, где 1-цикл x = u + v — сумма двух 1-цепей, граница которых лежит в пересечении A и B.

Здесь отображения $i:A\cap B\to A$, $j:A\cap B\to B$, $k:A\to X$, $l:B\to X$ — отображения включения, и $\oplus$ обозначает прямую сумму абелевых групп.

Отображение границы ${\partial }_{*}$, понижающее размерность, может быть определено следующим образом. Элемент в $H_n(X)$ представляется $n$-циклом $x$, который может быть записан как сумма двух $n$-цепей $u$ и $v$, образы которых лежат полностью в $A$ и $B$, соответственно. Этого можно добиться, применив к $x$ барицентрическое подразделение несколько раз.

Таким образом, $\partial x=\partial u+\partial v=0$, так что $\partial u=-\partial v$. Заметим, что обе границы $\partial u$ и $\partial v$ лежат в $A\cap B$. Тогда ${\partial }_{*}[x]$ определяется как класс $[\partial u]\in H_{n-1}(A\cap B)$. При этом выбор разложения $x=u+v$ не влияет на значение $[\partial u]$.

Замечания

• Отображения в последовательности зависят от выбора порядка для $A$ и $B$.
  • В частности, отображение границы меняет знак, если $A$ и $B$ меняются местами.

Приложения

Гомологии сферы

Разложение сферы

Чтобы вычислить гомологии k-мерной сферы, представим сферу $S^k$ как объединение двух k-мерных дисков $A$ и $B$ с пересечением, гомотопически эквивалентным $(k-1)$-мерной экваториальной сфере $S^{k-1}$. Поскольку $A$ и $B$ стягиваемы, из последовательности Майера — Вьеториса следует точность последовательностей

$0\to H_n(S^k)\stackrel{{\partial }_{*}}{\to }{H}_{n-1}(S^{k-1})\to 0$

при $n⩾1$. Точность сразу влечёт, что гомоморфизм ∂_* является изоморфизмом при $n⩾1$. Следовательно,

$H_n(S^k)\cong \mathbb{Z}$, если $n=k,0$,

иначе $H_n(S^k)\cong 0$

Бутылка Клейна

Разложение Бутылки Клейна  на две ленты Мебиуса, красную и синюю.

Для вычисления гомологий бутылки Клейна представим её, как объединение двух лент Мебиуса $A$ и $B$, склеенных вдоль их граничной окружности. Тогда $A$, $B$ и их пересечение $A\cap B$ гомотопически эквивалентны окружности.  Нетривиальная часть последовательности дает

$0\to H_2(X)\to \mathbb{Z}\stackrel{\alpha }{\to }\mathbb{Z}\oplus \mathbb{Z}\to H_1(X)\to 0$

Тривиальная часть влечёт обнуление гомологий в размерностях 3 и выше. Заметим, что $\alpha (1)=(2,2)$, поскольку граничная окружность листа Мёбиуса оборачивается дважды вокруг его средней линии. В частности, $\alpha (1)$ инъективен. Следовательно, $H_2(X)=0$. Выбирая базис (1, 0) и (1, 1) в ${\mathbb{Z}}^2$, получаем

$H_1\left(X\right)\cong \mathbb{Z}\oplus {\mathbb{Z}}_2$

Вариации и обобщения

• Редуцированные гомологии также удовлетворяют последовательности Майера — Вьеториса в предположении, что $A$ и $B$ имеют непустое пересечение. Эта последовательность идентична обычной, но заканчивается следующим образом:

  $\cdots \to {\tilde{H}}_0(A\cap B)\stackrel{(i_{*},j_{*})}{\to }{\tilde{H}}_0(A)\oplus {\tilde{H}}_0(B)\stackrel{k_{*}-l_{*}}{\to }{\tilde{H}}_0(X)\to 0.$

• Для относительных гомологий последовательность выглядит следующим образом:

  $\cdots \to H_n(A\cap B,C\cap D)\stackrel{(i_{*},j_{*})}{\to }{H}_n(A,C)\oplus H_n(B,D)\stackrel{k_{*}-l_{*}}{\to }{H}_n(X,Y)\stackrel{{\partial }_{*}}{\to }{H}_{n-1}(A\cap B,C\cap D)\to \cdots$

См. также

• Теорема ван Кампена