Open set in a topological space

Click For Summary

Homework Help Overview

The discussion revolves around the properties of open sets in a topological space, specifically examining whether two disjoint sets that form an open set through union must themselves be open.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • Participants explore examples and counterexamples to determine the openness of disjoint sets A and B when their union is open. Various scenarios are proposed, including the use of intervals and rational versus irrational numbers.

Discussion Status

Participants are actively engaging with the problem, presenting different examples to illustrate their points. There is a recognition of the complexity involved in the definitions of open and closed sets, with no explicit consensus reached yet.

Contextual Notes

Some participants question the necessity of both sets being open, while others provide specific examples that challenge this assumption. The discussion includes considerations of boundaries and intersections of sets.

ehrenfest
Messages
2,001
Reaction score
1

Homework Statement


If U is open set in a topological space such that U = A union B, where A and B are disjoint, do both A and B have to both be open?

I think that they do not, but I cannot think of a counterexample...perhaps (-1,0) union [0,-1).

OK. That's a counterexample. So, now the question can both A and B not be open?


Homework Equations





The Attempt at a Solution

 
Physics news on Phys.org
What about in R2, trying the same trick only with say, two rectangles, one on (0,1/2)x(0,1) and one on (1/2,1)x(0,1), and then give each half of the boundary between them
 
Or take U to be (0,1), A=rationals in U and B=U-A. Neither is open.
 
No need to get as complicated as "rationals" and "irrationals". Take A= [0, 1], B= [2, 3] so that both are closed. Then the intersection is the empty set which is open!

Or, since the empty set is also closed, you might prefer A= [0, 3/2), B= (1, 2]. Neither is open but their intersection is (1, 3/2) which is open.
 
The union of the two sets is open, not the intersection.
 

Similar threads

  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
6K
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K