Все выпуски

Pассматриваются пространства Стоуна BD и BS двух булевых алгебр. Доказывается, что множество свободных ультрафильтров пространства BD и пространство BS гомеоморфны канторову совершенному множеству.

В работе рассматривается пространство Стоуна булевой алгебры подмножеств одного счетного частично упорядоченного множества. Главной особенностью этого множества является наличие бесконечного числа непосредственных последователей у каждого его элемента. Отсюда следует, что каждый фиксированный ультрафильтр данного пространства Стоуна является неизолированной точкой, а подмножество свободных ультрафильтров всюду плотно. В работе дана классификация точек пространства, доказано, что есть свободные ультрафильтры, которые не являются пределами последовательностей фиксированных ультрафильтров, а также свободные ультрафильтры, определяемые цепями частично упорядоченного множества. Рассмотрены кардинальные инварианты подпространства свободных ультрафильтров. Доказано, что это подпространство имеет счетное число Суслина, но не сепарабельно.

Рассматриваются конструкции, связанные с представлением свободных $\sigma$-мультипликативных ультрафильтров широко понимаемых измеримых пространств. В основе построений находятся представления, связанные с применением открытых ультрафильтров в случаях кофинитной и косчетной топологий. Такие ультрафильтры сохраняются (как максимальные фильтры) при замене топологий соответственно алгеброй и $\sigma$-алгеброй, порожденных упомянутыми топологиями. В (основном) случае косчетной топологии устанавливается единственность $\sigma$-мультипликативного свободного ультрафильтра, составленного из непустых открытых множеств. Показано, что данное свойство сохраняется для $\sigma$-алгебр, содержащих косчетную топологию. Указаны две топологии пространства ограниченных конечно-аддитивных борелевских мер, для которых ультрафильтр непустых открытых множеств определяет одноэлементный нарост секвенциально замкнутого множества мер Дирака, возникающий при построении замыкания.

Рассматривается абстрактная задача о достижимости при ограничениях асимптотического характера, решение в которой отождествляется с множеством притяжения в классе ультрафильтров пространства обычных решений. Исследуется нарост упомянутого множества по отношению к замыканию множества результатов, доставляемых точными решениями (данное понятие на идейном уровне соответствует схеме Дж. Варги, хотя и применяется в случае ограничений более общего характера). Для представления упомянутого (основного) множества притяжения привлекается соответствующий аналог последнего, реализуемый в пространстве обобщенных элементов. Для получаемого таким образом вспомогательного множества притяжения анализируется нарост и исследуется его связь с наростом основного множества притяжения. Получены условия отождествимости наростов основного и вспомогательного множеств притяжения. Общие положения детализируются для случая, когда обобщенные элементы определяются в виде ультрафильтров широко понимаемых измеримых пространств, где за реализацию наростов оказываются ответственными свободные ультрафильтры. Показано, что при наличии нароста множество допустимых обобщенных элементов не совпадает с замыканием какого-либо множества обычных решений (не допускает стандартной реализации).

Рассматривается семейство максимальных сцепленных систем, элементами которых являются множества произвольной решетки с «нулем» и «единицей», а также его подсемейство, составленное из ультрафильтров данной решетки. Исследуются соотношения между естественными топологиями, используемыми для оснащения множества максимальных сцепленных систем и множества ультрафильтров упомянутой решетки множеств. Показано, что последнее множество в естественном (для пространств ультрафильтров) оснащении является подпространством пространства максимальных сцепленных систем в оснащении двумя сравнимыми топологиями, одна из которых подобна используемой при построении расширения Волмэна, а вторая соответствует на идейном уровне схеме построения пространства Стоуна в случае, когда решетка является алгеброй множеств. Свойства получающейся битопологической структуры детализированы для случаев, когда решетка является алгеброй множеств, топологией, семейством замкнутых множеств топологического пространства.

Исследуются свойства ультрафильтров (у/ф) и максимальных сцепленных систем (МСС) на широко понимаемом измеримом пространстве (ИП), а также некоторые представления сцепленных (не обязательно максимальных) систем и фильтров на упомянутом ИП. Исследуются условия, обеспечивающие максимальность сцепленных семейств (систем), а также естественные представления для битопологических пространств (БТП), точками которых являются у/ф и МСС. Изучаются оснащения множеств сцепленных семейств и фильтров, отвечающие схемам Волмэна и Стоуна, а также связь данных оснащений (топологиями) с аналогичными оснащениями множеств у/ф и МСС, приводящими к вышеупомянутым БТП. Исследуются свойства определяемых естественным образом произведений сцепленных семейств и МСС на двух (широко понимаемых) ИП. Показано, что МСС на произведении $\pi$-систем (то есть на семействе «измеримых» прямоугольников) исчерпываются произведениями соответствующих МСС на исходных пространствах.

Рассматриваются общие свойства ультрафильтров π-систем с нулем и единицей, используемые при построении расширений абстрактных задач о достижимости для получения оценок множеств притяжения в топологическом пространстве. Обсуждаются возможности использования упомянутых ультрафильтров в качестве обобщенных элементов. Среди последних выделяются допустимые по отношению к ограничениям асимптотического характера исходной задачи. Целевой оператор данной задачи при очень общих условиях продолжается до непрерывного отображения, сопоставляющего каждому ультрафильтру π-системы предел соответствующего образа. При этом основное множество притяжения (асимптотический аналог множества достижимости) оценивается снизу непрерывным образом аналогичного вспомогательного множества в пространстве ультрафильтров. В частном случае реализации пространства Стоуна (когда используемая π-система является алгеброй множеств) упомянутая оценка превращается в равенство, связывающее искомое и вспомогательное множества притяжения; для последнего указано достаточно простое представление. Обсуждается вариант применения (в оценочных целях) расширения Волмэна.

Рассматриваются ультрафильтры широко понимаемых измеримых пространств, включая пространства с полуалгебрами и алгебрами множеств. Исследуется преобразование, имеющее смысл продолжения ультрафильтра с полуалгебры на алгебру, порожденную упомянутой полуалгеброй; показано, что данное преобразование  гомеоморфизм в смысле естественных оснащений пространств ультрафильтров, реализующих стандартные компакты (в случае измеримого пространства с алгеброй множеств реализуется пространство стоуновского представления). Исследуются вопросы представления множеств притяжения в абстрактной задаче о достижимости с ограничениями асимптотического характера, связанные с применением компактификаций в классе ультрафильтров измеримых пространств с полуалгебрами множеств, а также некоторые аналоги, использующие ультрафильтры π-систем.

Рассматривается конструкция расширения абстрактной задачи о достижимости, реализуемая с использованием компакта Стоуна (пространство ультрафильтров алгебры множеств в традиционном оснащении). Исследуются вопросы, связанные с построением множеств притяжения; последние определяют возможности в части достижимости желаемых состояний в топологическом пространстве при использовании асимптотических аналогов обычных решений. Предполагаются заданными ограничения асимптотического характера, которые, в частности, могут возникать при ослаблении стандартных ограничений, используемых в задачах управления (естественным прототипом исследуемой абстрактной задачи может служить задача о построении асимптотического аналога области достижимости управляемой системы при исчезающе малом ослаблении тех или иных ограничений на выбор программного управления). Используя естественную модификацию подхода Дж. Варги, можно ввести наряду с точными так называемые приближенные решения в виде последовательностей обычных решений, соблюдающих с "нарастающей точностью" условия, составляющие в своей совокупности "асимптотические ограничения". В ряде случаев таких (секвенциальных) приближенных решений оказывается недостаточно. Требуются направленности или фильтры. Последние используются в настоящей работе в качестве основного типа (асимптотических по существу) решений при построении множеств притяжения в задачах о достижимости с ограничениями асимптотического характера; более того, в этих построениях удается ограничиться использованием ультрафильтров. Для одного частного случая на этой основе установлена конкретная структура множества притяжения.

Рассматривается проблема соблюдения ограничений асимптотического характера, которая с использованием элементов естественного расширения редуцируется к обобщенной задаче в классе ультрафильтров исходного пространства решений. Ограничениям упомянутого типа сопоставляется стандартная компонента, определяемая обычным требованием принадлежности заданному множеству; данная компонента на идейном уровне соответствует конструкции точных решений Дж. Варги. В то же время при соблюдении вышеупомянутых ограничений могут возникать асимптотические (по смыслу) режимы, для которых реализуется идея соблюдения условий принадлежности «с некоторого момента»; при этом, однако, одно множество, характеризующее стандартное ограничение в терминах включения, заменяется непустым семейством. Данное семейство нередко возникает при последовательном ослаблении условия принадлежности элемента, зависящего от выбора решения, фиксированному множеству в топологическом пространстве (последнее зачастую бывает метризуемым). Множества - элементы упомянутого семейства - определяются при этом условиями принадлежности соответствующих их элементов окрестностям данного фиксированного множества. Возможна, однако, ситуация, когда семейство, определяющее ограничения асимптотического характера, возникает изначально и не связывается уже с ослаблением какого-либо (стандартного) условия.

В статье рассматривается общий случай, для которого исследуется структура множества допустимых обобщенных элементов. Показано, что для «хорошо устроенной» обобщенной задачи стандартная компонента «асимптотических ограничений» отвечает за реализацию внутренности вышеупомянутого множества допустимых обобщенных элементов, и указано конкретное представление данного топологического свойства. Получены также некоторые следствия упомянутого представления, касающиеся допустимых обобщенных элементов, не аппроксимируемых в топологическом смысле точными решениями.