Verallgemeinerung des eindimensionalen Hebbarkeitssatzes auf n-dimensionale Gebiete.

Sei G ⊂ ℂⁿein Gebiet, und sei A ⊂ G abgeschlossen und in einer eigentlichen analytischen Teilmenge von G enthalten. Dann induziert die Inklusion i : G\A → G einen Isomorphismus i⁰von topologischen Algebren zwischen \({\mathcal{O}}(G)\)und der Unteralgebra von \({\mathcal{O}}(G\backslash A)\), die aus allen Funktionen in \({\mathcal{O}}(G\backslash A)\)besteht, welche lokal beschränkt auf A sind, d. h., jedes a ∈ A besitzt eine Umgebung U ⊂ G so, daß \({\Vert f\Vert }_{U\backslash A}\lt \infty \)gilt.

Daraus folgt, daß jede Funktion in \({\mathcal{O}}(G\backslash A)\), die lokal beschränkt auf A ist, eine eindeutige holomorphe Fortsetzung auf G besitzt, und eine Folge von Funktionen in \({\mathcal{O}}(G)\) konvergiert genau dann auf G, wenn sie auf G\A konvergiert.