Homologiegruppe berandeter dreidimensionaler Mannigfaltigkeiten (Q567027)

Satz: Die erste \textit{Betti}sche Zahl einer dreidimensionalen orientierbaren berandeten Mannigfaltigkeit, deren Rand aus \(r\) orientierbaren Flächen vom Geschlecht \(p_\varrho (\varrho =1,\dots,r)\) besteht, ist mindestens gleich \(\sum p_\varrho \). Zum Beweis wird gezeigt, daß\ von einem Paar konjugierter Rückkehrschnitte einer Randfläche wenigstens eine Kurve \(k\) samt ihren Vielfachen in der Mannigfaltigkeit nicht homolog null ist. Indem man längs eines \(k\) umschließenden ringförmigen Streifens der Randfläche ein Element mit einem ringförmigen Streifen seiner Oberfläche einheftet, gelangt man zu einer Mannigfaltigkeit, deren \(\sum p_\varrho \) um 1 und deren erste \textit{Betti}sche Zahl um mindestens 1 kleiner ist als die der ursprünglichen; für \(\sum p_\varrho =0\) ist der Satz trivial.