# Do Hausdorff locally convex inductive limits always exist?

The following is from Schaefer, "Topological Vector Spaces", 1999, p. 56/57:

Let $(E_\alpha)_{\alpha \in A}$ be a family of locally convex spaces with $\alpha$ in a directed poset $A$ and $h_{\beta \alpha} : E_\alpha \to E_\beta$ continuous linear maps for $\alpha \leq \beta$. Set $F := \oplus_\alpha E_\alpha$ and let $g_\alpha : E_\alpha \to F$ be the canonical imbedding. Denote by $H$ the subspace of $F$ generated by the ranges of all the maps $g_\alpha - g_\beta h_{\beta \alpha} : E_\alpha \to F$ for $\alpha \leq \beta$.

If $H \subseteq F$ is closed then one can represent the inductive limit of the family $E_\alpha$ in the category of Hausdorff locally convex spaces by $F / H$ which is then a Hausdorff locally convex space.

Now Schaefer writes: "It appears to be unknown whether $H$ is necessarily closed in $F$."

It seems that this statement is equivalent to say that the inductive limit does not necessarily exist.

Does one know here whether this is still an open issue?

EDIT: Summarizing two answers: The inductive limit $F / H$ in the cat. of l.c.s. does exist and is not necessarily Hausdorff. Also, the inductive limit in the cat. of Hausdorff l.c.s. does also exist and is equal to $F / \overline{H}$. For closed $H$ they coincide.

Let $U_n$ be a decreasing sequence of non-empty, bounded, connected, open sets in $\mathbb C$ with empty intersection and set $X_n=H(U_n)$, the space of holomorphic functions on $U_n$ endowed with the topology of uniform convergence on compact subsets ($X_n$ is thus a nuclear Frechet space). Since the restriction $X_{n}\to X_{n+1}$ $f\mapsto f|_{U_{n+1}}$ is injective we may consider $X_n$ as a subspace of $X_{n+1}$ with continuous inclusion. Then $X_\infty=$ind $X_n$ has the trivial topology.
By the Hahn-Banach theorem we have to show that every continuous linear functional $\varphi$ on $X_\infty$ is zero. To see this we define, for each $z\in\mathbb C$, the function $g_z(\omega)= 1/({z-\omega})$ which belongs to $X_n=H(U_n)$ if $z\notin U_n$. Then $h(z)=\varphi(g_z)$ defines a function on $\mathbb C$ which is holomorphic (since $(g_{z_k} - g_z)/(z_k-z)$ converges in $X_n$ if $z_k\to z$ in $U_n^c$) with $h(z_k)\to 0$ for $|z_k|\to\infty$ (since $g_{z_k}\to 0$ even in $X_1$). By Liouville's theorem, $h$ vanishes identically. Moreover, by Runge's theorem, $\{g_z: z\notin U_n\}$ has dense linear span in $X_n$ which implies that $\varphi$ vanishes on $X_n$.
The limit always exists wether or not $H$ is closed: The inductive limit in the category of hausdorff lc vector space will be the quotient of $F$ by the closure of of $H$: a cone for the inductive limit is the same as a continuous map on $F$ which vanish on $H$, so if the target is hausdorff as well then it vanish on the closure.
The question of whether $H$ is closed or not is only relevant to know if the forgetful functor to the category of vector spaces or of general locally convexe vector space commute to this specific inductive limit.