„Identitätssatz für holomorphe Funktionen“ – Versionsunterschied
[gesichtete Version] | [gesichtete Version] |
→Beweis: Tippfehler korrigiert Markierungen: Mobile Bearbeitung Bearbeitung von einer mobilen Anwendung Bearbeitung mit Android-App |
Folgerungen: Identitätssatz für Potenzreihen und Polynome |
||
Zeile 5: | Zeile 5: | ||
== Identitätssatz für Gebiete == |
== Identitätssatz für Gebiete == |
||
Für Gebiete, insbesondere da sie zusammenhängend sind, lässt sich die Aussage des Identitätssatzes leicht verschärfen. |
Für Gebiete, insbesondere da sie zusammenhängend sind, lässt sich die Aussage des Identitätssatzes leicht verschärfen und wird auch '' fundamentaler Satz der Funktionentheorie'' genannt.<ref name="lex2s476">{{Literatur |
||
| Titel=Lexikon der Mathematik |
|||
| Band=Band 2 (Eig-Inn) |
|||
| Verlag=Springer Spektrum Verlag |
|||
| Hrsg=Guido Walz |
|||
| Ort=Mannheim |
|||
| Jahr=2017 |
|||
| Seiten=476 |
|||
| ISBN=978-3-662-53503-5 |
|||
| DOI=10.1007/978-3-662-53504-2}}</ref> |
|||
=== Aussage === |
=== Aussage === |
||
Zeile 25: | Zeile 34: | ||
== Folgerungen == |
== Folgerungen == |
||
;Eindeutige Fortsetzbarkeit reeller Funktionen: |
|||
: Eine wesentliche Folgerung aus dem Identitätssatz ist die eindeutige Fortsetzbarkeit [[reelle Funktion|reeller Funktionen]]:<br/>Kann man eine reelle Funktion holomorph auf die [[Komplexe Zahl|komplexe Ebene]] fortsetzen (dies ist im Allgemeinen nicht möglich), so ist diese Fortsetzung eindeutig.<br/>Der komplexe Sinus ist daher wirklich die einzige holomorphe Fortsetzung des reellen Sinus. Insbesondere gelten auch die Additionstheoreme für den komplexen Sinus. |
|||
; Sonderfall g=0: |
|||
Kann man eine reelle Funktion holomorph auf die [[Komplexe Zahl|komplexe Ebene]] fortsetzen (dies ist im Allgemeinen nicht möglich), so ist diese Fortsetzung eindeutig. |
|||
⚫ | |||
Der komplexe Sinus ist daher wirklich die einzige holomorphe Fortsetzung des reellen Sinus. Insbesondere gelten auch die Additionstheoreme für den komplexen Sinus. |
|||
;Nullteilerfreiheit des Rings der holomorphen Funktionen: |
|||
: Der [[Ring (Algebra)|Ring]] der holomorphen Funktionen auf einem Gebiet <math>G</math> ist [[nullteilerfrei]], d. h. aus <math>fg\equiv 0</math> folgt stets <math>f\equiv 0</math> oder <math>g\equiv 0</math>. Seien hierzu <math>f,g\colon G\to\mathbb{C}</math> holomorph mit <math>f\not\equiv 0</math> und <math>fg\equiv 0</math>. Dann gibt es einen Punkt <math>z_0</math> in <math>G</math> und eine Umgebung <math>U</math> von <math>z_0</math> mit <math>f(z)\neq 0</math> für alle <math>z\in U</math>. Dann gilt aber <math>g|_U \equiv 0</math>, und somit <math>g\equiv 0</math> nach dem Sonderfall. |
|||
Ein Sonderfall des Identitätssatzes für Gebiete, der sehr häufig angewendet wird, ergibt sich mit <math>g=0</math>: |
|||
;Identitätssatz für Potenzreihen: |
|||
: Es seien |
|||
⚫ | |||
::<math>\sum_{\nu=0}^\infty a_\nu(x-x_0)^\nu</math> und <math>\sum_{\nu=0}^\infty b_\nu(x-x_0)^\nu</math> |
|||
: zwei [[Potenzreihe]]n um den gleichen Entwicklungspunkt <math>x_0</math> mit reellen oder komplexen Koeffizienten <math>a_\nu</math> bzw. <math>b_\nu</math> und einem gemeinsamen nichttrivialen [[Konvergenzbereich]] <math>I</math>. Stimmen die Werte für alle <math>x_n</math> einer Folge (<math>x_n</math>) mit <math>I\ni x_n\ne x_0</math> und <math>x_n\rightarrow x_0</math> überein, so sind die Reihen identisch, d. h. |
|||
::<math>a_\nu=b_\nu\qquad(\nu\in\N_0)</math> |
|||
: Der Beweis ergibt sich induktiv über gliedweise Differentiation einer Potenzreihe aus dem Identitätssatz für holomorphe Funktionen.<ref name="lex2s476"/> |
|||
;Identitätssatz für Polynome: |
|||
:Der Identitätssatz für [[Polynom]]e ist ein Spezialfall des Identitätssatzes für Potenzreihen und ist Grundlage für den [[Koeffizientenvergleich]].<ref name="lex2s476"/><ref>{{Literatur |
|||
| Titel=Lexikon der Mathematik |
|||
| Band=Band 3 (Inp-Mon) |
|||
| Verlag=Springer Spektrum Verlag |
|||
| Hrsg=Guido Walz |
|||
| Ort=Mannheim |
|||
| Jahr=2017 |
|||
| Seiten=131 |
|||
| ISBN=978-3-662-53501-1 |
|||
| DOI=10.1007/978-3-662-53502-8}}</ref> |
|||
== Mehrere Veränderliche == |
== Mehrere Veränderliche == |
||
Zeile 41: | Zeile 63: | ||
== Literatur == |
== Literatur == |
||
* {{Literatur |
|||
* E. Freitag & R. Busam – ''Funktionentheorie 1'', Springer-Verlag, 4. Auflage, ISBN 3-540-67641-4 |
|||
| Autor=E. Freitag, R. Busam |
|||
| Titel=Funktionentheorie 1 |
|||
| Verlag=Springer-Verlag |
|||
| Auflage=4. Auflage |
|||
| ISBN=3-540-67641-4}} |
|||
== Einzelnachweise == |
== Einzelnachweise == |
Version vom 8. Februar 2020, 10:40 Uhr
Der Identitätssatz für holomorphe Funktionen ist ein wichtiger Satz der Funktionentheorie. Er besagt, dass aufgrund der starken Einschränkungen an holomorphe Funktionen oft schon die lokale Gleichheit zweier solcher Funktionen ausreicht, um diese auch global zu folgern.
Identitätssatz
Seien und holomorphe Funktionen auf einer Umgebung von und sei ein Häufungspunkt der Koinzidenzmenge , dann existiert eine Umgebung von mit auf ganz .
Identitätssatz für Gebiete
Für Gebiete, insbesondere da sie zusammenhängend sind, lässt sich die Aussage des Identitätssatzes leicht verschärfen und wird auch fundamentaler Satz der Funktionentheorie genannt.[1]
Aussage
Seien ein Gebiet und und auf diesem Gebiet holomorphe Funktionen. Dann sind folgende Aussagen äquivalent:
- für alle , das heißt die Funktionen stimmen auf dem ganzen Gebiet überein.
- Die Koinzidenzmenge hat einen Häufungspunkt in .
- Es gibt ein , so dass für alle , das heißt in einem Punkt von stimmen die Funktionen und alle ihre Ableitungen überein.
Beweis
Holomorphe Funktionen sind analytisch, d. h. lokal jeweils durch ihre Taylorreihe darstellbar.
- 2. folgt sofort aus 1., da jeder Punkt in ein Häufungspunkt von ist.
- 3. folgt aus 2. durch Widerspruchsbeweis. Sei ein Häufungspunkt der Koinzidenzmenge. Ohne Einschränkung können wir voraussetzen. Annahme: Es gibt ein mit . Sei das kleinste solche. Dann ist in einer Umgebung der Null mit und die Nullstellenmenge von ist gleich der Konzidenzmenge, da stetig ist. Insbesondere gilt im Widerspruch zur Minimalität von .
- 1. folgt aus 3., weil zusammenhängend ist. Es genügt zu zeigen, dass die Menge nichtleer, offen und abgeschlossen in ist. Ersteres gilt nach Voraussetzung, letzteres ist klar, da ist, wobei die als stetige Urbilder der abgeschlossenen Menge wieder abgeschlossen sind und der Durchschnitt abgeschlossener Mengen wieder abgeschlossen ist. Schließlich ist offen: Ist , dann ist als analytische Funktion in einer Umgebung von gleich ihrer Taylorreihe, also identisch null. Diese Umgebung gehört also auch zu .
Beispiel
Beim zweiten Punkt ist es essentiell, dass der Häufungspunkt im Gebiet und nicht auf dessen Rand liegt. Betrachte dazu folgendes Beispiel:
Die Funktion ist holomorph auf , die Folge liegt darin und konvergiert gegen 0. Also ist 0 ein Häufungspunkt der Folge und es gilt , aber natürlich gilt auch . Also stimmt auf der Menge der (die den Häufungspunkt 0 besitzt) mit der Nullfunktion überein, aber offensichtlich nicht auf ganz .
Folgerungen
- Eindeutige Fortsetzbarkeit reeller Funktionen
- Eine wesentliche Folgerung aus dem Identitätssatz ist die eindeutige Fortsetzbarkeit reeller Funktionen:
Kann man eine reelle Funktion holomorph auf die komplexe Ebene fortsetzen (dies ist im Allgemeinen nicht möglich), so ist diese Fortsetzung eindeutig.
Der komplexe Sinus ist daher wirklich die einzige holomorphe Fortsetzung des reellen Sinus. Insbesondere gelten auch die Additionstheoreme für den komplexen Sinus. - Sonderfall g=0
- Ein Sonderfall des Identitätssatzes für Gebiete, der sehr häufig angewendet wird, ergibt sich mit :
Hat die Nullstellenmenge von in einem Gebiet einen Häufungspunkt, so gilt auf ganz . - Nullteilerfreiheit des Rings der holomorphen Funktionen
- Der Ring der holomorphen Funktionen auf einem Gebiet ist nullteilerfrei, d. h. aus folgt stets oder . Seien hierzu holomorph mit und . Dann gibt es einen Punkt in und eine Umgebung von mit für alle . Dann gilt aber , und somit nach dem Sonderfall.
- Identitätssatz für Potenzreihen
- Es seien
- und
- zwei Potenzreihen um den gleichen Entwicklungspunkt mit reellen oder komplexen Koeffizienten bzw. und einem gemeinsamen nichttrivialen Konvergenzbereich . Stimmen die Werte für alle einer Folge () mit und überein, so sind die Reihen identisch, d. h.
- Der Beweis ergibt sich induktiv über gliedweise Differentiation einer Potenzreihe aus dem Identitätssatz für holomorphe Funktionen.[1]
- Identitätssatz für Polynome
- Der Identitätssatz für Polynome ist ein Spezialfall des Identitätssatzes für Potenzreihen und ist Grundlage für den Koeffizientenvergleich.[1][2]
Mehrere Veränderliche
In der Funktionentheorie mehrerer Veränderlicher treten Nullstellenmengen mit Häufungspunkten auf. Die holomorphe Funktion verschwindet auf der Geraden ohne selbst die Nullfunktion zu sein. In der Funktionentheorie mehrerer Veränderlicher gilt ein Identitässatz in folgender Form:[3]
- Ist ein Gebiet und sind zwei holomorphe Funktionen, die auf einer nicht-leeren offenen Teilmenge von übereinstimmen, so ist auf ganz .
Literatur
- E. Freitag, R. Busam: Funktionentheorie 1. 4. Auflage. Springer-Verlag, ISBN 3-540-67641-4.
Einzelnachweise
- ↑ a b c Guido Walz (Hrsg.): Lexikon der Mathematik. Band 2 (Eig-Inn). Springer Spektrum Verlag, Mannheim 2017, ISBN 978-3-662-53503-5, S. 476, doi:10.1007/978-3-662-53504-2.
- ↑ Guido Walz (Hrsg.): Lexikon der Mathematik. Band 3 (Inp-Mon). Springer Spektrum Verlag, Mannheim 2017, ISBN 978-3-662-53501-1, S. 131, doi:10.1007/978-3-662-53502-8.
- ↑ Gunning-Rossi: Analytic functions of several complex variables. Prentice-Hall 1965, Kap. I.A, Theorem 6 (Identity Theorem)