Aleph number

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

The smallest cardinality of an infinite set is that of the natural numbers, denoted by ℵ₀ (read aleph-nought, aleph-zero, or aleph-null); the next larger cardinality of a well-ordered set is ℵ₁, then ℵ₂, then ℵ₃, and so on. Continuing in this manner, it is possible to define an infinite cardinal number ℵ_α for every ordinal number α.

The concept and notation are due to Georg Cantor, who defined the notion of cardinality and realized that infinite sets can have different cardinalities. The aleph numbers differ from the infinity (∞) commonly found in algebra and calculus, in that the alephs measure the sizes of sets, while infinity is commonly defined either as an extreme limit of the real number line or as an extreme point of the extended real number line.

Aleph-zero

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

Many other infinite sets also have 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 only basic operations. All these sets can be matched up with the natural numbers in a way that 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 the set of all countable ordinal numbers. This set is written as ω₁, and it is bigger than all countable ordinal numbers, making it an uncountable set. That means ℵ₁ is the smallest size that is larger than ℵ₀, the smallest infinite size.

One important property of ω₁ is that any countable group of numbers inside it will have a highest number that is still inside ω₁. This is similar to 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 about the sizes of infinite sets. It suggests that there is no size of infinity strictly between the smallest infinity (the size of natural numbers, written as ℵ₀) and the next bigger infinity (the size of real numbers). This hypothesis cannot be proven or disproven using the common rules of set theory, known as ZFC. Two famous mathematicians showed that the hypothesis fits within these rules but also that it 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 _α

The aleph numbers help us understand the sizes of infinite sets. The smallest infinite size is called aleph-null (ℵ₀), which is the size of the natural numbers. Larger sizes are named aleph-one (ℵ₁), 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 α. In most cases, ω raised to the power of α is bigger than α. However, there are special numbers where this is not the case — 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

The aleph numbers help us understand the sizes of infinite sets. In simple terms, every infinite set that can be arranged in a specific order has a size that matches one of the aleph numbers. This idea is closely tied to a concept in mathematics called the axiom of choice, which helps organize sets.

When we include this axiom in our mathematical rules, every infinite set can be given an aleph number to describe its size. Without this axiom, not all infinite sets can be neatly organized this way. Mathematicians have special methods to handle these cases, but the basic idea remains the same: aleph numbers are key to measuring the sizes of infinite collections.

Main article: axiom of choice