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

Перейти к навигации Перейти к поиску
Строка 21: Строка 21:




Неформально, любая симплициальная карта m-сферы в F может быть «заполнена» до симплициальной карты (m + 1)-диска. Остовом для F(Sn) является подразделение a входного симплекса Sn вместе с симплициальной картой ф: a(Sn) !F (Sn), такое, что для каждой грани Sm из Sn выполняется соотношение ф: a(Sm) ! F(Sm). Остовы строятся по одной размерности за раз. Для каждого s = hPi ; vi i e Sn; ф переносит s для одиночного выполнения Pi с входным значением vEi. Для каждого S1 = (sE0, Es1) из теоремы 1 следует, что ф0о) и 0(?i) могут быть соединены путем в F(S1). Для каждого S2 = (sE0; Es1; Es2) построенные по индукции остовы определяют каждую грань граничного комплекса ф: criS^) ! F(S1)ij для i;j 2 f0; 1; 2g. Из теоремы 1 следует, что эту карту можно «заполнить», распространив подразделение с граничного комплекса на весь комплекс.
Неформально, любая симплициальная карта 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 следует, что эту карту можно «заполнить», распространив подразделение с граничного комплекса на весь комплекс.




4551

правка

Навигация