Ретракция

подпространство Xтопологич. Пространства Y такое, что включение XМ Y является слабой гомотопич. Эквивалентностью. А. ..

т о п о л о г и ч е с к о г о п р о с т р а нс т в а X - подпространство Аэтого пространства, для к-рого существует ретракция X на А. Если пространство X хаусдорфово, то всякий Р. Пространства Xзамкнут в X. Всякое непустое замкнутое множество канторова совершенного множества является его Р. При переходе от пространства к его Р. Сохраняются многие важные свойства. В частности, всякое свойство, сохраняющееся при переходе к непрерывному образу, равно как и любое свойство, наследуемое замкнутыми..

а л г о р и т м и ч е с к и й я з ы к р ек у р с и в н ы х ф у н к ц и й,- алгоритмический язык, ориентированный на задачи преобразования символьной информации. В первоначальном варианте назывался "метаалгоритмическим языком" (см. |1]). Р. Был создан как универсальный метаязык для описания преобразований языковых объектов. Он используется для трансляции с одного алгоритмич. Языка на другой, для машинного выполнения аналитич. Выкладок, доказательства теорем, перевода с естественных языков и т. П..

банахово пространство X, совпадающее при каноническом вложении со своим вторым сопряженным X**. Подробнее, пусть X* - пространство, сопряженное с X, то есть совокупность всех непрерывных линейных функционалов, определенных на X. Если <x, f>. - значение функционала на элементе , то при фиксированном хи f, пробегающем X*, выражение будет линейным функционалом на X*, то есть элементом пространства X**. Пусть -множество такие функционалов. Соответствие есть изоморфизм, не меняющий нормы ...