Satz von Mergelyan
Der Satz von Mergelyan, benannt nach dem armenischen Mathematiker S. N. Mergelyan, ist ein Satz aus der Approximationstheorie über Approximation durch Polynome, er verallgemeinert gleichzeitig den Approximationssatz von Weierstraß und den Satz von Runge.
Formulierung des Satzes
- Sei kompakt und die uniforme Algebra aller stetigen Funktionen, die in , dem Inneren von , holomorph sind. Wenn das Komplement keine beschränkten Zusammenhangskomponenten hat, dann kann jede Funktion aus gleichmäßig durch Polynome approximiert werden.[1][2]
Bemerkungen
Die beschränkten Zusammenhangskomponenten von nennt man auch Löcher. Ist also kompakt ohne Löcher, so liegen die Polynome nach obigem Satz dicht in .
Hat kein Inneres, so ist die Algebra der stetigen Funktionen auf . Daher folgt: Ist kompakt ohne Löcher und ist , so liegen die Polynome dicht in . Ein beschränktes abgeschlossenes Intervall ist ein Beispiel für ein solches , und damit erhält man den klassischen weierstraßschen Approximationssatz.
Der Satz von Runge, der die Approximation von holomorphen Funktionen, die in einer Umgebung von (kompakt ohne Löcher) definiert sind, durch Polynome behauptet, ist eine unmittelbare Folgerung aus dem Satz von Mergelyan, denn die Einschränkungen solcher Funktionen auf sind offenbar in . Auch die Version des rungeschen Satzes über die kompakt gleichmäßige Approximation holomorpher Funktionen auf offenen Mengen ohne Löcher durch Polynome kann leicht abgeleitet werden, indem man die offene Menge durch eine geeignete Folge kompakter Teilmengen ausschöpft.
Verallgemeinerung auf riemannsche Flächen
Für eine Verallgemeinerung auf riemannsche Flächen stellt sich zunächst das Problem, dass man dort nicht von Polynomen sprechen kann. Ersetzt man aber in obigem Satz von Mergelyan die Polynome durch ganze Funktionen, so erhält man eine äquivalente Formierung, da Polynome ganz sind und umgekehrt ganze Funktionen kompakt gleichmäßig durch ihre Taylor-Polynome approximiert werden. Den ganzen Funktionen auf entsprechen die holomorphen Funktionen auf einer riemannschen Fläche . In dieser Form ist E. Bishop die folgende Verallgemeinerung gelungen, die man auch als Satz von Mergelyan-Bishop bezeichnet.[3][4]
- Sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} eine nicht-kompakte riemannsche Fläche und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle K\subset X} kompakt ohne Löcher. Dann kann jede Funktion aus Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A(K)} gleichmäßig durch holomorphe Funktionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X\rightarrow \Complex} approximiert werden.
Auf einer kompakten riemannschen Fläche kann solch ein Satz natürlich nicht bestehen, da auf ihr alle holomorphen Funktionen konstant sind.
Einzelnachweise
- ↑ S. N. Mergelyan: On the representation of functions by series of polynomials on closed sets, Doklady Akad. Nauk SSSR (N.S.), Band 78, Seiten 405–408, 1951.
- ↑ T. W. Gamelin: Uniform Algebras, Chelsea Publishing Company 1969, Kapitel II, Satz 9.1 (Mergelyan's Theorem)
- ↑ E. Bishop; Subalgebras of functions on a Riemann surface, Pacific J. Mathematics 1958, Band 8, Seiten 29–50
- ↑ Marek Janicki, Peter Pflug: Extension of Holomorphic Functions, Walter de Gruyter-Verlag (2000), ISBN 3-11-015363-7, Theorem 1.11.15 (Theorem of Mergelyan-Bishop)