Solutions
If you are stuck, consult this page first.
When you are certain that you have completed an exercise (or you have given up completely), you can check the solution (not all exercises have worked solutions, unfortunately). You can also find some solutions in the "Plenary session" schedule.
Chapter 3
- 25–29 January
- ????Prove Proposition 3.1.4 (the inverse triangle inequality): If \((X,d)\) is a metric space and \(x,y,z\in X\) then \(|d(x,y)-d(y,z)|\leq d(x,z)\).
- Section 3.1: Exercises 1, 2, 6, 7
- Section 3.2: Exercises 1, 2, 5, 6, 8
- Consider \(X=\mathbb{R}\) with the canonical metric \(d(x,y)=|x-y|\). Show that the interval \((a,b)\) is open and that \([a,b]\) is closed, for any \(a,b\in\mathbb{R}\) with \(a\leq b\). (What happens if \(a=b\)?) Explain why \((a,b]\) is neither open nor closed when \(a<b\).
- Consider the metric space \(X = \mathbb{R}^n\) with the Euclidean metric. Let \(x\in X\) and \(r>0\), and define \(B=B(x;r)\). Determine \(B^\circ\), \(\overline{B}\) and \(\partial B\), the interior, closure and boundary of \(B\), that is, find an expression of the form \(B^\circ = \{y\in X\ |\ \dots\}\) for the three sets \(B^\circ\), \(\overline{B}\) and \(\partial B\).
- Let \((X,d)\) be a metric space. Prove that every finite subset of \(X\) is closed. (A finite set is a set containing only finitely many points.)
Hint: Show first that singletons (i.e. sets containing only one point) are closed. Next, use Proposition 3.3.13 b).
- 1–5 February
- Section 3.3: Exercise 1, 2, 3, 11, 7
- Section 3.3: Let \((X,d_X)\) and \((Y,d_Y)\) be metric spaces, let \(f:X\to Y\) be a continuous function, let \(y\in Y\) be some given point, and consider the problem of finding an \(x\in X\) such that \(f(x)=y\) (that is, we wish to solve the above equation). Prove that the set of solutions of this equation is a closed subset of \(X\).
Hint: Phrase the question in terms of finding \(f^{-1}\) of a closed set. - Consider \(X=\mathbb{R}\) with the canonical metric \(d(x,y)=|x-y|\). The support of a function \(f:\mathbb{R}\to\mathbb{R}\) is the set of points \(x\) where \(f(x)\neq 0 \). Prove that the support of a continuous function is always open.
Note: In the literature, the "support" of \(f\) is usually defined to be the closure of the above set, which is of course closed, not open. - Section 3.4: Prove that \((\mathbb{Z},d)\), where \(d(x,y)=|x-y|\), is complete.
Hint: What does it mean for a sequence in \((\mathbb{Z},d)\) to converge or to be Cauchy? - Section 3.4: Exercise 2, 4, 5, 6, 8
- Show that the equation \(\cos t = 2t\) has a unique solution.
Hint: Formulate the problem as finding the fixed point of a function \(f\). - Prove that any finite subset of a metric space is compact.
- Problem 3.5.1.
- 8–12 February
- Section 3.5: Exercises 5–11 and 15.
- 15–19 February
- Section 3.6: Exercises 1, 3, 4, 5.
- Section 4.1: Exercise 2, 4
- Section 4.2: Exercises 1, 2
- For each of the following concepts, write down its definition. If you know several definitions, write them all down. Try to be as rigorous as you can: for example, write "For every \(\epsilon>0\) there is some \(\delta>0\) such that…" and not "It's possible to fit a ball inside of…". Repeat this exercise on at least three different days. For each time, don't open the book until you are finished.
- A metric space.
- A subset of a metric space is bounded.
- An open subset of a metric space.
- A closed subset of a metric space.
- Convergence of a sequence in a metric space.
- A function f from one metric space to another is continuous at a point x.
- A sequence in a metric space is Cauchy.
- A complete metric space.
- 22–26 February
- For each of the following concepts, write down a definition. Try to be as rigorous as you can. Write your definitions both as rigorous definitions (as you would read in the book), and more informally using only words. Repeat this exercise at least three times on different days.
- A subset of a metric space is not bounded.
- A subset of a metric space is not open.
- A subset of a metric space is not closed.
- A sequence in a metric space does not converge.
- A function f from one metric space to another is discontinuous at a point x.
- A sequence in a metric space is not Cauchy.
- A metric space is incomplete.
- Hint: The opposite of \(\forall x : P(x)\) ("for all x, the property P(x) is true") is \(\exists x: \neg P(x)\) ("there exists an x such that P(x) is not true"). The opposite of \(\exists x : P(x)\) ("there exists an x for which the property P(x) is true") is \(\forall x: \neg P(x)\) ("for every x, the property P(x) is not true").
- Exercise 4.4.1
-
Prove that \(\int_0^x \cos(y) dy = \sin(x)\). To do so, start with the definitions
\(\cos(x) = \sum_{n=0}^\infty \frac{(-1)^n}{(2n)!}x^{2n},\qquad \sin(x) = \sum_{n=0}^\infty \frac{(-1)^n}{(2n+1)!}x^{2n+1}. \)
Prove that the Taylor series for \(\cos\) converges uniformly in any interval \([0,a]\) (use Weierstrass' M-test), and then apply Corollary 4.3.3. -
Let \(\{v_n\}_n\) be a sequence of functions \(v_n\in C^2([a,b],\mathbb{R})\) (all twice continuously differentiable functions) and assume that:
(i) \(\sum_{n=1}^\infty v_n''\) converges to some \(h\in C([a,b],\mathbb{R})\)
(ii) there is some \(x_0\in[a,b]\) such that \(\sum_{n=1}^\infty v_n(x_0)\) converges
(iii) there is some \(x_1\in[a,b]\) such that \(\sum_{n=1}^\infty v_n'(x_1)\) converges.
Prove that \(f(x)=\sum_{n=1}^\infty v_n(x)\) converges, and that \(f'=\sum_{n=1}^\infty v_n'\) and \(f''=\sum_{n=1}^\infty v_n''\). -
Give counterexamples to the previous problem when we do not assume either (ii) or (iii).
- For each of the following concepts, write down a definition. Try to be as rigorous as you can. Write your definitions both as rigorous definitions (as you would read in the book), and more informally using only words. Repeat this exercise at least three times on different days.
-
1–5 March
-
Section 4.5: Exercises 1, 2, 7
-
Section 4.6: Exercises 2, 3
-
The space \(C_b(X,Y)\) is always "larger" than \(Y\), in the sense that \(Y\) can be embedded in \(C_b(X,Y)\):
-
Indeed, show that the map \(i:Y\to C_b(X,Y)\) which maps \(y\in Y\) to the constant function \(f(x)\equiv y\), is an embedding (cf. Definition 3.1.3).
-
Show that \(i(Y)\) is precisely the subset of constant functions, and that this set is a closed subset of \(C_b(X,Y)\).
-
Conclude that \(C_b(X,Y)\) is complete if and only if \(Y\) is complete.
-
-
Section 4.7: Let f be the function \(f(y,t)=y\). Choose initial data, say, \(\bar y=1\). Perform a fixed point iteration of the equation
\(y(t) = \bar y + \int_0^t f(y(s),s)\,ds\)
that is, for some continuous function \(y^0\) (here, the superscripts are indices, not powers) let
\(y^{n+1}(t) = \bar y + \int_0^t f(y^n(s),s)\,ds\)
for \(n=0,1,2,\dots\). (It's easiest to start with \(y^0\equiv0\).) Compute \(y^1,y^2,y^3,y^4\). Give an expression for \(y^n\) for any \(n\), and prove that \(y^n\to y\), where \(y(t)=e^t\).
-
-
8–12 March
-
Section 4.8: 3, 6, 7
- For each of the following concepts, write down its definition. If you know several definitions, write them all down. Try to be as rigorous as you can: for example, write "For every \(\epsilon>0\) there is some \(\delta>0\) such that…" and not "It's possible to fit a ball inside of…". Repeat this exercise on at least three different days. For each time you do this, don't open the book until you are finished.
- A metric space is compact
- A subset of a metric space is compact
- A set is dense in a metric space
- A metric space is separable
- A function from one metric space to another is bounded
- A series of functions is uniformly convergent??????
-
- 15–20 March
-
Section 4.10: 1, 2, 3
-
Given \(f\in C([0,1],\mathbb{R})\), the n-th order Bernstein approximation of f is the polynomial
\(f_n(x) = \sum_{k=0}^n {n \choose k} x^k (1-x)^{n-k} f(k/n).\)
Using Matlab, Python or similar, compute and plot the Bernstein approximation of the following functions for various choices of n: \(f(x)=1,\ f(x)=x,\ f(x)=x^2,\ f(x)=|x-1/2|,\ f(x)=\sqrt{|x-1/2|}.\) Prove that for the first two functions, \(f=f_n\). -
Prove the following fact (Proposition 5.1.3): If \((V,\|\cdot\|)\) is a vector space then the function \(d\) defined by \(d(x,y)=\|x-y\|\) is a metric on V. (The metric d is the metric induced by the norm \(\|\cdot\|\), and \((V,d)\) is the metric space induced by the vector space \((V,\|\cdot\|)\).)
-
Prove Proposition 5.1.4.
-
Exercise 5.1.10, 5.1.11.
-
-
5–9 April
-
Section 5.3: Exercises 1, 2, 8, 9, 10, 12
-
Section 5.4: Exercises 2, 3, 4, 5, 7
-
Let \(A:\ell^\infty\to\ell^\infty\) be the function \(A((a_1,a_2,a_3,\dots)) = (0,a_1,a_2,\dots)\).
-
Show that A is a bounded linear operator
-
Find a bounded, linear operator \(B:\ell^\infty\to\ell^\infty\) such that \(BA=I\) (that is, B is a left inverse of A)
-
Show that \(AB\neq I\) (that is, B is not a right inverse of A)
-
-
-
-
Section 10.1: 5, 6, 7, 9, 10
-
Section 10.2: 1, 2
-
-
-
Section 10.3: 1–4
-
Section 10.4: 1, 2, 3, 6
-
-
-
Section 6.1: 1, 2, 3, 8, 10
-
Let \(f:\mathbb{R}\to Y\) be a function, where Y is a normed vector space. Explain why we can think of the Fréchet derivative \(f'(a)\) as a vector in Y.
-
Section 6.2: 1, 2, 4, 7, 10
-
Section 6.3: 1
-
-
3–7 May
-
???????Section 6.7: 1, 3, 4, 8
-
Let \(X,Y,Z\) be normed vector spaces and let \(F:X\to Y\times Z\) be a function. Denote its components by \(F(x)=(G(x),H(x))\). Show that F is Fréchet differentiable if and only if G and H are, and show that \(F'(x)=(G'(x),H'(x))\).
-
Section 6.6: 4, 6
Section 6.8: 2, 5, 12
-