Convergence to convex compact sets in infinite dimensions. (Q1406979)

The authors prove a criterion for the convergence of a sequence of subsets of a real topological vector space to a compact convex set. The question is reduced via a family of separating functionals to testing convergence in finite dimensional spaces. Applications are given to limits of occupational measures for certain control systems and to limit laws for random sets.