Exercise 21, § 4
General Topology, X
Bourbaki marks this one as harder than the rest.
a) Let be a totally disconnected compact space, and let be a topological ring. Endow the ring with the topology of uniform convergence, which is compatible with the ring structure. Let be a left ideal of and, for each , let be the closure in of the set of for ; is a closed left ideal of . Show that is identical with the set of all such that for all (note that, for each , the neighbourhoods of which are both open and closed form a fundamental system of neighbourhoods of ).
b) Suppose in addition that has a fundamental system of neighbourhoods of which are two-sided ideals. Let be a subring of which contains the constants and separates the points of . Show that is dense in . [For each closed subset of , each and each neighbourhood of in , show that there exists such that and for all .]
Solution
No solution has been written yet.