Подумал о следущем вопросе: пусть дано дифференцируемое отображение
, где
-некоторая открытая односвязная область в
. Верно ли, что если отображение
инъективно, то Якобиан
не может принимать в
значения разных знаков?
Для
это довольно тривиально, и кажется интуитивно верным и для более высоких размерностей. Для простоты можно ограничиться случаем
и
. Известна ли кому-нибудь подобное утверждение? Известен ли аналог теоремы Дарбу (о прохождении производной через любое промежуточное значение для Якобиана)? При беглом поиске ничего путного не нашел, кроме утверждения о том, что если отображение не инъективно, то найдется точка, в которой Якобиан равен нулю (аналог теоремы Ролля), доказательство которого, кстати, довольно нетривиально.