Product Space: Example of Unrestricted Open Set Not Open in Product Topology

  • Thread starter Thread starter symbol0
  • Start date Start date
  • Tags Tags
    Product Space
Click For Summary
An unrestricted product of open sets in coordinate spaces may not be open in the product topology, particularly when dealing with infinite products. The Cantor set serves as an example, being homeomorphic to a product of countably many copies of the discrete space {0,1}, yet it is not discrete. When infinitely many open sets are taken from coordinate spaces, the resulting set may fail to meet the criteria for being open in the product topology, as only a finite number of projections can differ from the coordinate spaces. For instance, the infinite product of the interval (0,1) does not yield an open set in the product topology. Thus, the singleton set formed from the product of {0} across all factors is not open in the context of the infinite product space.
symbol0
Messages
77
Reaction score
0
Hi,
I'm starting to read an introduction to topology book.
In the chapter about the topology of the product space (product of topological spaces), it says: "It should be clearly understood that an unrestricted product of open sets in the coordinate spaces need not be open in the product topology".

Can anybody please give me an example of this?
Thank you
 
Physics news on Phys.org
Wikipedia mentions that the Cantor set is homeomorphic to a product of countably many copies of the discrete space {0,1}.

The Cantor set is not discrete. But note that every subset of {0,1}N is a union of set-theoretic products of open subsets of {0,1}.
 
Thanks for the reply Hurkyl.

This is what I was thinking: We get into the quoted situation when the amount of spaces in the product is infinite. If we take the product of infiinitely many open sets smaller than the coordinate spaces, then we have infinitely many projections smaller than the coordinate spaces. But then this resulting set wouldn't be in the product topology because only a finite amount of projections of a set in the product topology can be different than the coordinate spaces.
So for example if our product space is the product of the real line infinitely many times, then taking the product of (0,1) infinitely many times does not result in an open set in the product topology.
Is this right?
 
Our space C is the infinite product of {0,1}. In the space {0,1}, the singleton {0} is open. But the product of {0} in every factor (which gives us a singleton in C) is not open in C.
 
Thanks g_edgar,
The singleton in C is not open because of what I explained in my previous reply, right?
 

Similar threads

  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 7 ·
Replies
7
Views
5K
  • · Replies 15 ·
Replies
15
Views
5K
  • · Replies 43 ·
2
Replies
43
Views
6K
  • · Replies 13 ·
Replies
13
Views
5K
  • · Replies 61 ·
3
Replies
61
Views
6K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K