Теорема о замене для двойных интегралов формулируется следующим образом:
Пусть на плоскости
задана область
, и пусть отображение преобразует эту область в область
на плоскости
. Будем считать, что отображение
задаётся функциями . Пусть:
1)
взаимно однозначно отображает
на
;
2) функции
,
непрерывно дифференцируемы на
(имеют непрерывные частные производные);
3) якобиан не обращается в нуль во всех точках из
, кроме быть может множества меры нуль.
Так же есть теорема о неявных функциях, определяемых системой уравнений, по которой из условий 2 и 3 предыдущей теоремы, делается вывод о существовании биекции между областями.
Итак, вопрос: зачем в теореме о замене для двойных интегралов требуется условие взаимно однозначного отображения?