Constraints of Asymptotic Character and Attainability Problems

Alexander G. Chentsov^1,2

¹Institute of Mathematics and Mechanics Named after N.N. Krasovskii, Ural Branch of the Russian Academy of Sciences, Yekaterinburg, Russia.
²Institute of Radioelectronics and Information Technologies, Ural Federal University Named after the First President of Russia B.N. Yeltsin, Yekaterinburg, Russia.

DOI: 10.4236/iim.2017.95011                

Abstract

The attainability problem with “asymptotic constraints” is considered. Concrete variants of this problem arise in control theory. Namely, we can consider the problem about construction and investigation of attainability domain under perturbation of traditional constraints (boundary and immediate conditions; phase constraints). The natural asymptotic analog of the usual attainability domain is attraction set, for representation of which, the Warga generalized controls can be applied. More exactly, for this, attainability domain in the class of generalized controls is constructed. This approach is similar to methods for optimal control theory (we keep in mind approximate and generalized controls of J. Warga). But, in the case of attainability problem, essential difficulties arise. Namely, here it should be constructed whole set of limits corresponding to different variants of all more precise realization of usual solutions in the sense of constraints validity. Moreover, typically, the above-mentioned control problems are infinite-dimensional. Real possibility for investigation of the arising limit sets is connected with extension of control space. For control problems with geometric constraints on the choice of programmed controls, procedure of this extensions was realized (for extremal problems) by J. Warga. More complicated situation arises in theory of impulse control. It is useful to note that, for investigation of the problem about constraints validity, it is natural to apply asymptotic approach realized in part of perturbation of standard constraints. And what is more, we can essentially generalize self notion of constraints: namely, we can consider arbitrary systems of conditions defined in terms of nonempty families of sets in the space of usual controls. Thus, constraints of asymptotic character arise.

Keywords

Attraction Set, Topological Space, Ultrafilter

1. Informative Discussion of Problem

We consider general attainability problem in a topological space (TS). For this, we fix a nonempty set E elements of which play the role of usual solutions (sometimes, it is logical to consider elements of E as controls). Moreover, we fix a TS $\left(H\mathrm{,}t\right)$ and a mapping $h\mathrm{<mo>\; :\; </mo>}E\to H$ called the goal operator. If $e\in E$ , then $h\left(e\right)\in H$ is the concrete result of the choice of e. If a subset $E_0$ of E is given, then image $h^1\left(E_0\right)=\left\{h\left(e\right)\mathrm{<mo>\; :\; </mo>}e\in E_0\right\}$ of $E_0$ can be considered as attainable set or analog of attainability domain in control theory (see [1] [2] ). The closure $\overline{h^1\left(E_0\right)}=\text{cl}\left(h^1\left(E_0\right)\mathrm{,}t\right)$ of $h^1\left(E_0\right)$ is a natural generalization: we assume realization of points of $H$ “in a limit” under precise validity of constraints connected with the set $E_0$ . In investigation of J. Warga, for optimization problems, the approach using weakening of $E_0$ -constraints was proposed (see ch. III,IV of monograph [2] ). Of course, this approach assumes the natural spreading on attainability problems. Namely, we replace $E_0$ by a nonempty family $\mathcal{E}$ of subsets of E with the property

$E_0={\displaystyle \underset{\Sigma \in \mathcal{E}}{\cap }}\Sigma$ (1.1)

(usually, the family $\mathcal{E}$ is directed in the following traditional sense

$\forall {\Sigma }_1\in \mathcal{E}\forall {\Sigma }_2\in \mathcal{E}\exists {\Sigma }_3\in \mathcal{E}\mathrm{<mo>\; :\; </mo>}{\Sigma }_3\subset {\Sigma }_1\cap {\Sigma }_2$ (1.2)

but, now we not discuss this supposition). It is logical to suppose that sets of the family $\mathcal{E}$ are “near” to $E_0$ (we keep in mind Warga approach). For every set $\Sigma \in \mathcal{E}$ , we consider the set-image $h^1\left(\Sigma \right)$ and its closure $\overline{h^1\left(\Sigma \right)}$ in TS $\left(H\mathrm{,}t\right)$ . Later, we can consider the intersection of all sets $\overline{h^1\left(\Sigma \right)}\mathrm{,}\Sigma \in \mathcal{E}$ instead of $\overline{h^1\left(E_0\right)}$ ; in this representation, the validity of (1.2) is essential. The given intersection is interpreted as attraction set (AS). This construction can be considered as natural analog of the Warga approach for extremal problems (see ch. III, IV in [2] ). But, for abstract attainability problem, the above-mentioned construction with employment of AS can be extended very essentially.

Indeed, we can investigate the setting for which the family $\mathcal{E}$ is primarily (it is supposed that the set $E_0$ is not given). This family consists of subsets of E; usually it is sufficient to suppose that $\mathcal{E}$ is directed (see (1.2)). But, now we not require validity of this condition.

So, let $\mathcal{E}$ be a nonempty family of subsets of E. At first, we consider questions connected with the choice of mappings with values in E. In particular, we can consider the choice of sequences in E. But, sometimes, our possibilities are extended in the case when the choice of nets is admissible. Therefore, now we discuss the choice of nets ( $x_{\alpha }$ ) in the set E. We consider such nets as asymptotic regimes. Respectively, in $H$ , nets $\left(h\left(x_{\alpha }\right)\right)$ are realized. If, for a net ( $x_{\alpha }$ ) in E, under every $\Sigma \in \mathcal{E}$ , the condition $x_{\alpha }\in \Sigma$ is fulfilled starting from a certain index, then we consider ( $x_{\alpha }$ ) as admissible asymptotic regime. The following question arises: for which $y\in H$ , an admissible asymptotic regime ( $x_{\alpha }$ ) with the property of convergence of $\left(h\left(x\left(\alpha \right)\right)\right)$ to y can be chosen. Such points y are interpreted as attainable elements of $H$ . We consider the problem about construction of the set of all attainable elements. We call his AS. In addition, under condition (1.2) our new definition of AS is equivalent to previously mentioned definition (see formula (3.3.10) in [3] ). If (1.2) is not fufilled, then we can to replace $\mathcal{E}$ on the family ${\mathcal{E}}_f$ of all finite intersections of sets of $\mathcal{E}$ . Then AS defined by the convergence of nets (that is, by asymptotic regimes) coincides with intersection of all sets $\overline{h^1\left(\Sigma \right)}\mathrm{,}\Sigma \in {\mathcal{E}}_f$ . We note that filters can be used instead of nets (see [4] ).

2. General Notions and Definitions

We exploit standard set-theoretical symbolics (quantors, propositional connec- tives; $\varnothing$ is empty set). In the following, $\triangleq$ is equality by definition; $\exists \mathrm{<mo>\; !\; </mo>}$ replaces phrase “exists and uniquely”. We take axiom of choice. For every object x, by $\left\{x\right\}$ we denote singleton containing x (so, $x\in \left\{x\right\}$ ). The set is called a family in the case when every element of this set is a set also.

If H is a set, then by $\mathcal{P}\left(H\right)$ and ${\mathcal{P}}^{\prime }\left(H\right)$ we denote the families of all and all nonempty subsets of H respectively; so, ${\mathcal{P}}^{\prime }\left(H\right)=\mathcal{P}\left(H\right)\backslash \{\varnothing \}$ . By $\text{Fin}\left(H\right)$ we denote the family of all finite sets of ${\mathcal{P}}^{\prime }\left(H\right)$ ; so, $\text{Fin}\left(H\right)$ is the family of all nonempty finite subsets of H. If $\mathcal{H}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(H\right)\right)$ , then $\mathcal{H}$ is a nonempty subfamily of $\mathcal{P}\left(H\right)$ . Then, for a fixed set $ℍ$ and a family $\mathcal{H}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(ℍ\right)\right)$ , we introduce the family

$C_{ℍ}\left[\mathcal{H}\right]\triangleq \left\{ℍ\backslash H\mathrm{<mo>\; :\; </mo>}H\in \mathcal{H}\right\}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(ℍ\right)\right)$

dual with respect to $\mathcal{H}$ (of course, a topology of $ℍ$ can be used as $\mathcal{H}$ ; in this case, the family of closed subsets of $ℍ$ is realized as $C_{ℍ}\left[\mathcal{H}\right]$ ). It is obviously that

$C_{ℍ}\left[C_{ℍ}\left[\mathfrak{A}\right]\right]=\mathfrak{A}\forall \mathfrak{A}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(ℍ\right)\right)$

Now, we consider other operations with families. So, for every nonempty family $\mathcal{X}$ and a set Y,

${\mathcal{X}|}_Y\triangleq \left\{X\cap Y\mathrm{<mo>\; :\; </mo>}X\in \mathcal{X}\right\}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(Y\right)\right)$

is trace of $\mathcal{X}$ on the set Y. If $\mathcal{H}$ is a nonempty family, then we suppose that

$\left(\{\cup \}\left(\mathcal{H}\right)\triangleq \left\{{\displaystyle \underset{H\in ℌ}{\cup }}H\mathrm{<mo>\; :\; </mo>}ℌ\in \mathcal{P}\left(\mathcal{H}\right)\right\}\right)\mathrm{<mo>\; \&\; </mo>}\left({\{\cap \}}_f\left(\mathcal{H}\right)\triangleq \left\{{\displaystyle \underset{H\in \mathcal{K}}{\cap }}H\mathrm{<mo>\; :\; </mo>}\mathcal{K}\in \text{Fin}\left(\mathcal{H}\right)\right\}\right)$ (2.1)

in addition, $\mathcal{H}\subset \{\cup \}\left(\mathcal{H}\right)$ and $\mathcal{H}\subset {\{\cap \}}_f\left(\mathcal{H}\right)$ . Of course, in (2.1), we obtain two nonempty families of subsets of union of all sets of $\mathcal{H}$ .

For every sets A and B, by $B^A$ we denote the set of all mappings from A into B; of course, under $f\in B^A$ and $a\in A$ , $f\left(a\right)\in B$ is the f-image of the point a. For every sets U and V, a mapping $g\in V^U$ , and a set $W\in \mathcal{P}\left(U\right)$ , by $\left(g|W\right)$ we denote the contraction of g on the set W ( $\left(g|W\right)\in V^W$ and $\left(g|W\right)\left(w\right)\triangleq g\left(w\right)\forall w\in W$ ) and $g^1\left(W\right)\triangleq \left\{g\left(x\right)\mathrm{<mo>\; :\; </mo>}x\in W\right\}\in \mathcal{P}\left(V\right)$ (the image of W under operation by g).

Special families. In the following, we consider families of subsets of that or different fixed set. Therefore, in this item, we fix a nonempty set I and consider the family ${\mathcal{P}}^{\prime }\left(\mathcal{P}\left(I\right)\right)$ of all nonempty subfamilies of $\mathcal{P}\left(I\right)$ . Among all such subfamilies, we select p-systems (see p. 14 in monograph [5] ) with “zero” and “unit”; then,

$\pi \left[I\right]\triangleq \left\{\mathcal{I}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(I\right)\right)|\left(\varnothing \in \mathcal{I}\right)\mathrm{<mo>\; \&\; </mo>}\left(I\in \mathcal{I}\right)\mathrm{<mo>\; \&\; </mo>}\left(A\cap B\in \mathcal{I}\forall A\in \mathcal{I}\forall B\in \mathcal{I}\right)\right\}$ (2.2)

is the family of all such p-systems. Of course, every algebra of subsets of I and every topology on I are p-systems of the family (2.2); therefore, we introduce

$\begin{array}{l}\left(\text{alg}\right)\left[I\right]\triangleq \left\{\mathcal{L}\in \pi \left[I\right]|I\backslash L\in \mathcal{L}\forall L\in \mathcal{L}\right\}\mathrm{,}\\ \left(\text{top}\right)\left[I\right]\triangleq \left\{\tau \in \pi \left[I\right]|{\displaystyle \underset{G\in \mathcal{G}}{\cup }}G\in \tau \forall \mathcal{G}\in {\mathcal{P}}^{\prime }\left(\tau \right)\right\}\end{array}$

Every semialgebra of subsets of I (semiring with “unit”) is a p-system of (2.2) also. In the form of

${\tilde{\pi }}^0\left[I\right]\triangleq \left\{\mathcal{I}\in \pi \left[I\right]|\forall L\in \mathcal{I}\forall x\in I\backslash L\exists \Lambda \in \mathcal{I}\mathrm{<mo>\; :\; </mo>}\left(x\in \Lambda \right)\mathrm{<mo>\; \&\; </mo>}\left(\Lambda \cap L=\varnothing \right)\right\}$ (2.3)

we obtain the family of all separable π-systems of (2.2). Particular case of π- system of the family (2.3) is realized for p-systems with singletons:

${{\pi }^{\prime }}_0\left[I\right]\triangleq \left\{\mathcal{I}\in \pi \left[I\right]|\left\{x\right\}\in \mathcal{I}\forall x\in I\right\}\in {\mathcal{P}}^{\prime }\left({\tilde{\pi }}^0\left[I\right]\right)$ (2.4)

(in (2.4), we exploit the obvious property $\mathcal{P}\left(I\right)\in {{\pi }^{\prime }}_0\left[I\right]$ ). In the form of

${\left(\text{LAT}\right)}_0\left[I\right]\triangleq \left\{\mathcal{I}\in \pi \left[I\right]|A\cup B\in \mathcal{I}\forall A\in \mathcal{I}\forall B\in \mathcal{I}\right\}$

we obtain the family of all lattices with “zero” and “unit”. Of course, $\left(\text{alg}\right)\left[I\right]\subset {\left(\text{LAT}\right)}_0\left[I\right]$ and $\left(\text{top}\right)\left[I\right]\subset {\left(\text{LAT}\right)}_0\left[I\right]$ . We suppose that

$\beta \left[I\right]\triangleq \left\{\mathcal{B}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(I\right)\right)|\forall B_1\in \mathcal{B}\forall B_2\in \mathcal{B}\exists B_3\in \mathcal{B}\mathrm{<mo>\; :\; </mo>}{B}_3\subset B_1\cap B_2\right\}$

(the family of all nonempty directed subfamilies of $\mathcal{P}\left(I\right)$ ); then, elements of the family

$\begin{array}{c}{\beta }_0\left[I\right]\triangleq \left\{\mathcal{B}\in \beta \left[I\right]|\varnothing \notin \mathcal{B}\right\}\\ =\left\{\mathcal{B}\in {\mathcal{P}}^{\prime }\left({\mathcal{P}}^{\prime }\left(I\right)\right)|\forall B_1\in \mathcal{B}\forall B_2\in \mathcal{B}\exists B_3\in \mathcal{B}\mathrm{<mo>\; :\; </mo>}{B}_3\subset B_1\cap B_2\right\}\end{array}$

are filter bases of the set I and only they. Moreover,

$\begin{array}{l}\mathfrak{F}\left[I\right]\triangleq \{\mathcal{F}\in {\mathcal{P}}^{\prime }\left({\mathcal{P}}^{\prime }\left(I\right)\right)|\left(A\cap B\in \mathcal{F}\forall A\in \mathcal{F}\forall B\in \mathcal{F}\right)\\ \mathrm{<mo>\; \&\; </mo>}\left(\forall F\in \mathcal{F}\forall L\in \mathcal{P}\left(I\right)\left(F\subset L\right)\Rightarrow \left(L\in \mathcal{F}\right)\right)\}\end{array}$ (2.5)

is the family of all filters of I (see ch.I in monograph [6] ); elements of the family

${\mathfrak{F}}_u\left[I\right]\triangleq \left\{\mathcal{U}\in \mathfrak{F}\left[I\right]|\forall \mathcal{F}\in \mathfrak{F}\left[I\right]\left(\mathcal{U}\subset \mathcal{F}\right)\Rightarrow \left(\mathcal{U}=\mathcal{F}\right)\right\}$ (2.6)

are ultrafilters of I and only they. If $\mathcal{J}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(I\right)\right)$ , then we suppose that

${\mathfrak{F}}_u^0\left[I|\mathcal{J}\right]\triangleq \left\{\mathcal{U}\in {\mathfrak{F}}_u\left[I\right]|\mathcal{J}\subset \mathcal{U}\right\}\mathrm{.}$ (2.7)

In addition, the following known (see ch.I in [6] ) construction is used: if $\mathcal{B}\in {\beta }_0\left[I\right]$ , then

$\left(I-fi\right)\left[\mathcal{B}\right]\triangleq \left\{F\in \mathcal{P}\left(I\right)|\exists B\in \mathcal{B}\mathrm{<mo>\; :\; </mo>}B\subset F\right\}\in \mathfrak{F}\left[I\right]$

is the filter of I generated by the base $\mathcal{B}$ . Finally, for $x\in I$

$\left(I-\text{ult}\right)\left[x\right]\triangleq \left\{S\in \mathcal{P}\left(I\right)|x\in S\right\}\in {\mathfrak{F}}_u\left[I\right]$

so, trivial (fixed) ultrafilters are defined. By $\left(I-\text{ult}\right)[\cdot ]\triangleq {\left(\left(I-\text{ult}\right)\left[x\right]\right)}_{x\in I}$ the natural rule of immersion of $I$ into ${\mathfrak{F}}_u\left[I\right]$ is realized. We note that (2.6) is a nonempty set.

Filters and ultrafilters of p-systems. Now, we consider “partial” filters and ultrafilters. For this, in the present item, we fix arbitrary p-system $\mathcal{I}\in \pi \left[I\right]$ . So, $\left(I,\mathcal{I}\right)$ is analog of measurable space. In the following, we call $\left(I,\mathcal{I}\right)$ a meaurable space also; of course, this term is regarded extendedly. We suppose that

$\left(\text{Cen}\right)\left[\mathcal{I}\right]\triangleq \left\{\mathcal{Z}\in {\mathcal{P}}^{\prime }\left(I\right)|{\displaystyle \underset{Z\in \mathcal{K}}{\cap }}Z\ne \varnothing \forall \mathcal{K}\in \text{Fin}\left(\mathcal{Z}\right)\right\}$ (2.8)

Families of (2.8) are nonempty centered subfamilies of $\mathcal{I}$ and only they. Introduce “partial” analogs of filters of (2.5); namely, in

$\begin{array}{l}{\mathbb{F}}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)\triangleq \{\mathcal{F}\in {\mathcal{P}}^{\prime }\left(\mathcal{I}\backslash \{\varnothing \}\right)|\left(A\cap B\in \mathcal{F}\forall A\in \mathcal{F}\forall B\in \mathcal{F}\right)\\ \mathrm{<mo>\; \&\; </mo>}\left(\forall F\in \mathcal{F}\forall L\in \mathcal{I}\left(F\subset L\right)\Rightarrow \left(L\in \mathcal{F}\right)\right)\}\end{array}$ (2.9)

the set of all $\mathcal{I}$ -filters is defined. As a corollary,

$\begin{array}{c}{\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)\triangleq \left\{\mathcal{U}\in {\mathbb{F}}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)|\forall \mathcal{F}\in {\mathbb{F}}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)\left(\mathcal{U}\subset \mathcal{F}\right)\Rightarrow \left(\mathcal{U}=\mathcal{F}\right)\right\}\\ =\left\{\mathcal{U}\in {\mathbb{F}}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)|\forall L\in \mathcal{I}\left(L\cap U\ne \varnothing \forall U\in \mathcal{U}\right)\Rightarrow \left(L\in \mathcal{U}\right)\right\}\\ =\left\{\mathcal{U}\in \left(\text{Cen}\right)\left[\mathcal{C}\right]\mathrm{<mo>\; |\; </mo>}\forall \mathcal{C}\in \left(\text{Cen}\right)\left[\mathcal{I}\right]\left(\mathcal{U}\subset \mathcal{C}\right)\Rightarrow \left(\mathcal{U}=\mathcal{C}\right)\right\}\end{array}$ (2.10)

is the set of all $\mathcal{I}$ -ultrafilters. In connection with (2.10), we note constructions of [7] [8] . Suppose that

$\begin{array}{c}{\Phi }_{\mathcal{I}}\left(L\right)\triangleq \left\{\mathcal{U}\in {\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)|L\in \mathcal{U}\right\}\\ =\left\{\mathcal{U}\in {\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)|L\cap U\ne \varnothing \forall U\in \mathcal{U}\right\}\forall L\in \mathcal{I}\end{array}$ (2.11)

The sets (2.11) play important role in questions of topological equipment of ${\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)$ ; these questions is considered later. On the other hand,

${\mathbb{F}}_0^{\ast }\left(\mathcal{I}|\mathcal{J}\right)\triangleq \left\{\mathcal{U}\in {\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)|\mathcal{J}\subset \mathcal{U}\right\}={\displaystyle \underset{L\in \mathcal{J}}{\cap }}{\Phi }_{\mathcal{I}}\left(L\right)\forall \mathcal{J}\in {\mathcal{P}}^{\prime }\left(I\right)$ (2.12)

in (2.12), we obtain the natural analog of (2.7). Now, we consider analogs of (2.11) for which the condition of $\mathcal{I}$ -measurability of set defifning (2.11) can be omitted. Namely, let

$F_0^{\mathrm{<mo>\; *\; </mo>}}\left[\mathcal{I}|A\right]\triangleq \left\{\mathcal{U}\in {\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)|A\cap U\ne \varnothing \forall U\in \mathcal{U}\right\}\forall A\in \mathcal{P}\left(I\right)$ (2.13)

Analogously, as some generalization of (2.12), we exploit the following families:

$\begin{array}{c}{F}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}|\mathcal{A}\right)\triangleq \left\{\mathcal{U}\in {\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)|A\cap U\ne \varnothing \forall A\in \mathcal{A}\forall U\in \mathcal{U}\right\}\\ ={\displaystyle \underset{A\in \mathcal{A}}{\cap }}{F}_0^{\mathrm{<mo>\; *\; </mo>}}\left[\mathcal{I}|A\right]\forall \mathcal{I}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(I\right)\right)\end{array}$ (2.14)

Of course, ${\Phi }_{\mathcal{I}}\left(L\right)=F_0^{\mathrm{<mo>\; *\; </mo>}}\left[\mathcal{I}|L\right]$ under $L\in \mathcal{I}$ ; moreover, ${\mathbb{F}}_0^{\ast }\left(\mathcal{I}|\mathcal{J}\right)=F_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}|\mathcal{J}\right)$ under $\mathcal{J}\in {\mathcal{P}}^{\prime }\left(\mathcal{I}\right)$ . So, (2.13) is natural generalization of (2.11) and (2.14) is analogous generalization of (2.12). If $x\in I$ , then

$\left(\left(I\mathrm{,}\mathcal{I}\right)-\text{ult}\right)\left[x\right]\triangleq \left(I-\text{ult}\right)\left[x\right]\cap \mathcal{I}=\left\{L\in \mathcal{I}|x\in L\right\}\in {\mathbb{F}}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)$

is considered as trivial $\mathcal{I}$ -filter corresponding to point x. We recall (see Section 3 in [9] ) that

${\mathbb{F}}_{\mathrm{0,}f}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)\triangleq \left\{\mathcal{U}\in {\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)|{\displaystyle \underset{U\in \mathcal{U}}{\cap }}U=\varnothing \right\}={\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)\backslash {\mathbb{F}}_{\mathrm{0,}t}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)$ (2.15)

where ${\mathbb{F}}_{\mathrm{0,}t}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)\triangleq \left\{\left(\left(I\mathrm{,}\mathcal{I}\right)-\text{ult}\right)\left[x\right]\mathrm{<mo>\; :\; </mo>}x\in I\right\}\in {\mathcal{P}}^{\prime }\left({\mathbb{F}}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)\right)\mathrm{.}$ In addition (see p.214 in [8] ),

$\left(\mathcal{I}\in {\tilde{\pi }}^0\left[I\right]\right)\iff \left(\left(\left(I\mathrm{,}\mathcal{I}\right)-\text{ult}\right)\left[x\right]\in {\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)\forall x\in I\right)$ (2.16)

Remark 2.1. We recall that $\mathcal{P}\left(I\right)\in \pi \left[I\right]$ (and what is more, $\mathcal{P}\left(I\right)\in \left(\text{alg}\right)\left[I\right]$ ) and consider the particular case $\mathcal{I}=\mathcal{P}\left(I\right)$ . From (2.5) and (2.9), the equality $\mathfrak{F}\left[I\right]={\mathbb{F}}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{P}\left(I\right)\right)$ follows. As a corollary, by (2.6) and (2.10) ${\mathfrak{F}}_u\left[I\right]={\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{P}\left(I\right)\right)$ . Using (2.7) and (2.12), we obtain that ${\mathfrak{F}}_u\left[I|\mathcal{J}\right]={\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{P}\left(I\right)|\mathcal{J}\right)=F_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{P}\left(I\right)|\mathcal{J}\right)\forall \mathcal{J}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(I\right)\right)\mathrm{.}$ Of course, $\left(I-\text{ult}\right)\left[x\right]=\left(\left(I\mathrm{,}\mathcal{P}\left(I\right)\right)-\text{ult}\right)\left[x\right]$ under $x\in I$ . ,

Example. Let $ℝ$ be real line. In this item, we fix $a\in ℝ\mathrm{,}b\in \left]a\mathrm{,}\infty \right[$ , and suppose that $I=\left[a\mathrm{,}b\right]$ . Let

$\Im \triangleq \left\{L\in \mathcal{P}\left(I\right)|\exists c\in I\exists d\in I\mathrm{<mo>\; :\; </mo>}\left(\left]c\mathrm{,}d\right[\subset L\right)\mathrm{<mo>\; \&\; </mo>}\left(L\subset \left[c\mathrm{,}d\right]\right)\right\}$ (2.17)

The family (2.17) is a semialgebra of subsets of I. In this item, we suppose that $\mathcal{I}\in \left(\text{alg}\right)\left[I\right]$ is algebra of subsets of $I=\left[a,b\right]$ generated by semialgebra $\Im \mathrm{<mo>\; :\; </mo>}\Im \subset \mathcal{I}$ and $\forall \mathcal{L}\in \left(\text{alg}\right)\left[I\right]$

$\left(\Im \subset \mathcal{L}\right)\Rightarrow \left(\mathcal{I}\subset \mathcal{L}\right)\mathrm{.}$

So, here $\left(I\mathrm{,}\mathcal{I}\right)$ is a measurable space with algebra of sets. Then, by statements of [9]

${\mathfrak{U}}_t^{(-)}\triangleq \left\{J\in \mathcal{I}|\exists c\in \left[a\mathrm{,}t\right[\mathrm{<mo>\; :\; </mo>}\left[c\mathrm{,}t\right[\subset J\right\}\in {\mathbb{F}}_{\mathrm{0,}f}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)\forall t\in \left]a\mathrm{,}b\right]$ (2.18)

${\mathfrak{U}}_t^{(+)}\triangleq \left\{J\in \mathcal{I}|\exists c\in \left]t,b\right]\mathrm{<mo>\; :\; </mo>}\left]t,c\right]\subset J\right\}\in {\mathbb{F}}_{\mathrm{0,}f}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)\forall t\in \left[a\mathrm{,}b\right[$ (2.19)

We note that (see (2.15) and constructions of Section 6 in [9] ) in our case

${\mathbb{F}}_{\mathrm{0,}f}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)=\left\{{\mathfrak{U}}_t^{\mathrm{<mo\; stretchy="false">\; (\; </mo>}-\mathrm{<mo\; stretchy="false">\; )\; </mo>}}\mathrm{<mo>\; :\; </mo>}t\in \left]a\mathrm{,}b\right]\right\}\cup \left\{{\mathfrak{U}}_t^{(+)}\mathrm{<mo>\; :\; </mo>}t\in \left[a\mathrm{,}b\right[\right\}$ (2.20)

since (in our case) $\mathcal{I}\in {\tilde{\pi }}^0\left[I\right]$ , by (2.16) we obtain that $\left(\left(I\mathrm{,}\mathcal{I}\right)-\text{ult}\right)\left[x\right]\in {\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)\forall x\in I\mathrm{.}$ Therefore, by (2.15) and (2.20) in our case

${\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)=\left\{{\mathfrak{U}}_t^{(-)}\mathrm{<mo>\; :\; </mo>}t\in \left]a\mathrm{,}b\right]\right\}\cup \left\{{\mathfrak{U}}_t^{(+)}\mathrm{<mo>\; :\; </mo>}t\in \left[a\mathrm{,}b\right[\right\}\cup {\mathbb{F}}_{\mathrm{0,}t}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)$ (2.21)

In (2.21), we obtain exhausting representation of ${\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)$ for considered variant of $\left(I\mathrm{,}\mathcal{I}\right)$ .

3. Elements of Topology

For every topology $\tau \in \left(\text{top}\right)\left[I\right]$ , where $I$ is a nonempty set, we obtain TS $\left(I\mathrm{,}\tau \right)$ ; by $\left(\tau -\text{comp}\right)\left[I\right]$ the family of all subsets of $I$ compact in TS $\left(I\mathrm{,}\tau \right)$ is denoted. Of course, $\tau \in \pi \left[I\right]$ . And what is more, $\tau \in {\left(\text{LAT}\right)}_0\left[I\right]$ . In addition, for every point $x\in I$

$N_{\tau }^0\left(x\right)\triangleq \left(\left(I\mathrm{,}\tau \right)-\text{ult}\right)\left[x\right]=\left\{G\in \tau |x\in G\right\}\in {\mathbb{F}}^{\mathrm{<mo>\; *\; </mo>}}\left(\tau \right)$

and, in particular, $N_{\tau }^0\left(x\right)\in {\beta }_0\left[I\right]$ ; therefore,

$N_{\tau }\left(x\right)\triangleq \left(I-fi\right)\left[N_{\tau }^0\left(x\right)\right]\in \mathfrak{F}\left[I\right]$

is the filter of all neighborhoods (see definition of ch.I in monograph [6] ) of x in TS $\left(I\mathrm{,}\tau \right)$ . If $A\in \mathcal{P}\left(E\right)$ , then

$\begin{array}{c}\text{cl}\left(A\mathrm{,}\tau \right)\triangleq \left\{x\in I|A\cap G\ne \varnothing \forall G\in N_{\tau }^0\left(x\right)\right\}\\ =\left\{x\in I|A\cap S\ne \varnothing \forall S\in N_{\tau }\left(x\right)\right\}\in C_I\left[\tau \right]\end{array}$

(the closure of A is introduced); moreover, we sequentially introduce interior and frontier of A:

$\left(\tau -\text{Int}\right)\left[A\right]\triangleq \left\{x\in I|A\in N_{\tau }\left(x\right)\right\}\mathrm{,}\left(\tau -\text{Fr}\right)\left[A\right]\triangleq \text{cl}\left(A\mathrm{,}\tau \right)\backslash \left(\tau -\text{Int}\right)\left[A\right]$

Finally, $\left(\tau -\text{dens}\right)\left[I\right]\triangleq \left\{H\in \mathcal{P}\left(I\right)|\text{cl}\left(H\mathrm{,}\tau \right)=I\right\}$ and $\left(\tau -\text{isol}\right)\left[I\right]\triangleq \left\{x\in I|\left\{x\right\}\in \tau \right\}$ are the family of all subsets of $I$ every dense (in $\left(I\mathrm{,}\tau \right)$ ) and the set of all isolated points of $I$ respectively. In correspondence with definition of ch.I of [6] , we suppose that $\forall \mathcal{B}\in {\beta }_0\left[I\right]\forall x\in I$

$\left(\mathcal{B}\stackrel{\tau }{\Rightarrow }x\right)\stackrel{\text{def}}{\iff }\left(N_{\tau }\left(x\right)\subset \left(I-fi\right)\left[\mathcal{B}\right]\right)$ (3.1)

By (3.1) the convergence of filter bases is defined (we note that $\mathfrak{F}\left[I\right]\subset {\beta }_0\left[I\right]$ ; moreover, ${\mathbb{F}}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\subset {\beta }_0\left[I\right]$ under $\mathcal{L}\in \pi \left[I\right]$ ). We recall that, under $J\in {\mathcal{P}}^{\prime }\left(I\right)$ , topology ${\tau |}_J=\left\{J\cap G\mathrm{<mo>\; :\; </mo>}G\in \tau \right\}\in \left(\text{top}\right)\left[J\right]$ converts $J$ in subspace $\left(J\mathrm{,}{\tau |}_J\right)$ of TS $\left(I\mathrm{,}\tau \right)$ .

We introduce the families $\left(\text{can}-\text{op}\right)\left[\tau \right]\triangleq \left\{\left(\tau -\text{Int}\right)\left[F\right]\mathrm{<mo>\; :\; </mo>}F\in C_I\left[\tau \right]\right\}$ and $\left(\text{can}-\text{clos}\right)\left[\tau \right]\triangleq \left\{\text{cl}\left(G\mathrm{,}\tau \right)\mathrm{<mo>\; :\; </mo>}G\in \tau \right\}$ of all canonically open and closed sets res-pectively.

If $\left(X\mathrm{,}{\tau }_1\right)\mathrm{,}X\ne \varnothing$ , and $\left(Y\mathrm{,}{\tau }_2\right)\mathrm{,}Y\ne \varnothing$ , are TS, then

$C\left(X\mathrm{,}{\tau }_1\mathrm{,}Y\mathrm{,}{\tau }_2\right)\triangleq \left\{f\in Y^X|f^{-1}\left(G\right)\in {\tau }_1\forall G\in {\tau }_2\right\}$

is the set of all continuous mappings from $\left(X\mathrm{,}{\tau }_1\right)$ into $\left(Y\mathrm{,}{\tau }_2\right)$ ; recall that, for $g\in C\left(X\mathrm{,}{\tau }_1\mathrm{,}Y\mathrm{,}{\tau }_2\right)$ and $K\in \left({\tau }_1-\text{comp}\right)\left[X\right]$ , the property $g^1\left(K\right)\in \left({\tau }_2-\text{comp}\right)\left[Y\right]$ is realized. We note that for every $f\in Y^X$ and a family $\mathcal{X}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(X\right)\right)$ , the (nonempty) family

$f^1\left[\mathcal{X}\right]\triangleq \left\{f^1\left(A\right)\mathrm{<mo>\; :\; </mo>}A\in \mathcal{X}\right\}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(Y\right)\right)$

is defined. Moreover, for $g\in Y^X$ and $\mathcal{B}\in {\beta }_0\left[X\right]$ , we obtain that $g^1\left[\mathcal{B}\right]\in {\beta }_0\left[Y\right]$ .

Now, we consider some topological properties of ultrafilter space for a fixed p-system. So, we fix until end of this section a nonempty set I and a π-system $\mathcal{I}\in \pi \left[I\right]$ . Using (2.11), in the form of

$\left(\mathbb{U}\mathbb{F}\right)\left[I\mathrm{<mo>\; ;\; </mo>}\mathcal{I}\right]\triangleq \left\{{\Phi }_{\mathcal{I}}\left(L\right)\mathrm{<mo>\; :\; </mo>}L\in \mathcal{I}\right\}\mathrm{,}$

we obtain the base of a topology of ${\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)$ . This topology is defined by the rule

$\begin{array}{c}{T}_{\mathcal{I}}^{\mathrm{<mo>\; *\; </mo>}}\left[I\right]\triangleq \{\cup \}\left(\left(\mathbb{U}\mathbb{F}\right)\left[I\mathrm{<mo>\; ;\; </mo>}\mathcal{I}\right]\right)\\ =\left\{\mathbb{G}\in \mathcal{P}\left({\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)\right)|\forall \mathcal{U}\in \mathbb{G}\exists U\in \mathcal{U}\mathrm{<mo>\; :\; </mo>}{\Phi }_{\mathcal{I}}\left(U\right)\subset \mathbb{G}\right\}\end{array}$ (3.2)

In addition, under $J\in \mathcal{I}$ , the property

${\Phi }_{\mathcal{I}}\left(J\right)\in T_{\mathcal{I}}^{\mathrm{<mo>\; *\; </mo>}}\left[I\right]\cap C_{{\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)}\left[T_{\mathcal{I}}^{\mathrm{<mo>\; *\; </mo>}}\left[I\right]\right]$

is realized (this is the simple corollary of (2.11)). In the form of

$\left({\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)\mathrm{,}{T}_{\mathcal{I}}^{\mathrm{<mo>\; *\; </mo>}}\left[I\right]\right)$ (3.3)

a zero-dimensional Hausdorff TS is realized.

Remark 3.1. If $\mathcal{I}\in \left(\text{alg}\right)\left[I\right]$ , then (3.3) is a compactum (compact Hausdorff TS). In this case, (3.3) is the Stone space. For this case,

$\left(\mathbb{U}\mathbb{F}\right)\left[I\mathrm{<mo>\; ;\; </mo>}\mathcal{I}\right]=T_{\mathcal{I}}^{\mathrm{<mo>\; *\; </mo>}}\left[I\right]\cap C_{{\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)}\left[T_{\mathcal{I}}^{\mathrm{<mo>\; *\; </mo>}}\left[I\right]\right]$ (3.4)

So, we obtain (see (3.4)) the important particular case of (3.2), (3.3). ,

Until end of this section, we suppose that $\mathcal{I}\in {\tilde{\pi }}^0\left[I\right]$ . By (2.16) we obtain the mapping

$x\mapsto \left(\left(I\mathrm{,}\mathcal{I}\right)-\text{ult}\right)\left[x\right]\mathrm{<mo>\; :\; </mo>}I\to {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)$ (3.5)

denoted as $\left(\left(I\mathrm{,}\mathcal{I}\right)-\text{ult}\right)[\cdot ]$ . In addition, ${\mathbb{F}}_{\mathrm{0,}t}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)\subset {\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)$ . Now, we recall some statements of [10] connected with (3.5). Of course, under $S\in \mathcal{P}\left(I\right)$ , in the form of

$\left(\left(I\mathrm{,}\mathcal{I}\right)-\text{ult}\right){[\cdot ]}^1\left(S\right)=\left\{\left(\left(I\mathrm{,}\mathcal{I}\right)-\text{ult}\right)\left[x\right]\mathrm{<mo>\; :\; </mo>}x\in S\right\}\in \mathcal{P}\left({\mathbb{F}}_{\mathrm{0,}t}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)\right)$

we obtain the image of S under operation (3.5). Then (see [10] )

$F_0^{\mathrm{<mo>\; *\; </mo>}}\left[\mathcal{I}|A\right]=\text{cl}\left(\left(\left(I\mathrm{,}\mathcal{I}\right)-\text{ult}\right){[\cdot ]}^1\left(A\right)\mathrm{,}{T}_{\mathcal{I}}^{\mathrm{<mo>\; *\; </mo>}}\left[I\right]\right)\forall A\in \mathcal{P}\left(I\right)$ (3.6)

As a corollary, ${\Phi }_{\mathcal{I}}\left(L\right)=\text{cl}\left(\left(\left(I\mathrm{,}\mathcal{I}\right)-\text{ult}\right){[\cdot ]}^1\left(L\right)\mathrm{,}{T}_{\mathcal{I}}^{\mathrm{<mo>\; *\; </mo>}}\left[I\right]\right)\forall L\in \mathcal{I}\mathrm{.}$ Finally,

${\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)={\Phi }_{\mathcal{I}}\left(I\right)=\text{cl}\left({\mathbb{F}}_{\mathrm{0,}t}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)\mathrm{,}{T}_{\mathcal{I}}^{\mathrm{<mo>\; *\; </mo>}}\left[I\right]\right)$ (3.7)

So, ${\mathbb{F}}_{\mathrm{0,}t}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{I}\right)\in \left(T_{\mathcal{I}}^{\mathrm{<mo>\; *\; </mo>}}\left[I\right]-\text{dens}\right)\left[{\mathbb{F}}_0^{\ast }\left(\mathcal{I}\right)\right]\mathrm{.}$ We recall that $\left(\text{alg}\right)\left[I\right]\subset {\tilde{\pi }}^0\left[I\right]$ (see (2.3)). Therefore, (3.6) and (3.7) are fulfilled under $\mathcal{I}\in \left(\text{alg}\right)\left[I\right]$ .

4. Attainability under Constraints of Asymptotic Character

Returning to Section 1, we preserve the designation E for the space of usual solutions. Families $\mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)$ are considered as constraints of asymptotic character (see Section 1). Moreover, in this section, we fix a TS $\left(Y\mathrm{,}\tau \right)\mathrm{,}Y\ne \varnothing$ and a mapping $f\in Y^E$ . We discuss construction of AS in $\left(Y\mathrm{,}\tau \right)$ . These AS can be used as basic or as auxiliary. In Section 1, nets in E were used as distinctive “asymptotic solurions”. But, now the analogous employment of filters and ultrafilters is more appropriate. The equivalence of the representations with employment of nets and ultrafilters was noted (in particular) in §3 of [7] . Now, we discuss the representation realized in class of ultrafilters. So, by definition of §3 of [7]

$\begin{array}{c}\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}Y\mathrm{<mo>\; ;\; </mo>}\tau \mathrm{<mo>\; ;\; </mo>}f\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\triangleq \left\{y\in Y|\exists \mathcal{U}\in {\mathfrak{F}}_u^0\left[E|\mathcal{E}\right]\mathrm{<mo>\; :\; </mo>}{f}^1\left[\mathcal{U}\right]\stackrel{\tau }{\Rightarrow }y\right\}\\ ={\displaystyle \underset{\Sigma \in {\{\cap \}}_f\left(\mathcal{E}\right)}{\cap }}\text{cl}\left(f^1\left(\Sigma \right)\mathrm{,}\tau \right)\in C_Y\left[\tau \right]\forall \mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)\end{array}$ (4.1)

We note that the following particular case is useful:

$\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}Y\mathrm{<mo>\; ;\; </mo>}\tau \mathrm{<mo>\; ;\; </mo>}f\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]={\displaystyle \underset{\Sigma \in \mathcal{E}}{\cap }}\text{cl}\left(f^1\left(\Sigma \right)\mathrm{,}\tau \right)\forall \mathcal{E}\in \beta \left[E\right]$ (4.2)

In connection with (4.2), we recall discussion in Section 1 (see (1.2)). We consider the sets (4.1) and (4.2) as AS corresponding to given nonempty family of subsets of E (we recall that, under employment of nets in E, we obtain the equivalent representation of AS; in this connection, see constructions of §3 in [7] ). By (4.1) the following singularity is realized: ultrafilters play the role of approximate solutions of J.Warga.

5. Representations of Attraction Sets

In this section, we consider some transformations of AS. In addition, we fix a TS $\left(H\mathrm{,}t\right)\mathrm{,}H\ne \varnothing$ and $h\in H^E$ (see Section 1). Under $\mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)$ , we consi- der

$\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\in C_H\left[t\right]$ (5.1)

as the basic AS. Namely, in the case when $\mathcal{E}$ defines constraints of asymptotic character, (5.1) is our goal set. For investigation of the set (5.1) we can exploit auxiliary AS. We note the following general property: if $\left(Y\mathrm{,}\tau \right)\mathrm{,}Y\ne \varnothing$ is a TS, $m\in Y^E$ and $g\in C\left(Y\mathrm{,}\tau \mathrm{,}H\mathrm{,}t\right)$ , then

$\left(h=g\circ m\right)\Rightarrow \left(g^1\left(\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}Y\mathrm{<mo>\; ;\; </mo>}\tau \mathrm{<mo>\; ;\; </mo>}m\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\right)\subset \left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\forall \mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)\right)\mathrm{.}$ (5.2)

This property is established very simply with employment of continuity of the mapping g and (4.1). From relations (2.8.1), (2.8.2), and Proposition 3.3.1 of [11] , under conditions with respect to $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ used in (2), we obtain that

$\begin{array}{l}(\left(g^1\left(F\right)\in C_H\left[t\right]\forall F\in C_Y\left[\tau \right]\right)\\ \mathrm{<mo>\; \&\; </mo>}\left(g^{-1}\left(\left\{h\right\}\right)\in \left(\tau -\text{comp}\right)\left[Y\right]\forall h\in H\right)\mathrm{<mo>\; \&\; </mo>}\left(h=g\circ m\right))\\ \Rightarrow \left(g^1\left(\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}Y\mathrm{<mo>\; ;\; </mo>}\tau \mathrm{<mo>\; ;\; </mo>}m\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\right)=\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\forall \mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)\right)\mathrm{<mo>\; ;\; </mo>}\end{array}$ (5.3)

of course, we use (4.1). We recall that the continuous mapping g satisfying to two first conditions in premise of the implication (5.3) is called almost perfect; see Section 3.7 of monograph [12] . In connection with (5.3), we note the important particular case of such mapping (see formula (2.8.7) of [11] ): if $\left(Y\mathrm{,}\tau \right)\mathrm{,}Y\ne \varnothing$ is a compact TS and $\left(H\mathrm{,}t\right)$ is a Hausdorff space, then $\forall g\in C\left(Y\mathrm{,}\tau \mathrm{,}H\mathrm{,}t\right)$

$\left(g^1\left(F\right)\in C_H\left[t\right]\forall F\in C_Y\left[\tau \right]\right)\mathrm{<mo>\; \&\; </mo>}\left(g^{-1}\left(\left\{h\right\}\right)\in \left(\tau -\text{comp}\right)\left[Y\right]\forall h\in H\right)$ (5.4)

Therefore, the natural compactified case arises. In this connection, in the folowing, we suppose always that

$\left(H\mathrm{,}t\right)$ (5.5)

is a Hausdorff TS. The case of such spaces (5.5) is sufficient for majority appli- cations. Then (in our case of TS (5.5)) for every compact TS $\left(Y\mathrm{,}\tau \right)\mathrm{,}Y\ne \varnothing \mathrm{,}m\in Y^E$ and $g\in C\left(Y\mathrm{,}\tau \mathrm{,}H\mathrm{,}t\right)$ , the implication

$\left(h=g\circ m\right)\Rightarrow \left(\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]=g^1\left(\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}Y\mathrm{<mo>\; ;\; </mo>}\tau \mathrm{<mo>\; ;\; </mo>}m\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\right)\forall \mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)\right)$ (5.6)

In connection with the given important property (5.6), we introduce the special notion of a compactifier. Namely [4] , we call compactifier every four $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ such that $\left(Y\mathrm{,}\tau \right)$ is a compact TS, $Y\ne \varnothing$ , $m\in Y^E$ , $g\in C\left(Y\mathrm{,}\tau \mathrm{,}H\mathrm{,}t\right)$ and $h=g\circ m$ . From (5.6), we obtain that for every compactifier $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$

$\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]=g^1\left(\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}Y\mathrm{<mo>\; ;\; </mo>}\tau \mathrm{<mo>\; ;\; </mo>}m\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\right)\forall \mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)\mathrm{.}$ (5.7)

So, every compactifier realizes the representation of the basic AS as continuous image of auxiliary AS in compact space. In connection with (5.7), we note that (closed) set

$\tilde{H}\triangleq \text{cl}\left(h^1\left(E\right)\mathrm{,}t\right)\in C_H\left[t\right]$ (5.8)

has the following obvious property (see (4.1)):

$\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\subset \tilde{H}\forall \mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)\mathrm{<mo>\; ;\; </mo>}$

moreover, under $\Sigma \in \mathcal{P}\left(E\right)$ , from (5.8), we obtain that

$\text{cl}\left(h^1\left(\Sigma \right)\mathrm{,}t\right)=\text{cl}\left(h^1\left(\Sigma \right)\mathrm{,}\tilde{t}\right)$ (5.9)

where (here and later) the designation

$\tilde{t}\triangleq {t|}_{\tilde{H}}\in \left(\text{top}\right)\left[\tilde{H}\right]$ (5.10)

is used. So, by (4.1) and (5.9) we obtain that, for Hausdorff TS

$\left(\tilde{H}\mathrm{,}\tilde{t}\right)$ (5.11)

(subspace of the initial TS (5.5)), the following equalities

$\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]=\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}\tilde{H}\mathrm{<mo>\; ;\; </mo>}\tilde{t}\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\forall \mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)$ (5.12)

are realized; of course, we use the next obvious property: $h\in {\tilde{H}}^E$ (see (5.8)). In connection with (5.12), we suppose that (by (5.10)) the replacement (5.5) ® (5.11) is realized.

Now, we consider the corresponding reduction of compactifiers defined in terms of TS (5.5).

Proposition 5.1. If $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ is a compactifier, then $\tilde{H}\subset g^1\left(Y\right)$ .

Proof. Indeed, we obtain that

$\begin{array}{c}\tilde{H}=\text{cl}\left(h^1\left(E\right)\mathrm{,}t\right)=\text{cl}\left({\left(g\circ m\right)}^1\left(E\right)\mathrm{,}t\right)\\ =\text{cl}\left(g^1\left(m^1\left(E\right)\right)\mathrm{,}t\right)\subset \text{cl}\left(g^1\left(Y\right)\mathrm{,}t\right)=g^1\left(Y\right)\end{array}$

where (5.4) is used (really, $g^1\left(Y\right)$ is a closed set). ,

Proposition 5.2. If $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ is a compactifier, then

$\left(\text{cl}\left(m^1\left(E\right)\mathrm{,}\tau \right)\mathrm{,}{\tau |}_{\text{cl}\left(m^1\left(E\right)\mathrm{,}\tau \right)}\mathrm{,}m\mathrm{,}\left(g|\text{cl}\left(m^1\left(E\right)\mathrm{,}\tau \right)\right)\right)$

is compactifier also.

The corresponding proof is given in Section 4 of [4] .

In the following, we call a compactifier $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ dense in the case when $\text{cl}\left(m^1\left(E\right)\mathrm{,}\tau \right)=Y$ . By Proposition 5.2 we obtain that (as in Proposition 4.1 of [4] ) every compactifier assumes transformation to a dense compactifier. Therefore, later, we consider only dense compactifiers. It is obvious the following

Proposition 5.3. If $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ is a dense compactifier, then $g$ is a surjection from $Y$ onto $\tilde{H}$ .

Proof. Indeed, by (5.4) we obtain that

$\begin{array}{c}{g}^1\left(Y\right)=g^1\left(\text{cl}\left(m^1\left(E\right)\mathrm{,}\tau \right)\right)=\text{cl}\left(g^1\left(m^1\left(E\right)\right)\mathrm{,}t\right)\\ =\text{cl}\left({\left(g\circ m\right)}^1\left(E\right)\mathrm{,}t\right)=\text{cl}\left(h^1\left(E\right)\mathrm{,}t\right)=\tilde{H}\end{array}$ (5.13)

(in (5.13) we use constructions of [11] ; in particular, see relations (2.8.1)- (2.8.4) and (2.8.7) of [11] ). ,

Corollary 5.1. If $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ is a dense compactifier for which g is an injective mapping from Y in $H$ , then g is a homeomorphism from TS $\left(Y\mathrm{,}\tau \right)$ onto TS (5.11).

Proof. Let all conditions with respect to $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ are fulfilled. Then, by Proposition 5.3 the mapping g is a bijection from Y onto $\tilde{H}$ . Moreover, let $\tilde{\mathbb{G}}\in \tilde{t}$ . Using (5.10), we choose $\mathbb{G}\in t$ for which $\tilde{\mathbb{G}}=\tilde{H}\cap \mathbb{G}$ . Then

$\begin{array}{c}{g}^{-1}\left(\tilde{\mathbb{G}}\right)=\left\{y\in Y|g\left(y\right)\in \tilde{\mathbb{G}}\right\}=\left\{y\in Y|g\left(y\right)\in \tilde{H}\cap \tilde{\mathbb{G}}\right\}\\ =\left\{y\in Y|g\left(y\right)\in \mathbb{G}\right\}=g^{-1}\left(\mathbb{G}\right)\in \tau \end{array}$ (5.14)

(we recall the obvious property: for $y\in Y$ the inclusion $g\left(y\right)\in \tilde{H}$ is realized; see Proposition 5.3). Since the choice of $\tilde{\mathbb{G}}$ was arbitrary, from (5.14), the property $g\in C\left(Y\mathrm{,}\tau \mathrm{,}\tilde{H}\mathrm{,}\tilde{t}\right)$ follows. But, $\left(Y\mathrm{,}\tau \right)$ is compact and (5.11) is Hausdorff TS. Therefore, g is a homeomorphism from $\left(Y\mathrm{,}\tau \right)$ onto (5.11) (indeed, g is a continuous bijection from compact TS onto Hausdorff TS; now, we use Theorem 3.1.13 of monograph [12] ).

6. Compactifiers and Quotient Topologies

We recall the known notion: if $\left(X\mathrm{,}\tau \right)\mathrm{,}X\ne \varnothing$ is a TS, Y is a nonempty set, and $f\in Y^X$ , then

$\left\{G\in \mathcal{P}\left(Y\right)|f^{-1}\left(G\right)\in \tau \right\}\in \left(\text{top}\right)\left[Y\right]$ (6.1)

is called quotient topology on Y (this topology was introduced by P. S. Alexandroff and H. Hopf). In supplement to (6.1), we note the obvious property: for every nonempty sets X and Y, a surjection g from X onto Y, and a set $B\in \mathcal{P}\left(Y\right)$ , the equality

$g^1\left(g^{-1}\left(B\right)\right)=B$ (6.2)

is fulfilled ((6.2) is known property of surjections).

Remark 6.1. Let $\left(X\mathrm{,}\tau \right)\mathrm{,}X\ne \varnothing$ be TS, Y be a nonempty set, and $f\in Y^X$ . Moreover, we suppose that $\theta$ is topology (6.1). Then,

$C_Y\left[\theta \right]\triangleq \left\{F\in \mathcal{P}\left(Y\right)|f^{-1}\left(F\right)\in C_X\left[\tau \right]\right\}$

,

For more brief presentation, we introduce some new designations. So, for every nonempty sets X and Y, by $Y_{(\ast )}^X$ we denote the set of all surjections from X onto Y. If $\left(X\mathrm{,}{\tau }_1\right)\mathrm{,}X\ne \varnothing$ and $\left(Y\mathrm{,}{\tau }_2\right)\mathrm{,}Y\ne \varnothing$ are two TS, then

$C_{\text{cl}}\left(X\mathrm{,}{\tau }_1\mathrm{,}Y\mathrm{,}{\tau }_2\right)\triangleq \left\{f\in C\left(X\mathrm{,}{\tau }_1\mathrm{,}Y\mathrm{,}{\tau }_2\right)|f^1\left(F\right)\in C_Y\left[{\tau }_2\right]\forall F\in C_X\left[{\tau }_1\right]\right\}$ (6.3)

$C_{\text{op}}\left(X\mathrm{,}{\tau }_1\mathrm{,}Y\mathrm{,}{\tau }_2\right)\triangleq \left\{f\in C\left(X\mathrm{,}{\tau }_1\mathrm{,}Y\mathrm{,}{\tau }_2\right)|f^1\left(G\right)\in {\tau }_2\forall G\in {\tau }_1\right\}$ (6.4)

In (6.3) and (6.4), closed and open continuous mappings are introduced. In connection with (6.3) and (6.4), we note that (see ch.3 of monograph [13] ) for every TS $\left(X\mathrm{,}{\tau }_1\right)\mathrm{,}X\ne \varnothing$ and $\left(Y\mathrm{,}{\tau }_2\right)\mathrm{,}Y\ne \varnothing$ , the following property takes place: if $f\in Y_{(\ast )}^X$ , then

$\begin{array}{l}\left(\left(f\in C_{\text{cl}}\left(X\mathrm{,}{\tau }_1\mathrm{,}Y\mathrm{,}{\tau }_2\right)\right)\vee \left(f\in C_{\text{op}}\left(X\mathrm{,}{\tau }_1\mathrm{,}Y\mathrm{,}{\tau }_2\right)\right)\right)\\ \Rightarrow \left({\tau }_2=\left\{G\in \mathcal{P}\left(Y\right)|f^{-1}\left(G\right)\in {\tau }_1\right\}\right)\end{array}$

As a simple corollary, the following property is realized: if $\left(X\mathrm{,}{\tau }_1\right)\mathrm{,}X\ne \varnothing$ is a compact TS, $\left(Y\mathrm{,}{\tau }_2\right)\mathrm{,}Y\ne \varnothing$ is a Hausdorff TS, and $f\in C\left(X\mathrm{,}{\tau }_1\mathrm{,}Y\mathrm{,}{\tau }_2\right)\cap Y_{(\ast )}^X$ , then

${\tau }_2=\left\{G\in \mathcal{P}\left(Y\right)|f^{-1}\left(G\right)\in {\tau }_1\right\}$ (6.5)

We note that conditions realizing (6.5) correspond to variant used under employment of dense compactifiers (see Proposition 5.3).

Proposition 6.1. If $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ is a dense compactifier, then

$\tilde{t}=\left\{G\in \mathcal{P}\left(\tilde{H}\right)|g^{-1}\left(G\right)\in \tau \right\}$ (6.6)

Proof. From Proposition 5.3 and constructions similar to (5.14), we obtain that

$g\in C\left(Y\mathrm{,}\tau \mathrm{,}\tilde{H}\mathrm{,}\tilde{t}\right)\cap {\tilde{H}}_{(\ast )}^Y$

where $\left(Y\mathrm{,}\tau \right)$ is a compact and $\left(\tilde{H}\mathrm{,}\tilde{t}\right)$ is a Hausdorff TS. So, (6) follows from (6.5). ,

We obtain that the closed subspace of $\left(H\mathrm{,}\tau \right)$ corresponding to (5.8) is TS with quotient topology with respect to every dense compactifier. We note two obvious (but useful) general statements.

Remark 6.2. Let $\left(X\mathrm{,}{\tau }_1\right)\mathrm{,}X\ne \varnothing$ and $\left(Y\mathrm{,}{\tau }_2\right)\mathrm{,}Y\ne \varnothing$ are TS. Moreover, let

$f\in C_{\text{cl}}\left(X\mathrm{,}{\tau }_1\mathrm{,}Y\mathrm{,}{\tau }_2\right)\cap Y_{(\ast )}^X$ (6.7)

Then, the equality $f^1\left[C_X\left[{\tau }_1\right]\right]=C_Y\left[{\tau }_2\right]$ is realized. We consider the brief scheme of the proof.

The inclusion $f^1\left[C_X\left[{\tau }_1\right]\right]\subset C_Y\left[{\tau }_2\right]$ follows from (6.3) and (6.7). Let $\Phi \in C_Y\left[{\tau }_2\right]$ . By (6.2) and (6.7) $\Phi =f^1\left(f^{-1}\left(\Phi \right)\right)$ , where $f^{-1}\left(\Phi \right)\in C_X\left[{\tau }_1\right]$ . So, $\Phi \in f^1\left[C_X\left[{\tau }_1\right]\right]$ . Since the choice of $\Phi$ was arbitrary, we obtain the inclusion $C_Y\left[{\tau }_2\right]\subset f^1\left[C_X\left[{\tau }_1\right]\right]$ . ,

Remark 6.3. Let $\left(X\mathrm{,}{\tau }_1\right)$ and $\left(Y\mathrm{,}{\tau }_2\right)$ correspond to Remark 6.2. Moreover, let

$f\in C_{\text{op}}\left(X\mathrm{,}{\tau }_1\mathrm{,}Y\mathrm{,}{\tau }_2\right)\cap Y_{(\ast )}^X$ (6.8)

Then, $f^1\left[{\tau }_1\right]={\tau }_2$ . Indeed, by (6.4) and (6.8) $f^1\left[{\tau }_1\right]\subset {\tau }_2$ . Let $\mathbb{G}\in {\tau }_2$ . Then, by (6.2) and (6.8)

$\mathbb{G}=f^1\left(f^{-1}\left(\mathbb{G}\right)\right)$

where $f^{-1}\left(\mathbb{G}\right)\in {\tau }_1$ . Therefore, $\mathbb{G}\in f^1\left[{\tau }_1\right]$ . The inclusion ${\tau }_2\subset f^1\left[{\tau }_1\right]$ is esta- blished. ,

Proposition 6.2. If $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ is a dense compactifier, then

$g^1\left[C_Y\left[\tau \right]\right]=C_{\tilde{H}}\left[\tilde{t}\right]$ (6.9)

Proof. By Proposition 5.3 $g\in {\tilde{H}}_{(\ast )}^Y$ . In addition, similarly to (5.14), we obtain that $g\in C\left(Y\mathrm{,}\tau \mathrm{,}\tilde{H}\mathrm{,}\tilde{t}\right)$ . Since $\left(Y\mathrm{,}\tau \right)$ is compact and $\left(\tilde{H}\mathrm{,}\tilde{t}\right)$ is a Hausdorff TS, $g\in C_{\text{cl}}\left(Y\mathrm{,}\tau \mathrm{,}\tilde{H}\mathrm{,}\tilde{t}\right)$ ; see (2.8.2) and (2.8.7) in monograph [11] . From Remark 6.2, the equality (6.9) follows. ,

Proposiotion 6.3. If $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ is a dense compactifier, then

$g^1\left[\left(\tau -\text{comp}\right)\left[Y\right]\right]=\left(\tilde{t}-\text{comp}\right)\left[\tilde{H}\right]$ (6.10)

Proof. We recall that $g\in C\left(Y\mathrm{,}\tau \mathrm{,}\tilde{H}\mathrm{,}\tilde{t}\right)$ (see discussion in connection with (5.14)). Then, $g^1\left(K\right)\in \left(\tilde{t}-\text{comp}\right)\left[\tilde{H}\right]\forall K\in \left(\tau -\text{comp}\right)\left[Y\right]$ . Therefore,

$g^1\left[\left(\tau -\text{comp}\right)\left[Y\right]\right]\subset \left(\tilde{t}-\text{comp}\right)\left[\tilde{H}\right]$ (6.11)

Let $\tilde{K}\in \left(\tilde{t}-\text{comp}\right)\left[\tilde{H}\right]$ . Then, $\tilde{K}\in C_{\tilde{H}}\left[\tilde{t}\right]$ (indeed, (5.11) is a Hausdorff TS). By Proposition 6.2 $\tilde{K}\in g^1\left[C_Y\left[\tau \right]\right]$ , where $C_Y\left[\tau \right]\subset \left(\tau -\text{comp}\right)\left[Y\right]$ since $\left(Y\mathrm{,}\tau \right)$ is a compact TS. Then, $\tilde{K}\in g^1\left[\left(\tau -\text{comp}\right)\left[Y\right]\right]$ . So, the inclusion

$\left(\tilde{t}-\text{comp}\right)\left[\tilde{H}\right]\subset g^1\left[\left(\tau -\text{comp}\right)\left[Y\right]\right]$

is realized. Using (6.11), we obtain (6.10). ,

Remark 6.4. We note some properties connected with Proposition 6.1. Let $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ be a fixed dense compactifier. Then

$\tilde{t}\subset g^1\left[\tau \right]$ (6.12)

Indeed, let $\tilde{G}\in \tilde{t}$ . Since $g\in {\tilde{H}}_{(\ast )}^Y$ by Proposition 5.3, we obtain that $\tilde{G}=g^1\left(g^{-1}\left(\tilde{G}\right)\right)$ , where $g^{-1}\left(\tilde{G}\right)\in \tau$ by continuity of g (see (5.14)). As a result $\tilde{G}\in g^1\left[\tau \right]$ . Since the choice of $\tilde{G}$ was arbitrary, the required inclusion (6.12) is realized. The analogous construction realizes the inclusion

$\tilde{t}\cap C_{\tilde{H}}\left[\tilde{t}\right]\subset g^1\left[\tau \cap C_Y\left[\tau \right]\right]$ (6.13)

where (6.2) and continuity of g are used. Indeed, for $\Gamma \in \tilde{t}\cap C_{\tilde{H}}\left[\tilde{t}\right]$ , we obtain that $g^{-1}\left(\Gamma \right)\in \tau \cap C_Y\left[\tau \right]$ (continuity of g is used) and $\Gamma \subset g^1\left(g^{-1}\left(\Gamma \right)\right)$ by (6.2). So, $\Gamma \in g^1\left[\tau \cap C_Y\left[\tau \right]\right]$ . The inclusion (6.13) is established. ,

7. Some Transformations of Compactifiers

In this section, we fix a dense compactifier $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ . Then

$g\in C\left(Y\mathrm{,}\tau \mathrm{,}\tilde{H}\mathrm{,}\tilde{t}\right)\cap {\tilde{H}}_{(\ast )}^Y$ (7.1)

(we use reasons similar to (5.14)). Now, we consider the natural transforma- tion of $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ in injective compactifier (see Proposition 5.3). In addition, constructions of [4] are used. The family

$\mathcal{Y}\triangleq \left\{g^{-1}\left(\left\{z\right\}\right)\mathrm{<mo>\; :\; </mo>}z\in \tilde{H}\right\}=\left\{g^{-1}\left(\left\{g\left(y\right)\right\}\right)\mathrm{<mo>\; :\; </mo>}y\in Y\right\}\in {\mathcal{P}}^{\prime }\left({\mathcal{P}}^{\prime }\left(Y\right)\right)$ (7.2)

is a partition of Y; of course, $\mathcal{Y}$ (7.2) generates the following equivalence relation º on Y by the rule: $\forall y_1\in Y\forall y_2\in Y$

$\left(y_1\equiv y_2\right)\stackrel{\text{def}}{\iff }\left(g\left(y_1\right)=g\left(y_2\right)\right)$ (7.3)

In addition, $\left\{\tilde{y}\in Y|y\equiv \tilde{y}\right\}=g^{-1}\left(\left\{g\left(y\right)\right\}\right)\in {\mathcal{P}}^{\prime }\left(Y\right)\forall y\in Y$ . We note that $\forall \mathbb{Y}\in \mathcal{Y}\exists \mathrm{<mo>\; !\; </mo>}h\in \tilde{H}\mathrm{<mo>\; :\; </mo>}g\left(y\right)=h\forall y\in \mathbb{Y}$ . Therefore, we introduce the mapping $\sigma \in {\tilde{H}}^{\mathcal{Y}}$ by the next rule:

$\sigma \left(\mathbb{Y}\right)\triangleq g\left(y\right)\forall \mathbb{Y}\in \mathcal{Y}\forall y\in \mathbb{Y}$ (7.4)

From (7.1) and (7.4), we obtain that $\sigma \in {\tilde{H}}_{(\ast )}^{\mathcal{Y}}$ . And what is more, $\sigma$ is a bijection from $\mathcal{Y}$ onto $\tilde{H}$ .

Now, we obtain that $p\triangleq {\left(g^{-1}\left(\left\{g\left(y\right)\right\}\right)\right)}_{y\in Y}\in {\mathcal{Y}}_{(\ast )}^Y$ . So, the canonical projection from Y onto the corresponding factor-space is defined. In addition,

$g=\sigma \circ p$ (7.5)

(the canonical expansion of g). Indeed, let $y_{\mathrm{<mo>\; *\; </mo>}}\in Y$ and $D_{\mathrm{<mo>\; *\; </mo>}}\triangleq g^{-1}\left(\left\{g\left(y_{\mathrm{<mo>\; *\; </mo>}}\right)\right\}\right)$ . In addition, $p\left(y_{\mathrm{<mo>\; *\; </mo>}}\right)=g^{-1}\left(\left\{g\left(y_{\mathrm{<mo>\; *\; </mo>}}\right)\right\}\right)=D_{\mathrm{<mo>\; *\; </mo>}}\in \mathcal{Y}$ ;

$\left(\sigma \circ p\right)\left(y_{\mathrm{<mo>\; *\; </mo>}}\right)=\sigma \left(p\left(y_{\mathrm{<mo>\; *\; </mo>}}\right)\right)=\sigma \left(D_{\mathrm{<mo>\; *\; </mo>}}\right)$ (7.6)

Since $y_{\mathrm{<mo>\; *\; </mo>}}\in D_{\mathrm{<mo>\; *\; </mo>}}$ , by (7.4) we obtain that $\sigma \left(D_{\mathrm{<mo>\; *\; </mo>}}\right)=g\left(y_{\mathrm{<mo>\; *\; </mo>}}\right)$ . So, by (7.6) $\left(\sigma \circ p\right)\left(y_{\mathrm{<mo>\; *\; </mo>}}\right)=g\left(y_{\mathrm{<mo>\; *\; </mo>}}\right)$ . Since the choice of $y_{\mathrm{<mo>\; *\; </mo>}}$ was arbitrary, the property

$\left(\sigma \circ p\right)\left(y\right)=g\left(y\right)\forall y\in Y$

is realized. As a result, we obtain (7.5).

Following constructions of Section 2.4 of monograph [12] , we equip (see [4] ) the set $\mathcal{Y}$ with quotient topology. Namely,

$\mathcal{T}\triangleq \left\{\mathbb{G}\in \mathcal{P}\left(\mathcal{Y}\right)|p^{-1}\left(\mathbb{G}\right)\in \tau \right\}\in \left(\text{top}\right)\left[\mathcal{Y}\right]$ (7.7)

So, we obtain TS $\left(\mathcal{Y}\mathrm{,}\mathcal{T}\right)$ for which

$p\in C\left(Y\mathrm{,}\tau \mathrm{,}\mathcal{Y}\mathrm{,}\mathcal{T}\right)$ (7.8)

Since $p^1\left(Y\right)=\mathcal{Y}$ , the following property is realized: $\left(\mathcal{Y}\mathrm{,}\mathcal{T}\right)$ is a compact TS (we apply the continuity of $p$ realized in (7.8) and compactness of $\left(Y\mathrm{,}\tau \right)$ ).

Now, we note that (by the choice of $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ ) $p\circ m\in {\mathcal{Y}}^E$ and

$\sigma \circ \left(p\circ m\right)=\sigma \circ p\circ m=\left(\sigma \circ p\right)\circ m=g\circ m=h$ (7.9)

Finally, $\sigma \in C\left(\mathcal{Y}\mathrm{,}\mathcal{T}\mathrm{,}\tilde{H}\mathrm{,}\tilde{t}\right)$ . Indeed, let $\mathbb{G}\in \tilde{t}$ . By (7.1) we obtain that $g^{-1}\left(\mathbb{G}\right)\in \tau$ . By (7.5)

$g^{-1}\left(\mathbb{G}\right)={\left(\sigma \circ p\right)}^{-1}\left(\mathbb{G}\right)=p^{-1}\left({\sigma }^{-1}\left(\mathbb{G}\right)\right)$

where ${\sigma }^{-1}\left(\mathbb{G}\right)\in \mathcal{P}\left(\mathcal{Y}\right)$ . Since $p^{-1}\left({\sigma }^{-1}\left(\mathbb{G}\right)\right)\in \tau$ , by (7.7) ${\sigma }^{-1}\left(\mathbb{G}\right)\in \mathcal{T}$ . Since the choice of $\mathbb{G}$ was arbitrary also, the required continuity property is established. As a result,

$\sigma \in C\left(\mathcal{Y}\mathrm{,}\mathcal{T}\mathrm{,}\tilde{H}\mathrm{,}\tilde{t}\right)\cap {\tilde{H}}_{(\ast )}^{\mathcal{Y}}$ (7.10)

In particular, $\left(\mathcal{Y}\mathrm{,}\mathcal{T}\mathrm{,}p\circ m\mathrm{,}\sigma \right)$ is a compactifier (indeed, by (7.10) the obvious property $\sigma \in C\left(\mathcal{Y}\mathrm{,}\mathcal{T}\mathrm{,}H\mathrm{,}t\right)$ follows). And what is more, $\sigma$ is a continuous bijection from $\mathcal{Y}$ onto $\tilde{H}$ . Since $\left(\mathcal{Y}\mathrm{,}\mathcal{T}\right)$ is a compact space and $\left(\tilde{H}\mathrm{,}\tilde{t}\right)$ is a Hausdorff space, the mapping $\sigma$ is a homeomorphism from $\left(\mathcal{Y}\mathrm{,}\mathcal{T}\right)$ onto $\left(\tilde{H}\mathrm{,}\tilde{t}\right)$ . Then, $\left(\mathcal{Y}\mathrm{,}\mathcal{T}\mathrm{,}p\circ m\mathrm{,}\sigma \right)$ is an injective compactifier. We note the density property of this compactifier.

Indeed, by the choice of $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ the equality $Y=\text{cl}\left(m^1\left(E\right)\mathrm{,}\tau \right)$ . Then, by (7.8)

$\mathcal{Y}=p^1\left(Y\right)=p^1\left(\text{cl}\left(m^1\left(E\right)\mathrm{,}\tau \right)\right)\subset \text{cl}\left(p^1\left(m^1\left(E\right)\right)\mathrm{,}\mathcal{T}\right)\subset \mathcal{Y}$

So, $\text{cl}\left({\left(p\circ m\right)}^1\left(E\right)\mathrm{,}\mathcal{T}\right)=\mathcal{Y}$ . We obtain that $\left(\mathcal{Y}\mathrm{,}\mathcal{T}\mathrm{,}p\circ m\mathrm{,}\sigma \right)$ is an injective dense compactifier.

In addition, $\left(\mathcal{Y}\mathrm{,}\mathcal{T}\right)$ is a Hausdorff TS. Of course, this property follows from homeomorphism of $\sigma$ and separability of $\left(\tilde{H}\mathrm{,}\tilde{t}\right)$ . So, $\left(\mathcal{Y}\mathrm{,}\mathcal{T}\right)$ is compactum. Moreover, $\tilde{H}={\sigma }^1\left(\mathcal{Y}\right)$ and, as a corollary, TS $\left(\tilde{H}\mathrm{,}\tilde{t}\right)$ is a compactum also.

Remark 7.1. We note the last property. Indeed, if (5.5) is a Hausdorff TS for which a compactifier exists, then (5.11) is a compactum. Now, we consider the scheme of the corresponding proof.

So, as previously, we consider Hausdorff space (5.5). Therefore, (5.11) is a Hausdorff space also. We consider the case when some compactifier $\left(\mathbb{K}\mathrm{,}\tilde{\tau }\mathrm{,}\mu \mathrm{,}\nu \right)$ exists. By Proposition 5.2 we obtain that

$\left(\text{cl}\left({\mu }^1\left(E\right)\mathrm{,}\tilde{\tau }\right)\mathrm{,}{\tilde{\tau }|}_{\text{cl}\left({\mu }^1\left(E\right)\mathrm{,}\tilde{\tau }\right)}\mathrm{,}\mu \mathrm{,}\left(\nu |\text{cl}\left({\mu }^1\left(E\right)\mathrm{,}\tilde{\tau }\right)\right)\right)$ (7.11)

is a dense compactifier. Now, we suppose that

$\begin{array}{l}Y\triangleq \text{cl}\left({\mu }^1\left(E\right)\mathrm{,}\tilde{\tau }\right)\mathrm{,}\tau \triangleq {\tilde{\tau }|}_{\text{cl}\left({\mu }^1\left(E\right)\mathrm{,}\tilde{\tau }\right)}={\tilde{\tau }|}_Y\mathrm{,}m\triangleq \mu \mathrm{,}\\ g\triangleq \left(\nu |\text{cl}\left({\mu }^1\left(E\right)\mathrm{,}\tilde{\tau }\right)\right)=\left(\nu |Y\right)\end{array}$ (7.12)

By (7.12) we rename compactifier (7.11). So, $\left(Y\mathrm{,}\tau \mathrm{,}m\mathrm{,}g\right)$ is our dense com- pactifier. Later, we apply procedure of the present section; as a result, we obtain that $\left(\tilde{H}\mathrm{,}\tilde{t}\right)$ is a compactum.

8. Extension in Class of Ultrafilters of π-Systems

Now, we consider a special variant of general construction of Sections 5-7. But, at first, we introduce some new notions (see [4] [8] [10] [14] [15] [16] [17] [18] ). We fix $\mathcal{L}\in \pi \left[E\right]$ and consider the set

$\begin{array}{c}{\mathbb{F}}_{\text{lim}}\left[E\mathrm{<mo>\; ;\; </mo>}\mathcal{L}\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\right]\triangleq \left\{f\in H^E|\forall \mathcal{U}\in {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\exists h\in H\mathrm{<mo>\; :\; </mo>}{f}^1\left[\mathcal{U}\right]\stackrel{t}{\Rightarrow }h\right\}\\ =\left\{f\in H^E|\forall \mathcal{U}\in {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\exists \mathrm{<mo>\; !\; </mo>}h\in H\mathrm{<mo>\; :\; </mo>}{f}^1\left[\mathcal{U}\right]\stackrel{t}{\Rightarrow }h\right\}\\ \in {\mathcal{P}}^{\prime }\left(H^E\right)\end{array}$ (8.1)

(we apply separability of TS (5.5); all mappings-constants with values in $H$ (and defined on $E$ ) are elements of the set (8.1)). From (8.1), the next definition follows; namely, if $f\in {\mathbb{F}}_{\text{lim}}\left[E\mathrm{<mo>\; ;\; </mo>}\mathcal{L}\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\right]$ , then

${\phi }_{\text{lim}}\left[f\right]\mathrm{<mo>\; :\; </mo>}{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\to H$ (8.2)

is defined by the following condition: under $\mathcal{U}\in {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)$ , the point ${\phi }_{\text{lim}}\left[f\right]\left(\mathcal{U}\right)\in H$ has the property

$f^1\left[\mathcal{U}\right]\stackrel{t}{\Rightarrow }{\phi }_{\text{lim}}\left[f\right]\left(\mathcal{U}\right)$ (8.3)

This corresponds to similar definition of §5 in [10] . Of course, by (8.3)

$\begin{array}{l}{\phi }_{\text{lim}}{\left[f\right]}^1\left(\mathbb{S}\right)=\left\{h\in H|\exists \mathcal{U}\in \mathbb{S}\mathrm{<mo>\; :\; </mo>}{f}^1\left[\mathcal{U}\right]\stackrel{t}{\Rightarrow }h\right\}\\ \forall f\in {\mathbb{F}}_{\text{lim}}\left[E\mathrm{<mo>\; ;\; </mo>}\mathcal{L}\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\right]\forall \mathbb{S}\in \mathcal{P}\left({\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\right)\end{array}$ (8.4)

In connection with (4), we note statements in formula (5.4) of [10] ; namely,

$\begin{array}{l}{\phi }_{\text{lim}}{\left[f\right]}^1\left({\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right)\subset \left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}f\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\\ \forall f\in {\mathbb{F}}_{\text{lim}}\left[E\mathrm{<mo>\; ;\; </mo>}\mathcal{L}\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\right]\forall \mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{L}\right)\end{array}$ (8.5)

So, in (8.5), we obtain analog of (5.2). We recall that TS $\left(X\mathrm{,}\tau \right)$ is called a regular space (regular TS) in the case when $\left(X\mathrm{,}\tau \right)$ is $T_1$ -space for which closed (in $\left(X\mathrm{,}\tau \right)$ ) neighborhoods of every point $x\in X$ realize in totality a local base of $\left(X\mathrm{,}\tau \right)$ for this point x. In this connection, we recall Formula (5.5) of [7] : if $\left(H\mathrm{,}t\right)$ is a regular TS, then

${\phi }_{\text{lim}}\left[f\right]\in C\left({\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\mathrm{,}H\mathrm{,}t\right)\forall f\in {\mathbb{F}}_{\text{lim}}\left[E\mathrm{<mo>\; ;\; </mo>}\mathcal{L}\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\right]$ (8.6)

Until end of this section, we suppose that $\left(H\mathrm{,}t\right)$ is a regular TS and $\mathcal{L}\in {\tilde{\pi }}^0\left[E\right]$ . Moreover, now, we suppose that

$h\in {\mathbb{F}}_{\text{lim}}\left[E\mathrm{<mo>\; ;\; </mo>}\mathcal{L}\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\right]$ (8.7)

Then, ${\phi }_{\text{lim}}\left[h\right]\in H^{{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)}$ , and we obtain the natural concrete variant of (8.3)-(8.5); in addition, for $\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right)[\cdot ]\triangleq \left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){\left[x\right]}_{x\in E}\in {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}{\left(\mathcal{L}\right)}^E$

$h={\phi }_{\text{lim}}\left[h\right]\circ \left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right)[\cdot ]$ (8.8)

As an addition to (8.5), we note (see (8.6)) the property noted in Proposition 4 of [10] :

${\phi }_{\text{lim}}{\left[f\right]}^1\left(F_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right)\subset \left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\forall \mathcal{E}\in \beta \left[E\right]$ (8.9)

(we exploit (4.2), (5.2), (8.6), and (8.7)). As a corollary, from (8.9), we obtain that

${\phi }_{\text{lim}}{\left[f\right]}^1\left(F_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|{\{\cap \}}_f\left(\mathcal{E}\right)\right)\right)\subset \left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]\forall \mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)$ (8.10)

(we apply (4.1) and (4.2); indeed, under $\mathcal{S}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)$ , the property ${\{\cap \}}_f\left(\mathcal{E}\right)\in \beta \left[E\right]$ follows). It is useful to apply Remark 3 of [10] .

In connection with (5.2), (8.7), and (8.10), we recall Proposition 3 of [10] :

$\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\mathrm{<mo>\; ;\; </mo>}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\mathrm{<mo>\; ;\; </mo>}\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right)[\cdot ]\mathrm{<mo>\; ;\; </mo>}\mathfrak{B}\right]=F_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathfrak{B}\right)\forall \mathfrak{B}\in \beta \left[E\right]$ (8.11)

Attraction sets and compactifiers. We recall that the case of regular space $\left(H\mathrm{,}t\right)$ and $\mathcal{L}\in {\tilde{\pi }}^0\left[E\right]$ is considered (in this case TS $\left(\tilde{H}\mathrm{,}\tilde{t}\right)$ (5.11) is regular also). Moreover, in our case (8.7) is fulfilled. Finally, we suppose until end of this section that TS

$\left({\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\mathrm{<mo>\; ;\; </mo>}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)$ (8.12)

is compact. Then TS (8.12) is a zero-dimensional compactum. Therefore, from (3.7), (8.6), and (8.10), we obtain that

$\left({\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right),T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\mathrm{,}\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right)[\cdot ]\mathrm{,}{\phi }_{\text{lim}}\left[h\right]\right)$ (8.13)

is a dense compactifier. As a corollary, by (5.7) and (8.11)

$\begin{array}{c}\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]=\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}{\{\cap \}}_f\left(\mathcal{E}\right)\right]\\ ={\phi }_{\text{lim}}{\left[h\right]}^1\left(F_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|{\{\cap \}}_f\left(\mathcal{E}\right)\right)\right)\forall \mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)\end{array}$ (8.14)

In connection with (8.14), we note the following important particular case:

$\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathfrak{B}\right]={\phi }_{\text{lim}}{\left[h\right]}^1\left(F_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathfrak{B}\right)\right)\forall \mathfrak{B}\in \beta \left[E\right]$ (8.15)

Of course, (8.15) is sufficient for majority of applications. From (8.4), (8.7), and (8.15), we obtain that

$\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}H\mathrm{<mo>\; ;\; </mo>}t\mathrm{<mo>\; ;\; </mo>}h\mathrm{<mo>\; ;\; </mo>}\mathfrak{B}\right]=\left\{z\in H|\exists \mathcal{U}\in F_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathfrak{B}\right)\mathrm{<mo>\; :\; </mo>}{h}^1\left[\mathcal{U}\right]\stackrel{t}{\Rightarrow }z\right\}\forall \mathfrak{B}\in \beta \left[E\right]$ (8.16)

It is useful to note that by (8.15) and (8.16) (in our case) ultrafilters from $F_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathfrak{B}\right)$ , where $\mathfrak{B}\in \beta \left[E\right]$ , can be considered as analogs both generalized and approximate solutions of J. Warga (see constructions of ch.III of [2] ).

Remark 8.1. The compactness property of TS (8.12) is very important (see (8.14)-(8.16)). Now, we note only Remark 3.1 (of course, more general cases are known: see §6 in [14] ). Another important question is connected with (8.7). More exactly, we obtain the serious question about representation of the set (8.1). Now, we discuss only two possibilities for $h$ .

1) Let $\left(\tilde{H}\mathrm{,}\tilde{t}\right)$ (5.11) be a compactum (in this connection, we note Remark 7.1). In addition, by (5.8) $h\in {\tilde{H}}^E$ . We strive to obtain conditions sufficient for (8.7). For this, we apply the construction of §5 in [14] . For any $h\in \tilde{H}$ , we introduce the family

$\left(h-\text{bas}\right)\left[\tilde{t}\right]\triangleq \left\{\mathcal{S}\in \mathcal{P}\left(N_{\tilde{t}}\left(h\right)\right)|\forall A\in N_{\tilde{t}}\left(h\right)\exists B\in \mathcal{S}\mathrm{<mo>\; :\; </mo>}B\subset A\right\}$

of all local bases of TS $\left(\tilde{H}\mathrm{,}\tilde{t}\right)$ at the point h. In this item, we suppose that

$\forall h\in \tilde{H}\exists \tilde{\mathcal{H}}\in \left(h-\text{bas}\right)\left[\tilde{t}\right]\mathrm{<mo>\; :\; </mo>}{h}^{-1}\left(H\right)\in \mathcal{L}\forall H\in \tilde{\mathcal{H}}$ (8.17)

So, (8.17) is a condition of the “local measurability” of $h$ . We recall about compactness of TS (5.11). Then, by Corollary 5.1 of [14]

$\forall \mathcal{U}\in {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\exists \mathrm{<mo>\; !\; </mo>}h\in \tilde{H}\mathrm{<mo>\; :\; </mo>}{h}^1\left[\mathcal{U}\right]\stackrel{\tilde{t}}{\Rightarrow }h$ (8.18)

Let $\mathfrak{U}\in {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)$ and $\tilde{h}\in \tilde{H}$ be a point such that (see (8.18))

$h^1\left[\mathfrak{U}\right]\stackrel{\tilde{t}}{\Rightarrow }\tilde{h}$ (8.19)

In addition, $h^1\left[\mathfrak{U}\right]\in {\beta }_0\left[\tilde{H}\right]$ . By (3.1) and (8.19)

$N_{\tilde{t}}\left(\tilde{h}\right)\subset \left(\tilde{H}-fi\right)\left[h^1\left[\mathfrak{U}\right]\right]$ (8.20)

We recall that (see Formula (2.3.8) of [11] ) by (5.10)

$N_{\tilde{t}}\left(\tilde{h}\right)={N_t\left(\tilde{h}\right)|}_{\tilde{H}}=\left\{S\cap \tilde{H}\mathrm{<mo>\; :\; </mo>}S\in N_t\left(\tilde{h}\right)\right\}$ (8.21)

We recall that

$\begin{array}{c}\left(\tilde{H}-fi\right)\left[h^1\left[\mathfrak{U}\right]\right]=\left\{T\in \mathcal{P}\left(\tilde{H}\right)|\exists B\in h^1\left[\mathfrak{U}\right]\mathrm{<mo>\; :\; </mo>}B\subset T\right\}\\ \subset \left\{T\in \mathcal{P}\left(H\right)|\exists B\in h^1\left[\mathfrak{U}\right]\mathrm{<mo>\; :\; </mo>}B\subset T\right\}\end{array}$ (8.22)

In addition, by the choice of $h$ we obtain that $h^1\left[\mathfrak{U}\right]\in {\beta }_0\left[H\right]$ . So, the filter

$\left(H-fi\right)\left[h^1\left[\mathfrak{U}\right]\right]=\left\{T\in \mathcal{P}\left(H\right)|\exists B\in h^1\left[\mathfrak{U}\right]\mathrm{<mo>\; :\; </mo>}B\subset T\right\}\in \mathfrak{F}\left[H\right]$

is defined; by (8.22) the inclusion

$\left(\tilde{H}-fi\right)\left[h^1\left[\mathfrak{U}\right]\right]\subset \left(H-fi\right)\left[h^1\left[\mathfrak{U}\right]\right]$ (8.23)

follows. By (8.20) and (8.23) the next inclusion

$N_{\tilde{t}}\left(\tilde{h}\right)\subset \left(H-fi\right)\left[h^1\left[\mathfrak{U}\right]\right]$ (8.24)

is realized. Now , we exploit (2.5) and (8.21). Indeed, let $\mathbb{S}\in N_t\left(\tilde{h}\right)$ . Then, by (8.21) $\mathbb{S}\cap \tilde{H}\in N_{\tilde{t}}\left(\tilde{h}\right)$ . By (8.24) the inclusion $\mathbb{S}\cap \tilde{H}\in \left(H-fi\right)\left[h^1\left[\mathfrak{U}\right]\right]$ follows, where $\mathbb{S}\cap \tilde{H}\subset \mathbb{S}$ . Since $\mathbb{S}\in \mathcal{P}\left(H\right)$ , by (2.5) $\mathbb{S}\in \left(H-fi\right)\left[h^1\left[\mathfrak{U}\right]\right]$ . So, we obtain that $N_t\left(\tilde{h}\right)\subset \left(H-fi\right)\left[h^1\left[\mathfrak{U}\right]\right]$ . As a corollary,

$h^1\left[\mathfrak{U}\right]\stackrel{t}{\Rightarrow }\tilde{h}$

where $\tilde{h}\in \tilde{H}$ . In particular, $\tilde{h}\in H$ . Since the choice of $\mathfrak{U}$ was arbitrary, it is established that

$\forall \mathcal{U}\in {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\exists h\in H\mathrm{<mo>\; :\; </mo>}{h}^1\left[\mathcal{U}\right]\stackrel{t}{\Rightarrow }h$

From (8.1), we obtain that, in our case, (8.7) is fulfilled. So, (8.17) and compactness of TS (5.11) are sufficient for (8.7).

2) Now, we consider the variant connected with application of uniform limits of real-valued step-functions (the more general construction is given in [15] ). In this item, we suppose that $H={ℝ}^{\Gamma }$ , where $\Gamma$ is a nonempty set. So, elements of $H$ are functionals on $\Gamma$ and only they. We apply $h\in H^E$ and suppose that

$h(\cdot )\left(\gamma \right)\triangleq {\left(h\left(x\right)\left(\gamma \right)\right)}_{x\in E}\in {ℝ}^E\forall \gamma \in \Gamma$ (8.25)

In (8.25), we obtain real-valued components of $h$ . We recall that E is equipped with $\mathcal{L}\in \pi \left[E\right]$ . Now, we suppose that $\mathcal{L}$ is a semialgebra of subsets of E (of course, the variant of an algebra of subsets of E is possible also). Under $\Sigma \in \mathcal{P}\left(E\right)$ , by ${\chi }_{\Sigma }$ we denote indicator of the set $\Sigma \mathrm{<mo>\; :\; </mo>}{\chi }_{\Sigma }\in {ℝ}^E\mathrm{,}{\chi }_{\Sigma }\left(x\right)\triangleq 0$ under $x\in E\backslash \Sigma$ , and ${\chi }_{\Sigma }\left(y\right)\triangleq 1$ under $y\in \Sigma$ . By $B_0\left(E\mathrm{,}\mathcal{L}\right)$ we denote the linear span of the set $\left\{{\chi }_L\mathrm{<mo>\; :\; </mo>}L\in \mathcal{L}\right\}$ (we apply the pointwise linear operations in ${ℝ}^E$ ) obtaining a subset of the set $\mathbb{B}\left(E\right)$ of all bounded real-valued functions on E. We equip the linear space $\mathbb{B}\left(E\right)$ with traditional sup-norm $\Vert \cdot \Vert$ (see ch.IV, Section 2, item 13 of [16] ). Then, $B_0\left(E\mathrm{,}\mathcal{L}\right)\subset \mathbb{B}\left(E\right)$ . The closure of $B_0\left(E\mathrm{,}\mathcal{L}\right)$ in $\mathbb{B}\left(E\right)$ with topology generated by norm $\Vert \cdot \Vert$ is denoted by $B\left(E\mathrm{,}\mathcal{L}\right)$ (if $\mathcal{L}\in \left(\text{alg}\right)\left[E\right]$ , then $B\left(E\mathrm{,}\mathcal{L}\right)$ corresponds to ch.IV, Section 5 of [16] ). In particular, $B\left(E\mathrm{,}\mathcal{L}\right)$ with norm induced from $\left(\mathbb{B}\left(E\right)\mathrm{,}\Vert \cdot \Vert \right)$ is a Banach space.

Suppose that $h(\cdot )\left(\gamma \right)\in B\left(E\mathrm{,}\mathcal{L}\right)\forall \gamma \in \Gamma$ . Now, we define a variant of topology $t$ . Namely, we suppose that $t={\otimes }^{\Gamma }\left({\tau }_{ℝ}\right)$ is the natural topology of the Tychonoff power of $ℝ$ with usual $\left|\cdot \right|$ -topology ${\tau }_{ℝ}$ for the case when $\Gamma$ is the indexed set. So, we consider the Tichonoff product of samples $\left(ℝ\mathrm{,}{\tau }_{ℝ}\right)$ under indexed set $\Gamma$ . Using Proposition 6.3 of [15] , we obtain that (8.7) is fulfilled (in [15] , the concrete variant of the mapping ${\phi }_{\text{lim}}\left[h\right]$ is indicated; also, we note Remark 6.2 of [15] ).

So, under some natural conditions, the property (8.7) is realized.

9. Some Topological Properties of Attraction Sets in Space of Ultrafilters of π-Systems

In this section, we fix $\mathcal{L}\in \pi \left[E\right]$ and consider the set ${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)$ (see Section 2). In this construction, we follow to [17] .

Proposition 9.1. If $L_1\in \mathcal{L}$ and $L_2\in \mathcal{L}$ , then

$\left(L_1\subset L_2\right)\Rightarrow \left({\Phi }_{\mathcal{L}}\left(L_1\right)\subset {\Phi }_{\mathcal{L}}\left(L_2\right)\right)$

in addition, if $\mathcal{L}\in {\tilde{\pi }}^0\left[E\right]$ , then $\forall {\Lambda }_1\in \mathcal{L}\forall {\Lambda }_2\in \mathcal{L}$

$\left({\Phi }_{\mathcal{L}}\left({\Lambda }_1\right)\subset {\Phi }_{\mathcal{L}}\left({\Lambda }_2\right)\right)\Rightarrow \left({\Lambda }_1\subset {\Lambda }_2\right)$

The corresponding proof is given in §4 of article [17] . In connection with Proposition 9.1, we suppose until end of this section that $\mathcal{L}\in {\tilde{\pi }}^0\left[E\right]$ . Then, by Proposition 9.1 $\forall L_1\in \mathcal{L}\forall L_2\in \mathcal{L}$

$\left(L_1\subset L_2\right)\iff \left({\Phi }_{\mathcal{L}}\left(L_1\right)\subset {\Phi }_{\mathcal{L}}\left(L_2\right)\right)$ (9.1)

As a corollary, in our case, the mapping

$L\mapsto {\Phi }_{\mathcal{L}}\left(L\right)\mathrm{<mo>\; :\; </mo>}\mathcal{L}\to \left(\mathbb{U}\mathbb{F}\right)\left[E\mathrm{<mo>\; ;\; </mo>}\mathcal{L}\right]$

is a bijection from $\mathcal{L}$ onto $\left(\mathbb{U}\mathbb{F}\right)\left[E\mathrm{<mo>\; ;\; </mo>}\mathcal{L}\right]$ .

We fix $\mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{L}\right)$ until end of this section (we apply $\mathcal{E}$ as the family defining constraints of asymptotic character; in particular, $\mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{P}\left(E\right)\right)$ . In this and next sections, it is supposed that

${\Sigma }_0\triangleq {\displaystyle \underset{\Sigma \in \mathcal{E}}{\cap }}\Sigma \in \mathcal{L}$ (9.2)

(in §6 of [17] , the examples of $\left(E\mathrm{,}\mathcal{L}\right)$ and $\mathcal{E}$ with (9.2) are given; we note that (9.2) is fulfilled under

${\displaystyle \underset{\Sigma \in \mathcal{E}}{\cap }}\Sigma =\varnothing$

the last case is considered in [18] specially). By (2.11) and (9.2) the set

$\begin{array}{c}{\Phi }_{\mathcal{L}}\left({\Sigma }_0\right)=\left\{\mathcal{U}\in {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)|{\Sigma }_0\in \mathcal{U}\right\}=\left\{\mathcal{U}\in {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)|{\Sigma }_0\cap U\ne \varnothing \forall U\in \mathcal{U}\right\}\\ \in T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\cap C_{{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)}\left[T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right]\end{array}$ (9.3)

is defined. We recall that ${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)$ coincides with intersection of all sets ${\Phi }_{\mathcal{L}}\left(\Sigma \right)\mathrm{,}\Sigma \in \mathcal{E}$ . In Theorem 6.1 of [17] , it is established that

$\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Int}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]={\Phi }_{\mathcal{L}}\left({\Sigma }_0\right)$ (9.4)

In particular, from (9.3) and (9.4), the following property follows: the interior of ${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)$ is an open-closed set.

Remark 9.1. Recall (8.11). Then, under $\mathcal{E}\in \beta \left[E\right]$ (for which $\mathcal{E}\subset \mathcal{L}$ and (9.2) is fulfilled), we obtain that

$\left(as\right)\left[E\mathrm{<mo>\; ;\; </mo>}{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\mathrm{<mo>\; ;\; </mo>}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\mathrm{<mo>\; ;\; </mo>}\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right)[\cdot ]\mathrm{<mo>\; ;\; </mo>}\mathcal{E}\right]={\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)$ (9.5)

So, in this case, by (9.4) the interior of auxiliary AS is defined (see definitions of Section 2). Since ${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\in C_{{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)}\left[T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right]$ , we obtain that

$\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Fr}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]={\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\backslash {\Phi }_{\mathcal{L}}\left({\Sigma }_0\right)$ (9.6)

(the frontier of the set (9.5) is realized). By (9.6) the next inclusion is realized

${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\backslash {\Phi }_{\mathcal{L}}\left({\Sigma }_0\right)\subset \text{cl}\left({\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\backslash {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)$

Now, we consider questions connected with approximate realization of ultrafilters of ${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\backslash {\Phi }_{\mathcal{L}}\left({\Sigma }_0\right)$ . So, we consider questions connected with approximate realizability of elements of (9.6). Then

$\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Fr}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]={\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\backslash \text{cl}\left(\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left({\Sigma }_0\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)$ (9.7)

So, ultrafilters of the frontier of ${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)$ are not realizable “outwards”. In addition, by (3.6) we obtain that

$\text{cl}\left(\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left(E\backslash {\Sigma }_0\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)=F_0^{\mathrm{<mo>\; *\; </mo>}}\left[\mathcal{L}|E\backslash {\Sigma }_0\right]$ (9.8)

Moreover, by (9.6) we obtain the following

Proposition 9.1. The following inclusion takes place:

$\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Fr}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]\subset F_0^{\mathrm{<mo>\; *\; </mo>}}\left[\mathcal{L}|E\backslash {\Sigma }_0\right]$ (9.9)

Proof. By (3.6), (3.7), and additivity of the closure we obtain that

$\begin{array}{c}{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)=\text{cl}\left({\mathbb{F}}_{\mathrm{0,}t}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)=\text{cl}\left(\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left(E\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)\\ =\text{cl}\left(\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left({\Sigma }_0\cup \left(E\backslash {\Sigma }_0\right)\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)\\ =\text{cl}\left(\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left({\Sigma }_0\right)\cup \left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left(E\backslash {\Sigma }_0\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)\\ =\text{cl}\left(\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left({\Sigma }_0\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)\cup \text{cl}\left(\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left(E\backslash {\Sigma }_0\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)\\ ={\Phi }_{\mathcal{L}}\left({\Sigma }_0\right)\cup F_0^{\mathrm{<mo>\; *\; </mo>}}\left[\mathcal{L}|E\backslash {\Sigma }_0\right]\end{array}$

Since ${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\subset {\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)$ , by (9.6) we obtain the required inclusion (9.9). ,

Corollary 9.1. The next inclusion is realized:

$\begin{array}{l}\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Fr}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]\\ \subset \text{cl}\left(\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left(E\backslash {\Sigma }_0\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)\backslash \text{cl}\left(\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left({\Sigma }_0\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)\end{array}$

The corresponding proof is reduced to immediate combination of (9.7), (9.8), and Proposition 9.1. So, ultrafilters of the frontier of ${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)$ assume approximate realization only by points of the set $E\backslash {\Sigma }_0$ .

We recall that by (9.2) and (9.4)

$\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Int}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]\in T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\cap C_{{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)}\left[T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right]$ (9.10)

Remark 9.2. If $\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Fr}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]\ne \varnothing$ , then

${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\in C_{{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)}\left[T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right]\backslash \left(\text{can}-\text{clos}\right)\left[T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right]$

Indeed, let $\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Fr}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]\ne \varnothing$ . By (9.10)

$\text{cl}\left(\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Int}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)=\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Int}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]$ (9.11)

Using (9.4) and (9.6), we obtain (under our condition) that

${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\ne \text{cl}\left[\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Int}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right]$

So, ${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\notin \left(\text{can}-\text{clos}\right)\left[T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right]$ . ,

10. Some Additions

We follow to constructions of Section 4 of article [8] under consideration of the case $\mathcal{L}\in {{\pi }^{\prime }}_0\left[E\right]$ , where E is a nonempty set. In this case, the open-closed sets ${\Phi }_{\mathcal{L}}\left(\left\{x\right\}\right)\mathrm{,}x\in E$ are defined. In addition, under $x\in E$

${\Phi }_{\mathcal{L}}\left(\left\{x\right\}\right)=\left\{\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right)\left[x\right]\right\}$

As a corollary, we obtain the following equality

$\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{isol}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\right]={\mathbb{F}}_{\mathrm{0,}t}^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)$ (10.1)

therefore (see Section 3) we obtain that

$\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{isol}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\right]\in \left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{dens}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}\right)\right]$ (10.2)

So, in our case, TS of type (3.3) has everywhere dense subset consisting from isolated points. These points are trivial ultrafilters.

From (10.1) and (10.2), we obtain ( under $\mathcal{L}\in {{\pi }^{\prime }}_0\left[E\right]$ ) that

$\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left(A\right)=\left\{\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right)\left[x\right]\mathrm{<mo>\; :\; </mo>}x\in A\right\}\in T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\forall A\in \mathcal{P}\left(E\right)$ (10.3)

From (3.6) and (10.3), the following important property (see p. 222 in [8] ) is realized:

$F_0^{\mathrm{<mo>\; *\; </mo>}}\left[\mathcal{L}|A\right]\in \left(\text{can}-\text{clos}\right)\left[T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right]\forall A\in \mathcal{P}\left(E\right)$ (10.4)

Until end of this section, we fix a family $\mathcal{E}\in {\mathcal{P}}^{\prime }\left(\mathcal{L}\right)$ .

Proposition 10.1. Let (9.2) holds and ${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\backslash {\Phi }_{\mathcal{L}}\left({\Sigma }_0\right)\ne \varnothing$ . Then

${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\ne F_0^{\mathrm{<mo>\; *\; </mo>}}\left[\mathcal{L}|A\right]\forall A\in \mathcal{P}\left(E\right)$

Proof. By (9.6) we have that $\left(T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]-\text{Fr}\right)\left[{\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\right]\ne \varnothing$ . Then, from Remark 9.2, we obtain the property

${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\notin \left(\text{can}-\text{clos}\right)\left[T_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right]$

By (10.4) we obtain the required statement. ,

As a corollary, the following property is realized: if the conditions of Proposition 10.1 are fulfilled, then by (3.6)

${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)\ne \text{cl}\left(\left(\left(E\mathrm{,}\mathcal{L}\right)-\text{ult}\right){[\cdot ]}^1\left(A\right)\mathrm{,}{T}_{\mathcal{L}}^{\mathrm{<mo>\; *\; </mo>}}\left[E\right]\right)\forall A\in \mathcal{P}\left(E\right)$ (10.5)

Now, we discuss (10.5). The expression on the right-hand side of (10.5) corresponds to “standard” realization of generalized elements. Namely, we have some set $A\mathrm{,}A\subset E$ of usual solutions. These solutions are transformed in generalized elements (here, in ultrafilters). The obtained set of ultrafilters is transformed to a closure (we obtain $F_0^{\mathrm{<mo>\; *\; </mo>}}\left[\mathcal{L}|A\right]$ ). By (10.5) and Proposition 10.1 we no obtain ${\mathbb{F}}_0^{\mathrm{<mo>\; *\; </mo>}}\left(\mathcal{L}|\mathcal{E}\right)$ under every $A\mathrm{,}A\subset E$ (of course, we keep in mind that (9.2) and conditions of Proposition 10.1 are fulfilled and the sets-closures on the right-hand side of (10.5) are used). So, auxiliary AS (see (8.11) and Section 2) one cannot to obtain by closure of some subset of the initial set E.

Supported

This work was supported by Russian Foundation for Basic Research (project no.15-01-07909).

Conflicts of Interest

The authors declare no conflicts of interest.

References

[1]	Krasovskii, N.N. (1968) The Theory of the Control of Motion. Nauka, Moscow. (In Russian)
[2]	Warga, J. (1977) Optimal Control of Differential and Functional Equations. Academic Press, New York.
[3]	Chentsov, A.G. (1997) Asymptotic Attainability. Kluwer Academic Publishing, Dordrecht. https://doi.org/10.1007/978-94-017-0805-0
[4]	Chentsov, A.G. (2016) Compactifiers in Extension Constructions for Reachability Problems with Constraints of Asymptotic Nature. Trudy Instituta Matematiki i Mekhaniki UrO RAN, 22, 1.
[5]	Bulinskii, A.V. and Shiryaev, A.N. (2005) Theory of Stochastic Processes. Classical University Textbook, Fizmatlit, Moscow. (In Russian)
[6]	Bourbaki, N. (1995) General Topology. Springer-Verlag, Berlin Heidelberg.
[7]	Chentsov, A.G. (2011) Filters and Ultrafilters in the Constructions of Attraction Sets. Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, No. 1.
[8]	Chentsov, A.G. (2015) To Question about Realization of Attraction Elements in Abstract Attainability Problems. Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, 25, 2.
[9]	Chentsov, A.G. (2011) On One Example of Representing the Ultrafilter Space for an Algebra of Sets. Trudy Instituta Matematiki i Mekhaniki UrO RAN, 17, 4.
[10]	Chentsov, A.G. (2014) Some Ultrafilter Properties Connected with Extension Constructions. Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, No. 1.
[11]	Chentsov, A.G. and Morina, S.I. (2002) Extensions and Relaxations. Kluwer Acad. Publ., Dordrecht, Boston, London. https://doi.org/10.1007/978-94-017-1527-0
[12]	Engelking, R. (1977) General Topology. PWN, Warsaw.
[13]	Kelley, J.L. (1975) General Topology. Springer, New York.
[14]	Chentsov, A.G. (2012) The Transformation of Ultrafilters and Their Application in Constructions of Attraction Sets. Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, No. 3.
[15]	Chentsov, A.G. (2012) Tier Mappings and Ultrafilter-Based Transformations. Trudy Instituta Matematiki i Mekhaniki UrO RAN, 18, 4.
[16]	Dunford, N. and Schwartz, J.T. (1988) Linear Operators, Part 1: General Theory.
[17]	Chentsov, A.G. (2014) To the Validity of Constraints in the Class of Generalized Elements. Vestn. Udmurtsk. Univ. Mat. Mekh. Komp. Nauki, No. 3.
[18]	Chentsov, A.G. (2015) An Abstract Reachability Problem: Purely Asymptotic? Version, Trudy Instituta Matematiki i Mekhaniki UrO RAN, 21, 2.