>>644
双曲線は連結成分2個で
閉集合の公理より閉集合の和集合はまた閉集合だから
片方が閉集合であることを示せば十分。

んでその証明の中のε＝1/2min{d(x,y),d(-x,y)}
があるが、この最小値がとれることを示してるのが>642
最小値が存在することはちゃんと言わなければいけないぞ。