Union of open sets question

  • Thread starter autre
  • Start date
  • #1
117
0
I have to prove that the arbitrary union of open sets (in R) is open.

So this is what I have so far:

Let [itex]\{A_{i\in I}\}[/itex] be a collection of open sets in [itex]\mathbb{R}[/itex]. I want to show that [itex]\bigcup_{i\in I}A_{i}[/itex] is also open...

Any ideas from here?
 

Answers and Replies

  • #2
Deveno
Science Advisor
906
6
what is your definition of open set?
 
  • #3
117
0
The definition we use is that a set [itex]A\subseteq\mathbb{R} [/itex] is an open set if for each [itex]x\in A[/itex] there exists an [itex]\epsilon>0[/itex] such that [itex](x-\epsilon,x+\epsilon)\subseteq A[/itex].
 
  • #4
Deveno
Science Advisor
906
6
note that if [itex]x \in \bigcup_{i \in I}A_i[/itex], then necessarily [itex]x \in A_i[/itex] for some i.

can you continue...?
 
  • #5
117
0
Let [itex]\{A_{i\in I}\}[/itex] be a collection of open sets in [itex]\mathbb{R}[/itex]. Let [itex]x\in\bigcup_{i\in I}A_{i}[/itex], then [itex]x\in A_{i}[/itex] for some [itex]i[/itex]. Since each [itex]A_{i}[/itex] is open, there exists an [itex]\epsilon>0 [/itex] such that [itex](x-\epsilon,x+\epsilon)\subseteq A_{i}\subseteq\bigcup_{i\in I}A_{i}[/itex]. Thus, [itex]\bigcup_{i\in I}A_{i}[/itex] is open...

Am I on the right track?
 
  • #6
Deveno
Science Advisor
906
6
looks good to me.
 

Related Threads on Union of open sets question

Replies
7
Views
2K
Replies
1
Views
10K
Replies
4
Views
246
  • Last Post
Replies
8
Views
12K
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
10
Views
3K
  • Last Post
Replies
1
Views
5K
  • Last Post
2
Replies
31
Views
27K
Replies
3
Views
6K
Top