I need to prove that every bounded open interval in is a union of disjoint open sets. Not sure, but here's what I got:

Let be an open interval and let with and assume . Put and define . Then and it is a union of open sets.

Now we need to show they are pairwise disjoint. Using the previous definition of , there is an open ball and the ball with . Suppose some . Then gives a contradiction.