距離空間における開集合Oの定義は
任意のx∈Oに対して、あるε>0が存在して、x中心の半径εの開球B(x,ε)={y | d(x,y)<ε}がOにすっぽりと含まれる、つまり、B(x,ε)⊂Oが成り立つということです。
今回O={a}です。よって、Oからとれる元はaしかないのでa中心の開球がOの部分集合となるようにεをとります。ε=1/2とします。するとd(a,y)<εとなるようなyはaしかないので、B(a,ε)={a}です。なのでB(a,ε)⊂Oが成り立ちます。
回答
疑問は解決しましたか?
この質問を見ている人は
こちらの質問も見ています😉