Sets in Paint Doc: True or False? | Intersection of Infinite Sets

  • Thread starter Thread starter Miike012
  • Start date Start date
  • Tags Tags
    Sets
Click For Summary

Homework Help Overview

The discussion revolves around the intersection of infinite sets, specifically whether certain statements regarding their intersections are true or false. Participants are analyzing the implications of set containment and the nature of infinite sets.

Discussion Character

  • Conceptual clarification, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • Participants present conflicting solutions regarding the truth of statements about the intersection of infinite sets. Some suggest that the intersection can be infinite, while others question the validity of equating different infinite sets. There is also discussion about the implications of removing elements from infinite sets and how that affects their intersections.

Discussion Status

The discussion is ongoing, with participants exploring various interpretations of the problem. Some have offered counterexamples and challenged assumptions, while others are still seeking clarity on the nature of the intersection of all sets involved.

Contextual Notes

Participants are grappling with the definitions and properties of infinite sets, particularly in relation to intersections. There is a noted confusion regarding the distinction between the intersection of two sets versus the intersection of an infinite sequence of sets.

Miike012
Messages
1,009
Reaction score
0
Question is in paint doc. Determine if the statement is true or false.

My solution:
I have two solutions

Sol 1: FalseIf A1 contains A2 and A2 contains A3 then the number of elements of A3 contained in A1 is less than the number of elements in A2 contained in A1. In other words the intersection of A1 and A3 has fewer elements than the intersection of A1 and A3. Therefore the intersection cannot be infinite if the elements in each consecutive intersection are decreasing.

Sol 2: True

If A1, A2,... An are sets of infinite number of elements then A1 = A2 = ... = An. For instance, how can a set containing all negative real numbers (-∞,0] and a set containing all positive real numbers [,+∞) be infinite if the set of all read numbers contains more elements than the two sets above? Therefore is it true if two or more sets have infinite elements then those sets are equal?
 

Attachments

  • question.jpg
    question.jpg
    4.9 KB · Views: 335
Physics news on Phys.org
Both of your solutions are wrong :)

False: The intersection can still be infinite

True: of course it's not true that A1 = A2 = ... = An in general.

Either you need to show that the intersection is always infinite, or find a counterexample.
 
Neither solution is correct. You're applying your intuition from dealing with finite sets to infinite sets. That doesn't work. You can remove an infinite number of elements from an infinite set and still have an infinite number of elements remaining.
 
If A1 contains An and An does not contain A1,A2...An-1 and taking in consideration that An is a set of infinite elements the intersection of A1,A2,... and An will be An which is a set of infinite elements.

Statement is True.
 
Last edited:
You're misreading the problem. It's asking you about the set
$$A = \bigcap_{i=1}^\infty A_i,$$ the intersection of all of the sets. The intersection between any two of the sets will obviously contain an infinite number of elements, so it's not a very interesting question to ask.
 
I understand the question. I was thinking the intersection of all the sets would be An.
If you noticed I said "the intersection of A1,A2,... and An ... "
 
edit
 
How can An be the intersection of all the sets? What about An+1?
 
A simple way to show a counterexample works is if you can show that for every [itex]x \in A_1[/itex] there exists a [itex]n \in \mathbb{N}[/itex] such that [itex]x \notin A_n[/itex]
 
  • #10
clamtrox said:
A simple way to show a counterexample works is if you can show that for every [itex]x \in A_1[/itex] there exists a [itex]n \in \mathbb{N}[/itex] such that [itex]x \notin A_n[/itex]

I've thought of that but I can't think of an example and I can't see how that is possible if An is a subset of A1
 
  • #11
Why would the intersection be empty? Am and Am+1 still have m+1, m+2, m+3,... in common, therefore the intersection of Am and Am+1 would be m+1, m+2, and so on... I must have the wrong interpretation of intersection.
 

Attachments

  • Sol.jpg
    Sol.jpg
    10.4 KB · Views: 368
  • #12
Why do you keep talking about the intersection of two sets? As I said earlier, the question is asking about the intersection of all of the sets, i.e. ##A = A_1 \cap A_2 \cap A_3 \cap \cdots ##
 
  • #13
Miike012 said:
I've thought of that but I can't think of an example and I can't see how that is possible if An is a subset of A1

Think again. Maybe start as easy as you can, and choose [itex]A_1 = \mathbb{N}[/itex]
 

Similar threads

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