What Is a Transcendental Number?

One of the most surprising discoveries in mathematics is that the vast majority of real numbers are transcendental.

In fact, from the perspective of measure theory:

Almost every real number is transcendental.

This statement sounds mysterious because most of the numbers we encounter in school are not transcendental at all.

To understand why transcendental numbers are so remarkable, we first need to understand the numbers they are being contrasted with: algebraic numbers.


Algebraic Numbers

A real number is called algebraic if it is the solution of a polynomial equation with integer coefficients.

For example:

$$x^2-2=0$$

has the solution:

$$x=\sqrt2.$$

Therefore:

$$\sqrt2$$

is algebraic.

Similarly, the golden ratio

$$\phi=\frac{1+\sqrt5}{2}$$

satisfies:

$$x^2-x-1=0.$$

Thus the golden ratio is also algebraic.

Even rational numbers are algebraic.

For example:

$$\frac12$$

satisfies:

$$2x-1=0.$$

So:

  • Integers are algebraic.
  • Rational numbers are algebraic.
  • Square roots such as $$\sqrt2$$ are algebraic.
  • Many familiar irrational numbers are algebraic.

The Birth of Transcendental Numbers

Mathematicians eventually began wondering:

Are all real numbers algebraic?

The answer turned out to be no.

There exist numbers that are not solutions of any polynomial equation with integer coefficients.

These numbers are called transcendental numbers.

A transcendental number is therefore defined as:

A real number that is not algebraic.

Equivalently:

A transcendental number is not the root of any polynomial with integer coefficients.

No matter how complicated the polynomial is, a transcendental number will never satisfy it.


Famous Examples

The two most famous transcendental numbers are:

$$e=2.718281828\ldots$$

and

$$\pi=3.14159265358979\ldots$$

These numbers appear throughout mathematics and science.

The number e arises naturally in:

  • Exponential growth
  • Compound interest
  • Differential equations
  • Probability theory

The number \pi appears in:

  • Geometry
  • Trigonometry
  • Fourier analysis
  • Physics

For many years mathematicians suspected these numbers were transcendental, but proving it was extraordinarily difficult.


The Proof That e Is Transcendental

In 1873, the French mathematician Charles Hermite proved that:

$$e$$

is transcendental.

This was the first proof that an important naturally occurring number lay beyond algebra.

The result shocked the mathematical world.


The Proof That \pi Is Transcendental

A few years later, in 1882, Ferdinand von Lindemann proved that:

$$\pi$$

is transcendental.

This theorem had an unexpected consequence.

For centuries mathematicians had attempted the classical problem known as:

Squaring the circle.

The goal was to construct, using only a compass and straightedge, a square having the same area as a given circle.

Lindemann’s theorem showed that this is impossible.

The ancient problem was finally resolved.


Why Are They Called “Transcendental”?

The word “transcendental” means:

Beyond algebra.

Algebraic numbers live inside the world of polynomial equations.

Transcendental numbers lie outside that world.

No polynomial with integer coefficients can ever capture them.

In this sense, they transcend algebra itself.


How Many Transcendental Numbers Exist?

At first one might think transcendental numbers are rare.

After all, the most familiar numbers are algebraic.

Surprisingly, the opposite is true.

There are:

$$\text{Countably many algebraic numbers}$$

but

$$\text{Uncountably many transcendental numbers}.$$

Why?

There are only countably many polynomials with integer coefficients.

Each polynomial has finitely many roots.

Therefore the collection of all algebraic numbers is countable.

Since the real numbers are uncountable, most real numbers must be transcendental.

In fact:

$$\text{Transcendentals}=\mathbb R-\text{Algebraics}.$$


The Measure-Theoretic Perspective

Measure theory reveals an even deeper fact.

The algebraic numbers have measure zero:

$$m(\text{Algebraic Numbers}\cap[0,1])=0.$$

Since:

$$[0,1]=(\text{Algebraic Numbers})\cup(\text{Transcendental Numbers}),$$

it follows that:

$$m(\text{Transcendental Numbers}\cap[0,1])=1.$$

Thus:

Almost every real number is transcendental.

This does not mean most numbers by counting.

It means that from the perspective of length and measure, transcendental numbers occupy essentially the entire real line.


The Great Paradox

This creates a fascinating paradox.

The numbers we learn first are almost all algebraic:

$$0,;1,;\frac12,;\sqrt2,;\sqrt3,;\phi.$$

Yet measure theory tells us:

Almost every real number is transcendental.

The numbers most familiar to us form a tiny exceptional subset of the continuum.


Most Transcendental Numbers Have No Names

The situation becomes even more astonishing.

Most transcendental numbers:

  • Have no special name.
  • Have no simple formula.
  • Have never been written down.
  • Are not computable.

There are only countably many finite descriptions.

There are only countably many computer programs.

Yet there are uncountably many transcendental numbers.

Therefore most transcendental numbers cannot be generated by any algorithm.

Most real numbers are fundamentally beyond explicit description.


The Deep Insight

Transcendental numbers reveal one of the central lessons of modern mathematics:

The numbers we can describe are not representative of the continuum.

The familiar world of integers, fractions, roots, and polynomial equations occupies only a tiny corner of the real number line.

Beyond that corner lies a vast ocean of transcendental numbers.

Some famous examples, such as:

$$e$$

and

$$\pi,$$

have transformed mathematics and science.

Yet they are merely a glimpse of a much larger universe.

Measure theory shows that this universe is not a rarity.

It is, in fact, almost everything.

Leave a Reply

Discover more from nerd-ish

Subscribe now to keep reading and get access to the full archive.

Continue reading