R上の外点定義

「距離空間(R,d)」についてのノートのメンテ完了。
外点定義を一部更新。