Per the OP's request from this comment I am posting some stuff about references I am aware of. Those references are mentioned in my (unfinished) notes on this topic and also in this answer and this conversation in chat. The purpose of reposting them here is that the linked resources have somewhat different scope and focus. Another reason is that if I list there references here, they will become better organized.
I repeat here some stuff mentioned already in Brian M. Scott's answer. But maybe it is not that bad to have one brief and concise answer and also a longer post which digresses a bit to some related stuff.
Since I mention results from various sources, terminology is a bit mixed in this post. But I always use the name filternet in the way you defined it. (This helps to unify terminology a bit; I mention some other places where this notion or some special case is defined, but several different names are used for the same concept in the literature.) If I mention other concepts, I hope it will be clear from the context which type of convergence of filters I mean.
General approach
As already mentioned in Brian M. Scott's answer, Bourbakists used the notion of filternet (in your terminology) in some of their works as a basic notion, which was defined first. (To be more precise, they use filter base more often than filter, but this difference is a very minor one.)
They also define other notions related to convergence (such as cluster point or limit superior) in this generality and various types of limits were defined as special cases.
You could probably find this in several of their books. I am aware of this approach being used in:
- N. Bourbaki. Elements of Mathematics. General Topology. Chapters I-IV. Springer-Verlag, Berlin, 1989. See p.70 for the definition of limit of a filternet.
- Jacques Dixmier. General Topology. Springer-Verlag, New York, 1984. Undergraduate Texts in Mathematics.
In Dixmier's book this approach is very prominent. Already in Chapter II the notion of limit along a filter base is defined. (This is precisely your filternet.) Where possible, other notions are defined in a similar manner and results about them are shown in this generality.
Cluster points (which the author calls adherence values) are defined in the same chapter. Limit superior and limit inferior is defined in Chapter VII (for $X=\mathbb R$). So if you are looking for a book which really uses the notion of filternet to build all theory related to convergence, this is the book I would certainly recommend.1
Other references which mention this type of convergence are:
- D. H. Fremlin. Measure theory, Volume 2: Broad Foundations. Torres Fremlin, Essex, 2001. In this book there is one paragraph 2A3S in the appendix, where this notion is defined. Some basic results about filternet are shown here. The corresponding notion of limit superior is defined here, too.
There are also some textbooks in mathematical analysis, which introduce the filternet:
- Vladimir A. Zorich. Mathematical Analysis I, Springer, 2004, Undergraduate Text in Mathematics. In this book only the case $X=\mathbb R$ is discussed; see Definition 3.2.12. Again, the idea is to use this as a unifying notion for several other special cases.
- The book M. Gera, V. Ďurikovič: Matematická analýza (Mathematical Analysis, in Slovak) also introduces this notion in the case $I\subseteq\mathbb R$ and $X$ Hausdorff.
Both these books use the notion of filterbase (similarly as Bourbaki). I am aware that the latter will probably not be useful for you (unless you speak Slovak). But I am posting these two references mainly as evidence that this approach in the introductory analysis textbooks is probably not that uncommon and it is likely that some other similar texts exist. (Although it is probably not easy to find them. I knew about one of them since it was the book from which I was taught my second course in analysis. And I found the other one using Google Books.) The reason that this approach appears in some texts is, in my opinion, influence of Bourbaki which lead to striving to greatest possible generality. But I have admit that some proofs might be more economical in this setting.
Gera and Ďurikovič do not have any book by Bourbaki among references. In Zorich I have seen some books by Bourbaki, Cartan and Dieudonné. Maybe it would be possible to check the reference given in these books to see from where the authors took this approach. But this would be rather time-consuming undertaking.
Reduction of the general approach to limit of a filter.
Let me also briefly mention the comparison of the two notions:
- Your definition of filternet.
- Convergence of filter $\mathcal F$ on a topological space $X$ defined as: The filter $\mathcal F$ converges to a points $x$ iff it contains all neighborhoods of the point $x$.
The latter is the notion which, as far as I can say, appears quite frequently in texts on general topology. And it is rather clear that it is a special case of the former (as was explained already in your question.)
But it might be perhaps useful to notice that also the notion of filternet can be obtained relatively easily using the notion of limit of a filter. Namely if we have filternet $(\mathcal F,f\colon I\to X)$, then this filternet converges to the point $x$ if and only the filter generated by $\{f[F]; F\in\mathcal F\}$ converges to $x$.
- This is also discussed in comments to this question.
- This is shown in my notes in the section named "$\mathcal F$-limits and convergence of filters". It is also mentioned in the answer which I have linked to several times.
- This is the way the filternet is defined in Fremlin's book.
The books mentioned above are the only references I am aware of which work in the same generality as suggested in your post. Let me allow to digress a bit from the question to mention two special cases, which are relatively important (and for which there is much more literature).
Ultrafilters and Stone-Čech compactification
In the case that $\mathcal F$ is an ultrafilter on $i$ and $X$ is a compact Hausdorff space, then the convergence of a filternet $\mathcal f: I\to X$ can be also interpreted in this way: If we endow $I$ with the discrete topology, then we can use the Stone-Čech compactification $\beta I$ on this space. The points of $\beta I$ correspond to ultrafilters on $I$. And the limit of an filternet $(\mathcal F, f\colon I\to X)$ is precisely the value of the unique extension of $f$ to $\overline f \colon \beta I \to X$ evaluated at $\mathcal F$. This is explained in more detail in my other answer.
If we know about this connection, it should not be too surprising that the notion of filternet also appears in some texts studying the Stone-Čech compactification. I will mention the two books where I have encountered this:
- N. Hindman, D. Strauss: Algebra in the Stone-Čech compactification; first edition (1998), second edition (2012).
- Stevo Todorčević. Topics in Topology. Springer-Verlag, Berlin{Heidelberg, 1997. Lecture Notes in Mathematics 1652.
In Todorčević's book the notion of filternet is defined in the same way as in your post. (Definition 2 in Section 14.) However, both this notion and the Stone-Čech compactification are used only in one chapter of this book. Although this book only works with $I=\mathbb N$, it is mentioned several times in this chapter that everything works the same for arbitrary set.
The book of Hindman and Strauss is devoted solely to the Stone-Čech compactification. Therefore it devotes a bit more space to filternet than Todorcevic's book. Again, the definition given in this book is exactly the same as yours - see Definition 3.44.
Sequences
If we take $I=\mathbb N$, then we are dealing with sequences. For this case you can find more references.
The case when $\mathcal F$ is ultrafilter and the sequence is bounded is often mentioned in set-theoretical texts. This Google Books search returns Hrbacek-Jech and Komjáth-Totik, to mention just two examples.
The first book where I have seen this notion we Balcar-Štěpánek: Teorie Množin (Set Theory, In Czech). I guess that there are some other texts from this area which mention this special case, i.e. limits of bounded sequences along ultrafilters.
Names for this notion
Let me also list here various name which are used for filternet in literature. (To some extent as a curiosity, but perhaps this might be useful when searching for other resources on the topic. Or maybe it might show that searching for something like this on internet might be rather difficult, because every author uses different terminology.)
- Bourbaki calls it limit of $f$ with respect to a filter.
- Dixmier uses the name limit along a filter base.
- Zorich chose limit of a function over a base.
- Hindman and Strauss use the name $p$-limit. Similarly Komjáth and Totik use $D$-limit, Hrbacek and Jech $U$-limit. Of course, in each of these there case $p$, $D$ and $U$ denotes an ultrafilter
- Todorčević does not use any name for this notion, he only introduces the notation $\lim\limits_{n\to\mathcal U} x_n$. Fremlin does not have a name for this notion either and he uses the notation $\lim\limits_{x\to\mathcal F} \phi(x)$.
1 Dixmier does not define the notion of
Cauchy function with respect to filter base. A possible approach to Cauchyness is briefly explained in my notes. This is the only notion which appears in these notes for which I do not have a reference in a textbook. A special case of Cauchy condition for $I=X=\mathbb R$ is mentioned in the book by Gera and Ďurikovič.
Best Answer
The primary reason we call filters "filters" is the following aspect of the definition:
If $A \in \mathcal{F}$ and $A \subset B$ then $B \in \mathcal{F}$
That is to say, a filter is not just an ordinary subset of $P(X)$ (the power set of $X$). Roughly speaking, it catches subsets of a particular size. Thus, if $A$ is caught in the filter, and $B$ is larger than $A$, $B$ is also caught in the filter.