Bourbaki

Exercise 1, § 4

Commutative Algebra, II, 140

Let (Xα,fαβ)(X_\alpha, f_{\alpha\beta}) be an inverse system of topological spaces, whose indexing set is directed, X=lim←⁡XX = \varprojlim X, and fαf_\alpha be the canonical mapping from X to XαX_\alpha. Suppose that, for all α\alpha, fαf_\alpha is surjective; show that, if the XαX_\alpha are irreducible, X is irreducible (cf. General Topology, Chapter I, § 4, no. 4, Corollary to Proposition 9). In particular, every product of irreducible spaces is irreducible.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.