A mapping f from a set B into
a uniform space (Y,𝒱) is said to be precompact if and only if its range f(B) =
{f(b) : b ∈ B} is a precompact subset of Y . The precompact subsets of 𝒦(B,Y ), the
set of all precompact mappings from B into Y with its natural topology of uniform
convergence, are characterized by an AscoliArzelà theorem using the notion of
equal variation.
A linear operator T : X → Y , where X and Y are topological vector spaces, is
said to be semiprecompact if T(B) is precompact for every bounded subset B of X.
Let ℒ_{b}[X,Y ] denote the set of all continuous linear operators from X into Y
with the topology of uniform convergence on bounded subsets of X. Let
𝒦_{y}′[X,Y ] denote the subspace of ℒ_{b}[X,Y ] consisting of the semiprecompact
continuous linear operators with the induced topology. The precompact subsets of
𝒦_{b}[X,Y ] are characterized. A generalized Schauder’s theorem for locally convex
Hausdorff spaces is obtained. A subset ℋ of Z[X,Y ] is said to be collectively
semiprecompact if ℋ(B) = {H(b) : H ∈ℋ,b ∈ B} is precompact for every
bounded subset B of X. Let X and Y be locally convex Hausdorff spaces
with Y infrabarrelled. In §5 the precompact sets of semiprecompact linear
operators in ℒ_{b}[X,Y ] are characterized in terms of the concept of collective
semiprecompactness of the sets and certain properties of the set of adjoint
operators.
