- теорема о максимальности
- мат. maximality theorem
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
Теорема Александера о предбазе — Теорема Александера о предбазе[1] (англ. Alexander Subbase Theorem) теорема общей топологии, устанавливающая критерий компактности топологического пространства. Компактным называется пространство, допускающая выделение из каждого своего… … Википедия
КОЛЬЦА И АЛГЕБРЫ — множества с двумя бинарными операциями, к рые обычно принято наз. сложением и умножением. Кольцом наз. множество: 1) являющееся абелевой группой относительно сложения (в частности, в кольце существует нулевой элемент, обозначаемый 0, и… … Математическая энциклопедия
Алгоритм проталкивания предпотока — решает задачу нахождения максимального потока в транспортной сети. Алгоритм не является частным случаем алгоритма Форда Фалкерсона. Реализованный без специальных усовершенствований, алгоритм выполняется за время . Некоторые усовершенствования ещё … Википедия
ПОЛУГРУППА С УСЛОВИЕМ КОНЕЧНОСТИ — полугруппа, обладающая нек рым свойством q таким, что всякая конечная полугруппа обладает этим свойством (такое свойство q наз. условием конечности). В определении свойства q могут фигурировать элементы полугруппы, ее подполугруппы и т. п.… … Математическая энциклопедия
Утверждения — Утверждения, эквивалентные аксиоме выбора В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна… … Википедия
Утверждения, эквивалентные аксиоме выбора — В данной статье рассматриваются различные формулировки и доказывается эквивалентность следующих предложений: Аксиома выбора Теорема Цермело Принцип максимума Хаусдорфа Лемма Куратовского Цорна Эквивалентность этих предложений следует понимать в… … Википедия
ПРЕДЕЛЬНОЕ МНОЖЕСТВО — C(f, z0; S).функции f(x): G Q, определенной в области со значениями на сфере Римана W, в точке по множеству , множество значений , для к рых существуют такие последовательности точек , n=1, 2, . . .; , что Каждое значение … Математическая энциклопедия
АДДИТИВНАЯ ТЕОРИЯ ИДЕАЛОВ — одна из ветвей современной алгебры. Главная задача А. т. и. представление любого идеала кольца (или другой алгебраич. системы) в виде пересечения конечного числа идеалов специального вида (примерных, терциарных, при мальных, одночастных и др.).… … Математическая энциклопедия
ДВОЙСТВЕННОСТИ ПРИНЦИП — 1) Д. п. в математической логике теорема о взаимозаменяемости в определенном смысле логич. операций в формулах формальных логических и логико предметных языков. Пусть А формула языка логики высказываний или логики предикатов, не содержащая знака… … Математическая энциклопедия
СТАТИСТИЧЕСКАЯ ФИЗИКА — раздел физики, посвящённый изучению св в макроскопич. тел, т. е. систем, состоящих из очень большого числа одинаковых ч ц (молекул, атомов, эл нов и т. д.), исходя из св в этих ч ц и вз ствий между ними. Изучением макроскопич. тел занимаются и др … Физическая энциклопедия
ДИСКРЕТНАЯ ПОДГРУППА — подгруппа Г топологич. группы G(в частности, подгруппа группы Ли), являющаяся дискретным подмножеством топологич. пространства G. В локально компактных топологич. группах (в частности, в группах Ли) выделяют решетки Д. п., для к рых… … Математическая энциклопедия