Клеточный Комплекс

CW - комплекс,- клеточный комплекс X, удовлетворяющий следующим условиям. (С) Для любой точки комплекс X(х)является конечным, т. Е. Состоит из конечного числа клеток (для произвольного подмножества А клеточного комплекса Xчерез X(А)обозначается пересечение всех подкомплексов комплекса X, содержащих множество A).(W) Если F- нек-рое множество клеточного комплекса X, и для любой клетки tиз клеточного комплекса Xпересечение замкнуто в (а следовательно и в X), то Fявляется замкнутым подмножеством..

- отображение одного относительного клеточного разбиения(X, А )в другое клеточное разбиение (У, В)такое, что где (X, A)Pn(Y, В) р- р-мерные остовы пространств Xи Yотносительно Аи Всоответственно. В случае, когда А, В=ф получается К. О. F клеточного разбиения Xв клеточное разбиение Y. Гомотопия где I=[0, 1], наз. Клеточной, если для всех р. Следующая теорема о клеточной аппроксимации является аналогом теоремы о симплициальной аппроксимации (см. Симплициалъиое отображение). Пусть дано ото..

в векторном пространстве - выпуклое множество, инвариантное относительно преобразования т. Е. Множество Ктакое, что если а числа то К., удовлетворяющий условию. Если х,то x=0 наз. Конусом (выпуклым). Всякий К. Порождает в векторном пространстве структуру квазипорядка. когда К. Кв пространстве Xназ. Воспроизводящим, если К- К= Х. Б. 3. Вулих.. ..

- классификация теоретико-числовых предикатов, введенная независимо С. Клини [1] и А. Мостовским [2]. Через П 0 и одновременно через е 0 обозначается класс всех рекурсивных предикатов. Для всякого k>0 класс е k определяется как класс всех предикатов, выразимых в виде где - квантор существования, R(y, x1, ..., х п)- предикат из класса П k-1, а класс П k определяется как класс предикатов, выразимых в виде где - квантор всеобщности, R( у, x1, ..., х п)- предикат из класса е k-1. Таким о..