Let $(E_n,\iota_n)$ be an inductive system of LCSs; i.e.: each $\iota_n:E_n\rightarrow E_{n+1}$ is a continuous linear map. Suppose that the topology on each $E_n$ is generated by a (countable) family of semi-norms $\{p_{n,k}:E_n\rightarrow \mathbb{R}\}_{k\in \mathbb{N}}$. I know that the injective limit $\varinjlim_n E_n$ exists in the category of locally-convex spaces (with continuous linear maps as morphisms).
However, I cannot find a description of the semi-norms generating this topology. So my question is, what are the semi-norms generating the LCS-injective limit topology on $\varinjlim_n E_n$?
Best Answer
In the book "barrelled locally convex spaces" by Bonet and Perez Carreras, Proposition 8.4.4 gives another description of a family of seminorms describing the topology of $E_\infty$. With the notation of the above answer, it states that, for all sequences $b_n$ of positive scalars and $k_n$ of positive integers, we get a continuous seminorm $q$ on $E_\infty$ defined by $q(x)=\inf\sum_nb_np_{n,k_n}(x_n)$, where the infimun is taken over all possible representations of $x$ as a finite sum $x=\sum_nx_n$ with $x_n\in E_n$. All possible seminorms $q$ of this type describe the topology of $E_\infty$.