Put , where the closure is taken in the underlying topological space of . It is nonempty because it contains .
Suppose for two closed subsets of in the subspace topology. Since is a closed subset of , both and are also closed subsets of . The point lies in one of them, say . By the defining minimality of the closure, every closed subset of containing contains . Hence , so .
Thus cannot be expressed as the union of two proper closed subsets, proving that is an irreducible closed subset. This proves closure of a point is irreducible in every topological space; the scheme assumption is unnecessary. Equivalently, is a generic point of its own closure.
Otherwise, the distinct points correspond to distinct prime ideals . There is an element in one of these prime ideals and not the other. After interchanging the names of the two points if necessary, chooseThe principal open subschemecontains and does not contain . It is an open subset of , hence an open subset of because is open in . This establishes in every case, proving schemes are Kolmogorov spaces.
Articles by others on the same topic
There are currently no matching articles.