Клин

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

- отделимое пространство Xявляющееся объединением непересекающихся клеток. При этом р-м ерной клеткой наз. Топологич. Пространство, гомеоморфное внутренности единичного куба размерности р. Если. 1) для каждой р- мерной клетки tP пространства Xзадано непрерывное отображение f р-мерного куба Ip в пространство X, причем ограничение f' отображения f на внутренность куба IP взаимно однозначно, и образ f(IP )совпадает с замыканием tp в Xклетки tp (т. Е. F' - гомеоморфизм на tp )и 2) множество f( ..

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

- конечномерная ассоциативная алгебра над коммутативным кольцом, впервые рассмотренная У. Клиффордом (W. Clifford) в 1876. Пусть К - коммутативное кольцо с единицей, Е- свободный K-модуль, Q - квадратичная форма на Е. К. А. Квадратичной формы Q(или пары ( Е. Q ))наз. Факторалгебра С(Q)тензорной алгебры Т(Е)А-модуля Епо двустороннему идеалу, порожденному элементами вида где Элементы из Еотождествляются с соответствующими классами смежности в C(Q). Для любых имеет место тождество xу + уx=Ф(x,у..