Namespaces
Variants
Actions

Difference between revisions of "Directed set"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
(TeX)
Line 1: Line 1:
A set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d0327601.png" /> equipped with a [[Directed order|directed order]]. A set <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d0327602.png" /> with partial order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d0327603.png" /> is called upwards (respectively, downwards) directed if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d0327604.png" /> (respectively, the opposite order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d0327605.png" />) is a directed order. For example, the set of all open coverings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d0327606.png" /> of a topological space is a downwards directed set, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d0327607.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d0327608.png" /> is a refinement of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d0327609.png" />; another example of a downwards directed set is a pre-filter, that is, a family <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d03276010.png" /> of non-empty sets such that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d03276011.png" /> then there exists a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d03276012.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/d/d032/d032760/d03276013.png" />. The main use of directed sets (and of filters, cf. [[Filter|Filter]]) is as index sets in the definition of generalized sequences (cf. [[Generalized sequence|Generalized sequence]]) of points, or nets, in topological spaces, in the study of the convergence of such sequences, etc.
+
{{TEX|done}}
 +
A set $A$ equipped with a [[Directed order|directed order]]. A set $A$ with partial order $\leq$ is called upwards (respectively, downwards) directed if $\leq$ (respectively, the opposite order $\geq$) is a directed order. For example, the set of all open coverings $\{\gamma\}$ of a topological space is a downwards directed set, with $\gamma'\leq\gamma''$ if $\gamma'$ is a refinement of $\gamma''$; another example of a downwards directed set is a pre-filter, that is, a family $\delta$ of non-empty sets such that if $U,V\in\delta$ then there exists a $W\in\delta$ such that $W\subset U\cap V$. The main use of directed sets (and of filters, cf. [[Filter|Filter]]) is as index sets in the definition of generalized sequences (cf. [[Generalized sequence|Generalized sequence]]) of points, or nets, in topological spaces, in the study of the convergence of such sequences, etc.
  
  

Revision as of 18:35, 14 August 2014

A set $A$ equipped with a directed order. A set $A$ with partial order $\leq$ is called upwards (respectively, downwards) directed if $\leq$ (respectively, the opposite order $\geq$) is a directed order. For example, the set of all open coverings $\{\gamma\}$ of a topological space is a downwards directed set, with $\gamma'\leq\gamma''$ if $\gamma'$ is a refinement of $\gamma''$; another example of a downwards directed set is a pre-filter, that is, a family $\delta$ of non-empty sets such that if $U,V\in\delta$ then there exists a $W\in\delta$ such that $W\subset U\cap V$. The main use of directed sets (and of filters, cf. Filter) is as index sets in the definition of generalized sequences (cf. Generalized sequence) of points, or nets, in topological spaces, in the study of the convergence of such sequences, etc.


Comments

A pre-filter is also called a filterbase.

In addition to the topological application mentioned above, directed sets play an important role in category theory, lattice theory and theoretical computer science. In category theory they occur as the indexing sets of direct and inverse systems (see System (in a category)). In computer science, data structures are often modelled by partially ordered sets in which every upwards directed subset has a least upper bound (though finite subsets often do not); see [a1], for example. In lattice theory, least upper bounds of directed subsets again play a distinctive part; see Continuous lattice, for example.

References

[a1] D.S. Scott, "Data types as lattices" SIAM J. Computing , 5 (1976) pp. 522–587
How to Cite This Entry:
Directed set. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Directed_set&oldid=16821
This article was adapted from an original article by A.V. Arkhangel'skii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article