Is the Union of Open Sets Also Open in Y?

  • Thread starter Thread starter michonamona
  • Start date Start date
  • Tags Tags
    Sets Union
Click For Summary

Homework Help Overview

The discussion revolves around the properties of open sets in the context of a topological space Y, specifically whether the union of open sets V_{\alpha}, which are subsets of Y, remains a subset of Y.

Discussion Character

  • Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • The original poster questions whether the union of open sets V_{\alpha} will also belong to Y. Some participants suggest proving the statement, while others explore the implications of an element x being in the union.

Discussion Status

Participants have engaged in reasoning about the properties of the union of open sets, with some providing supportive responses to the original question. There appears to be a productive exploration of the concepts involved, though no explicit consensus is reached.

Contextual Notes

The discussion assumes familiarity with the definitions of open sets and unions in topology, and it is framed within a homework help context, indicating that participants are working through the problem collaboratively.

michonamona
Messages
120
Reaction score
0
1. Suppose open sets V_{\alpha} where V_{\alpha} \subset Y \: \forall \alpha, is it true that the union of all the V_{\alpha} will belong in Y? (i.e. \bigcup_{\alpha} V_{\alpha} \subset Y)

Thanks!
M
 
Physics news on Phys.org
Of course it's true. If you aren't sure, I think you'd better try and prove it.
 
Let x be an element of that union. Then what must be true about x?
 
HallsofIvy said:
Let x be an element of that union. Then what must be true about x?

Ok, if x is a member of \bigcup_{\alpha} V_{\alpha} then x is a member of V_{\alpha} for some \alpha. But V_{\alpha} \subset Y \: \forall \alpha. Then x is also an element of Y. Since this is true for every x in \bigcup_{\alpha} V_{\alpha}, then it must be the case that \bigcup_{\alpha} V_{\alpha} \subset Y \: \forall \alpha.

Was that convincing?
 
Correct
 
Thanks!
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
3K
Replies
20
Views
4K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
8
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 13 ·
Replies
13
Views
5K