A nonempty closed subset which, with its induced topology, is an irreducible topological space. In an affine algebraic set these subsets correspond, with reversed inclusion, to prime ideals of the coordinate ring.
In any topological space, the closure of a point is an irreducible closed subset. If with closed in , then both are closed subsets of the ambient topological space. One contains , so it contains all of by the definition of closure. Equivalently, is a generic point of . This does not assert that every irreducible closed subset of an arbitrary topological space has a generic point.
Articles by others on the same topic
There are currently no matching articles.