• Support PF! Buy your school textbooks, materials and every day products Here!

Closed set proof

  • Thread starter Zondrina
  • Start date
  • #1
Zondrina
Homework Helper
2,065
136

Homework Statement



This question has two parts :

(a) Let F be a finite collection of closed sets in ℝn. Prove that UF ( The union of the sets in F ) is always a closed set in ℝn.

(b) Let F be a finite collection of closed intervals An = [[itex]\frac{1}{n}, 1- \frac{1}{n}[/itex]] in ℝ for n = 1,2,3..... What do you notice about UF? Is it closed, open, both or niether?

Homework Equations



I know a set S is open ⇔ it is equal to its own interior, that is S = S0.
I know a set S is closed if its compliment ℝn-S is open.
I also know a set S is closed ⇔ B(S) [itex]\subseteq[/itex] S.
I know that the only open and closed sets are ℝn and ∅.
I know a set S is neither open or closed if there is at least one point which has a neighborhood containing points from both S and its compliment.

The Attempt at a Solution



(a) Suppose that F = {[itex] S_1, S_2, ..., S_p | S_i\in ℝ^n, 1 ≤ i ≤ p [/itex]}

Suppose further that :

[tex]Q = \bigcup_{i=1}^{p} S_i[/tex]

We want to show Q is always a closed set in ℝn, so let us show that the compliment of Q, ℝn - Q is open.

We know from F that : [itex]S_i \subseteq B(S_i), \space 1≤ i ≤ p[/itex]. That is, each individual set contains its own boundary.

This implicates to us that : [itex]ℝ^n - S_i[/itex] is open since Si is closed for 1 ≤ i ≤ p now suppose that :

[tex]Q_o = \bigcup_{i=1}^{p} (ℝ^n - S_i)[/tex]

So that Qo is composed of a finite collection of the compliments of F.

Am I on the right track here or have I missed something? Ill attempt (b) after I figure this one out.
 

Answers and Replies

  • #2
HallsofIvy
Science Advisor
Homework Helper
41,772
911
It's impossible to answer this without knowing what definition of "closed set" you are using and what prior theorems you have. If your definition of "closed set" is "its complement is an open set" and you know that the finite union of open sets are open then it is easy.
 
  • #3
Zondrina
Homework Helper
2,065
136
It's impossible to answer this without knowing what definition of "closed set" you are using and what prior theorems you have. If your definition of "closed set" is "its complement is an open set" and you know that the finite union of open sets are open then it is easy.
Sadly all I have are these theorems and propositions. Is what I'm doing wrong? Would I use neighborhoods somehow?
 
  • #4
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
You don't need to use boundaries at all.

I think you were heading in this direction: proving that the union of a finite number of closed sets is closed is equivalent to proving that the intersection of a finite number of open sets is open. This is correct and a useful observation. Thinking in terms of neighborhoods is also a good idea. What fact about neighborhoods characterizes an open set?
 
  • #5
Zondrina
Homework Helper
2,065
136
You don't need to use boundaries at all.

I think you were heading in this direction: proving that the union of a finite number of closed sets is closed is equivalent to proving that the intersection of a finite number of open sets is open. This is correct and a useful observation. Thinking in terms of neighborhoods is also a good idea. What fact about neighborhoods characterizes an open set?
Uhm, if all the points of a set are interior points, then the set is open.

So : [itex]\forall x \in S, \exists δ>0 | N_δ(x) \subseteq S[/itex]
 
Last edited:
  • #6
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
Uhm, if all the points of a set are interior points, then the set is open.
Correct. So what's an interior point? How would you define it in terms of neighborhoods?
 
  • #7
Zondrina
Homework Helper
2,065
136
Correct. So what's an interior point? How would you define it in terms of neighborhoods?
I re - edited my last post, is that what you meant?
 
  • #8
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
I re - edited my last post, is that what you meant?
Yes, good. So here are a few steps toward a proof:

Suppose you have a finite collection of open sets, let's call them [itex]U_1, \ldots, U_M[/itex], and form their intersection:

[tex]I = \bigcap_{m=1}^{M} U_m[/tex].
If [itex]I[/itex] is empty then you're done. (Why?) If [itex]I[/itex] is not empty, then choose any [itex]x \in I[/itex]. The goal is to prove that [itex]x[/itex] is an interior point of [itex]I[/itex]. Thus you need to find a neighborhood [itex]N_\delta(x)[/itex] such that [itex]x \in N_\delta(x) \subset I[/itex].
 
  • #9
Zondrina
Homework Helper
2,065
136
Yes, good. So here are a few steps toward a proof:

Suppose you have a finite collection of open sets, let's call them [itex]U_1, \ldots, U_M[/itex], and form their intersection:

[tex]I = \bigcap_{m=1}^{M} U_m[/tex].
If [itex]I[/itex] is empty then you're done. (Why?) If [itex]I[/itex] is not empty, then choose any [itex]x \in I[/itex]. The goal is to prove that [itex]x[/itex] is an interior point of [itex]I[/itex]. Thus you need to find a neighborhood [itex]N_\delta(x)[/itex] such that [itex]x \in N_\delta(x) \subset I[/itex].
So my proof should look more like :

(a) Suppose that Fc = {[itex] S_1, S_2, ..., S_p | S_i\in ℝ^n, 1 ≤ i ≤ p [/itex]}

Suppose further that :
[tex]Q_c = \bigcup_{i=1}^{p} S_i[/tex]

We want to show Qc which is composed of the union of finitely many closed sets is always a closed set in ℝn. This is equivalent to showing the intersection of finitely many open sets is open.

So suppose Fo = {[itex] U_1, U_2, ..., U_p | U_i\in ℝ^n, 1 ≤ i ≤ p [/itex]} is such a set of finitely many open sets.

We want to show that :

[tex]Q_o = \bigcap_{i=1}^{p} U_i[/tex]

Is an open set?

Sorry about not being to continue this, but I have a shift at work today. Perhaps you'll be on later.

Thanks for the help so far anyway :)
 
  • #10
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
Yes, it looks fine so far. I'm sure if I'm not around when you continue, someone else will jump in and help.
 
  • #11
Zondrina
Homework Helper
2,065
136
Okay now continuing from before.

To prove Qo is an open set. Take x[itex]\in[/itex]Qo. Since Qo is the intersection of finitely many open sets, we know that x is contained within some particular Ui. Since this particular Ui is open, [itex]\exists δ>0 | N_δ(x) \subseteq U_i \Rightarrow N_δ(x) \subseteq Q_o[/itex]. So obviously, any x[itex]\in[/itex]Qo has a neighborhood that is also in Qo, which means Qo is open.

So since I've shown that the intersection of finitely many open sets is open, we can simply say P implies Q in this scenario and we know that the union of finitely many closed sets is closed.

Is this good?
 
Last edited:
  • #12
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
Okay now continuing from before.

To prove Qo is an open set. Take x[itex]\in[/itex]Qo. Since Qo is the intersection of finitely many open sets, we know that x is contained within some particular Ui. Since this particular Ui is open, [itex]\exists δ>0 | N_δ(x) \subseteq U_i \Rightarrow N_δ(x) \subseteq Q_o[/itex]. So obviously, any x[itex]\in[/itex]Qo has a neighborhood that is also in Qo, which means Qo is open.
No, this doesn't work. It's true that [itex]N_\delta(x) \subseteq U_i[/itex], but it does not follow that [itex]N_\delta(x) \subseteq Q_o[/itex]. This is because [itex]Q_o[/itex] is the intersection of [itex]U_i[/itex] with other sets, so in general [itex]Q_o[/itex] is smaller than [itex]U_i[/itex]. You have to take advantage that [itex]x[/itex] is in all of the [itex]U_i[/itex]'s, not just one of them.
 
  • #13
Zondrina
Homework Helper
2,065
136
No, this doesn't work. It's true that [itex]N_\delta(x) \subseteq U_i[/itex], but it does not follow that [itex]N_\delta(x) \subseteq Q_o[/itex]. This is because [itex]Q_o[/itex] is the intersection of [itex]U_i[/itex] with other sets, so in general [itex]Q_o[/itex] is smaller than [itex]U_i[/itex]. You have to take advantage that [itex]x[/itex] is in all of the [itex]U_i[/itex]'s, not just one of them.
I really don't understand what you said there. The reason being is my concluding statement here : 'So obviously, any x∈Qo has a neighborhood that is also in Qo, which means Qo is open'.

Presuming what you're saying to me is correct though, would I simply just change this statement : 'we know that x is contained within some particular Ui. Since this particular Ui is open.....'

To : Suppose that [itex]x \in U_i, 1 ≤ i ≤ p[/itex], since every individual Ui is open..... blah blah. Then I would finish it off with a P implies Q?
 
  • #14
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
I really don't understand what you said there. The reason being is my concluding statement here : 'So obviously, any x∈Qo has a neighborhood that is also in Qo, which means Qo is open'.
The problem is that this is not "obvious" and in fact it does not follow from what you have written so far.

Presuming what you're saying to me is correct though, would I simply just change this statement : 'we know that x is contained within some particular Ui. Since this particular Ui is open.....'

To : Suppose that [itex]x \in U_i, 1 ≤ i ≤ p[/itex], since every individual Ui is open..... blah blah. Then I would finish it off with a P implies Q?
Well, you need to carefully spell out the details. You are arguing that there is a neighborhood of x which is entirely contained in [itex]Q_o[/itex]. What is the radius of that neighborhood? It may seem like I'm being pedantic here, but you need to be careful here. If there were infinitely many [itex]U_i[/itex]'s, the theorem is actually false. So your proof needs to use the fact that there are only finitely many.
 
  • #15
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
Here's the main thing wrong with your argument. If x is in [itex]Q_o[/itex], then given [itex]i[/itex], we have [itex]x \in U_i[/itex], and there is a neighborhood of [itex]x[/itex] contained in [itex]U_i[/itex]. OK so far. However: it's not necessarily true that this neighborhood is contained in [itex]Q_o[/itex]. Generally this will not be true. This is because all you know is that the neighborhood is contained in [itex]U_i[/itex]. This same neighborhood is not necessarily contained in any [itex]U_j[/itex] with [itex]j \neq i[/itex].
 
  • #16
Zondrina
Homework Helper
2,065
136
Here's the main thing wrong with your argument. If x is in [itex]Q_o[/itex], then given [itex]i[/itex], we have [itex]x \in U_i[/itex], and there is a neighborhood of [itex]x[/itex] contained in [itex]U_i[/itex]. OK so far. However: it's not necessarily true that this neighborhood is contained in [itex]Q_o[/itex]. Generally this will not be true. This is because all you know is that the neighborhood is contained in [itex]U_i[/itex]. This same neighborhood is not necessarily contained in any [itex]U_j[/itex] with [itex]j \neq i[/itex].
I appreciate you being pedantic, otherwise what would I actually be learning right? My ultimatum is to understand so by all means show me what for.

Okay I understand your argument clearly now. So what struck me the most :

'You have to take advantage that x is in all of the Ui's, not just one of them'

As well as :

'What is the radius of that neighborhood?' ( δ ).

Finally :

'This is because all you know is that the neighborhood is contained in Ui. This same neighborhood is not necessarily contained in any Uj with j≠i'.

So I have to show some circular neighborhood of x with radius δ is contained within ALL of the Ui so that the intersection of these Ui will also contain this neighborhood?
 
  • #17
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
So I have to show some circular neighborhood of x with radius δ is contained within ALL of the Ui so that the intersection of these Ui will also contain this neighborhood?
Yes, that's exactly what you need to show. This will show that [itex]x[/itex] is an interior point of [itex]Q_o[/itex]. Since x was an arbitrary point of [itex]Q_o[/itex], this implies that [itex]Q_o[/itex] is open.
 
  • #18
Zondrina
Homework Helper
2,065
136
Yes, that's exactly what you need to show. This will show that [itex]x[/itex] is an interior point of [itex]Q_o[/itex]. Since x was an arbitrary point of [itex]Q_o[/itex], this implies that [itex]Q_o[/itex] is open.
So we must show : [itex]\forall x \in Q_o, \exists δ > 0| N_δ(x) \subseteq Q_o[/itex]

Suppose [itex]x \in U_i, \forall i≤p.[/itex] Since every Ui is open, we can find a Nδ(x) [itex]\subseteq[/itex] Ui.

Would this be the direction I would be taking then?
 
  • #19
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
So we must show : [itex]\forall x \in Q_o, \exists δ > 0| N_δ(x) \subseteq Q_o[/itex]

Suppose [itex]x \in U_i, \forall i≤p.[/itex] Since every Ui is open, we can find a Nδ(x) [itex]\subseteq[/itex] Ui.

Would this be the direction I would be taking then?
Yes, it's the right direction. However, there's something important to note: the radius [itex]\delta[/itex] of the neighborhood for one of the [itex]U_i[/itex]'s might not work for another (it might be too large). So I suggest making the following small but important change:

Suppose [itex]x \in U_i, \forall i \leq p[/itex]. Since every [itex]U_i[/itex] is open, we can find a [itex]N_{\delta_i}(x) \subseteq U_i[/itex], where the radius [itex]\delta_i[/itex] depends on [itex]i[/itex].

It might be helpful to keep in mind a concrete example. Suppose [itex]U_i = (-1/i, 1/i)[/itex], in other words, the open interval from [itex]-1/i[/itex] to [itex]1/i[/itex]. Now, [itex]x = 0[/itex] is contained in [itex]U_i[/itex] for every [itex]i[/itex]. However, for larger values of [itex]i[/itex], the length of [itex]U_i[/itex] shrinks. So a neighborhood that works for a smaller [itex]i[/itex] might not work for a larger one.

Another important thing to note about this concrete example is that if [itex]i[/itex] is allowed to be arbitrarily large, then [itex]x = 0[/itex] is the ONLY point contained in all of the [itex]U_i[/itex]'s, and therefore there is no neighborhood which will be contained in all of them. This is why the theorem fails if you don't include the restriction that there are only finitely many sets.
 
Last edited:
  • #20
Zondrina
Homework Helper
2,065
136
Yes, it's the right direction. However, there's something important to note: the radius [itex]\delta[/itex] of the neighborhood for one of the [itex]U_i[/itex]'s might not work for another (it might be too large). So I suggest making the following small but important change:

Suppose [itex]x \in U_i, \forall i \leq p[/itex]. Since every [itex]U_i[/itex] is open, we can find a [itex]N_{\delta_i}(x) \subseteq U_i[/itex], where the radius [itex]\delta_i[/itex] depends on [itex]i[/itex].
Yes yes, duly noted makes sense obviously. So knowing that, I shall try to continue here.

Since every neighborhood of x is contained within some Ui, would it follow that every neighborhood of x is also contained within Qo? That would tell us that Qo is equal to its own interior and is therefore open.
 
  • #21
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
Since every neighborhood of x is contained within some Ui...
No, this isn't true. All you know is that each [itex]U_i[/itex] contains SOME neighborhood of x, with some radius [itex]\delta_i[/itex]. Of course, [itex]U_i[/itex] will also contain all neighborhoods of [itex]x[/itex] with radius smaller than [itex]\delta_i[/itex], but not necessarily those with larger radius.

And there may be neighborhoods of [itex]x[/itex] which are not contained in any of the [itex]U_i[/itex]. In the concrete example I gave above, none of the [itex]U_i[/itex]'s will contain a neighborhood of 0 with radius 5. That's larger than any of the sets.
 
  • #22
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
Let's continue for a moment with the concrete example above. Suppose I just have 3 sets: [itex]U_1 = (-1, 1)[/itex], [itex]U_2 = (-1/2, 1/2)[/itex], [itex]U_3 = (-1/3, 1/3)[/itex]. And let's consider just [itex]x = 0[/itex].

What's the largest neighborhood of [itex]x = 0[/itex] which will fit inside [itex]U_1[/itex]? How about [itex]U_2[/itex] and [itex]U_3[/itex]? What's the intersection [itex]U_1\cap U_2 \cap U_3[/itex]? What's the largest neighborhood that will fit inside [itex]U_1 \cap U_2 \cap U_3[/itex]?
 
  • #23
Zondrina
Homework Helper
2,065
136
No, this isn't true. All you know is that each [itex]U_i[/itex] contains SOME neighborhood of x, with some radius [itex]\delta_i[/itex]. Of course, [itex]U_i[/itex] will also contain all neighborhoods of [itex]x[/itex] with radius smaller than [itex]\delta_i[/itex], but not necessarily those with larger radius.
Ahh I didn't see your example before, but now I get what you were getting at.

So since each Ui contains SOME neighborhood of x, would the rest of what I stated follow?
 
  • #24
jbunniii
Science Advisor
Homework Helper
Insights Author
Gold Member
3,394
179
Ahh I didn't see your example before, but now I get what you were getting at.

So since each Ui contains SOME neighborhood of x, would the rest of what I stated follow?
Well, the rest of what you stated is "it follows that every neighborhood of [itex]x[/itex] is also contained in [itex]Q_o[/itex]". This is not true, but that's fine because you don't need that to be true. All you need is that SOME neighborhood of [itex]x[/itex] is contained in [itex]Q_o[/itex].
 
  • #25
Zondrina
Homework Helper
2,065
136
Well, the rest of what you stated is "it follows that every neighborhood of [itex]x[/itex] is also contained in [itex]Q_o[/itex]". This is not true, but that's fine because you don't need that to be true. All you need is that SOME neighborhood of [itex]x[/itex] is contained in [itex]Q_o[/itex].
'All you need is that SOME neighborhood of x is contained in Qo'

Does this not follow from the fact that we've found SOME Ui which contains SOME neighborhood of x? Since Qo is the intersection of these Ui, there will always be at least one neighborhood contained within Qo?
 

Related Threads for: Closed set proof

  • Last Post
Replies
16
Views
1K
  • Last Post
Replies
8
Views
4K
  • Last Post
Replies
1
Views
1K
Replies
11
Views
3K
Replies
4
Views
1K
Replies
11
Views
757
Replies
9
Views
2K
Replies
19
Views
8K
Top