En mathématiques pour l'informatique, étant donné deux ensembles partiellement ordonnés P et Q, une fonction f : P → Q entre eux est Scott-continue (du nom du mathématicien Dana Scott) si elle préserve tous les suprema dirigés, c'est-à-dire que pour chaque sous-ensemble orienté D de P avec supremum dans P, son a un supremum dans Q, et ce supremum est l'image du supremum de D, c'est-à-dire , où est la jointure dirigée. Lorsque est le poset des valeurs de vérité, c'est-à-dire l'espace de Sierpiński, les fonctions Scott-continues sont des fonctions caractéristiques, et donc l'espace de Sierpiński est le topos de classification des ensembles ouverts.
Un sous-ensemble O d'un ensemble partiellement ordonné P est appelé Scott-ouvert si c'est un ensemble fermé par le haut et s'il est inaccessible par jointures dirigées, c'est-à-dire si tous les ensembles dirigés D avec supremum en O ont une intersection non vide avec O. Les sous-ensembles Scott-ouverts d'un ensemble partiellement ordonné P forment une topologie sur P, la topologie de Scott. Une fonction entre des ensembles partiellement ordonnés est Scott-continue si et seulement si elle est continue par rapport à la topologie de Scott.
La topologie de Scott a d'abord été définie par Dana Scott pour des treillis complets et plus tard définie pour des ensembles partiellement ordonnés.
Les fonctions continues de Scott apparaissent dans l'étude de modèles pour les calculs lambda et la sémantique dénotationnelle des programmes informatiques.
Une fonction continue de Scott est toujours monotone.
Un sous-ensemble d'un ordre partiel complet dirigé est fermé par rapport à la topologie de Scott induite par l'ordre partiel si et seulement si c'est un ensemble inférieur et fermé sous suprema de sous-ensembles dirigés.
Un ordre partiel complet dirigé (dcpo) avec la topologie de Scott est toujours un espace de Kolmogorov (c'est-à-dire qu'il satisfait l'axiome de séparation T 0 ). Cependant, un dcpo avec la topologie de Scott est un espace de Hausdorff si et seulement si l'ordre est trivial.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
En mathématiques pour l'informatique, étant donné deux ensembles partiellement ordonnés P et Q, une fonction f : P → Q entre eux est Scott-continue (du nom du mathématicien Dana Scott) si elle préserve tous les suprema dirigés, c'est-à-dire que pour chaque sous-ensemble orienté D de P avec supremum dans P, son a un supremum dans Q, et ce supremum est l'image du supremum de D, c'est-à-dire , où est la jointure dirigée.
In mathematics, especially in order theory, a complete Heyting algebra is a Heyting algebra that is complete as a lattice. Complete Heyting algebras are the of three different ; the category CHey, the category Loc of locales, and its , the category Frm of frames. Although these three categories contain the same objects, they differ in their morphisms, and thus get distinct names. Only the morphisms of CHey are homomorphisms of complete Heyting algebras.
In mathematics, a sober space is a topological space X such that every (nonempty) irreducible closed subset of X is the closure of exactly one point of X: that is, every irreducible closed subset has a unique generic point. Sober spaces have a variety of cryptomorphic definitions, which are documented in this section. All except the definition in terms of nets are described in. In each case below, replacing "unique" with "at most one" gives an equivalent formulation of the T0 axiom.