Autor |
holomorphe Funktion konstant |
|
nitram999
Aktiv  Dabei seit: 11.02.2019 Mitteilungen: 416
Wohnort: Würzburg
 | Themenstart: 2020-07-24
|
Hallo,
Warum ist jede holomorphe Funktion
f: \IC \\{0} -> D konstant?
(D ist die offene Einheitskreisscheibe)
Danke schon mal!
LG nitram999
|
Profil
|
Nuramon
Senior  Dabei seit: 23.01.2008 Mitteilungen: 3690
 | Beitrag No.1, eingetragen 2020-07-24
|
\(\begingroup\)\(\newcommand{\End}{\operatorname{End}}
\newcommand{\id}{\operatorname{id}}
\newcommand{\GL}{\operatorname{GL}}
\newcommand{\im}{\operatorname{im}}
\newcommand{\sgn}{\operatorname{sgn}}
\newcommand{\d}{{\rm d}}
\newcommand{\rg}{\operatorname{rg}}
\newcommand{\spur}{\operatorname{spur}}
\newcommand{\Hom}{\operatorname{Hom}}
\newcommand{\tr}{\operatorname{tr}}\)
Hallo,
kannst du zeigen, dass jede holomorphe Funktion $\IC\to D$ konstant ist?
Kannst du deine Behauptung auf diesen Fall zurückführen?\(\endgroup\)
|
Profil
|
nitram999
Aktiv  Dabei seit: 11.02.2019 Mitteilungen: 416
Wohnort: Würzburg
 | Beitrag No.2, vom Themenstarter, eingetragen 2020-07-24
|
Hallo Nuramon,
Ja in diesem Fall wäre f ja eine ganze Funktion und da diese beschränkt ist nach Voraussetzung ist f nach Liouville konstant.
Aber wie kann man die Behauptung auf diesen Fall zurückführen? Dann müsste f ja in 0 hebbar sein oder?
|
Profil
|
Nuramon
Senior  Dabei seit: 23.01.2008 Mitteilungen: 3690
 | Beitrag No.3, eingetragen 2020-07-24
|
Genau. Kennst du einen Satz, der eine Aussage über hebbare Singularitäten macht? Einen Hebbarkeitssatz sozusagen? 🙂
|
Profil
|
nitram999
Aktiv  Dabei seit: 11.02.2019 Mitteilungen: 416
Wohnort: Würzburg
 | Beitrag No.4, vom Themenstarter, eingetragen 2020-07-24
|
Ach stimmt, da wir lokal um 0 beschränkt sind ist der Riemannsche Hebbarkeitssatz anwendbar, wodurch 0 eine hebbare Singularität ist und f dann eine ganze Funktion ist.
Danke!
|
Profil
|
nitram999
Aktiv  Dabei seit: 11.02.2019 Mitteilungen: 416
Wohnort: Würzburg
 | Beitrag No.5, vom Themenstarter, eingetragen 2021-10-09
|
Ich habe hierzu noch eine Frage:
Mit dem Riemannschen Hebbarkeitssatz weiß man ja, dass f eine ganze Funktion ist. Um nun zu zeigen, dass f konstant ist, ist es wichtig, dass die Funktion f beschränkt ist.
Woher weiß man, dass das Bild f(0), der hebbaren Singularität, auch im Einheitsreis liegen muss?
Aus Stetigkeitsgründen kann f(0) ja nicht im Unendlichen liegen, könnte aber beispielsweise auf dem Rand des Einheitskreises liegen. Stimmt das?
Viele Grüße und Danke im Voraus!
|
Profil
|
sonnenschein96
Senior  Dabei seit: 26.04.2020 Mitteilungen: 705
 | Beitrag No.6, eingetragen 2021-10-09
|
Hallo nitram999,
\quoteon(2021-10-09 19:18 - nitram999 in Beitrag No. 5)
Aus Stetigkeitsgründen kann f(0) ja nicht im Unendlichen liegen, könnte aber beispielsweise auf dem Rand des Einheitskreises liegen. Stimmt das?
\quoteoff
Auch aus \(f(\mathbb{C})\subseteq\overline{\mathbb{D}}\) kannst Du mit dem Satz von Liouville darauf schließen, dass \(f\) auf \(\mathbb{C}\) und damit auch auf \(\mathbb{C}\setminus\{0\}\) konstant sein muss. Diese Konstante liegt dann natürlich in \(\mathbb{D}\).
Aber auch ohne den Satz von Liouville kannst Dir leicht überlegen, dass schon \(f(\mathbb{C})\subseteq\mathbb{D}\) gelten muss, da auch wenn \(f\) nicht konstant wäre, \(f(\mathbb{C})\) nach dem Satz über die offene Abbildung offen sein müsste.
|
Profil
|
nitram999
Aktiv  Dabei seit: 11.02.2019 Mitteilungen: 416
Wohnort: Würzburg
 | Beitrag No.7, vom Themenstarter, eingetragen 2021-10-09
|
Du hast natürlich recht, danke!
|
Profil
|