Все выпуски

Доказана теорема, вводящая эквивалентные определения для некоторых пределов сходящихся последовательностей в расширении Белла счетного дискретного пространства.

The theorem is proved which gives equivalent definitions of some limits of convergent sequence in Bell’s compactification of countable discrete space.

В данной работе рассматривается булева алгебра того же типа, что и алгебра, построенная Беллом, и пространство Стоуна этой булевой алгебры. Данное пространство является компактификацией счетного дискретного пространства N. Доказано существование изолированных точек в наросте данной компактификации, которые являются пределами некоторых сходящихся последовательностей. Также доказано, что любое открыто-замкнутое подмножество нашего пространства, которое гомеоморфно βω, является замыканием объединения конечного числа антицепей из N. В конце приведены два примера: замкнутое подмножество нароста без изолированных точек, которое не гомеоморфно βω\ω; подмножество нароста, которое гомеоморфно βω\ω, но не является замкнутым.

We consider the Boolean algebra of the same type as algebra constructed by Bell, and the Stone space of this Boolean algebra. This space is a compactification of a countable discrete space N. We prove that there are isolated points in a remainder of this compactification, which are limits of some convergent sequences. We prove that a clopen subset of our space, which is homeomorphic to βω, is a closure of the union of finitely many antichains from N. We construct two examples: a clopen subset of the remainder without isolated points, which is not homeomorphic to βω\ω; a subset of the remainder which is homeomorphic to βω\ω, but is not a clopen.

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

We consider closures of countable subsets of Stone space of one Boolean algebra, which is a compactification of a countable discrete space. We prove the existence of converging sequences in a remainder of this compactification.

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

Constructions related to the representation of free $\sigma$-multiplicative ultrafilters of widely interpreted measurable spaces are considered. These constructions are based on the representations connected with the application of open ultrafilters for co-finite and co-countable topologies. Such ultrafilters are preserved (as maximal filters) under the replacement of topologies by algebra and $\sigma$-algebra generated by above-mentioned topologies, respectively. In (general) case of co-countable topology, uniqueness of $\sigma$-multiplicative free ultrafilter composed of nonempty open sets is established. It is demonstrated that the given property is preserved for $\sigma$-algebras containing co-countable topology. Two topologies of the space of bounded finitely additive Borel measures with the property of uniqueness of remainder for sequentially closed set of Dirac measures under the closure construction are stated.

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

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).

Рассматривается задача управления трёхмерной синхронной переключательной схемой с вертикально-горизонтально-фронтальной синхронизацией и однотипными круговыми переключателями. Даны условия разрешимости задачи в терминах порядка схемы и количества позиций круговых переключателей. Приводится явный вид решения в случае разрешимости задачи.

We consider the handling problem for a three dimensional synchronized switch scheme consisting on the same circle switches with vertical, horizontal and frontal synchronization. The solvability condition is given in terms of the dimension of the scheme and the number of positions of the switches. The explicit solution is given provided that the problem is solvable.