How Can Intersection of Indexed Family Sets Belong to Their Power Sets?

Click For Summary

Homework Help Overview

The discussion revolves around the intersection of an indexed family of sets and its relationship to their power sets. The original poster presents a statement involving an indexed family of sets, specifically addressing the case when the index set is empty.

Discussion Character

  • Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to show that the intersection of the sets belongs to the power set of the indexed family. Some participants question the notation and clarity of the original statement, while others seek to clarify the definition of the intersection.

Discussion Status

The discussion is ongoing, with participants clarifying the original statement and addressing potential misunderstandings regarding the index set. There is no explicit consensus yet, but the dialogue is focused on refining the problem's assumptions and notation.

Contextual Notes

nike5
Messages
13
Reaction score
0

Homework Statement


Suppose {Ai| i [tex]\in[/tex] I} is an indexed family of sets and I does
equal an empty set. Prove that [tex]\bigcap[/tex] i [tex]\in[/tex] I Ai
[tex]\in[/tex] [tex]\bigcap[/tex] i[tex]\in[/tex] I P(Ai ) and P(Ai) is the
power set of Ai

Homework Equations


none


The Attempt at a Solution


Suppose x [tex]\in[/tex] {Ai| i [tex]\in[/tex] I}. Let i be an arbitrary element of
I where x [tex]\in[/tex] Ai . Then let y be an arbitrary element of x. Since x
is an element of Ai and y [tex]\in[/tex] x it follows that ...

maybe i want to show that [tex]\bigcap[/tex] i [tex]\in[/tex] I Ai [tex]\subseteq[/tex] [tex]\bigcap[/tex] i [tex]\in[/tex] I Ai and then
I could say that [tex]\bigcap[/tex] i [tex]\in[/tex] I Ai [tex]\in[/tex] [tex]\bigcap[/tex] i[tex]\in[/tex] I P(Ai )
 
Physics news on Phys.org
Let [tex]\left\{ A_{i} \right\}_{i \in I}[/tex] be your indexed set of family.

Do you mean this [tex]\bigcap_{i=1} A_i = \left\{ x : \forall i \in I: x \in A_i \right\}[/tex]?
 
Yes sry about the horrible looking symbols
 
nike5 said:

Homework Statement


Suppose {Ai| i [tex]\in[/tex] I} is an indexed family of sets and I does
equal an empty set.
Did you mean "does not equal and empty set"?
 
I [tex]\neq[/tex] [tex]\oslash[/tex] is what I meant
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 3 ·
Replies
3
Views
7K
Replies
24
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 1 ·
Replies
1
Views
6K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K