Solve Set Theory Question: Can Countably Infinite Set Have Uncountable Subsets?

Click For Summary

Homework Help Overview

The discussion revolves around a question in set theory regarding whether a countably infinite set can have an uncountable collection of non-empty subsets such that the intersection of any two subsets is finite. The original poster expresses uncertainty about their understanding of set theory and presents their reasoning regarding the set of integers.

Discussion Character

  • Exploratory, Conceptual clarification, Assumption checking

Approaches and Questions Raised

  • The original poster attempts to reason through the problem by referencing the set of integers and discussing the nature of its subsets. Other participants raise questions about the necessity of infinite members in the sets to achieve an uncountable number of subsets and suggest exploring the partitioning of the set into disjoint subsets.

Discussion Status

Participants are engaging with the problem, with some offering hints and suggestions for further exploration. There is acknowledgment of the complexity of the question, and while some guidance has been provided, there is no explicit consensus on the answer yet.

Contextual Notes

The original poster notes their limited knowledge of set theory and expresses concern about the rigor of their response. There is an indication that the problem is part of a broader set of challenging questions, such as those found in the Putnam competition.

AlephNumbers
Messages
293
Reaction score
33
Lately I have been attempting (and failing miserably at) whatever sample Putnam questions I can find on the internet. Here is my latest endeavor. I found this question on the Kansas State University website, so I think I am allowed to post it. I must warn you that I know almost nothing about set theory.

Can a countably infinite set have an uncountable collection of non-empty subsets such that the intersection of any two of them is finite?

I know that the set of all integers is "countably" infinite.
Let I be the set containing all integers. The set I contains an infinite number of subsets each containing any number of the infinite number of elements in the set I, so the number of subsets of I is uncountable. However, any two subsets of I can be shown to have a finite intersection.
For example G={1,2,3,4} , F={3,4,5}
G and F have 2 elements in common; the elements 3 and 4 belong to both sets
The answer is yes.


I don't know if this would be a sufficient answer. It's awfully wordy and does not contain much mathematical rigor.
 
Physics news on Phys.org
What about A={2,4,6,8,...} and B={3,6,9,12,...} with their intersection {6,12,18,...}?
You need sets with infinite members, otherwise you do not get an uncountable number of subsets.

I like that question. It has a nice answer.
 
Last edited:
  • Like
Likes   Reactions: AlephNumbers
AlephNumbers said:
Lately I have been attempting (and failing miserably at) whatever sample Putnam questions I can find on the internet. Here is my latest endeavor. I found this question on the Kansas State University website, so I think I am allowed to post it. I must warn you that I know almost nothing about set theory.

Can a countably infinite set have an uncountable collection of non-empty subsets such that the intersection of any two of them is finite?

I know that the set of all integers is "countably" infinite.
Let I be the set containing all integers. The set I contains an infinite number of subsets each containing any number of the infinite number of elements in the set I, so the number of subsets of I is uncountable. However, any two subsets of I can be shown to have a finite intersection.
For example G={1,2,3,4} , F={3,4,5}
G and F have 2 elements in common; the elements 3 and 4 belong to both sets
The answer is yes.


I don't know if this would be a sufficient answer. It's awfully wordy and does not contain much mathematical rigor.

It doesn't contain any rigor. And tackling Putnam questions while saying you know almost nothing about set theory is a bold move. I agree with mfb that it is a nice question and does have an easy answer. Here's a hint. You can split ##I## into three disjoint sets where two contain a countably infinite number of members and one has a finite number. Show that and use it.
 
Last edited:
Hmm. I think I'll put this one on the backburner. Thank you for the input.
 

Similar threads

Replies
1
Views
2K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
Replies
5
Views
3K
  • · Replies 15 ·
Replies
15
Views
4K
Replies
3
Views
4K
  • · Replies 2 ·
Replies
2
Views
4K
  • · Replies 4 ·
Replies
4
Views
1K