Definition of continuity for functions between posets
In mathematics, given two partially ordered sets P and Q, a function f: P → Q between them is Scott-continuous (named after the mathematician Dana Scott) if it preserves all directed suprema. That is, 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, i.e. , where is the directed join.[1] When is the poset of truth values, i.e. Sierpiński space, then Scott-continuous functions are characteristic functions of open sets, and thus Sierpiński space is the classifying space for open sets.[2]
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.[3]
Scott-continuous functions are used in the study of models for lambda calculi[3] and the denotational semantics of computer programs.
^ abVickers, Steven (1989). Topology via Logic. Cambridge University Press. ISBN 978-0-521-36062-3.
^Scott topology at the nLab
^ abScott, Dana (1972). "Continuous lattices". In Lawvere, Bill (ed.). Toposes, Algebraic Geometry and Logic. Lecture Notes in Mathematics. Vol. 274. Springer-Verlag.
of Scott-continuous functions are curry and apply. Nuel Belnap used Scottcontinuity to extend logical connectives to a four-valued logic. Alexandrov topology...
topological spaces Scottcontinuity, for functions between posets Continuity (set theory), for functions between ordinals Continuity (category theory)...
form of continuity is uniform continuity. In order theory, especially in domain theory, a related concept of continuity is Scottcontinuity. As an example...
Continuity of government (COG) is the principle of establishing defined procedures that allow a government to continue its essential operations in case...
Business continuity may be defined as "the capability of an organization to continue the delivery of products or services at pre-defined acceptable levels...
Jennifer Gay) one of the so-called "Children's Announcers" providing continuity links for the BBC's children's TV programmes from the Lime Grove Studios...
lattice Algebraic poset Scott domain Algebraic lattice Scott information system Powerdomain Scott topology Scottcontinuity Lindenbaum algebra Zorn's...
kind of topological space that can be defined from any poset Scottcontinuity – continuity of a function between two partial orders. Semilattice – Partial...
Sober space Spectral space Alexandrov topology Upper topology Scott topology Scottcontinuity Lawson topology Polish Space Cantor space Inductive dimension...
The Continuity Irish Republican Army (Continuity IRA or CIRA), styling itself as the Irish Republican Army (Irish: Óglaigh na hÉireann), is an Irish republican...
continuous with respect to the Scott topology (for this reason this order theoretic property is also called Scott-continuity). The visualization of orders...
Change and continuity is a classic dichotomy within the fields of history, historical sociology, and the social sciences more broadly. The question of...
Order topology Lawson topology Poset topology Upper topology Scott topology Scottcontinuity Priestley space Roy's lattice space Split interval, also called...
Brandon Maurice Scott (born April 8, 1984) is an American politician serving as the mayor of Baltimore, Maryland, since 2020. The city of Baltimore uses...
In the history of ideas, the continuity thesis is the hypothesis that there was no radical discontinuity between the intellectual development of the Middle...
Scott emphasises a continuity between the Waterboys and his solo work, saying that "To me there's no difference between Mike Scott and the Waterboys;...
later, Alan Scott reappeared as a guest star in The Flash #137 (1963). To avoid continuity conflicts with the Hal Jordan character, Alan Scott and all his...
The Scott Trust Limited is the British company that owns Guardian Media Group and thus The Guardian and The Observer as well as various other media businesses...
This is a list of continuity announcers in the United Kingdom – the term "continuity announcer" is used for those broadcasters who provide the voiceovers...
kindness envisioned by Scott. The participating school is provided with a curriculum and a training manual to ensure the continuity of the objectives of...
the decision to continue to operate Scott Base for scientific research, much of which depends upon the continuity of recorded data over a period of years...
topological space reliant on the tree topology. Both the Scott and Tree topologies exhibit continuity with respect to the binary operators of application (...
Scott Thompson (born February 25, 1965), known professionally as Carrot Top, is an American stand-up comedian and actor. He is widely known for his use...
superheroes appearing in American comic books published by DC Comics. The Scott Free version of Mister Miracle first appeared in Mister Miracle #1 (April...