6hokage, fakt, ale ze mnie łosiek

Chciałam przez Londyn do Krakowa
Załóżmy, że robimy przekształcenie płaszczyzny
\(\displaystyle{ (x,y) \to (f(x,y),g(x,y))}\), przy czym obie funkcje f,g są ciągłe wraz z pierwszymi pochodnymi, a jakobian jest niezerowy w każdym punkcie (w przeciwnym razie odwzorowanie nie jest różnowartościowe, więc to w szczególności nie jest izometria).
(WKW) Odzworowanie jest izometrią wtedy i tylko wtedy, gdy \(\displaystyle{ |J|\equiv 1}\)
(poniższy dowód jest zrobiony na podstawie tego, co jest napisane w cytowanej książce)
Weźmy dowolny punkt P' z obrazu i weźmy dowolny obszar ograniczony D' zawierający P'. Ponieważ D' jest obrazem pewnego obszaru D, to ze wzoru na pole i z tw o zamianie zmiennych w całce mamy
\(\displaystyle{ |D|=\iint_Ddxdy=\iint_{D'}|J(x',y')|dx'dy'}\)
Z tw o wartości średniej dla całki mamy, że istnieje pewien punkt
\(\displaystyle{ (x'_0,y'_0)\in D'}\) taki, że
\(\displaystyle{ |D|=\iint_{D'}|J(x',y')|dx'dy'=|D'||J(x_0', y_0')|}\)
Ponieważ jakobian jest funkcją ciągłą w każdym punkcie obrazu (bo powstaje jako iloczyn i suma funkcji ciągłych), więc jeśli
\(\displaystyle{ (x_0',y_0')\to P}\) to wtedy
\(\displaystyle{ J(x_0',y_0')\to J(P)}\)
czyli
\(\displaystyle{ |J(P)|=\lim_{(x_0',y_0')\to P}\frac{|D|}{|D'|}}\)
Jeśli więc odwzorowanie jest izometrią, to oczywiście stosunek pól dla każdego punktu jest równy 1, zatem
\(\displaystyle{ |J|\equiv 1}\).
Odwrotnie, jeśli
\(\displaystyle{ |J|\equiv 1}\), to znaczy, że stosunek pola dowolnego obszaru do pola jego obrazu przez to przekształcenie dąży do 1, czyli odwzorowanie musi być izometrią (bo gdyby nie zachowało odległości jakichś dwóch punktów, to z ciągłości odwzorowania nie zachowałoby też odległości w pewnym obszarze zawierającym oba punkty, a wówczas pole obszaru i pole jego obrazu byłyby różne, a więc istniałby punkt, w którym jakobian nie jest równy 1)
Mam nadzieję, że nie oszukałam zbytnio
Dowód przechodzi dla dowolnego wymiaru, ponieważ korzysta się z własności definiowalnych ogólnie i z ich ogólnych własności.
Pozdrawiam.