Scott continuity: Difference between revisions
Hairy Dude (talk | contribs) use "directed supremum" symbol (square union), square brackets for applying functions to subsets of their domain Tags: Mobile edit Mobile web edit |
m →Examples: Copyedit (minor) |
||
| Line 19: | Line 19: | ||
The open sets in a given topological space when ordered by [[inclusion (set theory)|inclusion]] form a [[lattice (order)|lattice]] on which the Scott topology can be defined. A subset ''X'' of a topological space ''T'' is [[compact space|compact]] with respect to the topology on ''T'' (in the sense that every [[open cover]] of ''X'' contains a [[finite subcover]] of ''X'') if and only if the set of [[open neighbourhood]]s of ''X'' is open with respect to the Scott topology.<ref name="BauerTaylor2009">{{cite journal |author=Bauer, Andrej and Taylor, Paul |year=2009 |title=The Dedekind Reals in Abstract Stone Duality |journal=Mathematical Structures in Computer Science |volume=19 |pages=757–838 |publisher=[[Cambridge University Press]] |doi=10.1017/S0960129509007695 |url=http://PaulTaylor.EU/ASD/dedras/ |accessdate=October 8, 2010 }}</ref> |
The open sets in a given topological space when ordered by [[inclusion (set theory)|inclusion]] form a [[lattice (order)|lattice]] on which the Scott topology can be defined. A subset ''X'' of a topological space ''T'' is [[compact space|compact]] with respect to the topology on ''T'' (in the sense that every [[open cover]] of ''X'' contains a [[finite subcover]] of ''X'') if and only if the set of [[open neighbourhood]]s of ''X'' is open with respect to the Scott topology.<ref name="BauerTaylor2009">{{cite journal |author=Bauer, Andrej and Taylor, Paul |year=2009 |title=The Dedekind Reals in Abstract Stone Duality |journal=Mathematical Structures in Computer Science |volume=19 |pages=757–838 |publisher=[[Cambridge University Press]] |doi=10.1017/S0960129509007695 |url=http://PaulTaylor.EU/ASD/dedras/ |accessdate=October 8, 2010 }}</ref> |
||
For '''CPO''', the [[cartesian closed category]] of |
For '''CPO''', the [[cartesian closed category]] of dcpo's, two particularly notable examples of Scott-continuous functions are [[currying|curry]] and [[apply]].<ref>{{cite book |last1=Barendregt |first1=H.P. |authorlink1=Henk Barendregt |title=The Lambda Calculus |year=1984 |publisher=North-Holland |isbn=0-444-87508-5}} ''(See theorems 1.2.13, 1.2.14)''</ref> |
||
==See also== |
==See also== |
||
Revision as of 21:43, 18 August 2015
In mathematics, given two partially ordered sets P and Q, a function between them is Scott-continuous (named after the mathematician Dana Scott) if it preserves all directed suprema, i.e. if for every directed subset D of P with supremum in P its image has a supremum in Q, and that supremum is the image of the supremum of D: .[1]
![{\displaystyle \sqcup f[D]=f(\sqcup D)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c715897d8687fbb6c42ee7c69cce594ebed8447)
A subset O of a partially ordered set P is called Scott-open if it is an upper set and if it is inaccessible by directed joins, i.e. if all directed sets D with supremum in O have non-empty intersection with O. The Scott-open subsets of a partially ordered set P form a topology on P, the Scott topology. A function between partially ordered sets is Scott-continuous if and only if it is continuous with respect to the Scott topology.[1]
The Scott topology was first defined by Dana Scott for complete lattices and later defined for arbitrary partially ordered sets.[2]
Scott-continuous functions show up in the study of models for lambda calculi[2] and the denotational semantics of computer programs.
Properties
A Scott-continuous function is always monotonic.
A subset of a partially ordered set is closed with respect to the Scott topology induced by the partial order if and only if it is a lower set and closed under suprema of directed subsets.[3]
A directed complete partial order (dcpo) with the Scott topology is always a Kolmogorov space (i.e., it satisfies the T0 separation axiom).[3] However, a dcpo with the Scott topology is a Hausdorff space if and only if the order is trivial.[3] The Scott-open sets form a complete lattice when ordered by inclusion.[4]
For any topological space satisfying the T0 separation axiom, the topology induces an order relation on that space, the specialization order: x ≤ y if and only if every open neighbourhood of x is also an open neighbourhood of y. The order relation of a dcpo D can be reconstructed from the Scott-open sets as the specialization order induced by the Scott topology. However, a dcpo equipped with the Scott topology need not be sober: The specialization order induced by the topology of a sober space makes that space into a dcpo, but the Scott topology derived from this order is finer than the original topology.[3]
Examples
The open sets in a given topological space when ordered by inclusion form a lattice on which the Scott topology can be defined. A subset X of a topological space T is compact with respect to the topology on T (in the sense that every open cover of X contains a finite subcover of X) if and only if the set of open neighbourhoods of X is open with respect to the Scott topology.[4]
For CPO, the cartesian closed category of dcpo's, two particularly notable examples of Scott-continuous functions are curry and apply.[5]
See also
Footnotes
- ^ a b Vickers, Steven (1989). Topology via Logic. Cambridge University Press. ISBN 0-521-36062-5.
- ^ a b Scott, Dana (1972). "Continuous lattices". In Lawvere, Bill (ed.). Toposes, Algebraic Geometry and Logic. Lecture Notes in Mathematics. Vol. 274. Springer-Verlag.
- ^ a b c d Abramsky, S.; Jung, A. (1994). "Domain theory". In Abramsky, S.; Gabbay, D.M.; Maibaum, T.S.E. (eds.). Handbook of Logic in Computer Science. Vol. Vol. III. Oxford University Press. ISBN 0-19-853762-X.
{{cite book}}:|volume=has extra text (help); External link in|chapterurl=|chapterurl=ignored (|chapter-url=suggested) (help) - ^ a b Bauer, Andrej and Taylor, Paul (2009). "The Dedekind Reals in Abstract Stone Duality". Mathematical Structures in Computer Science. 19. Cambridge University Press: 757–838. doi:10.1017/S0960129509007695. Retrieved October 8, 2010.
{{cite journal}}: CS1 maint: multiple names: authors list (link) - ^ Barendregt, H.P. (1984). The Lambda Calculus. North-Holland. ISBN 0-444-87508-5. (See theorems 1.2.13, 1.2.14)