Hyperconnected space
- For hyper-connectivity in node-link graphs, see Connectivity_(graph_theory)#Super-_and_hyper-connectivity.
 | This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. (June 2015) |
In mathematics, a hyperconnected space is a topological space X that cannot be written as the union of two proper closed sets (whether disjoint or non-disjoint). 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 empty.
A 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).
Examples
An example of a hyperconnected space from point set topology is the cofinite topology on any infinite space.
In algebraic geometry, taking the spectrum of a ring whose reduced ring is an integral domain is an irreducible topological space — applying the lattice theorem to the nilradical, which is within every prime, to show the spectrum of the quotient map is a homeomorphism, this reduces to the irreducibility of the spectrum of an integral domain. For example, the schemes
,
![{\displaystyle {\text{Spec}}\left({\frac {\mathbb {Z} [x,y,z]}{x^{4}+y^{3}+z^{2}}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/236f9480a7afe3e5f53da933e654249765472018)
![{\displaystyle {\text{Proj}}\left({\frac {\mathbb {C} [x,y,z]}{(y^{2}z-x(x-z)(x-2z))}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a410f772733410809e9ea40644e901f3bd8743f8)
are irreducible since in both cases the polynomials defining the ideal are irreducible polynomials (meaning they have no non-trivial factorization). A non-example is given by the normal crossing divisor
![{\displaystyle {\text{Spec}}\left({\frac {\mathbb {C} [x,y,z]}{(xyz)}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78c91e4f31c77ba2b4b8417c11fcd2f40889e2d0)
since the underlying space is the union of the affine planes , , and . Another non-example is given by the scheme
![{\displaystyle {\text{Proj}}\left({\frac {\mathbb {C} [x,y,z,w]}{(xy,f_{4})}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/44d6191ff07ed2c626040bdf7d360dcbb7c0ced5)
where is an irreducible degree 4 homogeneous polynomial. This is the union of the two genus 3 curves (by the genus–degree formula)
![{\displaystyle {\text{Proj}}\left({\frac {\mathbb {C} [y,z,w]}{(f_{4}(0,y,z,w)}}\right),{\text{ }}{\text{Proj}}\left({\frac {\mathbb {C} [x,z,w]}{(f_{4}(x,0,z,w)}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d71bdab2c74347953e84bee2896319accca97e8e)
Hyperconnectedness vs. connectedness
Every hyperconnected space is both connected and locally connected (though not necessarily path-connected or locally path-connected).
Note that in the definition of hyper-connectedness, the closed sets don't have to be disjoint. This is in contrast to the definition of connectedness, in which the open sets are disjoint.
For example, the space of reals with the standard topology is connected but not hyperconnected. This is because it cannot be written as a union of two disjoint open sets, but it can be written as a union of two (non-disjoint) closed sets.
Properties
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.
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 subset of a Noetherian topological space is Noetherian, and hence has finitely many irreducible components.
See also
References
- Steen, Lynn Arthur; Seebach, J. Arthur Jr. (1995) [1978], Counterexamples in Topology (Dover reprint of 1978 ed.), Berlin, New York: Springer-Verlag, ISBN 978-0-486-68735-3, MR 0507446
- "Hyperconnected space". PlanetMath.