непустой
21КОНФОРМНОЕ ОТОБРАЖЕНИЕ — непрерывное отображение, сохраняющее форму бесконечно малых фигур. Основные понятия. Непрерывное отображение w=f(z)области G n мерного евклидова пространства в n мерное евклидово пространство наз. конформным в точке если оно в этой точке обладает …
22ПЕРИСТОЕ ПРОСТРАНСТВО — вполне регулярное хаусдорфово пространство, обладающее оперением в нек ром своем хаусдорфовом бикомпактном расширении. Оперением подпространства Xтопология, пространства Y в Y наз. счетная система семейств открытых множеств в Y такая, что для… …
23ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — формальная аксиоматич. теория; исчисление, предназначенное для описания логических законов, справедливых для любой непустой области объектов с произвольными заданными на этих объектах предикатами (т. в. свойствами и отношениями). Для формулировки …
24ПСЕВДОБУЛЕВА АЛГЕБРА — решетка L=(L, ), содержащая наименьший элемент 0 и такая, что для любых ее элементов а и b во множестве существует наибольший элемент , где наибольшая нижняя грань для аи х. Элемент нал. псевдодополнением аотносительно b, или импликацией от а к b …
25СВОБОДНАЯ АЛГЕБРА — к л а с с а универсальных алгебр алгебра Fиз класса , обладающая с в о б о д н о й п о р о ж д а ю щ е й с и с т е м о й (или б а з о й) X, т. е. таким множеством порождающих X, что всякое отображение множества Xв любую алгебру Аиз продолжается… …
26СВОБОДНАЯ АЛГЕБРАИЧЕСКАЯ СИСТЕМА — свободный объект в нек ром классе алгебраич. систем. Пусть непустой класс алгебраич. систем (см. Алгебраических систем класс). Система Рназ. свободной в классе , или свободной, если она принадлежит классу и обладает таким множеством Xпорождающих …
27СВЯЗНОСТЬ — свойство топологич. пространства, состоящее в том, что пространство нельзя представить в виде суммы двух отделенных друг от друга частей, или, более строго, непустых непересекающихся открыто замкнутых подмножеств. Пространство, не являющееся… …
28УНИВЕРСАЛЬНЫХ АЛГЕБР МНОГООБРАЗИЕ — класс универсальных алгебр, определяемый системой тождеств (ср. Алгебраических систем многообразие). У. а. м. характеризуется как непустой класс алгебр, замкнутый относительно факторалгебр, подалгебр и прямых произведений. Последние два условия… …
29ЭКСТРЕМАЛЬНАЯ ДЛИНА — семейства кривых понятие, являющееся, наряду с понятием модуля семейства кривых, общей формой определения конформных инвариантов и лежащее в основе экстремальной метрики метода. Пусть Г семейство локально спрямляемых кривых на римановой… …
30Парадокс Банаха — Тарского — Шар можно «разбить» на куски и собрать из них два таких же шара. Парадокс Банаха  Тарского, или парадокс удвоения шара, говорит, что трёхмерный шар равносоставлен двум своим копиям. Два подмножества евклидова пространства называются… …