Domain theoretical differential calculi (Q1731344)

The author uses convergence spaces in order to investigate properties of differentials. Normally, the topology of a space defines which filters converge to which points; in a convergence space, this relation is the base relation and not the topology, however, there is some connection between the two required. A filter on a space \(X\) is a collection of sets which is closed under taking supersets and under intersection of finitely many sets and which contains the set \(X\) and which does not contain the empty set. The principal filter of a set \(A \subseteq X\) is the set of all its supersets (including the set \(A\) itself). Now the author writes that the convergence space has to satisfy some condition which implies (a) that the principal filter of a point \(p\) converges to \(p\) and (b) that the collection of all filters converging to a point \(p\) must be interpretable as a filter on the space \(\Phi(X)\) of all filters. Furthermore, one can define a neighbourhood filter of a point \(p\) by taking the intersection \(W\) of all filters converging to \(p\) and a space is called pretopological if for every point \(p\) the neighbourhood filter converges to \(p\). Neighbourhood filters do then allow to define a topology on a pretopological convergence space: A set \(A\) is open iff it is contained in the neighbourhood filter of every \(p \in A\). Blair, Jakel, Irwin and Rivera [\textit{H. A. Blair} et al., Lect. Notes Comput. Sci. 4514, 41--53 (2007; Zbl 1133.54001)] developed a conservative extension of the differential calculus which can be used for all convergence spaces. The present author followed up on the work in his PhD thesis [Problems in the theory of convergence spaces. Syracuse University, PhD thesis (2014)] and also the present work is on this extension. After explaining this extension and providing results for it, the author turns to concrete concepts. The author is in particular interested in cases of the space \(\mathbb{R}\) where he compares the results of the extended calculus with the standard one on this space. For example Theorem 3.6 says that the new notion of a differential coincides with the classic notion on \(\mathbb{R}\) iff the standard topology is used. Furthermore, he goes more into details of this differential calculus in Chapter 4. He in particular investigates there two specific spaces: First the extended natural numbers \(\mathbb{N} \cup \{\infty\}\) then the domain of closed intervals (including one-point intervals) of the real numbers equipped with the Scott topology. For both he studies the theory of extended differentials.