By Jean Goubault-Larrecq
This designated booklet on sleek topology seems well past conventional treatises and explores areas that could, yet don't need to, be Hausdorff. this is often crucial for area idea, the cornerstone of semantics of laptop languages, the place the Scott topology is nearly by no means Hausdorff. For the 1st time in one quantity, this publication covers uncomplicated fabric on metric and topological areas, complex fabric on entire partial orders, Stone duality, solid compactness, quasi-metric areas and masses extra. An early bankruptcy on metric areas serves as a call for participation to the subject (continuity, limits, compactness, completeness) and kinds an entire introductory path on its own. Graduate scholars and researchers alike will take pleasure in exploring this treasure trove of effects. complete proofs are given, in addition to motivating rules, transparent causes, illuminating examples, software routines and a few tougher difficulties for extra complicated readers.