Open sets, countable unions of open rectangles

  • Thread starter Thread starter infk
  • Start date Start date
  • Tags Tags
    Sets
Click For Summary
SUMMARY

The discussion centers on proving that a connected open set Ω in \(\mathbb{R}^d\) is a countable union of open, disjoint rectangles if and only if Ω itself is a rectangle. The proof relies on the definition of connectedness, stating that if Ω can be expressed as a union of two or more non-empty disjoint open rectangles, it cannot be connected. Additionally, it is established that an open disc in \(\mathbb{R}^2\) cannot be a countable union of open disjoint rectangles, reinforcing the theorem through contradiction.

PREREQUISITES
  • Understanding of connectedness in topology
  • Familiarity with open sets in \(\mathbb{R}^d\)
  • Knowledge of disjoint unions and their implications
  • Basic proof techniques, including proof by contradiction
NEXT STEPS
  • Study the properties of connected sets in topology
  • Learn about open sets and their characteristics in \(\mathbb{R}^d\)
  • Explore proof techniques, particularly proof by contradiction
  • Investigate the implications of disjoint unions in measure theory
USEFUL FOR

Students of measure theory, mathematicians interested in topology, and anyone studying the properties of open sets and connectedness in higher dimensions.

infk
Messages
21
Reaction score
0

Homework Statement


So here is a "proof" from my measre theory class that I don't really understand. Be nice with me, this is the first time I am learning to "prove" things.
Show that a connected open set Ω (\mathbb{R}^d, I suppose) is a countable union of open, disjoint rectangles if and only if Ω is itself a rectangle.


Homework Equations


N/A

The Attempt at a Solution


Taught in class:
An open set Ω is connected if and only if it is impossble to write Ω = V \bigcupU where U and V are open, non-empty and disjoint. Thus if we can write Ω = \bigcup^{\infty}_{k=1} R_k where R_k are open disjoint rectangles of which at least two are non-empty (lets say R_1 and R_2 ) we can then write Ω = R_1 \cup (\bigcup^{\infty}_{k=2} R_k) and therefore Ω is not connected.
There is also another question; Show that an open disc in \mathbb{R}^2 is not a countable union of open disjoint rectangles. To show this, the professor said that the previous result apllies since a disc is connected.

I don't understand:
Why does this prove the proposition?, Is the assumption that we can write Ω = \bigcup^{\infty}_{k=1} R_k where R_k are open disjoint rectangles of which at least two are non-empty, equvalent with saying that Ω is a rectangle? If it is, have we not then assumed that Ω is a rectangle and then shown that a rectangle is not connected?
:confused:
 
Physics news on Phys.org
First, if Ω is a rectangle, then we can write it as a "union of disjoint open rectangles" by taking the set of such rectangles to include only Ω itself.

To show the other way, that if Ω can be written as a "union of disjoint open rectangles then it is a rectangle", use proof by contradiction- if Ω is not a rectangle, then such a union cannot consist of a single rectangle. But the "lemma" you give shows that the union of two or more disjoint open rectangles is not connected, so cannot be a rectangle as all rectangles are connected. That gives a contradiction, proving the theorem.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K