Fix . Since is open, choose an open ball . For any in this ball the segment remains in it. For each coordinate , the chain rule gives
The ordinary mean value theorem therefore gives for every coordinate, hence . Thus is a locally constant function.
For each , its preimage is a union of such open balls, so is open in . Its complement in is the union of the other fibers and is also open. If is nonempty and connected, the nonempty fiber through any chosen point is both open and closed in , and must be all of . Therefore
The empty-domain case is vacuous. Notice that continuity of was never needed.

Articles by others on the same topic (0)

There are currently no matching articles.