Subsets of the set of primes - uncountable or countable?

  • Context: Graduate 
  • Thread starter Thread starter realitybugll
  • Start date Start date
  • Tags Tags
    Primes Set Subsets
Click For Summary

Discussion Overview

The discussion centers on whether the subsets of the set of prime numbers are countable or uncountable. Participants explore the implications of Cantor's theorem regarding subsets of natural numbers and the unique prime factorization of natural numbers in relation to subsets of primes.

Discussion Character

  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant asserts that since the set of primes can be matched with the natural numbers, it follows that the subsets of primes are uncountable.
  • Another participant challenges the claim that each subset corresponds to a unique natural number, asking for clarification on how this applies to the empty subset and the set of all primes.
  • A different participant points out that the correspondence to a unique natural number only holds for finite subsets and questions the treatment of infinite subsets.
  • One participant expresses skepticism about the proof that primes are countable, suggesting that the mapping by the product of elements is not sufficiently rigorous.
  • Another participant attempts to establish a bijection between subsets of primes and subsets of natural numbers, but humorously notes the confusion around the concept of infinite sets of primes.

Areas of Agreement / Disagreement

Participants express differing views on the countability of subsets of primes, with no consensus reached. Some support the idea of countability based on bijections, while others question the validity of these mappings, particularly concerning infinite subsets.

Contextual Notes

Limitations include the lack of resolution regarding the treatment of infinite subsets and the assumptions made about the mappings between sets. The discussion remains open to interpretation and further exploration.

realitybugll
Messages
39
Reaction score
0
Subsets of the set of primes -- uncountable or countable??

Cantor proved that the sub-sets of the natural numbers are uncountable.

assuming that the the set of primes can be put in a 1-to-1 matching with the natural numbers (which I believe they can...) then it would follow that the sub sets of the set of primes is uncountable.

However, each sub set of the set of primes can be shown to correspond to a unique natural number -- the product of the subsets elements. For, each natural number has a unique prime factorization.

If the sub-sets of the set of primes can be put in a 1-to-1 matching with a a set of numbers that are all natural, clearly this set of numbers that are natural can be put in a 1-to-1 matching with the set of natural numbers, indicating that the subsets of the set of primes are countable

So are the subsets of the set of primes countable or not?

Thanks for reading.
 
Physics news on Phys.org


realitybugll said:
However, each sub set of the set of primes can be shown to correspond to a unique natural number
Really? Could you demonstrate? Let's start with the simplest subsets:
  • The empty subset
  • The set of all primes
What natural number do these correspond to?
 


realitybugll said:
However, each sub set of the set of primes can be shown to correspond to a unique natural number -- the product of the subsets elements. For, each natural number has a unique prime factorization.

That's only true for finite numbers of primes. What if you have an infinite subset?

The finite subsets of the natural numbers are countable. So are the finite subsets of the primes.
 


I have the same claim as you. But I think that the proof of "The primes are countable" is not strict enough.
I still want to find someone strike the "mapping by elements' product" claim.
 


realitybugll said:
Cantor proved that the sub-sets of the natural numbers are uncountable.

assuming that the the set of primes can be put in a 1-to-1 matching with the natural numbers (which I believe they can...) then it would follow that the sub sets of the set of primes is uncountable.

However, each sub set of the set of primes can be shown to correspond to a unique natural number -- the product of the subsets elements. For, each natural number has a unique prime factorization.

If the sub-sets of the set of primes can be put in a 1-to-1 matching with a a set of numbers that are all natural, clearly this set of numbers that are natural can be put in a 1-to-1 matching with the set of natural numbers, indicating that the subsets of the set of primes are countable

So are the subsets of the set of primes countable or not?

Thanks for reading.

if the prime numbers can be bijectively mapped to the natural numbers, we can use this bijection to create another bijection between the set of all subsets of the prime numbers, and the set of all subsets of the natural numbers:

if A is a subset of the natural numbers, and p_k is the k-th prime, send:

A <----> f(A) = { p_k : k in A}.

i lol'd so hard when i read this. "an infinite set of prime numbers" does NOT mean a set of "infinite prime numbers", no? let me know when you have found the unique natural number corresponding to the set of every other prime number, because i'd like the extra cash...
 

Similar threads

  • · Replies 14 ·
Replies
14
Views
1K
  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 21 ·
Replies
21
Views
4K
  • · Replies 55 ·
2
Replies
55
Views
9K
Replies
4
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K