4551
правка
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
Строка 21: | Строка 21: | ||
Неформально, любая симплициальная карта m-сферы в F может быть «заполнена» до симплициальной карты (m + 1)-диска. Остовом для F( | Неформально, любая симплициальная карта m-сферы в <math>\mathcal{F}</math> может быть «заполнена» до симплициальной карты (m + 1)-диска. ''Остовом'' для <math>\mathcal{F}(S^n)</math> является подразделение <math>\sigma</math> входного симплекса <math>S^n</math> вместе с симплициальной картой <math>\phi: \sigma(S^n) \to \mathcal{F}(S^n)</math>, такое, что для каждой грани <math>S^m</math> из <math>S^n</math> выполняется соотношение <math>\phi: \sigma(S^m) \to \mathcal{F}(S^m)</math>. Остовы строятся по одной размерности за раз. Для каждого <math> \vec s = \langle P_i, v_i \rangle \in S^n \; \phi</math> переносит <math> \vec s</math> для одиночного выполнения <math>P_i</math> с входным значением <math> \vec v_i</math>. Для каждого S1 = (sE0, Es1) из теоремы 1 следует, что ф0о) и 0(?i) могут быть соединены путем в F(S1). Для каждого S2 = (sE0; Es1; Es2) построенные по индукции остовы определяют каждую грань граничного комплекса ф: criS^) ! F(S1)ij для i;j 2 f0; 1; 2g. Из теоремы 1 следует, что эту карту можно «заполнить», распространив подразделение с граничного комплекса на весь комплекс. | ||
правка