Все выпуски

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

An abstract attainability problem under constraints of asymptotic character is considered; the corresponding solution is identified with an attraction set in the class of ultrafilters of the space of ordinary solutions. The remainder of the above-mentioned set with respect to closuring the set of results supplied by precise solutions is investigated (the given notion of a precise solution conceptually corresponds to Warga scheme although it is applied to the case of more general constraints). To represent the above-mentioned (basic) attraction set, the corresponding analog (of the last set) realized in the space of generalized elements is used. For thus obtained auxiliary attraction set, the remainder is analyzed; its connection with the remainder of the basic attraction set is investigated. Conditions of identifying the remainders for basic and auxiliary attraction sets are obtained. General statements are detailed for the case when generalized elements are defined in the form of ultrafilters of widely interpreted measurable spaces where free ultrafilters are responsible for the realization of remainders. It is established that, under existence of a remainder, the set of generalized admissible elements does not coincide with closuring a set of ordinary solutions (this set does not admit standard realization).

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

General properties of ultrafilters of π-systems with zero and unit used under extension constructing for abstract attainability problems with the aim of estimation for attraction sets in topological space are considered. Possibilities of employment of the above-mentioned ultrafilters as general elements are considered. Among them, elements admissible with respect to constraints of asymptotic character of the initial problem are selected. Under very general conditions, the goal operator of the given problem extends to the continuous mapping that takes each ultrafilter of π-system to the limit of corresponding image. The basic attraction set (an asymptotic analog of the attainability domain) is estimated from below by the continuous image of an analogous auxiliary set in the space of ultrafilters. In the particular case of realization of the Stone space (when the used π-system is an algebra of sets) the above-mentioned estimate is an equality connecting a desired attraction set and an auxiliary one; for the latter a sufficiently simple representation is given. The variant of application (in estimating goals) of the Wallman extension is discussed.

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

The maximin game problem under sequential weakening of moment constraints is considered. The extension in the class of finitely additive measures realizing the asymptotic of maximin is constructed. The effectively verifiable sufficient conditions of stability «by maximin» is established.

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

Ultrafilters of widely interpreted measurable spaces (including the spaces with semialgebras and algebras of sets) are considered. The transformation having the sense of ultrafilter extension with semialgebra of sets onto algebra generated by this semialgebra is investigated. It is established that given transformation is a homeomorphism in the sense of the natural equipments of ultrafilter spaces realizing standard compactums (in the case of measurable spaces with algebra of sets, the space of Stone representation is realized). Questions connected with representation of attraction sets in abstract attainability problem with constraints of asymptotic character are investigated. These questions are connected with the compactifications in the class of ultrafilters of measurable spaces with semialgebras of sets and some analogs for ultrafilters of π-systems.

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

The extension construction of the abstract problem of attainability realized with employment of the Stone compactum (the space of ultrafilters in the traditional equipment) is considered. The questions connected with the structure of attraction sets are investigated; these attraction sets define possibilities for attainability of desired states in topological space under employment of asymptotic analogs of usual solutions. Constraints of asymptotic character are given. This constraints can be arising under the weakening of standard constraints used in control theory (the natural prototype of the investigated abstract problem is the problem about the construction of the asymptotic analog of the attainability domain for the control system under vanishingly small weakening of some constraints on the choice of the programmed control). Using the natural modification of Warga approach, we can introduce (along with precise solutions) so-called approximate solutions in the form of sequences of usual solutions satisfying the conditions (realizing in the totality "asymptotic constraints") "with reinforcing exactness". Sometimes, the employment of only such (sequential) approximate solutions can be insufficient. Nets or filters are required. The last objects are used as the basic type of (asymptotic in essence) solutions in this investigation under construction of attraction sets in the attainability problem with constraints of asymptotic character. And what is more, in these constructions, we can confine ourselves to the employment of ultrafilters. For a particular case, on this basis, the concrete structure of attraction set is established.

Рассматривается абстрактная игровая задача управления и ее релаксации, связанные с ослаблением ограничений на выбор программных стратегий. В последнем случае реализуется серия задач на максимин, для которых множества допустимых стратегий каждого из участников образуют направленную систему. Устанавливается, что значения реализуемого (при каждом конкретном варианте ослабления условий) максимина обладают свойством сходимости и указывается представление обобщенного предела упомянутых значений.

The abstract game problem of control and its relaxations connected with a weakening of constraints on the choice of programmed strategies are considered. In this case, the series of maximin problems is realized; for this series, the sets of admissible strategies of participants form directed systems. It is established that realized maximins are convergent. The representation of the corresponding generalized limit is established.

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

The abstract attainability problem with constraints of asymptotic character is considered; for this problem, the nonsequential (generally speaking) attraction set obtained by the comparison to the solution an attraction element is constructed. Self solutions are defined as nets, filters, or ultrafilters of the space of usual solutions (each of the above-mentioned classes is sufficient for constructing of attraction set). Main attention are given to questions of constructing of attraction sets in the class of measurable spaces interpreted very broad (spaces with the families closed with respect to intersections, measurable spaces with algebras of sets and so forth). The construction arising under consideration of ultrafilters of lattices of sets is used as instrument of investigation.