Über die eineindeutige Abbildung zweier Bereiche auf einander bei nichtverschwindender Funktionaldeterminante. (Q2589614): Difference between revisions

Es handelt sich um die Gewinnung hinreichender Bedingungen für die Eineindeutigkeit stetig differenzierbarer Abbildungen eines (beliebigen) Bereiches \(A\) des \(R^{(n)}\) in den \(R^{(n)}\); und zwar unter Benutzung der Funktionaldeterminante. Unter einem ``Bereich'' wird dabei die abgeschlossene Hülle einer beschränkten, offenen, zusammenhängenden Punktmenge verstanden. Die Ergebnisse lauten: Es sei \(\varPhi (P) = P^*\) die Abbildung und \(A^* = \varPhi (A)\). Ein Punkt \(P^*\) aus \(A^*\) heiße einfach oder mehrfach, je nachdem seine Urbildmenge \(\varPhi^{-1} (P^*)\) einpunktig oder mehrpunktig ist. \textit{Vor}. Es sei \(\varPhi\) stetig differenzierbar in einer Umgebung von \(A\). Im offenen Kern \(\underline{A}\) von \(A\) sei die Funktionaldeterminante \(F (P)\) von \(\varPhi (P)\) nicht Null. Außerdem sei \(\varPhi(\underline{A}- A)\) Teilmenge von \((A^* - \underline{A}^*\)). -- \textit{Beh}. 1) Es enthält \(\underline{A}^*\) entweder nur mehrfache oder nur einfache Punkte; letztenfalls ist \(\underline{A}^*\) schlichtes Bild von \(\underline{A}\). -2) Enthält \((A^* - \underline{A}^*)\) mindestens einen einfachen Punkt \(P^* = \varPhi (P)\) mit \(F (P) \not= 0\), so ist \(\underline{A}^*\) schlichtes Bild von \(\underline{A}\). -- 3) Enthält also \(A^*\) mindestens einen einfachen Punkt \(P^* = \varPhi (P)\) mit \(F (P) \not = 0\) und keinen mehrfachen auf \((A^* - \underline{A}^*)\), so ist \(A^*\) schlichtes Bild von \(A\). -- 4) Ist \(F (P) \not = 0\) für alle \(P \in A\), und ist mindestens ein Punkt von \(\underline{A}^*\) mehrfach, so sind alle Punkte von \(A^*\) mehrfach. -- Die Beweise sind ganz elementar.