Defining Aleph-One: The Elusive Cardinal Number

  • Thread starter ehrenfest
  • Start date
In summary, aleph-0 is defined as the cardinality of the integers and aleph-1 is defined as the next largest cardinal number after aleph-0. However, the definition of aleph-1 can vary depending on the set theory being used. Some sources, such as Kaplansky's book, do not explicitly define aleph-1. This can also be a difficult concept to grasp because it involves understanding ordinal numbers. There may also be infinitely many cardinals between aleph-0 and the cardinality of the continuum in some models.
  • #1
ehrenfest
2,020
1

Homework Statement


aleph-0 is defined as the cardinality as the integers right?

How is aleph-one defined? Is the only definition as the next largest cardinal number after aleph-1?

Annoyingly, my set theory book (kaplansky) doesn't seem to define it anywhere. Also the wikipedia article just confused me more.


Homework Equations





The Attempt at a Solution

 
Physics news on Phys.org
  • #2


How much do you know about ordinal numbers?
 
  • #3


I see now. The problem was that Kaplansky uses alpha-two on page 47 but defines ordinal numbers on page 57.
 
  • #4


Surely one of the real problems with defining aleph-1 is that what it is depends on what set theory you use. If you accept CH, then it is the cardinality of the real numbers. But it need not be. I have this idea that there may be infinitely many cardinals between aleph-0 and c (cardinality of the continuum, or 2^aleph-0) in some models, but it is just a feeling.
 

1. What is aleph-one and why is it significant in mathematics?

Aleph-one is the first uncountable infinite cardinal number, which means it represents the number of elements in a set that cannot be put into a one-to-one correspondence with the natural numbers (1, 2, 3...). It is significant in mathematics because it is the smallest uncountable cardinal number and has important implications in set theory and other branches of mathematics.

2. How is aleph-one defined in set theory?

In set theory, aleph-one is defined as the cardinality of the set of all countably infinite ordinal numbers, also known as the first uncountable ordinal. This set includes all natural numbers and all transfinite ordinal numbers that can be reached by iterating the operation of taking the power set of previous ordinal numbers.

3. Can aleph-one be compared to other infinite numbers?

Aleph-one cannot be compared to other infinite numbers, as it is part of a different mathematical concept (cardinality) compared to other infinite numbers such as infinity in calculus or infinity in geometry. It is also not a real number and cannot be used in calculations like other infinite numbers.

4. Is aleph-one the largest infinite number?

No, aleph-one is not the largest infinite number. In set theory, there are infinite cardinal numbers beyond aleph-one, including aleph-two, aleph-three, and so on. These numbers are also uncountable and represent larger infinities than aleph-one.

5. How is aleph-one used in mathematics and science?

Aleph-one is used in mathematics and science, particularly in set theory and other areas of mathematics that deal with infinite sets. It is also used in theoretical computer science, where it plays a role in understanding the complexity of algorithms and the limits of computability.

Similar threads

  • Calculus and Beyond Homework Help
Replies
2
Views
974
  • Calculus and Beyond Homework Help
Replies
11
Views
2K
  • Programming and Computer Science
Replies
17
Views
2K
  • Calculus and Beyond Homework Help
Replies
6
Views
3K
  • Calculus and Beyond Homework Help
Replies
9
Views
3K
  • Set Theory, Logic, Probability, Statistics
Replies
16
Views
1K
  • Calculus and Beyond Homework Help
Replies
12
Views
3K
  • Set Theory, Logic, Probability, Statistics
Replies
1
Views
3K
  • Calculus and Beyond Homework Help
Replies
1
Views
1K
  • Calculus and Beyond Homework Help
Replies
3
Views
2K
Back
Top