Paper 2, Section II, E

Analysis II | Part IB, 2009

Let U⊆RnU \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:U→Rg: U \rightarrow \mathbb{R} is differentiable and that ∥(Dg)∣x∥⩽M\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,b∈Rn\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)∣⩽M∥a−b∥|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\(ℓ1∪⋯∪ℓk)V=\mathbb{R}^{3} \backslash\left(\ell_{1} \cup \cdots \cup \ell_{k}\right). If a,b∈V\mathbf{a}, \mathbf{b} \in V, show that there is some c∈V\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.

Typos? Please submit corrections to this page on GitHub.