однозначное отображение
81АРИФМЕТИЗАЦИЯ — метод, применяемый в математич. логике для замены рассуждений о выражениях к. л. логико математич. языка рассуждениями о натуральных числах. С целью такой замены устанавливается к. л. достаточно простое взаимно однозначное отображение множества… …
82БОРЕЛЕВСКИЙ ИЗОМОРФИЗМ — В изоморфизм, взаимно однозначное отображение / пространства Xна пространство Y такое, что f и f 1 переводят борелевские множества в борелевские. В классе борелевских подмножеств полных сепарабельных метрич. пространств равномощные множества… …
83ВЕЩЕСТВЕННОЕ АНАЛИТИЧЕСКОЕ ПРОСТРАНСТВО — аналитическое пространство над полем R действительных чисел. В отличие от комплексных аналитич. ространств, структурные пучки В. а. п. могут не быть когерентными пучками. В. а. п. наз. когерентным, если его структурный пучок когерентен. Все… …
84ГОМОТЕТИЯ — преобразование евклидова пространства относительно пек рой точки О, ставящее в соответствие каждой точке Мточку М , лежащую на прямой ОМ, по правилу где k постоянное, отличное от нуля число, наз. коэффициентом Г. Точка Оназ. центром Г. При k>0 …
85ЗАМЫКАНИЯ ОТНОШЕНИЕ — в частично упорядоченном множестве М однозначное отображение множества Мв себя, сопоставляющее каждому элементу некоторый элемент наз. замыканием элемента а, и удовлетворяющее следующим аксиомам: 1) 2) если то 3) Элемент аназ. замкнутым, если он… …
86ИЗОМОРФИЗМ — соответствие (отношение) между объектами или системами объектов, выражающее в некотором смысле тождество их строения. И. в произвольной категории есть обратимый морфизм, т. е. морфизм j, для к рого существует такой морфизм j 1,что произведение j… …
87ИНТЕРВАЛЬНЫЙ АНАЛИЗ — теория, предназначенная для учета ошибок округления при проведении расчетов на цифровых вычислительных машина (ЦВМ). Так как точное …
88КАРЛЕМАНА ГРАНИЧНАЯ ЗАДАЧА — граничная задача аналитич. функций со сдвигом, изменяющим направление обхода контура на обратное; впервые рассмотрена Т. Карлеманом [1]. Пусть L простая замкнутая кривая Ляпунова на плоскости комплексного переменного z, D конечная область,… …
89КРАТНЫЙ ИНТЕГРАЛ — определенный интеграл от функции нескольких переменных. Имеются различные понятия К. и. (интеграл Римана, интеграл Лебега, интеграл Лебега Стилтьеса и др.). Кратный интеграл Римана вводится на основе Жордана меры Пусть Е измеримое по Жордану… …
90НАТУРАЛЬНЫЙ РЯД — непустое множество в к ром определена унарная операция S(т. е. S однозначное отображение Nв N), удовлетворяющая условиям (Пеано аксиомы): 1) для любого аиз N: 2) для любых а и bиз N:если то 3) любое подмножество N, к рое содержит 1 и вместе с… …
