Pretopological space
In general topology, a pretopological space is a generalization of the concept of topological space. A pretopological space can be defined in terms of either filters or a preclosure operator. The similar, but more abstract, notion of a Grothendieck pretopology is used to form a Grothendieck topology, and is covered in the article on that topic.
Let be a set. A neighborhood system for a pretopology on is a collection of filters one for each element of such that every set in contains as a member. Each element of is called a neighborhood of A pretopological space is then a set equipped with such a neighborhood system.
A net converges to a point in if is eventually in every neighborhood of
A pretopological space can also be defined as a set with a preclosure operator (Čech closure operator) The two definitions can be shown to be equivalent as follows: define the closure of a set in to be the set of all points such that some net that converges to is eventually in Then that closure operator can be shown to satisfy the axioms of a preclosure operator. Conversely, let a set be a neighborhood of if is not in the closure of the complement of The set of all such neighborhoods can be shown to be a neighborhood system for a pretopology.
A pretopological space is a topological space when its closure operator is idempotent.
A map between two pretopological spaces is continuous if it satisfies for all subsets
See also
- Kuratowski closure axioms – mathematical conceptPages displaying wikidata descriptions as a fallback
- Cauchy space – Concept in general topology and analysis
- Convergence space – Generalization of the notion of convergence that is found in general topology
- Proximity space – Structure describing a notion of "nearness" between subsets
References
- E. Čech, Topological Spaces, John Wiley and Sons, 1966.
- D. Dikranjan and W. Tholen, Categorical Structure of Closure Operators, Kluwer Academic Publishers, 1995.
- S. MacLane, I. Moerdijk, Sheaves in Geometry and Logic, Springer Verlag, 1992.
External links
- Recombination Spaces, Metrics, and Pretopologies B.M.R. Stadler, P.F. Stadler, M. Shpak., and G.P. Wagner. (See in particular Appendix A.)
- Closed sets and closures in Pretopology M. Dalud-Vincent, M. Brissaud, and M Lamure. 2009 .
- v
- t
- e
- General (point-set)
- Algebraic
- Combinatorial
- Continuum
- Differential
- Geometric
- low-dimensional
- Homology
- cohomology
- Set-theoretic
- Digital
![Computer graphics rendering of a Klein bottle](http://upload.wikimedia.org/wikipedia/commons/thumb/b/b9/Kleinsche_Flasche.png/60px-Kleinsche_Flasche.png)
- Open set / Closed set
- Interior
- Continuity
- Space
- Homotopy
- Simplicial complex
- CW complex
- Polyhedral complex
- Manifold
- Bundle (mathematics)
- Second-countable space
- Cobordism
Category
Mathematics portal
Wikibook
Wikiversity
Topics
Publications