In R, every nonempty open set is the disjoint union of a countable collection of open intervals. (Royden/Fitzpatrick, 4th edition)(adsbygoogle = window.adsbygoogle || []).push({});

What is the most general setting in which every open set is a disjoint union of countable collection of open balls (or bases)? In R^n? In metric spaces? In second countable topological spaces?

The above theorem in R took me by surprise when I saw it for the first time.

**Physics Forums | Science Articles, Homework Help, Discussion**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Open set is countable union of disjoint open balls

**Physics Forums | Science Articles, Homework Help, Discussion**