Proposition 5
Tag 049E, permanent. Cite it as [Bourbaki, Tag 049E].
Commutative Algebra, chapter II, § 4. Spectra of rings and supports of modules
Let be a topological space. Every irreducible subset of is contained in an irreducible component of and is the union of its irreducible components.
To prove the first assertion, it is sufficient, by virtue of Zorn's Lemma, to prove that the set 3 of irreducible subsets of is inductive. Let be a subset of totally ordered by inclusion; we show that the union of the sets is irreducible. Let be two open sets of which meet ; as is totally ordered, there exists a set meeting and ; as is irreducible, meets and hence also , which proves that is irreducible and hence that 3 is inductive. The second assertion follows from the first, for every subset of consisting of a single point is irreducible.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.