74 CHAPTER 2. BASIC TOPOLOGY AND ALGEBRA

Proof: Let ε > 0 be given and let N be so large that whenever n,m≥ N, it follows thatd (xn,xm) ,d (yn,ym)< ε/2. Then for such n,m

|d (xn,yn)−d (xm,ym)| ≤ |d (xn,yn)−d (xn,ym)|+ |d (xn,ym)−d (xm,ym)|≤ d (yn,ym)+d (xn,xm)< ε

by Theorem 2.4.8. Therefore, {d (xn,yn)}n is a Cauchy sequence in R and so it converges.■

Definition 2.11.2 Let x∼ y when limn→∞ d (xn,yn) = 0.

Lemma 2.11.3 ∼ is an equivalence relation.

Proof: Clearly x∼ x and if x∼ y then y∼ x. Suppose then that x∼ y and y∼ z. Isx∼ z?

d (xn,zn)≤ d (xn,yn)+d (yn,zn)

and both of those terms on the right converge to 0. ■

Definition 2.11.4 Denote by [x] the equivalence class determined by the Cauchysequence x. Let d ([x] , [y])≡ limn→∞ d (xn,yn) .

Theorem 2.11.5 Denote by X̂ the set of equivalence classes. Then d defined aboveis a metric, X̂ with this is a complete metric space, and X can be considered a dense subsetof X̂ .

Proof: That d just defined is a metric is obvious from the fact that the original metricd satisfies the triangle inequality. It is also clear that d ([x] , [y]) ≥ 0 and that if [x] = [y] ifand only if d ([x] , [y]) = 0.

It remains to show that(X̂ ,d

)is complete. Let {[x]n}nbe a Cauchy sequence. From

Theorem 2.3.3 it suffices to show the convergence of a subsequence. There is a subse-quence, denoted as {[xn]} where xn is a representative of [x]n such that d

([xn] ,

[xn+1

])<

4−n. Thus there is an increasing sequence {kn} such that d(xn

k ,xn+1l

)< 2−n if k, l ≥ kn

where kn is increasing in n. Let y ={

xnkn

}∞

n=1. For m≥ kn and the triangle inequality,

d (xnm,ym) = d

(xn

m,xmkm

)≤ d

(xn

m,xnkn

)+d(xn

kn,xm

km

)≤ 2−n +

m−1

∑j=n

d(

x jk j,x j+1

km

)< 2−n +

m−1

∑j=n

2− j < 2−n +2−(n−1) < 2−(n−2)

Then y is a Cauchy sequence since it is a subsequence of one and also d ([xn] , [y])→ 0.To show that X is dense in X̂ , let [x] be given. Then for m large enough, d (xk,xm)< ε

whenever k≥m. It suffices to let y be the constant Cauchy sequence always equal to xm. ■

2.12 Exercises1. Explain carefully why in Rn, B∞ (p,r) = ∏

ni=1 (pi− r, pi + r)

74 CHAPTER 2. BASIC TOPOLOGY AND ALGEBRAProof: Let € > 0 be given and let N be so large that whenever n,m > N, it follows thatd (Xn,Xm) 4 (Yn, Ym) < €/2. Then for such n,mld (Xns Yn) —d (XmYm)| |d (Xns Yn) —d (Xn5¥m)| + ld (Xn, Ym) —d(Xm,Ym)|<< d(¥n,Ym) +d (Xn,Xm) <éby Theorem 2.4.8. Therefore, {d (x,y) },, is a Cauchy sequence in R and so it converges.aDefinition 2.11.2 Letx ~ y when limy—y00d (Xn, Yn) = 0.Lemma 2.11.3 ~ is an equivalence relation.Proof: Clearly x ~ x and if x ~ y then y~ x. Suppose then that x ~ y and y~z. Isx~Z?d (XnsZn) <d (Xn,Yn) +d (Yn Zn)and both of those terms on the right converge to 0.Definition 2.11.4 Denote by [x] the equivalence class determined by the Cauchysequence x. Let d ([x], [y]) = limyp.od (%n,yn) -Theorem 2.11.5 Denote by X the set of equivalence classes. Then d defined aboveis a metric, X with this is a complete metric space, and X can be considered a dense subsetof X.Proof: That d just defined is a metric is obvious from the fact that the original metricd satisfies the triangle inequality. It is also clear that d ([x] , [y]) > 0 and that if [x] = [y] ifand only if d ([x], [y]) = 0.It remains to show that (X,d) is complete. Let {[x],,},be a Cauchy sequence. FromTheorem 2.3.3 it suffices to show the convergence of a subsequence. There is a subse-quence, denoted as {[x”]} where x” is a representative of [x], such that d ([x"], [x"t!]) <4-". Thus there is an increasing sequence {k,} such that d (x¥,.7°!) < 27" if k,l > knwhere k,, is increasing inn. Let y = {x2 \ x For m > k,, and the triangle inequality,n n=m—1 ; .d(xsdim) = d(hox¥,) Sd (axe) +4 (xf, a) <2" + Ya (xf,,xf5")j=nm—1< 27+ Praca zz <a)janThen y is a Cauchy sequence since it is a subsequence of one and also d ([x"] , [y]) > 0.To show that X is dense in X, let [x] be given. Then for m large enough, d (x,,Xm) < €whenever k > m. It suffices to let y be the constant Cauchy sequence always equal to x,,.2.12 Exercises1. Explain carefully why in R”, B.. (p,r) = TTL, (pi- 4 pi +r)