In an irreducible topological space, any two nonempty open subsets intersect. Let be a nonempty open subset. Two nonempty subsets open in are also open in , and hence intersect; thus is itself an irreducible topological space. If were disconnected, a separation into two disjoint nonempty open subsets would contradict this intersection property. Hence is a connected space. The empty open subset is connected as well under the usual convention.
Discard empty members of as in (b). Every finite intersection is nonempty by repeated use of the intersection property and is an open subset, hence a connected space. A locally constant function on this intersection is constant. It follows that the constant sheaf has
and every restriction map between these nonempty intersections is the identity on . The whole Čech cochain complex is therefore the same as for the indexed open cover of a point having the same index set. The cochain homotopy constructed in (b) applies component by component and proves
The argument concerns the constant sheaf of locally constant functions; arbitrary coefficient sheaves on an irreducible topological space need not have the same Čech cohomology.

Articles by others on the same topic (0)

There are currently no matching articles.