Fix . Since is open, choose an open ball . For any in this ball the segment remains in it. For each coordinate , the chain rule givesThe 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 . ThereforeThe empty-domain case is vacuous. Notice that continuity of was never needed.
Articles by others on the same topic
There are currently no matching articles.