Writing Open Intervals as Closed Intervals (-inf,f]

AI Thread Summary
The discussion centers on expressing open intervals as unions or intersections of closed intervals. Participants explore how to represent open intervals like (a, b) and half-closed intervals such as (-inf, f] using closed intervals [c, d]. It is noted that finite combinations of closed sets yield closed sets, making infinite unions necessary for representing open intervals. The complement of an open set is confirmed to be closed, reinforcing the relationship between open and closed intervals. Ultimately, the conversation highlights the complexities of interval notation and set theory in mathematical expressions.
gradnu
Messages
21
Reaction score
0
Can anybody suggest how to write an open interval (a,b) as a combination(union, intersection and compliment) of closed intervals of the form [c,d] and vice versa.
What if closed intervals are half closed as following (-inf, f]. 'f' being rational.
 
Physics news on Phys.org
What about something like

(a, b)^C = (-\infty, a] \cup [b, \infty)
 
Probably you mean not a finite combination, but the union of an infinite sequence, like
(a,b) = [a+1,b-1] \cup [a-0.5,b+0.5] \cup\dots
 
I think both of them are right. I was initially confused whether to consider (-inf,a] as closed set or not.
Thanks.
 
It's not, and it's not open either. But I kind of hoped you would see how to write (-inf, a] as a union of closed sets. And I don't think a finite combination is possible, since any finite union or intersection of closed sets is closed, right?
 
tsirel said:
Probably you mean not a finite combination, but the union of an infinite sequence, like
(a,b) = [a+1,b-1] \cup [a-0.5,b+0.5] \cup\dots

Intersection, not union here. Assuming the first one on the right side was supposed to be [a-1,b+1] then this union is equal to [a-1,b+1].
 
CompuChip said:
It's not, and it's not open either. But I kind of hoped you would see how to write (-inf, a] as a union of closed sets. And I don't think a finite combination is possible, since any finite union or intersection of closed sets is closed, right?

It should be closed, as it is the complement of an open set (a, inf) which is open.
 
Back
Top