Mannigfaltigkeit mit Rand/Unendlich viele R/Aufgabe/Lösung

Aus Wikiversity


Die Funktion

läuft an den beiden Grenzen gegen unendlich, der Graph zu ist diffeomorph zu und damit auch zu . Wir betrachten nun zu die entsprechende Funktion, deren Definitonsbereich um verschoben wird (also mit dem Definitionsbereich ). Es sei der zugehörige Graph und der zugehörige offene (!) Epigraph. Wir setzen

Diese ist eine zusammenhängende Mannigfaltigkeit mit Rand und der Rand ist die disjunkte Vereinigung der .