Подумал о следущем вопросе: пусть дано дифференцируемое отображение

, где

-некоторая открытая односвязная область в

. Верно ли, что если отображение

инъективно, то Якобиан

не может принимать в

значения разных знаков?
Для

это довольно тривиально, и кажется интуитивно верным и для более высоких размерностей. Для простоты можно ограничиться случаем

и

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