Let A be an operator ideal on LCSs. A continuous seminorm p of a LCS X is said to be Acontinuous if Qp Ainj (X, Xp), where Xp is the completion of the normed space Xp= X/p 1 (0) and Qp is the canonical map. p is said to be a Groth (A)seminorm if there is a continuous seminorm q of X such that p q and the canonical map Qpq: Xq Xp belongs to A (Xq, Xp). It is well-known that when A is the ideal of absolutely summing (resp. precompact, weakly compact) operators, a LCS X is a nuclear (resp. Schwartz, infraSchwartz) space if and only if every continuous seminorm p of X is Acontinuous if and only if every continuous seminorm p of X is a Groth (A)seminorm. In this paper, we extend this equivalence to arbitrary operator ideals A and discuss several aspects of these constructions which are initiated by A. Grothendieck and D. Randkte, respectively. A bornological version of the theory is obtained, too.

Let <i>X</i> be a locally compact Hausdorff space and <i>C</i> ₀(<i>X</i>) the Banach space of continuous functions on <i>X</i> vanishing at infinity. In this paper, we shall study unbounded disjointness preserving linear functionals on <i>C</i> ₀(<i>X</i>). They arise from prime ideals of <i>C</i> ₀(<i>X</i>), and we translate it into the cozero set ideal setting. In particular, every unbounded disjointness preserving linear functional of <i>c</i> ₀ can be constructed explicitly through an ultrafilter on complementary to a cozero set ideal. This ultrafilter method can be extended to produce many, but in general not all, such functionals on <i>C</i> ₀(<i>X</i>) for arbitrary <i>X</i>. We also make some remarks where <i>C</i> ₀(<i>X</i>) is replaced by a non-commutative C*-algebra.

The notion of generating topologies, introduced by Stephani El0], is useful for studying the injective hull of an operator ideal. Using Randtke's idea (see [8, p. 90] or [12,(3.2. 1) and (3.2. 7)]), we can characterize generating topologies in terms of seminorms which satisfy some expected properties (see Lemma 3.3 and Theorems 3.4 and 3.9). By a well-known and useful idea of Grothendieck, the dual notions of generating topologies and ideal-topologies, the so-called generating bornologies, are given and studied in Sect. 4. In term of ideal-bornologies, the surjective hull of an operator ideal on Banach spaces is given (see Lemma 4.8 and Theorem 4.10). In terms of these two dual concepts, we are able to classify locally convex spaces, and to study their dual results. For instance, we show that if 9.1 is a symmetric (resp. completely symmetric) operator ideal on Banach spaces then a Banach space E is an 9~-topological