I have been reading about Rigged Hilbert Spaces (AKA Gel'Fand Triple). This is characterized by the relationship $\Phi \subset H \subset \Phi'$, where $\Phi$ is Schwartz space, $H$ is Hilbert Space, or $L^2$, and $\Phi'$ is the conjugate to the Schwartz space. $\Phi$ is the space of wave functions (or state vectors) of Quantum Mechanics. $\Phi'$ is the space of the functionals on $\Phi$ and contains the Dirac delta function $\delta (x)$ and plane wave function $e^{ipx}$, which are the eigenfunctions of the position and momentum operators of Quantum Mechanics. Of note, $\Phi'$ does not satisfy the first axiom of countability.
So, it would seem that the concept of Nets (https://en.wikipedia.org/wiki/Net_(mathematics), or something more general than sequences, would be applicable to analyzing $\Phi'$, but I have never seen that in the literature.
Does anyone have any pointers to nets, or something more general than sequences, being used for defining convergence in $\Phi'$, in Rigged Hilbert Space?
Thanks