Measure, Integration & Real Analysis · Problem 5C.9
Banach Spaces — Sheldon Axler
Mathematics — Measure Theory · product-of-open-sets
Problem
Suppose G1 is a nonempty subset of Rm and G2 is a nonempty subset of Rn. Prove that G1×G2 is an open subset of Rm×Rn if and only if G1 is an open subset of Rm and G2 is an open subset of Rn.
[One direction of this result was already proved (see 5.36); both directions are stated here to make the result look prettier and to be comparable to the next exercise, where neither direction has been proved.]