Irreducible topological space

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

A topological space that cannot be represented as the union of two proper closed subspaces. Equivalently, an irreducible topological space can also be defined by postulating that any open subset of it is connected or that any non-empty open subset is everywhere dense. The image of an irreducible topological space under a continuous mapping is irreducible. A product of irreducible topological spaces is irreducible. The concept of an irreducible topological space is of interest only for non-separable spaces (cf. Separable space); it is constantly used in algebraic geometry, which is concerned with the non-separable Zariski topology.

An irreducible component of a topological space is any maximal irreducible subset of . The irreducible components are closed and their union is the whole of .


In the theory of coverings (cf. Covering (of a set)) one also has a notion of irreducibility: A topological space is irreducible if every open covering of it has an irreducible open refinement, where a covering is irreducible if no proper subfamily of it is covering. Countably-compact spaces (cf. Countably-compact space) are characterized by the condition that every irreducible open covering is finite. Thus, a space is compact if and only if it is countably compact and irreducible.


[a1] R. Arens, J. Dugundji, "Remark on the concept of compactness" Portugaliae Math. , 9 (1950) pp. 141–143
How to Cite This Entry:
Irreducible topological space. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by V.I. Danilov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article