TheoremBase

Proof

Let y∈Bd(x,r)y\in B_d(x,r). Then d(x,y)<rd(x,y)<r. Set

ε=r−d(x,y).\varepsilon=r-d(x,y).

Since d(x,y)<rd(x,y)<r, one has ε>0\varepsilon>0. We claim that

Bd(y,ε)⊆Bd(x,r).B_d(y,\varepsilon)\subseteq B_d(x,r).

Indeed, if z∈Bd(y,ε)z\in B_d(y,\varepsilon), then d(y,z)<εd(y,z)<\varepsilon. By the triangle inequality from Metric Space,

d(x,z)≤d(x,y)+d(y,z)<d(x,y)+ε=r.d(x,z)\le d(x,y)+d(y,z)<d(x,y)+\varepsilon=r.

Thus z∈Bd(x,r)z\in B_d(x,r).

So every point y∈Bd(x,r)y\in B_d(x,r) has an open ball centered at yy contained in Bd(x,r)B_d(x,r). By Open Subset of a Metric Space, the set Bd(x,r)B_d(x,r) is open in the metric space (X,d)(X,d).

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…