No label defined (Q4654979)

In this paper the author extends some results of \textit{S. Nakanishi} [Math. Japon. 31, 429--447 (1986; Zbl 0601.46031)], from union of metric spaces to union of general topological spaces. For a topological space \(X\), the following notations and definitions are used: \(\beta(X)\) is the collection of all Borel subsets of \(X\); a net in \(X\) is called compact if each of its subnets has a further subnet which is convergent, and a subset \( A \subset X \) is said to be compact if every net in \(A\) has a convergent subnet; \(m_{+}(X)\) is the set of all finite, non-negative Borel measures on \(X\) and \(m_{\tau}(X)\) is the subset of \(m_{+}(X)\) consisting of \(\tau\)-smooth measures; the weak topology on \(m_{+}(X)\) is the weakest topology for which \( \mu \to \mu(f) \) is upper semi-continuous for every bounded, real-valued upper semi-continuous \(f\) on \(X\). For a set \(X\) and a partial set \( \Sigma\), \(\{ (X_{\alpha}, \mathcal{T}_{\alpha}): \alpha \in \Sigma \} \) is a family of Hausdorff topological spaces such that \( X_{\alpha} \subset X, \forall \alpha \), \( X_{\alpha} \uparrow X\), and \({\mathcal{T}_{\beta}}_{| X_{\alpha}} \leq \mathcal{T}_{\alpha}\) for every \( \alpha \leq \beta \); it is further assumed that, for every \( \alpha, \; \beta \), if a net \(\{ x_{\gamma} \}\) in \( X_{\alpha} \cap X_{\beta}\) is such that \( x_{\gamma} \to x \) in \(X_{\alpha}\) and \( x_{\gamma} \to y \) in \(X_{\beta}\), then \( x=y\) . The inductive topology on \(X\) for which all the canonical injections \( X_{\alpha} \to X \) are continuous is denoted by \(O_{r}(X)\). Now suppose that \(\{ S_{n} \}\) is a increasing sequence of subsets of \(X\) such that there is an increasing sequence \( \{ \alpha_{n} \} \) in \(\Sigma\) such that \( S_{n}\) is a compact subset of \( X_{\alpha_{n}}\) for every \(n\). Putting \(S= \cup S_{n}\;\), the following results are proved: (i) \((S, O_{r}(S))\) is a normal topological space; (ii) \(\beta(S, O_{r}(S))= \beta(S, O_{r}(X))=(\beta(X, O_{r}(X))) \cap S;\) (iii) A bounded subset \( \mathcal{M} \subset m_{\tau}(S, O_{r}(S))\) is relatively weakly compact iff \[ \inf_{n} \sup \{ \mu ( S - S_{n}): \mu \in \mathcal{M} \} =0; \] Using these results, the main result proved is: \( \mathcal{M} \) is a non-empty bounded subset of \( m_{\tau}(X, O_{r}(X))\). For \( \mathcal{M} \) to be net compact, it is sufficient that there is an increasing sequence \(\{ \alpha_{n} \}\) in \(\Sigma\) and an increasing sequence \(\{ S_{n} \} \) of subsets of \(X\) such that, for each \(n\), \( S_{n} \) is a compact subset of \( X_{\alpha_{n}}\) and \[ \inf_{n} \sup \{ \mu ( X - S_{n}): \mu \in \mathcal{M} \} =0; \]