Gleichmäßige Konvergenz der Ableitungsfunktionsfolge auf kompakten Teilmengen

Lassen Sie es mich hier kurz machen: Ich glaube, dass die folgende Behauptung wahr ist, da sie auf den Seiten 54-55 in Elias Stein und Rami Shakarchis Complex Analysis (Princeton University Press) einen "Beweis" liefert, was für mich jedoch nicht der Fall ist überzeugend.

Jedenfalls sagt der fragliche Satz das aus

Gegeben Ω C eine beliebige offene Teilmenge, wenn { F N } , eine Folge von holomorphen Funktionen auf Ω , konvergiert gleichmäßig gegen eine Funktion F auf allen kompakten Teilmengen von Ω , Dann F ist ebenfalls holomorph Ω Und { F N ' } konvergiert gleichmäßig zu F ' auf allen kompakten Teilmengen von Ω .

Ich verstehe bereits, wie der erste Teil der Behauptung bewiesen wird, aber ich bin mir unsicher über den zweiten Teil (nämlich den Teil in Kursivschrift). Kann mir jemand einen Beweis oder eine Widerlegung nennen? Beachten Sie jedoch, dass das offene Set nicht eingeschränkt ist Ω ! Vielen Dank im Voraus.

Für diejenigen, die es interessiert, habe ich Zweifel an Steins Beweis, weil er beweisen will, indem er das zeigt F N F konvergiert gleichmäßig zu 0 auf jedem

Ω δ := { z Ω D ( z , Ω ) < δ } .
Das ist meiner Meinung nach nur wahr, wenn wir jeden abdecken können Ω δ mit einer kompakten Teilmenge von Ω , was hoffnungslos erscheint, wenn Ω ist, sagen wir, eine unbegrenzte Region.

Es ist umgekehrt: Sie können jedes kompakte Set abdecken K Ω von einigen Ω δ .
@MartinR Das verstehe ich. Aber jetzt, nach Steins' Thread, müssen wir das zeigen F N F konvergiert gleichmäßig zu 0 An Ω δ , während wir bewiesen haben, dass dies für alle kompakten Teilmengen von gilt Ω .

Antworten (1)

Vielleicht ist der Beweis von Korollar 3.5.2 (S. 89) in Greene und Krantz ( Function Theory of One Complex Variable , the link is to the main theorem from which the corollary is notation) überzeugend?

Die Methode zur Herstellung der Ω δ Arbeit (die in diesem Beweis nicht explizit auftaucht) ist, dass wir nur das Ergebnis auf compacta benötigen. Jede kompakte Teilmenge von U wird durch geeignete abgedeckt Ω δ , also keine kompakte Teilmenge von U kann ein Zeuge für das Scheitern des Theorems sein.