Homepage › Solution manuals › Walter Rudin › Principles of Mathematical Analysis › Exercise 9.9
Exercise 9.9
Exercise 9: If is a differentiable mapping of a connected open set into , and if for every , prove that is constant in .
Answers
Fix . Since is open, there is a open ball containing . By the Corollary to Theorem 9.19, is constant on . Hence the set of all points such that is an open subset of . Similarly, the set is also open in (being the union of open sets on which has a constant value not equal to ). By Exercise 2.19(b), and are two separated sets whose union is . Since is connected, we must have , so is constant on .