HW10

From 0506Topology

hide timeline for printing/editing
# Week of... Links (edit)
Fall
1 Sep 12 About, Tue, Thu, Std2Disc
2 Sep 19 Tue, Thu, HW1, 14 Sets
3 Sep 26 Tue, Thu, Photo
4 Oct 3 Tue, Thu
5 Oct 10 HW2, Tue, Thu
6 Oct 17 Tue, Thu, HW3
7 Oct 24 Mon, Tue, Thu
8 Oct 31 Tue, Thu, HW4
9 Nov 7 TE1, Tue, Thu
10 Nov 14 Tue, Thu, HW5
11 Nov 21 Tue, Thu
12 Nov 28 Tue, Thu, HW6
13 Dec 5 Tue, Thu
E Dec 12 TE2
Spring
14 Jan 9 Tue, IT83, Thu, HW7
15 Jan 16 Tue, Thu
16 Jan 23 Tue, HW8, Thu
17 Jan 30 Tue, Thu
18 Feb 6 TE3, Tue, Thu
19 Feb 13 Tue, Thu
R Feb 20
20 Feb 27 Tue, Thu, HW9
21 Mar 6 Tue, Thu, HW10
22 Mar 13 Tue, Thu
23 Mar 20 Tue, Thu, HW11
24 Mar 27 Tue, Thu
25 Apr 3 Tue, Thu, HW12
26 Apr 10 Tue, Thu
Study Apr 17 Office Hours
Exams Apr 24 Final, PM

Homework Assignment 10

Required reading. Read, reread and rereread your notes to this point, and make sure that you really, really really, really really really understand everything in them. Do the same every week! Also, read Hatcher's pages 97-153 and 166-177.

Solve the following problems. (But submit only the underlined ones). In Hatcher's book pages 131-133, problems 1, 8, 26, 27 and 29 and page 155 problems 3, 4 and 8.

Due date. (postponed!) This assignment is due at the end of our class on Tuesday, March 28, 2006.

Just for fun. Remember the connected sum operation \# from our quick discussion of surfaces? Prove that the connected sum {\mathbb{R}}{\mathbb{P}}^2\#{\mathbb{R}}{\mathbb{P}}^2\#{\mathbb{R}}{\mathbb{P}}^2 of three copies of the projetive plane {\mathbb{R}}{\mathbb{P}}^2 is homeomorphic to the connected sum {\mathbb{R}}{\mathbb{P}}^2\# T^2 of a single projective plane {\mathbb{R}}{\mathbb{P}}^2 and single torus T2.

Above the line, edit only if you are sure Feel free to edit below the line

Table of contents

Solution of "Just for fun" problem:

Here is a solution of the problem, posted by User:Pablo:

Enlarge
Enlarge


Problems for Submission

Hatcher \S2.1, pp. 132-133

8.
An example of a lens space constructed out of 5 tetrahedra.
Construct a 3-dimensional Δ-complex X from n tetrahedra T_1,\ldots,T_n by the following two steps: First arrange the tetrahedra in a cyclic pattern as in the figure, so that each Ti shares a common vertical face with its two neighbors Ti − 1 and Ti + 1, subscripts being taken mod n. Then identify the bottom face of Ti with the top face of Ti + 1 for each i. Show that the simplicial homology groups of X in dimensions 0, 1, 2, 3 are \mathbb{Z}, \mathbb{Z}_n, 0, \mathbb{Z}, respectively. (The space X is an example of a lens space.)
27.
Let f\colon (X,A)\to (Y,B) be a map such that bothf\colon X\to Y and the restriction f\colon A\to B are homotopy equivalences.
  • Show that f_*\colon H_n(X,A)\to H_n(Y,B) is an isomorphism for all n.
  • For the case of the inclusion f\colon (D^n,S^{n-1})\to (D^n,D^n-\{0\}), show that f is not a homotopy equivalence of pairs—there is no g\colon (D^n,D^n-\{0\})\to (D^n,S^{n-1}) such that fg and gf are homotopic to the identity through maps of pairs. (Hint: Observe that a homotopy equivalence of pairs (X,A)\to (Y,B) is also a homotopy equivalence for the pairs obtained by replacing A and B by their closures.)
29.
Show that S^1\times S^1 and S^1\vee S^1 \vee S^2 have isomorphic homology groups in all dimensions, but their universal covering spaces do not.

Hatcher \S2.2, p. 155

3.
  • Let f\colon S^n\to S^n be a map of degree zero. Show that there exist points x, y\in S^n with f(x) = x and f(y) = − y.
  • Use this to show that if F is a continuous vector field defined on the unit ball Dn in \mathbb{R}^n such that F(x)\ne 0 for all x, then there exists a point on \partial D^n where F points radially outward and another point on \partial D^n where F points radially inward.
8.
A polynomial f(z) with complex coefficients, viewed as a map \mathbb{C}\to\mathbb{C}, can always be extended to a continuous map of one-point compactifications \hat f\colon S^2\to S^2. Show that the degree of \hat f equals the degree of f as a polynomial. Show also that the local degree of \hat f at a root of f is the multiplicity of the root.