MATH 214 Final, Fall 2018

American University of Beirut · Topology I · 2 pages · Dr. Richard Aoun

All MATH 214 files
MATH 214 Final, Fall 2018, page 1

Stuck on a question? A tutor can walk you through it.

MATH 214 Final, Fall 2018, page 2

More MATH 214 files

Show the text of this final exam
Topology I - Math 214 Final Dr. Richard Aoun - Fall 2018 Fall 2018 Exercise 1. Endow R? with the Euclidean metric dz. For every R > 0, we denote by S(0, R) the sphere of center the origin and radius R and by B(0, R) the open ball of center the origin and radius R. *1. (a) (General question) Let X and Y be two topological spaces and f : X —> Y amap. Show that if X is connected and f is continuous, then f(X) is connected. (b) Using a suitable map f : [1, +00) x [0,27] —> R?, show that B(0,1)° := R? \ B(0,1) is connected. One can similarly prove (or deduce) that for every R > 0, B(0, R)° := R? \ B(O, R) is connected. You can use this fact later on without producing a proof. 2. (a) Let f : R? —> R be a continuous map. Let a € R. Show that if f7*({a}) is bounded, then there exists R > 0 such that f (B(O, R)©) € (-c0,a) or f (B(0,R)®) € (a, +00). (b) Let f : R? —> R be a continuous surjective map. Show that for every a € R, f-'({a}) is unbounded. Hint: For every R > 0, B(0, R) has compact closure. Exercise 2. A topological space X is said to be compactly generated if a subset A is closed in X whenever AN K is closed in K for every compact subset K C X. 1. (Preliminary) Let X be any topological space. Let (tn)nen be a sequence in X converging to some | € X. Show that K := {anjn > 0} U {I} is compact. 2. Deduce that any topological space that fulfills the conclusion of the sequence lemma (e.g. a metrizable space) is compactly generated. Exercise 3. We propose to find sufficient conditions for a continuous map between two topological spaces to be closed (recall that a map from a space X to a space Y is said to be closed if the direct image of any closed subset of X is closed in XS); el: Show that if X is a compact topological space and Y is a Hausdorff topological space, then any continuous map f : X — Y is closed. 2. A map f : X —>+ ¥ is said to be proper if for every compact subset K C Y, f~'(K) is compact. Cent Mrsurr (a) (Example) Show that ehiep f :R — Ris proper, if and only if, lim2|,400 |f(x)| = +00. (b) Let X be a topological space, Y a Hausdorff space and f : X —+ Y a continuous proper map. Let C be a closed subset of X. Show that for every compact subset K CY, f(C) NK is closed in Y. Hint: You can adapt some steps made in Question 1. Better, you can use it directly but in a suitable way. Remark and conclusion: Using the terminology of Exercise 2, we deduce that any contin- uous proper map f from a topological space X to a compactly generated Hausdorff space Y is a closed map. Exercise 4. Let (Kd) be a compact metric space and f : K —+ R a continuous map. 1. Show that f is uniformly continuous on K using two methods: (2) Method 1: using a suitable open cover of K. (b) Method 2: using the sequential characterization of compactness in metric spaces. Hint: Suppose that f is not uniformly continuous. Search then for two sequences (Tn )nen and (yn)een in K with a particular behavior. 2. Application: We take here K = [0,1!. We say that p: K —> R is piecewise-linear if there is a partition 0 = ag < a; < ... <a, = 1 of K such that p is linear on the interval {a,.@,41} for every 1 = 0,--- ,n. Let PL(K) < C(K) be the set of piecewise linear continuous functions on K. Show that PL(K) is dense in C(K) for the topology of uniform convergence. Bonus: Using Baire’s category theorem in a suitable complete metric space, show that there exists continuous functions on [0,1] which are nowhere monotone (i.e. not monotone on any subinterval of (0,1). Explain why Baire’s theorem implies actually that, in some sense to be precised rigorously, “almost all continuous functions on [0,1] are nowhere monotone”. Bonus bis*: Using Baire’s category theorem in a suitable complete metric space, show that there —° ” [0.1] which are nowhere differentiable (i.e. not differentiable at any x € (0, 1}). Explain why Baire’s theorem implies actually that, in some sense to be precised rigorously, “almost all continuous functions on {0,1} are nowhere differentiable”.