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

'''Теорема 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>.'''