Mathematik für Faule: Topologie/ Simplexquotienten

Satz (Überdeckungssatz der Simplexquotienten):

Es sei ein topologischer Raum und eine randlose Überdeckung von . Dann gilt für alle

.

Beweis: Wir definieren den Dipfeil wie folgt: Es sei die Freudenthal-Zerlegung, und des weiteren ein Element durch einen Zyklus gegeben. Dann definieren wir als , wobei nach dem Satz von Lebesgue hinreichend groß gewählt wurde, dass jedes Simplex von in einem enthalten ist.

Es bleibt zu beweisen, dass diese Zuordnung wohldefiniert ist und einen Invoid-Dipfeil darstellt. Sei also zunächst . Dann gilt . Da die Freudenthal-Zerlegung auf den Simplexquotienten die Identität ist, gilt somit

für jedes , sodass alle Simplizes von in wenigstens einem enthalten sind. Somit ist die Wohldefiniertheit bewiesen. Die Additivität von allerdings folgt (fast) unmittelbar aus der von .