Paper 2, Section II, E

Analysis II
Part IB, 2009

Let URnU \subseteq \mathbb{R}^{n} be a set. What does it mean to say that UU is open? Show that if UU is open and if f:U{0,1}f: U \rightarrow\{0,1\} is a continuous function then ff is also differentiable, and that its derivative is zero.

Suppose that g:URg: U \rightarrow \mathbb{R} is differentiable and that (Dg)xM\left\|\left.(D g)\right|_{x}\right\| \leqslant M for all xx, where (Dg)x\left.(D g)\right|_{x} denotes the derivative of gg at xx and \|\cdot\| is the operator norm. Suppose that a,bRn\mathbf{a}, \mathbf{b} \in \mathbb{R}^{n} and that the line segment [a,b]={λa+(1λ)b:λ[0,1]}[\mathbf{a}, \mathbf{b}]=\{\lambda \mathbf{a}+(1-\lambda) \mathbf{b}: \lambda \in[0,1]\} lies wholly in UU. Prove that g(a)g(b)Mab|g(\mathbf{a})-g(\mathbf{b})| \leqslant M\|\mathbf{a}-\mathbf{b}\|.

Let 1,,k\ell_{1}, \ldots, \ell_{k} be (infinite) lines in R3\mathbb{R}^{3}, and write V=R3\(1k)V=\mathbb{R}^{3} \backslash\left(\ell_{1} \cup \cdots \cup \ell_{k}\right). If a,bV\mathbf{a}, \mathbf{b} \in V, show that there is some cV\mathbf{c} \in V such that the line segments [a,c][\mathbf{a}, \mathbf{c}] and [c,b][\mathbf{c}, \mathbf{b}] both lie inside V. [You may assume without proof that R3\mathbb{R}^{3} may not be written as the union of finitely many planes.]

Show that if V{0,1}V \rightarrow\{0,1\} is a continuous function then ff is constant on VV.