Stone SpacesOver the last 45 years, Boolean theorem has been generalized and extended in several different directions and its applications have reached into almost every area of modern mathematics; but since it lies on the frontiers of algebra, geometry, general topology and functional analysis, the corpus of mathematics which has arisen in this way is seldom seen as a whole. In order to give a unified treatment of this rather diverse body of material, Dr Johnstone begins by developing the theory of locales (a lattice-theoretic approach to 'general topology without points' which has achieved some notable results in the past ten years but which has not previously been treated in book form). This development culminates in the proof of Stone's Representation Theorem. |
Other editions - View all
Common terms and phrases
a₁ adjunction algebraic category arbitrary axiom of choice b₁ bijection C-ideal clearly clopen closed coherent commutative compact Hausdorff space compact regular locale compactification complete lattice completely distributive completely regular condition consider construction contains continuous lattice continuous map continuous poset Corollary deduce define denote directed joins disjoint distributive lattice duality elements embedding equivalent Exercise exists filtered colimits forgetful functor frame homomorphism functions Gelfand global sections Hausdorff space hence Heyting algebra idempotent implies inclusion Ind-C interval topology Isbell isomorphic KHausSp KL(A left adjoint Lemma Let Let f locally compact Mac Lane map f Math maximal ideal meet-semilattice monad morphism object open neighbourhood open sets order-preserving partial order points presheaf prime filter prime ideal principal ideal Proposition Let realcompact satisfies Scott topology Scott-open semilattice sheaf sober space spec specz ẞX Stone space sublocale subset subspace suppose surjective theory ultrafilter unique Vietoris Zariski
References to this book
Real Algebraic Geometry, Volume 36 Jacek Bochnak,Michel Coste,Marie-Francoise Roy No preview available - 1998 |