PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
sections
Encyclopædia
Papers
Books
Expositions

meta
Requests (191)
Orphanage
Unclass'd (1)
Unproven (496)
Corrections (5)
Classification

talkback
Polls
Forums
Feedback
Bug Reports

downloads
Snapshots
PM Book

information
News
Docs
Wiki
ChangeLog
TODO List
Legalese
About
Owner confidence rating: Very high Entry average rating: No information on entry rating
locale (Definition)

Topology, in its most abstract sense, is the study of a family of subsets, called open sets, of some given set $ X$, when subject to certain conditions based purely on set-theoretic operations. Namely, these conditions are that the intersection of two open sets is an open set, union of open sets is an open set, and that the empty set and $ X$ are themselves open sets. One can thus think of a topology as a certain kind of a lattice $ L(X)$ of subsets associated with the set $ X$, and the study of a general topological space can be distilled further, to the study of this particular lattice $ L(X)$. In this setting, the basic elements under scrutiny are no longer “points” in $ X$, but elements of $ L(X)$. This shift in focus is the starting point of the so-called “pointless topology”, where the study of topology takes on a lattice-theoretic flavor.

Specifically, the lattice $ L(X)$ is an example of what is known as a locale. Formally, a locale is a complete lattice $ L$ that is meet infinitely distributive:

$\displaystyle x\wedge (\bigvee Y)=\bigvee (x\wedge Y)$
for any $ Y\subseteq L$, where $ x\wedge Y:=\lbrace x\wedge y\mid y\in Y\rbrace$.

A “pointless” proof. To see that the lattice $ L(X)$ of open sets of a topological space $ X$ is a locale, we first observe that $ L(X)$ is a complete lattice, since arbitrary joins of open sets are open by definition, which is enough to ensure that arbitrary meets exist too (although they are not arbitrary intersections, they are interiors of the intersections). This means that $ \bigvee Y$ and $ \bigvee (x\bigwedge Y)$ are both open sets, and hence the expressions in the equality are at least meaningful at this point. Further, $ \bigvee (x\wedge Y)=\bigcup (x\cap Y)\subseteq x\cap (\bigcup Y)=x\wedge (\bigvee Y)$, because $ x\cap y\subseteq x\cap (\bigcup Y)$ for individual $ y\in Y$. So we are left with showing that $ x\wedge (\bigvee Y)\subseteq \bigvee (x\wedge Y)$. Again, this is true at an individual level:

$\displaystyle x\cap y\subseteq \bigcup (x\cap Y).$     (1)

Let's write $ z=\bigcup (x\cap Y)$. Then the expression above becomes $ y\cap x\subseteq z$, where $ x,y,z$ are all open sets. Put it another way,
$\displaystyle y$ $\displaystyle =$ $\displaystyle (y\cap x)\cup (y-x)$ (2)
  $\displaystyle \subseteq$ $\displaystyle z\cup (y-x)$ (3)
  $\displaystyle =$ $\displaystyle z\cup (y\cap x^c)$ (4)
  $\displaystyle =$ $\displaystyle (z\cup y)\cap (z\cup x^c)$ (5)
  $\displaystyle \subseteq$ $\displaystyle (z\cup y)\cap (z\cup x^c)^{\circ},$ (6)

where $ -$ denotes the set difference operator, $ ^c$ is the set complementation, and $ ^\circ$ the interior operator. (6) comes from the fact that $ y$ is open. Now, take the union of all $ y\in Y$, and write this union $ t:=\bigcup Y=\bigcup \lbrace y\mid y\in Y\rbrace$. Then
$\displaystyle t$ $\displaystyle \subseteq$ $\displaystyle (z\cup t)\cap (z\cup x^c)^{\circ}$ (7)
  $\displaystyle \subseteq$ $\displaystyle (z\cup t)\cap (z\cup x^c)$ (8)
  $\displaystyle =$ $\displaystyle z\cup (t\cap x^c).$ (9)

Taking the intersection with $ x$ on both sides, we have
$\displaystyle t\cap x$ $\displaystyle \subseteq$ $\displaystyle (z\cup (t\cap x^c))\cap x$ (10)
  $\displaystyle =$ $\displaystyle (z\cap x)\cup ((t-x)\cap x)$ (11)
  $\displaystyle =$ $\displaystyle (z\cap x)\cup \varnothing$ (12)
  $\displaystyle =$ $\displaystyle z\cap x$ (13)
  $\displaystyle \subseteq$ $\displaystyle z.$ (14)

Substituting $ t$ and $ z$ back to their original form, we have $ x\cap (\bigcup Y)\subseteq \bigcup (x\cap Y)$, which is what we wanted to prove.

Notice that in the proof above, no points of $ X$ are employed, and everything is done via basic set operations, as well as extra set operations, such as the interior operator.

Remarks.

  • Another thing worthy of note is the following fact:
    A lattice is a locale iff it is a complete Brouwerian lattice (equivalently a complete Heyting algebra).
    A sketch of proof goes as follows: if $ L$ is a locale, then for any $ a,b\in L$, the element $ \bigvee \lbrace c\mid a\wedge c\le b\rbrace$ is the relative pseudocomplement of $ a$ in $ b$. Conversely, if $ L$ is a Heyting algebra, then we can use the trick that for every $ y\in Y$, $ y\le x\to \bigvee (x\wedge Y)$, to show $ x\wedge (\bigvee Y)\le \bigvee (x\wedge Y)$.
  • Other examples of locales found in topology is the lattice of regular open sets in a topological space $ X$.
  • Complete Boolean algebras also provide examples of locales. But a locale need not be complete Boolean. The interval topology on the real line is such an example.
  • A locale homomorphism $ \phi$ is a lattice homomorphism between two locales such that arbitrary sups are preserved: $ \phi(\bigvee_{i\in I} \lbrace a_i\rbrace) = \bigvee_{i\in I} \lbrace \phi(a_i)\rbrace$.
  • A locale is also called a frame, and a frame homomorphism a locale homomorphism. However, P. T. Johnstone distinguishes the two names when they are considered as categories. The category Fra of frames consists of locales (or frames) as objects, and locale homomorphisms as morphisms. On the other hand, the category Loc of locales is defined as the opposite category of Fra.
  • In [5], a frame and a locale are two distinct objects. A frame is defined as above. But a locale $ L$ is a triple $ (F,P,\models)$, where $ F$ is a frame, $ P$ is the set of frame homomorphisms from $ F$ to $ \lbrace 0,1\rbrace$, the trivial frame (= the trivial Boolean algebra), and $ \models$ is a subset (relation) of $ P\times F$ given by $ f \models a$ iff $ f(a)=1$. For each $ a\in F$, let $ U(a)=\lbrace f\in P\mid f\models a\rbrace$. It is not hard to see that the collection of all sets of the form $ U(a)$ forms a topology on $ P$. As a result, every frame can be viewed as a topology on some set!

Bibliography

1
F. Borceux, Handbook of Categorical Algebra 3: Categories of Sheaves, Cambridge University Press (1994).
2
G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove, D. S. Scott, Continuous Lattices and Domains, Cambridge University Press, Cambridge (2003).
4
P. T. Johnstone, The Art of Pointless Thinking: A Student's Guide to the Category of Locales, Category Theory at Work (Bremen, 1990), pp 85-107, Res. Exp. Math., 18, Heldermann, Berlin (1991).
4
P. T. Johnstone, Stone Spaces, Cambridge University Press, Cambridge (1982).
5
S. Vickers, Topology via Logic, Cambridge University Press, Cambridge (1989).



"locale" is owned by CWoo.
(view preamble)

View style:

Other names:  frame, frame homomorphism
Also defines:  locale homomorphism
Keywords:  pointless topology
Log in to rate this entry.
(view current ratings)

Cross-references: collection, relation, Boolean algebra, opposite category, morphisms, objects, categories, lattice homomorphism, line, real, interval topology, Boolean, complete Boolean algebras, regular open sets, relative pseudocomplement, Heyting algebra, Brouwerian lattice, complete, iff, basic set, proof, sides, interior operator, operator, set difference, level, equality, expressions, interiors, arbitrary meets, open, arbitrary joins, meet infinitely distributive, complete lattice, point, focus, lattice, empty set, union, intersection, operations, open sets, subsets, topology
There are 4 references to this entry.

This is version 9 of locale, born on 2007-01-27, modified 2007-06-11.
Object id is 8838, canonical name is Locale.
Accessed 3484 times total.

Classification:
AMS MSC: 06D22 (Order, lattices, ordered algebraic structures :: Distributive lattices :: Frames, locales)
Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)