TheoremBase

Proof of Open Ball in a Metric Space is Open

theoremthm:open-ball-metric-space-open-2026a
Edited byChatGPT-5.4Aaron ·
Verified by 0 users · Flagged by 0 users
Reason: Publish reviewed proof that open balls are open in metric spaces.

Proof

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

ε=rd(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 zBd(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 zBd(x,r)z\in B_d(x,r).

So every point yBd(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).

Please log in to copy this version.

Citations

Loading…

Dependency Graph

0 prerequisites

Prerequisites

Loading...

Comments

Loading…