Undergrad My basic understanding of set theory

  • Thread starter Thread starter mr3000
  • Start date Start date
mr3000
Messages
1
Reaction score
0
TL;DR
I’m wondering if this intuition I have is valid regarding set theory
If there are an infinite number of natural numbers, and an infinite number of fractions in between any two natural numbers, and an infinite number of fractions in between any two of those fractions, and an infinite number of fractions in between any two of those fractions, and an infinite number of fractions in between any two of those fractions, and... then that must mean that there are not only infinite infinities, but an infinite number of those infinities. and an infinite number of those infinities. and an infinite number of those infinities. and an infinite number of those infinities, and... (infinitely times. and that infinitely times. and that infinitely times. and that infinitely times. and that infinitely times. and...) continues forever. and that continues forever. and that continues forever. and that continues forever. and that continues forever. and.....(…)…

Is this different from standard cardinality?
 
Physics news on Phys.org
That's a good observation. There are multiple ways of having infinities within infinities within ...
Cantor developed that idea formally. If there is a one-to-one correspondence between two sets, they have the same cardinality. This applies whether the two sets are finite or infinite. There are different sizes of infinity. It can be shown that the rational numbers are the same size (cardinality) as the natural numbers, but that the irrational numbers are a much larger set (see Cantor's diagonal argument).
 
Last edited:
Your observation is encoded in Cantor’s notion of aleph numbers, which measure different sizes of infinity.

The natural numbers have cardinality ##\aleph_0##, the cardinality of the countable infinity.

The real numbers have cardinality ##2^{\aleph_0}##, known as the continuum.

Whether this cardinal equals ##\aleph_1## is the Continuum Hypothesis, which is independent of standard set theory: it can neither be proved nor disproved.
 
The standard _A " operator" maps a Null Hypothesis Ho into a decision set { Do not reject:=1 and reject :=0}. In this sense ( HA)_A , makes no sense. Since H0, HA aren't exhaustive, can we find an alternative operator, _A' , so that ( H_A)_A' makes sense? Isn't Pearson Neyman related to this? Hope I'm making sense. Edit: I was motivated by a superficial similarity of the idea with double transposition of matrices M, with ## (M^{T})^{T}=M##, and just wanted to see if it made sense to talk...

Similar threads

  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 31 ·
2
Replies
31
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 64 ·
3
Replies
64
Views
5K
  • · Replies 8 ·
Replies
8
Views
3K