Open sets in the product topology

In summary, the conversation discusses the Tube Lemma and gives an example where it fails to apply on the Euclidean plane constructed as R x R. This is because R is not compact. The example given is the open set N = {(x, y) : |x·y| < 1}, which contains {0} x R but no tube. The speaker also expresses their understanding of why N contains no tube in this case and their concern about identifying N as an open set in R x R. The response suggests using the fact that open sets in R x R are generated by unions of basis elements, which are cartesian products of open sets in R. The speaker also notes their hesitation when looking at unbounded regions, but acknowledges that
  • #1
dumbQuestion
125
0
In reading about the Tube Lemma, an example is given where the Tube Lemma fails to apply: namely, the euclidean plane constructed as R X R. The Tube Lemma does not apply here because R is not compact. The example given is as follows:

Consider R × R in the product topology, that is the Euclidean plane, and the open set N = { (x, y) : |x·y| < 1 }. The open set N contains {0} × R, but contains no tube, so in this case the tube lemma fails. I understand why N contains no tube (because as we go out along the x in the + and - direction and also as we go up and down along the y axis, the region N "hugs" these axis tighter and tighter and tighter, with no bounds on how tight it gets around the axis). My problem is I don't understand how I should know just by looking at it that N is an open set in R X R. I know that open sets in R X R in this product topology are generated by unions of basis elements, and the basis elements are generated by taking cartesian products of open sets in R. (so for example, the cartesian product of (1,2) X (2,3) would be a basis element in the product topology R X R). So I guess I could look at some bounded open region in R X R and say, yeah, well this is clearly an open set in the product topology. Or I could look at the union of a bunch of open bounded regions and it would be obvious these too were open sets since they are unions of basis elements. But when I start to look at an unbounded region, I am kind of "afraid" to trust my intuition here. Does this work because the topology generated by a basis is made up of any arbitrary union of basis elements? So I can keep "unioning" basis elements that are smaller and smaller down the axis to get that open set N?EDIT: Also, why wouldn't that example for the tube lemma not applying not apply to the case where we have R X [-1,1] with the subspace topology inherited from R X R? Because here [-1,1] is compact, but if we still take N = N = { (x, y) : |x·y| < 1 } then it keeps "hugging" the x - axis as it gets further and further out and I don't see how we could get a tube in there?
 
Last edited:
Physics news on Phys.org
  • #2
The easiest way is to take ##f:\mathbb{R}^2\rightarrow \mathbb{R}:(x,y)\rightarrow |x-y|##. Then ##N = f^{-1}( (-\infty, 1) )## and is open as the inverse image of an open set under a continuous map.
 

Related to Open sets in the product topology

1. What is an open set in the product topology?

An open set in the product topology is a set of points that can be enclosed within a circle or sphere without including any of its boundary points. In other words, it is a set that does not contain any of its limit points.

2. How are open sets defined in the product topology?

In the product topology, an open set is defined as a union of open sets in each of the individual spaces. This means that for a set to be open in the product topology, it must be open in each of the individual spaces it contains.

3. What is the importance of open sets in the product topology?

Open sets in the product topology are important because they allow us to define continuity and convergence in product spaces. They also play a crucial role in topological properties such as connectedness and compactness.

4. How do open sets behave under Cartesian products?

Under Cartesian products, open sets behave similarly to the way they do in individual spaces. This means that the Cartesian product of two open sets will also be an open set in the product topology.

5. Can open sets in the product topology be empty?

Yes, open sets in the product topology can be empty. This occurs when the individual spaces involved in the Cartesian product are also empty, resulting in an empty product space.

Similar threads

  • Topology and Analysis
Replies
5
Views
269
  • Topology and Analysis
Replies
2
Views
1K
  • Topology and Analysis
Replies
8
Views
2K
Replies
2
Views
400
  • Topology and Analysis
Replies
4
Views
403
Replies
2
Views
368
Replies
2
Views
194
Replies
2
Views
2K
Replies
3
Views
911
  • Topology and Analysis
Replies
11
Views
1K
Back
Top