First, some quick notation: for any series $\sum\_{n=1}^\infty a\_n$ whose terms are positive real numbers, and for any subset $M = \{m\_1, m\_2,...\} \subseteq \mathbb{N}$, we write $\sum\_M a\_n$ to mean $a\_{m\_1} + a\_{m\_2} + ....$.


Then, for each series, one can associate a topology on $\mathbb{N}$ by declaring a proper subset $M\subsetneq \mathbb{N}$ to be closed iff $\sum\_M a\_n < \infty$. 
 So, e.g., in the $\sum \frac{1}{n}$-topology, the set of even numbers is neither open nor closed (both $\sum \frac{1}{2n+1}$ and $\sum \frac{1}{2n}$ diverge), but the set of squares is closed ($\sum \frac{1}{n^2}$ converges).


There is, of course, an interplay between the topological properties $\mathbb{N}$ inherits and the analytic properties of $\sum a\_n$. For instance, $\mathbb{N}$ gets the cofinite topology iff $\liminf a\_n > 0$.


Much less trivially, [one can show](https://math.stackexchange.com/questions/2429389/is-there-a-bijection-of-the-natural-numbers-which-swaps-frac1n-summable-s) that this association generates precisely $|\mathbb{R}|$ many topologies on $\mathbb{N}$ (distinct up to homeomorphism). In fact, for $0\leq p < q \leq 1$, the spaces obtained from $\sum \frac{1}{x^p}$ and $\sum \frac{1}{x^q}$ are not homeomorphic.


I am not a general topologist by training so my question is probably very simple. 
 Has anything like this appeared in the literature before? MathSciNet doesn't seem to turn up anything, but maybe there is some terminology I need to know. Maybe these form a subclass in some well studied class of topological spaces?


In case it helps, here are some curious data points about these topological spaces.


1. They are homogeneous. More generally, the homeomorphism group acts transitively on the set of $k$-element subsets for any fixed $k$.
2. Every subset is closed or dense. (This is equivalent to the topology being downward-closed: every subset of a proper closed set is closed.)
3. If $\lim\_{n\rightarrow \infty} a\_n = 0$ but $\sum a\_n$ diverges, then any non-empty open set is homeomorphic to $\mathbb{N}$.



Reference request: A collection of topologies on $\mathbb{N}$ formed via series
What you've described as a topology, is actually a family of analytic P-ideals on $P(\mathbb{N})$ called the "summable ideals." They are studied for different reasons, and the general search terms to use are "summable ideal" or more generally "analytic P-ideal".


