Extension of an abstract attainability problem with the use of the stone representation space

We consider an attainability problem in a complete metric space on values of an objective operator h. We assume that the latter admits a uniform approximation by mappings which are tier with respect to a given measurable space with an algebra of sets. Let asymptotic-type constraints be defined as a nonempty family of sets in this measurable space. We treat ultrafilters of the measurable space as generalized elements; we equip this space of ultrafilters with a topology of a zero-dimensional compact (the Stone representation space). On this base we construct a correct extension of the initial problem, realizing the set of attraction in the form of a continuous image of the compact of feasible generalized elements. Generalizing the objective operator, we use the limit with respect to ultrafilters of the measurable space. This provides the continuity of the generalized version of h understood as a mapping of the zero-dimensional compact into the topological space metrizable with a total metric.