Constructing Intersection of Sets for De Morgans: Get Union of Sets

Click For Summary

Homework Help Overview

The discussion revolves around constructing sets B1, B2, ... from a sequence of nested sets A1, A2, A3, ... such that the infinite intersection of the Ai equals the infinite union of the Bi. The context involves applying De Morgan's laws to infinite unions and intersections.

Discussion Character

  • Conceptual clarification, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants explore the construction of disjoint sets Bi from the nested sets Ai, questioning the validity of the proposed definitions and the implications of set differences.

Discussion Status

There is an ongoing examination of the definitions and relationships between the sets, particularly regarding the potential contradictions in the notation used. Some participants suggest that there may be errors in the original hint provided, while others seek alternative constructions for the Bi sets.

Contextual Notes

Participants note the ambiguity in the problem statement, particularly regarding the application of the hint to different cases of set containment. The discussion reflects uncertainty about the implications of the nested relationships among the Ai sets.

b0it0i
Messages
36
Reaction score
0

Homework Statement


Given A1 superset of A2 superset of A3 superset of A4 ... and so on
how can i construct sets B1, B2, ...
so that each Bi's are disjoint.

The goal is to get

the infinite intersection of Ai = the infinite union of Bi

Homework Equations



De morgans law:
(AUB)^c = (A^c N B^c)
(ANB)^c = (A^c U B^c)

which can be applied to infinite unions and intersections

The Attempt at a Solution



somewhere along the way, i understand that i need to involve de morgans law to turn the intersection into the union, but each Bi that I try gives me something strange and i can't come up with the result i want

The book suggests to use
Let
B1 = A1
B2 = A2\B1
.
.
.
Bk = Ak\Bk-1

All the Bk's are disjoint, but...

what exactly is B2=A2\A1... i mean everything in A2, is technically in A1,
since A2 subset of A1. So an element in B2 is an element in A2, yet is not an element in A1, which then implies it is not an element of A2...

so I'm totally lost
 
Last edited:
Physics news on Phys.org


No, B1 and B2 don't have any common elements. B1=A1, B2=A2\B1. If B2 is the difference between something and B1, it's hardly possible for B1 and B2 to have common elements, isn't it?
 


Dick said:
No, B1 and B2 don't have any common elements. B1=A1, B2=A2\B1. If B2 is the difference between something and B1, it's hardly possible for B1 and B2 to have common elements, isn't it?

i see. however, i should have worded that part better, noting that A1 super set of A2 superset of A3...

what exactly is B2=A2\A1... i mean everything in A2, is technically in A1,
since A2 subset of A1. So an element in B2 is an element in A2, yet is not an element in A1, which then implies it is not an element of A2...

so something is in A2, yet not in A2... isn't that a contradiction
 


Ok, so it's saying A1 contains A2 contains A3 etc, right? In that case saying B2=A2\A1 may simply be a typo. That would be empty. I see your point. I guess you should just assume they muffed the notation on the hint and fix it for them.
 


Dick said:
Ok, so it's saying A1 contains A2 contains A3 etc, right? In that case saying B2=A2\A1 may simply be a typo. That would be empty. I see your point. I guess you should just assume they muffed the notation on the hint and fix it for them.

this problem actually hard two parts

one dealt with when A1 C A2 C A3 C ...

the other was when A1 contains A2 contains A3 contains

but the book only gave that single hint. It didn't say it strictly applied to one or the other, and I'm assuming it meant that it should work for both cases. And the hint works when A1 C A2 C A3 C ...
but, the problem is in the second case, the one i stated in my problem.

are there any other possible Bi's that would work for the original problem. That's the main problem I'm having, coming up with such Bi's that would work
 

Similar threads

  • · Replies 12 ·
Replies
12
Views
2K
Replies
5
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
1
Views
2K
  • · Replies 11 ·
Replies
11
Views
5K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 8 ·
Replies
8
Views
4K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K