I didn't find it in any book, although it seems that this should be standard: Endow the space $C^\infty\_c(\mathbb{R})$ of compactly supported functions with the inductive topology coming from the embeddings
$$ \mathcal{D}\_K \longrightarrow C^\infty\_c(\mathbb{R}).$$
(Here $\mathcal{D}\_K$ is the set of all smooth functions (on $\mathbb{R}$) with support contained in $K$, endowed with its usual Fréchet topology.)


This means that a set $U$ is open in $C^\infty\_c(\mathbb{R})$ iff $U \cap \mathcal{D}\_K$ is open in $\mathcal{D}\_K$ for all compact subsets $K$ of $\mathbb{R}$.


**Now show that this topology is not locally convex, i.e. find an open neighborhood of zero that is not the union of absolutely convex, absorbent sets.**




---


**Edit**


I believe that (contrary to the claim of Peter Michor below) the final topology w.r.t. the injections $\mathcal{D}\_K \longrightarrow \mathcal{D} := C^\infty\_c(\mathbb{R})$ is a vector space topology after all. (**Edit2:** The mistake in this argument was pointed out by Peter Michor in his edit below.)


Let
$$ \alpha : \mathcal{D} \times \mathcal{D} \longrightarrow \mathcal{D}, ~~~~~~~~~ \mu: \mathbb{R} \times \mathcal{D} \longrightarrow \mathcal{D}$$
denote addition and scalar multiplication. Let $U \subseteq \mathcal{D}$ be open, i.e. $U \cap \mathcal{D}\_K$ is open for all compact $K$. Then
$$\alpha^{-1}(U) \cap \mathcal{D}\_K \times \mathcal{D}\_K
= \alpha^{-1}((U \cap \mathcal{D}\_K) \cup (U \setminus \mathcal{D}\_K)) \cap \mathcal{D}\_K \times \mathcal{D}\_K
= (\alpha^{-1}(U \cap \mathcal{D}\_K) \cup \alpha^{-1}(U \setminus \mathcal{D}\_K) ) \cap \mathcal{D}\_K \times \mathcal{D}\_K
= (\alpha^{-1}(U \cap \mathcal{D}\_K) \cap \mathcal{D}\_K \times \mathcal{D}\_K) \cup \underbrace{(\alpha^{-1}(U \setminus \mathcal{D}\_K) \cap \mathcal{D}\_K \times \mathcal{D}\_K)}\_{=0} 
= (\alpha|\_{\mathcal{D}\_K})^{-1}(U \cap \mathcal{D}\_K)
$$
which is open in $\mathcal{D}\_K$ as addition is continuous on $\mathcal{D}\_K$. Similarly
$$
\mu^{-1}(U) \cap \mathbb{R} \times \mathcal{D}\_K
= \mu^{-1}((U \cap \mathcal{D}\_K) \cup (U \setminus \mathcal{D}\_K)) \cap \mathbb{R} \times \mathcal{D}\_K
= (\mu^{-1}(U \cap \mathcal{D}\_K) \cup \mu^{-1}(U \setminus \mathcal{D}\_K) ) \cap \mathbb{R} \times \mathcal{D}\_K
= (\mu^{-1}(U \cap \mathcal{D}\_K) \cap \mathbb{R} \times \mathcal{D}\_K) \cup \underbrace{(\mu^{-1}(U \setminus \mathcal{D}\_K) \cap \mathbb{R} \times \mathcal{D}\_K)}\_{=0} 
= (\mu|\_{\mathcal{D}\_K})^{-1}(U \cap \mathcal{D}\_K)
$$
which is open in $\mathcal{D}\_K$ because scalar multipliation is continuous on $\mathcal{D}\_K$.


In both cases, the underbraced term is zero because $\mathcal{D}\_K$ is closed under addition and scalar amultiplication, respectively.



Test functions with "wrong" topology not locally convex?
The inductive topology you describe in the category of topological spaces is not locally convex -- it equals the final topology with respect to all smooth curves in $C^\infty\_c(\mathbb R)$; there are also many other descriptions. See
section 4 in


* [Andreas Kriegl, Peter W. Michor: The Convenient Setting of Global Analysis. Mathematical Surveys and Monographs, Volume: 53, American Mathematical Society, Providence, 1997.](http://www.mat.univie.ac.at/%7Emichor/apbookh-ams.pdf)


But the inductive topology in the category of locally convex vector spaces is of course locally convex; it the finest locally convex topology which is coarser than the first one.


Edit (enlarged later answering a comment of OP).
================================================


The remark after proposition 4.26 on page 46 of the source cited above says, that the the direct limit topology in the category of topological spaces, is NOT a vector space topology.
This topology equals the $c^\infty$-topology, the final topology with respect to all smooth curves, because: It is the final topology with respect to the inclusion of Frechet spaces. Frechet spaces carry the $c^\infty$-topology. Each smooth curve in $\mathcal D$ locally lifts to a step in the direct limit, since this is a strict direct limit.
The arguments given in that source start with lemma 4.20.


This answers your question. In fact, addition is not jointly continuous, but scalar multiplication is.


The proof amounts to the following fact: You find closed linear subspaces
in $E,F$ in $\mathcal D$, one of which is Frechet (like one $\mathcal D\_K$), and the other one is isomorphic to $\mathbb R^{(\mathbb N)}$ (the direct sum of countably many copies of the real line), and a bilinear bounded mapping $E\times F\to \mathbb R$ which is not jointly continuous, like the the evaluation $\mathbb R^{\mathbb N}\times \mathbb R^{(\mathbb N)}\to \mathbb R$.


Now, I hope the following clarifies your thinking: The final topology (NOT locally convex topology) with respect to all embeddings $\mathcal D\_K\times \mathcal D\_K$ into $\mathcal D\times \mathcal D$ is strictly finer than the product topology of the final topologies on each copies of $\mathcal D$. This follows from a careful reading of the references above.
The proof in your edit seems to show that addition is continuous for the final topology of these inclusions on $\mathcal D\times \mathcal D$ which is finer that the product topology.


By the way: Terry Tao's reference exactly answered your question.


