Sur une propriété du rotationnel. (Q2602639)

Es sei \(P_1=f(P)\) eine stetig differenzierbare, mit nichtverschwindender Funktionaldeterminante versehene topologische Abbildung zweier offener zusammenhängender Mengen \(\mathfrak M\) und \(\mathfrak M_1\) des euklidischen \(E_{3}\) aufeinander. Ferner sei \(\mathfrak v\) ein stetig differenzierbares, auf \(\mathfrak M\) definiertes Vektorfeld und \(\mathfrak v_1\) sein durch \(P_1=f(P)\) vermitteltes Bild. Es wird gezeigt: Die Rotation von \(\mathfrak v\) (längs eines Bogens mit eindeutiger Paratingente) verhält sich gegenüber der Abbildung \(f\) kovariant, d. h. sie transformiert sich (abgesehen von der Multiplikation mit der Funktionaldeterminante) wie (\(dx\), \(dy\), \(dz\)).