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

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.