IV
2018-04-08 13:26:25 UTC
Hallo,
könnt Ihr mir bitte wieder helfen?
Es scheint der mathematische Satz unten zu gelten (siehe
https://mathoverflow.net/questions/296676/algebraic-independence-of-the-composition-of-functions
; Beweis folgt später an anderer Stelle).
Ist dann folgende Behauptung wahr?
Seien f1: Z1 Gebiet \subseteq \mathbb{C} \to \mathbb{C} und f2 \: Z2 Gebiet
\subseteq \mathbb{C} \to \mathbb{C} über dem Koeffizientenkörper \mathbb{C}
algebraisch voneinander unabhängige holomorphe Funktionen und A eine über
dem Koeffizientenkörper \mathbb{C} algebraische Funktion mit A: D \subseteq
\mathbb{C}^2, (z1,z2) \mapsto A(z1,z2).
Dann hat die Funktion F: Z Gebiet \subseteq \mathbb{C} \to \mathbb{C}, z
\mapsto A(f1(z),f2(z)) keine holomorphe Umkehrfunktion.
Denn dadurch, daß entsprechend dem Satz unten f1 \circ g und f2 \circ g auch
für die Umkehrfunktion g der Funktion F über dem Koeffizientenkörper
\mathbb{C} algebraisch unabhängig voneinander sind, läßt sich der Ausdruck
A(f1(g(z)),f2(g(z))) nicht zu A1(z), mit A1 eine über dem
Koeffizientenkörper \mathbb{C} algebraische Funktion mit A1: D{A1} \subseteq
\mathbb{C} \to \mathbb{C}, z \mapsto A1(z), vereinfachen, also auch nicht zu
z. (Wie kann man das beweisen?)
Satz:
Seien f1, f2, g holomorphe Funktionen mit
f1: Z1 Gebiet \subseteq \mathbb{C} \to \mathbb{C},
f2: Z2 Gebiet \subseteq \mathbb{C} \to \mathbb{C},
g: Z3 Gebiet \subseteq \mathbb{C} \to \mathbb{C}, g nicht konstant,
und sei Z1 \cap Z2 \cap g(Z3) \neq \emptyset.
Wenn f1 und f2 über dem Koeffizientenkörper \mathbb{C} algebraisch
unabhängig voneinander sind, dann sind die Funktionen F1: Z \to \mathbb{C},
z \mapsto f1(g(z)) und F2: Z \to \mathbb{C}, z \mapsto f2(g(z)) über dem
Koeffizientenkörper \mathbb{C} algebraisch unabhängig voneinander.
Beide Sätze könnten bisher noch unbekannt zu sein. Sie könnten auch für die
Entscheidbarkeit der Auflösbarkeit von Gleichungen eine Rolle spielen. Es
wäre also lohnend, wenn Ihr hier Eure Erfahrung mit einbringen könntet.
Vielen Dank.
könnt Ihr mir bitte wieder helfen?
Es scheint der mathematische Satz unten zu gelten (siehe
https://mathoverflow.net/questions/296676/algebraic-independence-of-the-composition-of-functions
; Beweis folgt später an anderer Stelle).
Ist dann folgende Behauptung wahr?
Seien f1: Z1 Gebiet \subseteq \mathbb{C} \to \mathbb{C} und f2 \: Z2 Gebiet
\subseteq \mathbb{C} \to \mathbb{C} über dem Koeffizientenkörper \mathbb{C}
algebraisch voneinander unabhängige holomorphe Funktionen und A eine über
dem Koeffizientenkörper \mathbb{C} algebraische Funktion mit A: D \subseteq
\mathbb{C}^2, (z1,z2) \mapsto A(z1,z2).
Dann hat die Funktion F: Z Gebiet \subseteq \mathbb{C} \to \mathbb{C}, z
\mapsto A(f1(z),f2(z)) keine holomorphe Umkehrfunktion.
Denn dadurch, daß entsprechend dem Satz unten f1 \circ g und f2 \circ g auch
für die Umkehrfunktion g der Funktion F über dem Koeffizientenkörper
\mathbb{C} algebraisch unabhängig voneinander sind, läßt sich der Ausdruck
A(f1(g(z)),f2(g(z))) nicht zu A1(z), mit A1 eine über dem
Koeffizientenkörper \mathbb{C} algebraische Funktion mit A1: D{A1} \subseteq
\mathbb{C} \to \mathbb{C}, z \mapsto A1(z), vereinfachen, also auch nicht zu
z. (Wie kann man das beweisen?)
Satz:
Seien f1, f2, g holomorphe Funktionen mit
f1: Z1 Gebiet \subseteq \mathbb{C} \to \mathbb{C},
f2: Z2 Gebiet \subseteq \mathbb{C} \to \mathbb{C},
g: Z3 Gebiet \subseteq \mathbb{C} \to \mathbb{C}, g nicht konstant,
und sei Z1 \cap Z2 \cap g(Z3) \neq \emptyset.
Wenn f1 und f2 über dem Koeffizientenkörper \mathbb{C} algebraisch
unabhängig voneinander sind, dann sind die Funktionen F1: Z \to \mathbb{C},
z \mapsto f1(g(z)) und F2: Z \to \mathbb{C}, z \mapsto f2(g(z)) über dem
Koeffizientenkörper \mathbb{C} algebraisch unabhängig voneinander.
Beide Sätze könnten bisher noch unbekannt zu sein. Sie könnten auch für die
Entscheidbarkeit der Auflösbarkeit von Gleichungen eine Rolle spielen. Es
wäre also lohnend, wenn Ihr hier Eure Erfahrung mit einbringen könntet.
Vielen Dank.