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

  • Context: Graduate 
  • Thread starter Thread starter symbol0
  • Start date Start date
  • Tags Tags
    Product Space
Click For Summary

Discussion Overview

The discussion revolves around the concept of product topology in topology, specifically addressing the idea that an unrestricted product of open sets in coordinate spaces may not be open in the product topology. Participants seek examples and clarification on this topic.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification

Main Points Raised

  • One participant requests an example of an unrestricted product of open sets that is not open in the product topology.
  • Another participant mentions that the Cantor set is homeomorphic to a product of countably many copies of the discrete space {0,1}, noting that every subset of {0,1}^N is a union of set-theoretic products of open subsets of {0,1}.
  • A participant proposes that the issue arises when dealing with an infinite number of spaces in the product, suggesting that taking the product of infinitely many open sets smaller than the coordinate spaces results in a set that is not open in the product topology.
  • Another participant provides an example involving the infinite product of {0,1}, stating that the product of the singleton {0} in every factor leads to a singleton in the product space that is not open.

Areas of Agreement / Disagreement

Participants express similar concerns regarding the nature of open sets in product topology, particularly in the context of infinite products. However, the discussion remains unresolved as to the specific examples and implications of these concepts.

Contextual Notes

The discussion highlights the complexity of open sets in product topology, particularly with infinite products, but does not resolve the underlying mathematical principles or assumptions involved.

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 31 ·
2
Replies
31
Views
3K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 15 ·
Replies
15
Views
5K
  • · Replies 7 ·
Replies
7
Views
6K
  • · Replies 43 ·
2
Replies
43
Views
7K
  • · Replies 14 ·
Replies
14
Views
10K
  • · Replies 61 ·
3
Replies
61
Views
7K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 20 ·
Replies
20
Views
4K