Continuous poset

Last updated August 07, 2022

In order theory, a continuous poset is a partially ordered set in which every element is the directed supremum of elements approximating it.

Definitions

Let $a,b\in P$ be two elements of a preordered set $(P,\lesssim )$ . Then we say that $a$ approximates $b$ , or that $a$ is way-below $b$ , if the following two equivalent conditions are satisfied.

For any directed set $D\subseteq P$ such that $b\lesssim \sup D$ , there is a $d\in D$ such that $a\lesssim d$ .
For any ideal $I\subseteq P$ such that $b\lesssim \sup I$ , $a\in I$ .

If $a$ approximates $b$ , we write $a\ll b$ . The approximation relation $\ll$ is a transitive relation that is weaker than the original order, also antisymmetric if $P$ is a partially ordered set, but not necessarily a preorder. It is a preorder if and only if $(P,\lesssim )$ satisfies the ascending chain condition.^[1]^{: p.52, Examples I-1.3, (4)}

For any $a\in P$ , let

\mathop {\Uparrow } a=\{b\in L\mid a\ll b\}

\mathop {\Downarrow } a=\{b\in L\mid b\ll a\}

Then $\mathop {\Uparrow } a$ is an upper set, and $\mathop {\Downarrow } a$ a lower set. If $P$ is an upper-semilattice, $\mathop {\Downarrow } a$ is a directed set (that is, $b,c\ll a$ implies $b\vee c\ll a$ ), and therefore an ideal.

A preordered set $(P,\lesssim )$ is called a continuous preordered set if for any $a\in P$ , the subset $\mathop {\Downarrow } a$ is directed and $a=\sup \mathop {\Downarrow } a$ .

Properties

The interpolation property

For any two elements $a,b\in P$ of a continuous preordered set $(P,\lesssim )$ , $a\ll b$ if and only if for any directed set $D\subseteq P$ such that $b\lesssim \sup D$ , there is a $d\in D$ such that $a\ll d$ . From this follows the interpolation property of the continuous preordered set $(P,\lesssim )$ : for any $a,b\in P$ such that $a\ll b$ there is a $c\in P$ such that $a\ll c\ll b$ .

Continuous dcpos

For any two elements $a,b\in P$ of a continuous dcpo $(P,\leq )$ , the following two conditions are equivalent.^[1]^{: p.61, Proposition I-1.19(i)}

$a\ll b$ and $a\neq b$ .
For any directed set $D\subseteq P$ such that $b\leq \sup D$ , there is a $d\in D$ such that $a\ll d$ and $a\neq d$ .

Using this it can be shown that the following stronger interpolation property is true for continuous dcpos. For any $a,b\in P$ such that $a\ll b$ and $a\neq b$ , there is a $c\in P$ such that $a\ll c\ll b$ and $a\neq c$ .^[1]^{: p.61, Proposition I-1.19(ii)}

For a dcpo $(P,\leq )$ , the following conditions are equivalent.^[1]^{: Theorem I-1.10}

$P$ is continuous.
The supremum map $\sup \colon \operatorname {Ideal} (P)\to P$ from the partially ordered set of ideals of $P$ to $P$ has a left adjoint.

In this case, the actual left adjoint is

{\Downarrow }\colon P\to \operatorname {Ideal} (P)

{\mathord {\Downarrow }}\dashv \sup

Continuous complete lattices

For any two elements $a,b\in L$ of a complete lattice $L$ , $a\ll b$ if and only if for any subset $A\subseteq L$ such that $b\leq \sup A$ , there is a finite subset $F\subseteq A$ such that $a\leq \sup F$ .

Let $L$ be a complete lattice. Then the following conditions are equivalent.

$L$ is continuous.
The supremum map $\sup \colon \operatorname {Ideal} (L)\to L$ from the complete lattice of ideals of $L$ to $L$ preserves arbitrary infima.
For any family ${\mathcal {D}}$ of directed sets of $L$ , $\textstyle \inf _{D\in {\mathcal {D}}}\sup D=\sup _{f\in \prod {\mathcal {D}}}\inf _{D\in {\mathcal {D}}}f(D)$ .
$L$ is isomorphic to the image of a Scott-continuous idempotent map $r\colon \{0,1\}^{\kappa }\to \{0,1\}^{\kappa }$ on the direct power of arbitrarily many two-point lattices $\{0,1\}$ .^[2]^{: p.56, Theorem 44}

A continuous complete lattice is often called a continuous lattice.

Examples

Lattices of open sets

For a topological space $X$ , the following conditions are equivalent.

The complete Heyting algebra $\operatorname {Open} (X)$ of open sets of $X$ is a continuous complete Heyting algebra.
The sobrification of $X$ is a locally compact space (in the sense that every point has a compact local base)
$X$ is an exponentiable object in the category $\operatorname {Top}$ of topological spaces.^[1]^{: p.196, Theorem II-4.12} That is, the functor $(-)\times X\colon \operatorname {Top} \to \operatorname {Top}$ has a right adjoint.

Related Research Articles

In mathematics, a directed set is a nonempty set $together with a reflexive and transitive binary relation, with the additional property that every pair of elements has an upper bound. In other words, for any and in there must exist in with and A directed set's preorder is called a direction .$

In mathematics, the infimum of a subset $of a partially ordered set is a greatest element in that is less than or equal to each element of if such an element exists. Consequently, the term greatest lower bound is also commonly used.$

In mathematics, a topological vector space is one of the basic structures investigated in functional analysis. A topological vector space is a vector space that is also a topological space with the property that the vector space operations are also continuous functions. Such a topology is called a vector topology and every topological vector space has a uniform topological structure, allowing a notion of uniform convergence and completeness. Some authors also require that the space is a Hausdorff space. One of the most widely studied categories of TVSs are locally convex topological vector spaces. This article focuses on TVSs that are not necessarily locally convex. Banach spaces, Hilbert spaces and Sobolev spaces are other well-known examples of TVSs.

Distributions, also known as Schwartz distributions or generalized functions, are objects that generalize the classical notion of functions in mathematical analysis. Distributions make it possible to differentiate functions whose derivatives do not exist in the classical sense. In particular, any locally integrable function has a distributional derivative.

In mathematics, Fatou's lemma establishes an inequality relating the Lebesgue integral of the limit inferior of a sequence of functions to the limit inferior of integrals of these functions. The lemma is named after Pierre Fatou.

In functional analysis and related areas of mathematics, locally convex topological vector spaces (LCTVS) or locally convex spaces are examples of topological vector spaces (TVS) that generalize normed spaces. They can be defined as topological vector spaces whose topology is generated by translations of balanced, absorbent, convex sets. Alternatively they can be defined as a vector space with a family of seminorms, and a topology can be defined in terms of that family. Although in general such spaces are not necessarily normable, the existence of a convex local base for the zero vector is strong enough for the Hahn–Banach theorem to hold, yielding a sufficiently rich theory of continuous linear functionals.

In functional and convex analysis, and related disciplines of mathematics, the polar set $is a special convex set associated to any subset of a vector space lying in the dual space The bipolar of a subset is the polar of but lies in .$

A Dynkin system, named after Eugene Dynkin, is a collection of subsets of another universal set $satisfying a set of axioms weaker than those of 𝜎-algebra. Dynkin systems are sometimes referred to as 𝜆-systems or d-system . These set families have applications in measure theory and probability.$

Upper set Subset of a preorder that contains all larger elements

In mathematics, an upper set of a partially ordered set $is a subset with the following property: if s is in S and if x in X is larger than s, then x is in S . In words, this means that any x element of X that is to some element of S is necessarily also an element of S . The term lower set is defined similarly as being a subset S of X with the property that any element x of X that is to some element of S is necessarily also an element of S .$

In mathematics, a $π$ -system on a set $is a collection of certain subsets of such that$

In mathematics, a Riesz space, lattice-ordered vector space or vector lattice is a partially ordered vector space where the order structure is a lattice.

In mathematics, an ordered vector space or partially ordered vector space is a vector space equipped with a partial order that is compatible with the vector space operations.

In mathematics, a filter on a set $is a special family of subsets. A filter on a set may be thought of as representing a "collection of large subsets". Filters appear in order, model theory, set theory, but can also be found in topology, from which they originate.$

In mathematics, a cardinal function is a function that returns cardinal numbers.

In mathematics, a polyadic space is a topological space that is the image under a continuous function of a topological power of an Alexandroff one-point compactification of a discrete space.

Filters in topology, a subfield of mathematics, can be used to study topological spaces and define all basic topological notions such a convergence, continuity, compactness, and more. Filters, which are special families of subsets of some given set, also provide a common framework for defining various types of limits of functions such as limits from the left/right, to infinity, to a point or a set, and many others. Special types of filters called ultrafilters have many useful technical properties and they may often be used in place of arbitrary filters.

In mathematics, specifically in functional analysis and order theory, a topological vector lattice is a Hausdorff topological vector space (TVS) $that has a partial order making it into vector lattice that is possesses a neighborhood base at the origin consisting of solid sets. Ordered vector lattices have important applications in spectral theory.$

In mathematics, a convergence space, also called a generalized convergence, is a set together with a relation called a convergence that satisfies certain properties relating elements of X with the family of filters on X. Convergence spaces generalize the notions of convergence that are found in point-set topology, including metric convergence and uniform convergence. Every topological space gives rise to a canonical convergence but there are convergences, known as non-topological convergences, that do not arise from any topological space. Examples of convergences that are in general non-topological include convergence in measure and almost everywhere convergence. Many topological properties have generalizations to convergence spaces.

In the mathematical field of set theory, an ultrafilter is a maximal proper filter: it is a filter $on a given non-empty set which is a certain type of non-empty family of subsets of that is not equal to the power set of and that is also "maximal" in that there does not exist any other proper filter on that contains it as a proper subset. Said differently, a proper filter is called an ultrafilter if there exists exactly one proper filter that contains it as a subset, that proper filter (necessarily) being itself.$

In mathematical analysis, the spaces of test functions and distributions are topological vector spaces (TVSs) that are used in the definition and application of distributions. Test functions are usually infinitely differentiable complex-valued functions on a non-empty open subset $that have compact support. The space of all test functions, denoted by is endowed with a certain topology, called the canonical LF-topology, that makes into a complete Hausdorff locally convex TVS. The strong dual space of is called the space of distributions on and is denoted by where the " " subscript indicates that the continuous dual space of denoted by is endowed with the strong dual topology.$

References

1 2 3 4 5 Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S. (2003). Continuous lattices and domains. Encyclopedia of Mathematics and Its Applications. Vol. 93. Cambridge: Cambridge University Press. doi:10.1017/CBO9780511542725. ISBN 978-0-521-80338-0. MR 1975381. Zbl 1088.06001.
↑ Grätzer, George (2011). Lattice Theory: Foundation. Basel: Springer. doi:10.1007/978-3-0348-0018-1. ISBN 978-3-0348-0017-4. LCCN 2011921250. MR 2768581. Zbl 1233.06001.

External links

"Continuous lattice", Encyclopedia of Mathematics , EMS Press, 2001 [1994]
"Core-compact space", Encyclopedia of Mathematics , EMS Press, 2001 [1994]
Continuous poset in nLab
Continuous category in nLab
Exponential law for spaces in nLab
Continuous poset at PlanetMath .

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[Gierz-1] 1 2 3 4 5 Gierz, Gerhard; Hofmann, Karl; Keimel, Klaus; Lawson, Jimmie; Mislove, Michael; Scott, Dana S. (2003). Continuous lattices and domains. Encyclopedia of Mathematics and Its Applications. Vol. 93. Cambridge: Cambridge University Press. doi:10.1017/CBO9780511542725. ISBN 978-0-521-80338-0. MR 1975381. Zbl 1088.06001.

[Grätzer-2] Grätzer, George (2011). Lattice Theory: Foundation. Basel: Springer. doi:10.1007/978-3-0348-0018-1. ISBN 978-3-0348-0017-4. LCCN 2011921250. MR 2768581. Zbl 1233.06001.

[1]

[2]