# Let $B$ be the Borel measure on the real line, what is a good strategy to prove $B_{2}=B\times B$?

Here $B_{2}$ is the $\sigma$-algebra generated by open sets on the plane, $B$ is the $\sigma$-algebra generated by open sets on the real line. I need to prove the product measure coincides with the given measure.

-

Open sets in the plane are generated by open balls (well, discs, but this arguments apply not only to $\mathbb R^2$ but to $\mathbb R^n$). The product topology is generated by open rectangles.
I see your point. I remember seing a proof many years ago of how to fill a circle with countably many rectangles or viceversa. But here you don't need that. The Borel $\sigma$-algebra is the smallest $\sigma$-algebra that contains the given topology. Here both topologies are the same, so the two Borel $\sigma$-algebras have to be the same. – Martin Argerami Dec 3 '12 at 1:04
I made an ugly argument. Suppose we have an open set $A$, then its intersection with balls of radius $n$ constitute a sequence of open sets $A_{n}$. Each of them has a closure which is compact because it is bounded. Then I cover them repeatably by balls of radius $\frac{1}{2^{i}}$, which means I cover the parts left by first time with smaller balls. So eventually I reach a countable union of open balls by this process. – Bombyx mori Dec 3 '12 at 1:15