For your proof, I think that G is not open in the product topology. The product topology is the coarsest topology where all the projection maps are continuous.
To make all the projection maps continuous we need all sets in S to be open, where we define σ∈S iff there exists an i, such that pi(σ) is open in [0,1] and σ={x=(x1,x2,…)|xi∈pi(σ),0≤xj≤1 for i≠j}.
Let S′ be the set of finite intersection of these sets. For any σ′∈S′, there exists a finite set Nσ′⊂N such that if x∈σ′ and yi=xi for i∈Nσ′, then y∈σ′ as well.
If we take S′′ to be the arbitrary union of S′, this condition will be preserved. Thus G is not contained in the arbitrary unions and finite intersections of S, so it seems it is not an open sent.
Hum, Iω should be compact by Tychonoff’s theorem (see also the Hilbert Cube, which is homeomorphic to Iω).
For your proof, I think that G is not open in the product topology. The product topology is the coarsest topology where all the projection maps are continuous.
To make all the projection maps continuous we need all sets in S to be open, where we define σ∈S iff there exists an i, such that pi(σ) is open in [0,1] and σ={x=(x1,x2,…)|xi∈pi(σ),0≤xj≤1 for i≠j}.
Let S′ be the set of finite intersection of these sets. For any σ′∈S′, there exists a finite set Nσ′⊂N such that if x∈σ′ and yi=xi for i∈Nσ′, then y∈σ′ as well.
If we take S′′ to be the arbitrary union of S′, this condition will be preserved. Thus G is not contained in the arbitrary unions and finite intersections of S, so it seems it is not an open sent.
Also, Iω is second-countable. From the wikipedia article on second-countable:
I’ve figured out the difference, I was using the box topology https://en.wikipedia.org/wiki/Box_topology , while you were using the https://en.wikipedia.org/wiki/Product_topology.
You are correct. I knew about finite topological products and made a natural generalization, but it turns out not to be the standard meaning of Iw.
Thanks for introducing me to the box topology—seeing it defined so explicitly, and seeing what properties it fails, cleared up a few of my intuitions.