LOCALLY PSEUDOCONVEX INDUCTIVE LIMIT 3 and E = limEα −→ is endowed with the final topology or the inductive limit topology τlimEα −→ defined by the canonical maps fα, i.e. τlimEα −→ = {U ⊂ E : fα −1(U) ∈ τα for every α ∈ I}. Then all canonical maps fα : Eα → E (α ∈ I) are continuous homomorphisms (see [15, p. 113]). We shall consider now inductive limits of locally pseudoconvex algebras Eα. Since the inductive limit topology on E is not necessarily locally pseudoconvex, the final locally pseudoconvex topology τ is defined on E by giving the base of neighborhoods at x ∈ E on the form Lx = {x + U : U is absolutely pseudoconvex in E and fα −1(U) ∈ Nτα } where Nτα denotes the set of all neighborhoods of zero in Eα. Hence, (E, τ) is a locally pseudoconvex algebra, because Lθ (here θ denotes the zero element in E) is a base of absolutely pseudoconvex neighborhoods of zero in E. Herewith, the topology τ is the finest locally pseudoconvex topology on E such that fα is continuous for every α ∈ I. Later on we shall say in this case that τ is the locally pseudoconvex inductive limit topology on the inductive limit of locally pseudoconvex algebras. In case, when E = limEα, −→ where every Eα is a subset of E, E = α∈I Eα and for every α, β ∈ I there exists γ ∈ I such that Eα ⊆ Eγ and Eβ ⊆ Eγ, then the notation −→ Eα instead of limEα −→ is used. Next we recall several classes of topological algebras introduced in [4]. A topo- logical algebra (E, τ) is a generalized LF-algebra (in short, LFg-algebra), if E is an inductive limit of F -algebras1 (Eα,τα) such that (2) E = −→ Eα (as sets), the topology τ on E coincides with the inductive limit topology, defined by canonical maps, and the topology, induced on every Eα by τ, coincides with the original topology τα on Eα. Moreover, (E, τ) is an LF-algebra, if E is an inductive limit of an increasing sequence of F -algebras (En,τn) such that holds (3) E = −→ En (as sets), the topology τ coincides with the inductive limit topology on E, defined by canonical maps, and for each n ∈ N the topology induced on En by En+1 and by the topology τ are identical to the original topology τn on En. In particular case, when every Eα in (2) (En in (3)) is a locally pseudoconvex F -algebra and τ on E coincides with the locally pseudoconvex inductive limit topology, defined by canon- ical maps, then LFpg-algebra (LFp-algebra) instead of LFg-algebra (respectively LF-algebra) is used. Moreover, when all Eα (respectively, En) and E are locally k-convex algebras for some k ∈ (0, 1], then the term k-LFg-algebra (respectively, k-LF-algebra) are used. 1An F -algebra is a metrizable and complete algebra.

Purchased from American Mathematical Society for the exclusive use of nofirst nolast (email unknown) Copyright 2016 American Mathematical Society. Duplication prohibited. Please report unauthorized use to cust-serv@ams.org. Thank You! Your purchase supports the AMS' mission, programs, and services for the mathematical community.