In mathematics, pointless topology (also called pointfree or pointfree topology) is an approach to topology that avoids mentioning points.
Contents
General concepts
Traditionally, a topological space consists of a set of points, together with a system of open sets. These open sets with the operations of intersection and union form a lattice with certain properties. Pointless topology then studies lattices like these abstractly, without reference to any underlying set of points. Since some of the sodefined lattices do not arise from topological spaces, one may see the category of pointless topological spaces, also called locales, as an extension of the category of ordinary topological spaces.
Categories of frames and locales
Formally, a frame is defined to be a lattice L in which finite meets distribute over arbitrary joins, i.e. every (even infinite) subset {a_{i}} of L has a supremum ⋁a_{i} such that
for all b in L. These frames, together with lattice homomorphisms that respect arbitrary suprema, form a category. The dual of the category of frames is called the category of locales and generalizes the category Top of all topological spaces with continuous functions. The consideration of the dual category is motivated by the fact that every continuous map between topological spaces X and Y induces a map between the lattices of open sets in the opposite direction as for every continuous function f: X → Y and every open set O in Y the inverse image f^{ 1}(O) is an open set in X.
Relation to pointset topology
It is possible to translate most concepts of pointset topology into the context of locales, and prove analogous theorems. While many important theorems in pointset topology require the axiom of choice, this is not true for some of their analogues in locale theory. This can be useful if one works in a topos that does not have the axiom of choice.
The concept of "product of locales" diverges slightly from the concept of "product of topological spaces", and this divergence has been called a disadvantage of the locale approach. Others^{[who?]} claim that the locale product is more natural, and point to several "desirable" properties^{[which?]} not shared by products of topological spaces.
Full article ▸
