Fréchet subspaces of minimal usco and minimal cusco maps (Q6050075)

The authors study topologies of uniform convergence on bornologies on the space of minimal upper semicontinuous maps with non-empty compact values (usco maps) and minimal upper semicontinuous maps with non-empty compact convex values (cusco maps). The term (set-valued) map is reserved for a multifunction from \(X\) to \(Y\); i.e. a function that assigns to each element of \(X\) a subset of \(Y\). In this paper the authors identify maps with their graphs; thus, a map can be considered to be a subset of \(X \times Y\), in particular \(\{(x, y) \in X \times Y : y \in F(x)\}\). Denote by \(CL(Y)\) the collection of all non-empty closed subsets of \(Y\), and by \(CL(Y)^X\) the set of all maps from \(X\) to \(Y\) with non-empty closed values. Also, denote by \(K(Y)\) the family of all non-empty compact subsets of \(Y\) and by \(K(Y)^X\) the family of maps from \(X\) to \(Y\) with non-empty compact values. Denote by \(MU(X,Y)\) and \(MC(X,Y)\) the space of all minimal usco and minimal cusco maps from \(X\) to \(Y\), respectively. Let \(X\) be a topological space. A family \(\mathcal{B} \subseteq \mathcal{P}(X)\) is called a \textit{bornology} on \(X\) if it satisfies: (i) if \(A\) and \(B\) are elements of \(\mathcal{B}\), then \(A \cup B \in \mathcal{B}\), (ii) if \(B \in \mathcal{B}\) and \(A \in \mathcal{P}(X)\) such that \(A \subseteq B\), then \(A \in \mathcal{B}\), and (iii) \(X = \bigcup \mathcal{B}\). We say that \(\mathcal{B}_0\subseteq \mathcal{B}\) is a \textit{base} of \(\mathcal{B}\) if \(\mathcal{B} = \{B \in \mathcal{P}(X) : \exists B_0 \in \mathcal{B}_0(B\subseteq B_0)\}\). The bornology \(\mathcal{B}\) has a closed base if it has a base consisting of closed sets; and \(\mathcal{B}\) is \textit{local} if for every \(x \in X\) there is a \(B_x \in \mathcal{B}\) that is a neighborhood of \(x\). Holá and Novotny find sufficient conditions for metrizability and complete metrizability of spaces of minimal usco and minimal cusco maps equipped with the topology of uniform convergence on bornologies. They prove, amongst others, the following results. Theorem 1. Let \(X\) be a regular topological space, \(\mathcal{B}\) a bornology on \(X\) with a closed base, and \((Y,\mathcal{U})\) be a uniform space with at least two distinct points. Let \(\mathcal{M}\) be one of the spaces \(CL(Y)^X\), \(K(Y)^X\) or \(MU(X,Y)\), then the following are equivalent: \begin{itemize} \item[1.] \((\mathcal{M},\mathcal{U}_{\mathcal{B}})\) is metrizable; \item[2.] \((\mathcal{M},\tau_{\mathcal{B}})\) is metrizable; \item[3.] \(Y\) is metrizable and \((\mathcal{M},\tau_{\mathcal{B}})\) is first countable; \item[4.] \(Y\) is metrizable and \(\mathcal{B}\) has a countable base. \end{itemize} Theorem 2. Let \(X\) be a topological space, let \(\mathcal{B}\) be a local bornology on \(X\) and \(Y\) be a locally convex topological vector space with complete standard uniformity. Then the spaces \[ (MC(X,Y),\mathcal{U}_{\mathcal{B}}), (M_{\mathcal{B}}(X,Y),\mathcal{U}_{\mathcal{B}}), (MU_{\mathcal{B}}(X,Y),\mathcal{U}_{\mathcal{B}}), \text{ and } (MC_{\mathcal{B}}(X,Y),\mathcal{U}_{\mathcal{B}}) \] are complete. Moreover if \(\mathcal{B}\) has a countable base and \(Y\) is metrizable, then the spaces \[ (MC(X,Y),\tau_{\mathcal{B}}), (M_{\mathcal{B}}(X,Y),\tau_{\mathcal{B}}, (MU_{\mathcal{B}}(X,Y),\tau_{\mathcal{B}}), \text{ and } (MC_{\mathcal{B}}(X,Y),\tau_{\mathcal{B}}) \] are completely metrizable. In the previous results, the symbols \(\mathcal{U}_{\mathcal{B}}\) and \(\tau_{\mathcal{B}}\) must be understood as follows: Let \((Y,\mathcal{U})\) be a uniform space and \(\mathcal{B}\) be a bornology on \(X\). The authors use the so called Hausdorff uniformity \(\mathcal{U}_H\) on \(CL(Y)\), which is generated by entourages of the form \[ \{(A, B) \in CL(Y)^2 : A \subseteq U(B) \text{ and } B \subseteq U(A)\}, \] where \(U \in \mathcal{U}\). Suppose that \(\mathcal{M} \subseteq CL(Y)^X\) is a space of some maps with closed values. We can define a uniformity on \(\mathcal{M}\) as follows: For \(B \subseteq X\) and \(U \in \mathcal{U}\) define \[ W[B,U] = \{(F,G) \in \mathcal{M}^2 : \forall x \in B : F(x) \subseteq U(G(x)) \text{ and } G(x) \subseteq U(F(x))\}. \] The collection \(\{W[B,U] : B \in \mathcal{B} \text{ and } U \in \mathcal{U}\}\) is the base of the uniformity on \(\mathcal{M}\), denoted as \(\mathcal{U}_{\mathcal{B}}\); the corresponding topology is \(\tau_{\mathcal{B}}\). Finally, in this article, the authors investigate Fréchet locally convex subspaces of the spaces mentioned above.