Thread: Countable Union/Intersection of Open/Closed sets

A set A is called a F set if it can be written as the countable union of closed sets. A set B is called a G set if it can be written as the countable intersection of open sets.
a) Show that a closed interval [a,b] is a G set
b) Show that the half-open interval (a,b] is both a G and an F set.
c) Show that Q is an F set and the set of irrationals I forms a G set.



a) Let [a,b] be a closed interval.
Well, I know a set is closed if it contains all its limit points


I'm kinda confused on this whole idea.

Originally Posted by kathrynmath

A set A is called a F set if it can be written as the countable union of closed sets. A set B is called a G set if it can be written as the countable intersection of open sets.
a) Show that a closed interval [a,b] is a G set
b) Show that the half-open interval (a,b] is both a G and an F set.
c) Show that Q is an F set and the set of irrationals I forms a G set.



a) Let [a,b] be a closed interval.
Well, I know a set is closed if it contains all its limit points


I'm kinda confused on this whole idea.

I'll give some hints

a) What if we extended the endpoints of the interval by a classically small amount in either direction?
b) What if we took intervals of the form and intervals of the form . What should really be?
c) Remember that is itself countable. And the second part follows from the first from DeMorgan's laws.

a) Let [a,b] be contained in a set of interval I_n
Let I_n+1 be contained in I_n

b) I don't follow b, and how can were you able to make that a closed interval when it was (a,b]?

c) Since Q is countable, you have to be able to write Q as a countable union.

Originally Posted by kathrynmath

a) Let [a,b] be contained in a set of interval I_n
Let I_n+1 be contained in I_n

Ok, actually construct the intervals.

b) I don't follow b, and how can were you able to make that a closed interval when it was (a,b]?

What if we took ?

c) Since Q is countable, you have to be able to write Q as a countable union.

a countable union of what? When you get it it will make me SING, for otherwise I would be afraid I was some kind of simpLETON.

I get stuck when I try to construct the intervals.

I still don't get b really. By your defining of In, then if I_n+1 is contained in In, it can't contain both endpoints?

c) a countable union of closed sets

a) How bout considering the interval (a-1/n, b+1/n)
b) consider the intervals (a-1/n,b+1/n) and [a-1/n,b+1/n}

Is that the right idea? Still not sure on c

For part b), I would prefer this:
Is it clear that

For part c): there is listing of the rational numbers,
What is this union .

What is this intersection

Not really sure how you got that for b).

For c) I can use complements and Demorgan's Laws

If you cannot use because is not a proper interval.
That is the reason I defined the the way I did in part b. Each is well defined an looks like .