Lexikon der Mathematik: Hauptzweig der Wurzel
diejenige in der geschlitzten Ebene \({{\mathbb{C}}}^{-}={\mathbb{C}}/(-\infty, 0]\) holomorphe Funktion f mit \({(f(z))}^{n}=z\) für \(z\in {{\mathbb{C}}}^{-}\) und f(1) = 1, wobei n ∈ ℕ, n ≥ 2. Man schreibt
Insgesamt existieren genau n in \({{\mathbb{C}}}^{-}\) holomorphe Zweige der Wurzel, nämlich die Funktionen fk mit \({({f}_{k}(z))}^{n}=z\) für \(z\in {{\mathbb{C}}}^{-}\) und \({f}_{k}(1)={e}^{2\pi ki/n}\) für k = 0, 1, …, n − 1. Dabei ist f0 der Hauptzweig. Keiner dieser Zweige ist in einen Punkt x0 ∈ (−∞, 0] stetig fortsetzbar.
Allgemeiner existiert in jedem einfach zusammenhängenden Gebiet \(G\subset {\mathbb{C}}\) mit \(0\notin G\) ein holomorpher Zweig der Wurzel, d. h. es gibt eine in G holomorphe Funktion g mit \({(g(z))}^{n}=z\) für alle \(z\in G\). Dabei ist der Zweig durch die Festlegung eines Werts von g an einer festen Stelle \({z}_{0}\in G\) eindeutig bestimmt. Außerdem existiert in jedem einfach zusammenhängenden Gebiet G und zu jeder in G holomorphen Funktion h, die in G keine Nullstellen besitzt, ein holomorpher Zweig der Wurzel von h, d. h. eine in G holomorphe Funktion g mit \({(g(z))}^{n}=h(z)\) für alle \(z\in G\). Die Eindeutigkeit erreicht man ebenfalls durch Festlegung eines Werts für \(g({z}_{0})\).
Wenn Sie inhaltliche Anmerkungen zu diesem Artikel haben, können Sie die Redaktion per E-Mail informieren. Wir lesen Ihre Zuschrift, bitten jedoch um Verständnis, dass wir nicht jede beantworten können.