Переименование: различия между версиями

Перейти к навигации Перейти к поиску
Строка 18: Строка 18:
== Основные результаты ==
== Основные результаты ==


Теорема 1. Пусть Sn – n-симплекс, а Sm – грань Sn. Обозначим за S комплекс, состоящий из всех граней Sm, за S – комплекс, состоящий из всех собственных граней Sm (граничный комплекс S). Если a(S) – подразделение S, а ф: cr(S) ! F(S) – симплициальная карта, то существуют подразделение x{S) и симплициальная карта \j/ : r(S) ! F(S), такие, что r(S) = cr(S), и ф и x/r сходятся (согласуются) на cr(S).
'''Теорема 1. Пусть <math>S^n</math> – n-симплекс, а <math>S^m</math> – грань <math>S^n</math>. Обозначим за S комплекс, состоящий из всех граней <math>S^m</math>, за <math>\dot{S}</math> – комплекс, состоящий из всех собственных граней <math>S^n</math> (граничный комплекс <math>S</math>). Если <math>\sigma( \dot{S})</math> – подразделение S, а <math>\phi: \sigma (\dot{S}) \to \mathcal{F}(S)</math> – симплициальная карта, то существуют подразделение <math>\tau(S)</math> и симплициальная карта <math>\psi: \tau (\dot{S}) \to \mathcal{F}(S)</math>, такие, что <math>\tau (\dot{S}) = \sigma (\dot{S})</math>, и <math>\phi</math> и <math>\psi</math> сходятся (согласуются) на <math>\sigma (\dot{S})</math>.'''




4551

правка

Навигация