It's a duplicate of [this](https://math.stackexchange.com/questions/484892/closed-subspaces-of-locally-convex-inductive-limits) question, since I really want to get an explanation.


Let $\left(V\_{n},\phi\_{n,n+1}\right)\_{n\in\mathbb{N}}$ be an inductive sequence of LCTV spaces. A locally convex inductive limit of $\left(V\_{n},\phi\_{n,n+1}\right)\_{n\in\mathbb{N}}$ is it's algebraic inductive limit $V=\lim\_{\to}V\_{n}$, equipped with final locally convex topology w.r.t. $\phi\_{n}:V\_{n}\to V$.


$V$ can also be described as a quotient of the locally convex direct sum $\bigoplus V\_{n}$ by the subspace $D$ , generated by vectors $\left\{ \left(\dots,v\_{n},-\phi\_{n,n+1}\left(v\_{n}\right),\dots\right)|v\_{n}\in V\_{n}\right\} $. We denote by $\pi:\bigoplus V\_{n}\to V\simeq\bigoplus V\_{n}/D$ the quotient map. The universal property of V follows from the universal properties of $\bigoplus V\_{n}$ and of the quotient.


A map $f:V\to U$ in LCTV is continuous iff maps $f\circ\phi\_{n}$ are continuous. Taking $f=\mathrm{id}\_V$ one get that if subspace $F\subset V$ is closed then $F\_n=\phi\_{n}^{-1}\left(F\right)$ is closed. Clearly $F\cong\lim\_\to F\_n$ as linear space.


The question I am trying to understand is the following: if $F$ is a closed subspace, why it does not have to be the locally convex inductive limit of $F\_n$ (why topologies can be different)?


We clearly have $\pi^{-1}(F)=\bigoplus F\_n$, which is a closed subspace of $\bigoplus V\_n$. Doesn't this force the quotient topology on $\pi^{-1}(F)/\pi^{-1}(F)\cap D$ (which is the locally convex inductive limit topology) be the subspace topology of $F$?


Would it matter if $V\_n$ are Banach spaces?



closed subspaces of locally convex inductive limits
Here is my favorite example which is very natural and simple: Let $\mathscr E (\Omega)$ be the Frechet space of smooth functions on an open set in $\Omega\subseteq\mathbb R^d$ so that it dual $\mathscr E'(\Omega)$ is the space of compactly supported distributions. This is a nice inductive limit of Banach spaces. Hence $V= \mathscr E(\Omega)\times \mathscr E'(\Omega)$ is an inductive limit of Frechet spaces. Now, the "diagonal" $F$ is closed and algebraically isomorphic to the space of test functions $\mathscr D(\Omega)$ but the subspace topology of $V$ on $F$ is much coarser than the topology of $\mathscr D(\Omega)$: the dual of the former is the space of distributions with compact singular support whereas the dual of the latter is the space of all distributions.


