Let and be natural numbers and let be the real numbers. Identify the Cartesian product of Euclidean spaces with by writing a pair , with and , as the point whose coordinates are
this is the concatenation map, a bijection with the coordinatewise inverse described in claim 1 of Concatenation Identifies a Product of Euclidean Spaces with a Euclidean Space. For and , the product is regarded as a subset of under this identification.
Then the following hold.
1. (The whole space) is an open subset of .
2. (Products) If is open in and is open in , then is open in .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.