Hyperconnected space

Hyperconnected space

In mathematics, a hyperconnected space is a topological space "X" that cannot be written as the union of two proper closed sets. The name irreducible space is preferred in algebraic geometry.

For a topological space "X" the following conditions are equivalent:
*no two nonempty open sets are disjoint
*"X" cannot be written as the union of two proper closed sets
*every nonempty open set is dense in "X"
*the interior of every proper closed set is emptyA space which satisfies any one of these conditions is called "hyperconnected" or "irreducible". An irreducible set is a subset of a topological space for which the subspace topology is irreducible. Some authors do not consider the empty set to be irreducible (even though it vacuously satisfies the above conditions).

The (nonempty) open subsets of a hyperconnected space are "large" in the sense that each one is dense in "X" and any pair of them intersects. Thus, a hyperconnected space cannot be Hausdorff unless it contains only a single point.

Examples of hyperconnected spaces include the cofinite topology on any infinite space and the Zariski topology on an algebraic variety.

Every hyperconnected space is both connected and locally connected (though not necessarily path-connected or locally path-connected). The continuous image of a hyperconnected space is hyperconnected. In particular, any continuous function from a hyperconnected space to a Hausdorff space must be constant. It follows that every hyperconnected space is pseudocompact.

Every open subspace of a hyperconnected space is hyperconnected. A closed subspace need not be hyperconnected, however, the closure of any hyperconnected subspace is always hyperconnected.

Irreducible components

An irreducible component in a topological space is a maximal irreducible subset (i.e. an irreducible set that is not contained in any larger irreducible set). The irreducible components are always closed.

Unlike the connected components of a space, the irreducible components need not be disjoint (i.e. they need not form a partition). In general, the irreducible components will overlap. Since every irreducible space is connected, the irreducible components will always lie in the connected components.

The irreducible components of a Hausdorff space are just the singleton sets.

Every noetherian topological space can be written as a finite union of irreducible components.

ee also

* Ultraconnected space
* Sober space

References

* | year=1995
*planetmath reference|id=5813|title=Hyperconnected space


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Ultraconnected space — In mathematics, a topological space X is said to be ultraconnected if no pair of nonempty closed sets of X is disjoint. All ultraconnected spaces are path connected, normal, limit point compact, and pseudocompact.ee also* Hyperconnected… …   Wikipedia

  • Finite topological space — In mathematics, a finite topological space is a topological space for which the underlying point set is finite. That is, it is a topological space for which there are only finitely many points.While topology is mostly interesting only for… …   Wikipedia

  • Connected space — For other uses, see Connection (disambiguation). Connected and disconnected subspaces of R² The green space A at top is simply connected whereas the blue space B below is not connected …   Wikipedia

  • Locally connected space — In this topological space, V is a neighbourhood of p and it contains a connected neighbourhood (the dark green disk) that contains p. In topology and other branches of mathematics, a topological space X is locally connected if every point admits… …   Wikipedia

  • Sierpiński space — In mathematics, Sierpiński space (or the connected two point set) is a finite topological space with two points, only one of which is closed.It is the smallest example of a topological space which is neither trivial nor discrete. It is named… …   Wikipedia

  • Pseudocompact space — In mathematics, in the field of topology, a topological space is said to be pseudocompact if its image under any continuous function to R is bounded.Conditions for pseudocompactness*Every countably compact space is pseudocompact. For normal… …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • Particular point topology — In mathematics, the particular point topology (or included point topology) is a topology where sets are considered open if they are empty or contain a particular, arbitrarily chosen, point of the topological space. Formally, let X be any set and… …   Wikipedia

  • Dense set — In topology and related areas of mathematics, a subset A of a topological space X is called dense (in X) if any point x in X belongs to A or is a limit point of A.[1] Informally, for every point in X, the point is either in A or arbitrarily close …   Wikipedia

  • Barry Wellman — Barry Wellman, FRSC (born 1942) directs [http://www.chass.utoronto.ca/ wellman/netlab/index.html NetLab] as the S.D. Clark Professor of Sociology at the University of Toronto. His areas of research are community sociology, the Internet, human… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”