>>56
任意の点a=(x0,y0)∈Uに対して、ε=(点(x0,y0)と直線y=xとの距離÷2)
っておけば、開球B(a,ε)⊂Uになる。
が、直感的に自明なことを、再び直感にたよって証明するのもおかしい気がする。