You are here
Home ›Scott topology
Primary tabs
Scott topology
Let be a dcpo. A subset of is said to be Scott open if it satisfies the following two conditions:
1. an upper set: , and
2. if is a directed set with , then there is a such that .
Condition 2 is equivalent to saying that has non-empty intersection with whenever is directed and its supremum is in .
For example, for any , the set is Scott open: if , then there is with . Since , . So , or that is upper. If is directed and for all , then as well. Therefore, implies for some . Hence is Scott open.
The collection of all Scott open sets of is a topology, called the Scott topology of , named after its inventor Dana Scott. Let us prove that is indeed a topology:
Proof.
We verify each of the axioms of an open set:
-
Clearly itself is Scott open, and is vacuously Scott open.
-
Suppose and are Scott open. Let and . Then for some , . Since , and . This means , so is an upper set. Next, if is directed with , then, . So there are with and . Since is directed, there is such that . So . This means that is Scott open.
Since the Scott open sets satisfy the axioms of a topology, is a topology on . ∎
Examples. If is the unit interval: , then is a complete chain, hence a dcpo. Any Scott open set has the form if , or . If , the unit square, then is a dcpo as it is already a continuous lattice. The Scott open sets of are any upper subset of that is also an open set in the usual sense.
References
- 1 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).
Mathematics Subject Classification
06B35 Continuous lattices and posets, applications- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new correction: typo? by Filipe
May 22
new question: Linear Algebra Combination Problem! by Aleph Zero
new question: Computation of $\varphi(2000)$ by unlord
May 21
new question: pure subgroups by lvoyster
new correction: Typo in M\"obius function? by Aleph Zero
new collection: analytic number theory by Aleph Zero
May 20
new question: Taylor's Series Query! by unlord
new question: Laplace transform by J
new question: Residue Calculus by J
May 19
new Education: Project: PlanetMath Outlines Series by unlord


