Rigged Hilbert spaces and inductive limits
We construct a nuclear space $Φ$ as an inductive limit of finite-dimensional subspaces of a Hilbert space $H$ in such a way that $(Φ,H,Φ')$ becomes a rigged Hilbert space, thus simplifying the construction by Bellomonte and Trapani.