開球は開集合