Можно сделать следующие выводы:
положительные и отрицательные целые и дробные числа относятся к множеству... не равны друг другу, можно расположить хотя бы одно рациональное число (следовательно, и бесконечное множество... В то же время, множество рациональных чисел характеризуется счетной мощностью (т. е. все элементы множества... Множество рациональных чисел, в отличие от вещественных чисел, является нульмерным.
В статье описывается алгоритм построения расширенного универсального базиса Гребнера (EUGB) полиномиального идеала, основанный на связи между многомерными диаграммами Юнга и базисами Гребнера полиномиальных идеалов. Представленный алгоритм предназначен для нульмерных идеалов и включает в себя построение максимальных линейно-независимых множеств мономов (MLIMS) в факторалгебре по идеалу.
В статье доказывается теорема об устранимой особенности для гармонической функции на двумерном стратифицированном множестве. Показывается, что гармоническая и ограниченная функция, определенная на двумерном стратифицированном множестве, за исключением нульмерных стратов, может быть продолжена на все стратифицированное множество с сохранением гармоничности. Эта теорема играет важную роль при доказательстве разрешимости задачи Дирихле для уравнения Лапласа на стратифицированном множестве и реализации метода Пуанкаре-Перрона на стратифицированном множестве. Для доказательства используются аналоги теоремы о дивергенции и неравенства Харнака на стратифицированном множестве. В статье приведены основные сведения из теории дифференциальных уравнений на стратифицированных множествах, которые необходимы для формулировки и доказательства результата.
1. если функция непрерывна в ограниченной замкнутой области, то она равномерно непрерывна в этой области; 2. множество, состоящее из всех подмножеств данного непустого множества M (булеан), не эквивалентно ни самому M, ни его подмножеству