HW1

From 0506Topology

#	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 1

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 all of Munkres chapter 2.

Solve the following problems. (But submit only the underlined ones). In Munkres' book (Topology, 2nd edition), problems 4, 8 on pages 83-84, problems 4, 8 on page 92, problems 6, 7, 13 on page 101, problems 9, 11, 12, 13 on page 112, problems 6, 7 on page 118 and problems 3, 8 on pages 126-128. Also solve (but don't submit) the following

Problem. Let $C$ be the "Cantor set", the closure of the set of real numbers in $[0,1]$ whose expansion to base $3$ doesn't contain the digit $1$ (e.g., $\frac34=0.2020202020202\ldots$ is in, but $\frac12=0.11111111\ldots$ is out). Prove that $C$ (taken with the topology induced from $\mathbb R$ ) is homeomorphic to $\{0,1\}^{\mathbb N}$ (taken with the product topology).

Due date. This assignment is due at the end of our class on Tuesday, October 11, 2005.

Above the line, edit only if you are sure.

Feel free to edit below the line.

Table of contents

1 Problems for submission

1.1 13, Problem 8, p. 83
1.2 16, Problem 4, p. 92
1.3 17, Problem 13, p. 101
1.4 18, Problem 13, p. 112
1.5 19, Problem 6, p. 118
1.6 20, Problem 3, p. 126

2 Other problems

2.1 13, Problem 4, p. 83
2.2 16, Problem 8, p. 92
2.3 17, Problem 6, p. 101
2.4 17, Problem 7, p. 101

3 Comments after marking

[edit]

Problems for submission

[edit]

$\S$ 13, Problem 8, p. 83

Apply Lemma 13.2 to show that the countable collection $\mathcal{B}=\{(a,b)\;|\;a < b, a,b\in\mathbb Q\}$ is a basis that generates the standard topology on $\mathbb R$ .
Show that the collection $\mathcal{C}=\{[a,b)\;|\; a < b, a,b\in\mathbb Q\}$ is a basis that generates a topology different from the lower limit topology on $\mathbb R$ .

[edit]

$\S$ 16, Problem 4, p. 92

A map $f \colon X \to Y$ is said to be an open map if for every open set $U$ of $X$ , the set $f (U)$ is open in $Y$ . Show that $\pi_1 \colon X \times Y \to X$ and $\pi_2 \colon X \times Y \to Y$ are open maps.

[edit]

$\S$ 17, Problem 13, p. 101

Show that $X$ is Hausdorff iff the diagonal $\Delta=\{x \times x \;|\; x \in X\}$ is closed in $X \times X$ .

[edit]

$\S$ 18, Problem 13, p. 112

Let $A \subset X$ ; let $f \colon A \to Y$ be continuous; let $Y$ be Hausdorff. Show that if $f$ may be extended to a continuous function $g \colon \bar A \to Y$ , then $g$ is uniquely determined by $f$ .

[edit]

$\S$ 19, Problem 6, p. 118

Let $\mathbf{x_1}, \mathbf{x_2}, \ldots$ be a sequence of the points of the product space $\prod X_\alpha$ . Show that this sequence converges to the point $\mathbf{x}$ iff the sequence $\pi_\alpha(\mathbf{x_1}), \pi_\alpha(\mathbf{x_2}), \ldots$ converges to $\pi_\alpha(\mathbf{x)}$ for each $α$ . Is this fact true if one uses the box topology instead of the product topology?

[edit]

$\S$ 20, Problem 3, p. 126

Let $X$ be a metric space with metric $d$ .

Show that $d \colon X \times X \to \mathbb R$ is continuous.
Let $X'$ denote a space having the same underlying set as $X$ . Show that if $d \colon X' \times X' \to \mathbb R$ is continuous, then the topology of $X'$ is finer than the topology of $X$ .

One can summarize the result of this exercise as follows: If $X$ has a metric $d$ , then the topology induced by $d$ is the coarsest topology relative to which the function $d$ is continuous.

[edit]

Comments after marking

A number of students seemed to be confused on the definition of the product topology, particularly what consistutes an open subset of the product space versus a basic open subset of the product space.

When trying to show a set was closed, many answers used the equivalent property ${\overline A = A}$ , and even ${\overline {X-A} = X-A}$ to show a set is open. For this assignment at least, these properties were far easier to prove either directly or by using that the pre-image of an open or closed set is open or closed respectively. Also ${\overline {\{x:d(x,x_0)<\epsilon\}}\ne\{x:d(x,x_0)\le\epsilon\}}$ , even in subset topologies of Euclidean space.