Chapter 11 — A Glimpse into Topology 93
can be extended to much wider generality. Some instructors may wish to use this
brief section as a springboard for further discussion; other may decide to omit it
completely.
Sample Assignment: Exercises 1, 3, 4, 7, 9, 10.
Partial Solutions:
1. IfP
1:=(x 1,y1),P2:= (x 2,y2),P3:= (x 3,y3), then
d
1(P1,P2)≤(|x 1−x3|+|x 3−x2|)+(|y 1−y3|+|y 3−y2|)
=d
1(P1,P3)+d 1(P3,P2).
Thusd
1satisfies the Triangle Inequality.
To see thatd
∞satisfies the Triangle Inequality, note that|x 1−x3|≤
d
∞(P1,P3) and|y 1−y3|≤d ∞(P1,P3), and also that|x 3−x2|≤d ∞(P3,P2)
and|y
3−y2|≤d∞(P3,P2). Therefore, we have|x 1−x2|≤|x 1−x3|+|x3−x2|≤
d
∞(P1,P3)+d ∞(P3,P2) and|y 1−y2|≤|y 1−y3|+|y 3−y2|≤d∞(P1,P3)+
d
∞(P3,P2), whence it follows thatd ∞(P1,P2) = sup{|x 1−x2|,|y1−y2|} ≤
d
∞(P1,P3)+d ∞(P3,P2).
2. Since|f(x)−g(x)|≤|f(x)−h(x)|+|h(x)−g(x)|≤d
∞(f,h)+d ∞(h, g) for all
x∈[0,1], it follows thatd
∞(f,g)≤d ∞(f,h)+d ∞(h, g) andd ∞satisfies the
Triangle Inequality.
We also haved
1(f,g)=
1
0
|f−g|≤
1
0
{|f−h|+|h−g|}=
1
0
|f−h|+
1
0
|h−g|=d 1(f,h)+d 1(h, g).
3. We haves =tif and only ifd(s, t)=1. Ifs =t, the value ofd(s, u)+d(u, t)
is either 1 or 2 depending on whetheruequalssort, or neither.
4. Sinced
∞(Pn,P) = sup{|x n−x|,|y n−y|},ifd ∞(Pn,P)→0 then it follows
that both|x
n−x|→0 and|y n−y|→0, whencex n→xandy n→y. Con-
versely, ifx
n→xandy n→y, then|x n−x|→0 and|y n−y|→0, whence
d
∞(Pn,P)→0.
5. If (x
n),(yn) converge tox,y, respectively, thend(P n,P)=|x n−x|+
|y
n−y|→0, so that (P n) converges toP. Conversely, since|x n−x|≤d(P n,P),
ifd(P
n,P)→0, then lim(x n)=x, and similarly for (y n).
6. If a sequence (x
n)inSconverges toxrelative to the discrete metricd,
thend(x
n,x)→0 which implies thatx n=xfor all sufficiently largen. The
converse is trivial.
7. Show that a set consisting of a single point is open. Then it follows that
every set is an open set, so that every set is also a closed set.
8. (a){(x, y):|x|+|y|≤1}is the square with vertices (±1,0) and (0,±1), includ-
ing its interior.
(b){(x, y):|x|≤1,|y|≤1}is the square with vertices (1,1),(−1,1),(−1,−1)
and (1,−1), including its interior.