# zbMATH — the first resource for mathematics

##### Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

##### Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
##### Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
Approach spaces: the missing link in the topology-uniformity-metric triad. (English) Zbl 0891.54001
Oxford Mathematical Monographs. Oxford: Clarendon Press. x, 253 p. £60.00 (1997).
The category AP of approach spaces (defined by the author about 10 years ago) contains nicely embedded categories of topological spaces, uniform spaces, and metric spaces with contractions. Mainly the last mentioned embedding makes the category AP different from other categories comprising Top, Unif, etc. An approach space is a pair $\left(X,\delta \right)$, where $\delta$ is a real-valued function on $X×expX$ measuring a “distance” from points to subsets and satisfying certain natural axioms (several other equivalent descriptions of approach spaces are given). Morphisms $f:\left(X,\delta \right)\to \left({X}^{\text{'}},{\delta }^{\text{'}}\right)$ are maps $f:X\to {X}^{\text{'}}$ having the property ${\delta }^{\text{'}}\left(f\left(x\right),f\left(A\right)\right)\le \delta \left(X,A\right)$ for all $x\in X,A\subset X$, i.e., contractions. The category AP is a topological one. The three chapters 2, 3 and 4 contain properties of the embeddings of Top, Unif and Metr – e.g., Top is both bireflective and bicoreflective in AP. In the next Chapter, certain natural approach structures are described on function spaces, spaces of measures, hyperspaces, and others. Chapter 6 shows how approach structures allow to refine some known properties to get, e.g., measure of compactness, measure of connectedness (giving the usual connectedness in Top and the Cantor connectedness in Metr). Completions and compactifications of approach spaces are studied in the last two chapters; the $\beta$-compactification corresponds to the Samuel-Smirnov compactification. For convenience of readers, two short surveys are added of theory of categories and of some concrete structures (like metric spaces and their generalizations, convergence spaces, uniform spaces, proximity spaces).
Reviewer: M.Hušek (Praha)

##### MSC:
 54-02 Research monographs (general topology) 54B30 Categorical methods in general topology 54A05 Topological spaces and generalizations 54E15 Uniform structures and generalizations 54E35 Metric spaces, metrizability