Namespaces
Variants
Actions

Directed set

From Encyclopedia of Mathematics
Revision as of 17:18, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A set equipped with a directed order. A set with partial order is called upwards (respectively, downwards) directed if (respectively, the opposite order ) is a directed order. For example, the set of all open coverings of a topological space is a downwards directed set, with if is a refinement of ; another example of a downwards directed set is a pre-filter, that is, a family of non-empty sets such that if then there exists a such that . 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=32929
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