Properties of Direct Product of Half Open and Open Intervals

In summary, the direct product of a half open interval and an open interval does not yield an open set. The domain of a chart should be open, but in this case, it is both open and closed.
  • #1
shinobi20
267
19
The 2-D plane is usually constructed as "ℝxℝ" and ℝ is both open and closed. My question is, what is the direct product of a half open and an open interval? Is it also open or half open?
 
Physics news on Phys.org
  • #2
Do you mean something like:

##(a,b] \times (a,b)## ?
 
  • #3
Math_QED said:
Do you mean something like:

##(a,b] \times (a,b)## ?
For examples, yes.
 
  • #4
shinobi20 said:
For examples, yes.

It seems a weird question to me:

##(a,b] \times (a,b) := \{(x,y)| x \in (a,b] \land y \in (a,b)\}## How can this set be closed or open? It's a set containing ordered pairs. This might be related to topology, so I'm not qualified to answer this question.
 
  • #5
Math_QED said:
It seems a weird question to me:

##(a,b] \times (a,b) := \{(x,y)| x \in (a,b] \land y \in (a,b)\}## How can this set be closed or open? It's
Yes, that is why I'm asking, what do you think is it?
 
  • #6
It's neither open nor closed.
 
  • #7
micromass said:
It's neither open nor closed.

There is a problem that I found that asks to construct a single chart to cover an infinite cylinder. It is talked about in this thread that the direct product of a half open interval and an open interval somehow yields an open set
https://www.physicsforums.com/threads/infinite-cylinder-covered-by-a-single-chart.879193/

andrewkirk said in post #6 that "What has to be open is the domain of the chart" but [0,2π) is not open, so the domain would be [0,2π) x (-∞,∞) not open based on what you said.
 
  • #8
shinobi20 said:
There is a problem that I found that asks to construct a single chart to cover an infinite cylinder. It is talked about in this thread that the direct product of a half open interval and an open interval somehow yields an open set
https://www.physicsforums.com/threads/infinite-cylinder-covered-by-a-single-chart.879193/

andrewkirk said in post #6 that "What has to be open is the domain of the chart" but [0,2π) is not open, so the domain would be [0,2π) x (-∞,∞) not open based on what you said.

That domain is indeed not open.
 
  • #9
micromass said:
That domain is indeed not open.
Yes, just as I thought, so do you have any idea how should the infinite cylinder be covered by a single chart?
 
  • #10
Cover it with a chart whose domain is an open annulus.
 
  • #11
micromass said:
Cover it with a chart whose domain is an open annulus.
So can I cover it with
##φ^{-1}: (0,1) × S^1 → ℝ × S^1##
##φ^{-1}: annulus → infinite~ cylinder##
 
Last edited:
  • #12
##(0,1)\times S^1## is not an annulus.
 
  • #13
micromass said:
##(0,1)\times S^1## is not an annulus.
You mean, there should be a hole,
##φ^{-1}: (a,b) × S^1 → ℝ × S^1## where 0<a<r<b; r is the radius.
 
  • #14
shinobi20 said:
There is a problem that I found that asks to construct a single chart to cover an infinite cylinder. It is talked about in this thread that the direct product of a half open interval and an open interval somehow yields an open set
https://www.physicsforums.com/threads/infinite-cylinder-covered-by-a-single-chart.879193/

andrewkirk said in post #6 that "What has to be open is the domain of the chart" but [0,2π) is not open, so the domain would be [0,2π) x (-∞,∞) not open based on what you said.
If the set [0,2π) is being treated as the points of the circle rather than on R, then 0 = 2π and this is both open and closed. Then [0,2π) x (-∞,∞) is both open and closed. But [0,2π) is misleading notation because it implies the metric of R where 0 and 2π have a positive distance. It would be better to specify something like Ci as a circle and say that Ci x (-∞,∞) is both open and closed.
 
  • #15
FactChecker said:
If the set [0,2π) is being treated as the points of the circle rather than on R, then 0 = 2π and this is both open and closed. Then [0,2π) x (-∞,∞) is both open and closed. But [0,2π) is misleading notation because it implies the metric of R where 0 and 2π have a positive distance. It would be better to specify something like Ci as a circle and say that Ci x (-∞,∞) is both open and closed.
So the domain ##[0,2π) × (-∞,∞)## cannot cover the infinite cylinder since it is also closed?
 
  • #16
shinobi20 said:
So the domain ##[0,2π) × (-∞,∞)## cannot cover the infinite cylinder since it is also closed?
The topology of [0,2π) as a subset of R with the usual metric is different from the topology of [0,2π) as a circle where 2π = 0 with the usual metric.
In the first case, [0,2π) × (-∞,∞) is neither open nor closed. It cannot cover the infinite cylinder.
In the second case, [0,2π) × (-∞,∞) is the entire space and is both open and closed. It is an infinite cylinder.

So if you consider [0,2π) × (-∞,∞) as a subset of R x R, the answer is no. It can not cover the infinite cylinder.
 
  • #17
FactChecker said:
The topology of [0,2π) as a subset of R with the usual metric is different from the topology of [0,2π) as a circle where 2π = 0 with the usual metric.
In the first case, [0,2π) × (-∞,∞) is neither open nor closed. It cannot cover the infinite cylinder.
In the second case, [0,2π) × (-∞,∞) is the entire space and is both open and closed. It is an infinite cylinder.

So if you consider [0,2π) × (-∞,∞) as a subset of R x R, the answer is no. It can not cover the infinite cylinder.
I'm considering ##[0,2π)## as a circle with the usual metric, so ##[0,2π) × (-∞,∞)## does cover the infinite cylinder.

##φ: U → φ(U)~## where ##~U ⊂ [0,2π) × (-∞,∞)~## and ##~φ(U) ⊂ ℝ×ℝ##

But I'm wondering about the definition of a chart, the domain should be open but in this case it is both open and closed.
 
  • #18
shinobi20 said:
But I'm wondering about the definition of a chart, the domain should be open but in this case it is both open and closed.
You should only worry about the properties that the definition needs. If there are other properties (like closed), that doesn't mean it fails to satisfy the definition.
 
  • #19
FactChecker said:
You should only worry about the properties that the definition needs. If there are other properties (like closed), that doesn't mean it fails to satisfy the definition.
Ok, so in this case ##[0,2π) × (-∞,∞)## satisfies the condition and does cover the infinite cylinder with
##U ⊂ [0,2π) × (-∞,∞)##
##φ(U) = (θ,e^z)~## where ##~e^z~## represents the radius.
 

Related to Properties of Direct Product of Half Open and Open Intervals

1. What is the definition of "Direct product of intervals"?

The direct product of intervals is a set operation in mathematics that combines two intervals to create a new interval. It is denoted by the symbol × and is defined as {(a, b) | a ∈ A and b ∈ B}, where A and B are two intervals. This operation is also known as the Cartesian product.

2. How is the direct product of intervals different from the intersection of intervals?

The direct product of intervals combines two intervals to create a new interval, while the intersection of intervals finds the common values in two intervals. For example, the direct product of [1, 3] and [2, 4] is [1, 4], while the intersection is [2, 3].

3. What are the properties of the direct product of intervals?

The direct product of intervals has the following properties:

  • Commutative: A × B = B × A
  • Associative: (A × B) × C = A × (B × C)
  • Distributive: A × (B ∪ C) = (A × B) ∪ (A × C)
  • Not distributive over intersection: A × (B ∩ C) ≠ (A × B) ∩ (A × C)

4. How is the direct product of intervals used in real-life applications?

The direct product of intervals is commonly used in computer science and data analysis, such as in database queries and data mining. It is also used in physics and engineering to represent multidimensional systems and in probability theory to represent joint events.

5. Can the direct product of intervals be extended to more than two intervals?

Yes, the direct product of intervals can be extended to any number of intervals. For example, the direct product of three intervals [1, 2], [3, 4], and [5, 6] would be [1, 6]. This operation can be extended to any finite number of intervals, but it becomes more complex and difficult to visualize as the number of intervals increases.

Similar threads

Replies
4
Views
2K
Replies
3
Views
269
Replies
9
Views
933
Replies
2
Views
1K
  • Calculus and Beyond Homework Help
Replies
8
Views
2K
Replies
7
Views
2K
Replies
1
Views
992
  • Topology and Analysis
Replies
12
Views
2K
  • Topology and Analysis
Replies
8
Views
2K
Back
Top