On strong convex compactness property of spaces of nonlinear operators

The strong convex compactness property is important for property persistence of operator semigroups under perturbations. It has been investigated in the linear setting. In this paper, we are concerned with the property in the nonlinear setting. We prove that the following spaces of (nonlinear) operators enjoy the strong convex compactness property: the space of compact operators, the space of completely continuous operators, the space of weakly compact operators, the space of conditionally weakly compact operators, the space of weakly completely continuous operators, the space of demicontinuous operators, the space of weakly continuous operators and the space of strongly continuous operators. Moreover, we prove the property persistence of operator semigroups under nonlinear perturbation.

Banach-Dieudonné Theorem Revisited

We prove that in the character group of an abelian topological group, the topology associated (in a standard way) to the continuous convergence structure is the finest of all those which induce the topology of simple convergence on the corresponding equicontinuous subsets. If the starting group is furthermore metrizable (or even almost metrizable), we obtain that such a topology coincides with the compact-open topology. This result constitutes a generalization of the theorem of Banach-Dieudonné, which is well known in the theory of locally convex spaces.We also characterize completeness, in the class of locally quasi-convex metrizable groups, by means of a property which we have called the quasi-convex compactness property, or briefly qcp (Section 3).

Locally convex topologies and the convex compactness property

1. Introduction. A locally convex space is said to have the convex compactness property (sometimes abbreviated to cc) if the absolutely convex closure of each compact set is compact. This important property is the subject of Krein's theorem (3) 24.5(4′). It is strictly weaker than bounded completeness and can sometimes be substituted for that assumption; for example, a useful result, related to the Banach–Mackey theorem, says that in a space with cc, all admissible topologies have the same bounded sets (5). As another example, it is well known that if X is bornological, X′ is strongly complete (see (1), theoreml); but if X has cc as well, we can strengthen this result to conclude, (2) 19C, that X′ is complete with its Mackey topology, indeed with the topology Ta (using the notation of section 3), where T is the original topology of X.