Aleph number

In mathematics, particularly in set theory, the aleph numbers are a sequence of numbers. They help us talk about the cardinality (or size) of infinite sets. They were introduced by the mathematician Georg Cantor. They are named after the symbol he used, the Hebrew letter aleph (ℵ).

The smallest size of an infinite set is that of the natural numbers. This is written as ℵ₀ (read aleph-nought, aleph-zero, or aleph-null). The next larger size of a well-ordered set is ℵ₁, then ℵ₂, then ℵ₃, and so on. We can keep going like this forever, defining an infinite cardinal number ℵ_α for every ordinal number α.

These ideas come from Georg Cantor. He showed that infinite sets can have different cardinalities. Aleph numbers are different from the infinity (∞) used in algebra and calculus. Aleph numbers measure the sizes of sets. Infinity is often used to talk about the end of the number line or a very large value.

Aleph-zero

Aleph-zero (ℵ₀) is the smallest kind of infinity in mathematics. It is the size of the set of all natural numbers. These numbers include 1, 2, 3, and so on, forever. Even though this set never ends, we can count its elements one by one. This makes it a "countable" infinity.

Many other infinite sets are the same size as the natural numbers. Examples include the set of all whole numbers (like ..., -2, -1, 0, 1, 2, ...), the set of all fractions, and the set of all integers that can be written using basic operations. All these sets can be matched up with the natural numbers so each item in one set pairs with exactly one item in the other set.

Aleph-one

"Aleph One" redirects here. For other uses, see Aleph One (disambiguation).

ℵ₁ is the size of a special group of numbers called countable ordinal numbers. This group is written as ω₁. It is bigger than all countable ordinal numbers, so it is an uncountable set. This means ℵ₁ is the smallest size that is bigger than ℵ₀, the smallest infinite size.

One important idea about ω₁ is that if you take any small group of numbers from it, the biggest number in that group will still be part of ω₁. This is like how, with natural numbers, any small group of them will have a highest number that is also a natural number.

Continuum hypothesis

Main article: Continuum hypothesis

See also: Beth number

The continuum hypothesis is an important idea in mathematics. It talks about the sizes of infinite sets. It suggests that there is no size of infinity between the smallest infinity (the size of natural numbers, written as ℵ₀) and the next bigger infinity (the size of real numbers). This idea cannot be proven or disproven using the common rules of set theory, known as ZFC. Two famous mathematicians showed that this idea fits within these rules but is not required by them.

Aleph-omega

Aleph-omega, written as ℵ_ω, is a special kind of infinite number. It is the smallest infinite number that comes after all the aleph numbers like ℵ₀, ℵ₁, ℵ₂, and so on.

It is special because it is the first uncountable cardinal number that cannot be the same size as the set of all real numbers. This idea comes from a system of rules called Zermelo-Fraenkel set theory. Aleph-omega is like the limit of a list of smaller infinite numbers put together.

Aleph-_α for general _α

Aleph numbers help us understand how big infinite sets can be. The smallest infinite size is called aleph-null (ℵ₀). This size is the same as the number of natural numbers.

We can name bigger sizes, like aleph-one (ℵ₁) and aleph-two (ℵ₂), and so on. To define aleph-_α for any number α, we use a rule that finds the next bigger size after any given size. This helps us name and compare the sizes of different infinite collections.

Fixed points of omega

For any number α, there is a relationship between α and ω raised to the power of α. Usually, ω raised to the power of α is bigger than α. But there are special numbers where this is not true—these are called fixed points.

One example of a fixed point comes from a special sequence of numbers involving ω. Any weakly inaccessible cardinal is also a fixed point of the aleph function.

Role of axiom of choice

Aleph numbers help us understand the sizes of infinite sets. Every infinite set that can be arranged in a specific way has a size that matches an aleph number. This idea is linked to a concept called the axiom of choice, which helps organize sets.

With this axiom, every infinite set can be given an aleph number to show its size. Without it, not all infinite sets can be organized so easily. Mathematicians have ways to deal with these cases, but the main idea stays the same: aleph numbers are important for measuring the sizes of infinite collections.

Main article: axiom of choice