Compactness in function spaces (Q5919572)

In this interesting paper the authors give necessary and sufficient conditions for compactness in the topology of uniform convergence on compacta of subsets of particular function spaces. Precisely, they achieve as their main result the following one: Let \( X\) be a locally compact space, \((Y,d)\) a boundedly compact metric space, \((LB(X,Y), \tau_{UC})\) the space of locally bounded functions from \(X\) to \(Y\) equipped with \(\tau_{UC}\) the topology of uniform convergence on compacta. A family \(\mathcal{E}\) of \(LB(X,Y)\) is compact in the space \((LB(X,Y),\tau_{UC})\) if and only if \(\mathcal{E}\) is closed, pointwise bounded and finitely equicontinous. The notion of finite equicontinuity plays a key role. Let \(F(X,Y)\) be the set of functions from \(X\) to \(Y.\) A family \(\mathcal{E}\) of \(F(X,Y)\) is finitely equicontinuous at a point \(x\) in \(X\) provided that for every \(\epsilon 0 \) there exists a finite family \(\mathcal{B}\) of subsets of \(X\) such that \(\cup \mathcal{B}\) is a neighbourhood of \(x\) and such that for every \(f \in \mathcal{E}\), for every \(B \in \mathcal{B}\) and for every \( p,q \in B, d(f(p),f(q)) \epsilon.\) Then, \( \ \mathcal{E}\) is finitely equicontinuous provided that it is finitely equicontinuous at every point of \(X\). With the same conditions on \(X\) and \(Y\), the above characterization of compactness holds in \((Q^{*}(X,Y), \tau_{UC})\), the space of quasicontinuous locally bounded functions, and also in \((A^{*}(X,Y, \tau_{UC}))\), the space of cliquish locally bounded functions. Whenever \(X\) is even hemicompact, in \((LB(X,Y), \tau_{UC})\), compactness, sequentially compactness, countable compactness, pseudocompactness are all equivalent to each other. Furthermore, whenever \(X\) is compact, then, among others, the following facts hold: If \(\{f_{n} : n \in \mathbb{N} \} \) is a sequence of uniformly bounded equicontinuous functions of Baire class \(\alpha\) from \(X\) to the reals, then there is a subsequence \(\{f_{n_{k}} : k \in \mathbb{N} \}\) uniformly convergent to a Baire class \(\alpha\) function from \(X\) to the reals. If \(\{f_{n} : n \in \mathbb{N} \} \) is a sequence of uniformly bounded finitely equicontinuous lower (upper) semicontinuous functions from \(X\) to the reals, then there is a subsequence \(\{f_{n_{k}} : k \in \mathbb{N} \}\) uniformly convergent to a lower (upper) semicontinuous function from \(X\) to the reals.