Различающий Элемент

- одна из логич. Связок. Предложение , получающееся из двух предложений Аи Вс помощью Р. Д., считается истинным в случае, если истинно Аи ложно В, или в случае, если ложно Аи истинно В. В остальных случаях оно считается ложным. Таким образом, Р. Д. Может быть выражена через обычную (не разделительную) дизъюнкцию по формуле В. Н. Гришин. ..

различающая кодепь,- препятствие к продолжению гомотопии между отображениями. Пусть X - нек-рое клеточное пространство, Y - односвязное топологич. Пространство. Пусть, далее, даны два отображения f, g. И гомотопия (где I=[0, 1] и Xn есть n-мерный остов пространства X).между ними на (n-1)-мерном остове. Для каждой ориентированной n-мерной клетки е п пространства Xограничение отображения задает отображение (Sn есть n-мерная сфера) и, значит, элемент группы pn(Y). Таким образом возникает..

для заданного семейства подмножеств множества S - множество при любом взаимно однозначном отображении , обладающем свойством. для любого (здесь I - произволь-вое множество индексов). Другое название Р. П. С. R- трансверсаль семейства F. Рассматриваются также частичные трансвер-сали семейства F - множества вида {p(i), }, где I0 - подмножество - взаимно однозначное отображение. Р. П. С. Применяются как в чисто комбинаторных математич. Исследованиях, так и в их приложениях к линейному прог..

- однопараметрическое семейство , проекционных операторов, действующих в гильбертовом пространстве , такое, что 1) , если l<m. 2) Е l сильно непрерывно слева, т. Е. Е l-0 -Еl для любого . 3) при и при , здесь О и Е - нулевой и единичный операторы в пространстве . Условие 2} можно заменить на условие непрерывности справа в каждой точке Всякий самосопряженный оператор А, действующий в , порождает соответствующее ему вполне определенное Р. Е. При этом кроме условий 1)-3) выполн..