A Transcendental Number is any number that is not an Algebraic Number
Examples of transcendental numbers include π and e
What then is an Algebraic Number?
Put simply, when you have a polynomial like (for example):
2x2 - 4x + 2 = 0
Then x is Algebraic. (Read Algebraic Numbers for full details).
Back in 1844, Joseph Liouville came up with this number:
|(the digit is 1 if it is n! places after the decimal, and 0 otherwise.)|
It is a very interesting number because:
- it is irrational, and
- it is not the root of any polynomial equation and is therefore not algebraic.
In fact, Joseph Liouville had successfully made the first provable Transcendental Number.
That number is now known as the Liouville Constant. And it is a Liouville Number.
More Transcendental Numbers
It took until 1873 for the first "non-constructed" number to be proved as transcendental when Charles Hermite proved that e was transcendental.
Then in 1884, Ferdinand von Lindemann published a proof that π was transcendental.
In fact, proving that a number is Transcendental is quite difficult, even though they are known to be very common ...
Transcendental Numbers are Common
Most real numbers are transcendental. The argument for this is:
- The Algebraic Numbers are "countable" (put simply, the list of whole numbers is "countable", and you can arrange the algebraic numbers in a 1-to-1 manner with whole numbers, so they are also countable.)
- But the Real numbers are "Uncountable".
- And since a Real number is either Algebraic or Transcendental, the Transcendentals must be "Uncountable".
- So there are many more Transcendentals than Algebraics.
In a similar way that a Transcendental Number is "not algebraic", so a Transcendental Function is also "not algebraic".
More formally, a transcendental function is a function that cannot be constructed in a finite number of steps from the elementary functions and their inverses.
An example of a Transcendental Function is the sine function sin(x).
Footnote: More about Liouville Numbers
A Liouville Number is a special type of transcendental number which can be very closely approximated by rational numbers.
More formally a Liouville Number is a real number x, with the property that, for any positive integer n, there exist integers p and q (with q>1) such that:
Now we know that x is irrational, so there will always be a difference between x and any p/q: hence the "0<" part.
But the second inequality shows you how small the difference is. In fact the inequality is saying "the number can be approximated infinitely close, but never quite getting there". In fact Liouville managed to show that if a number has a rapidly converging series of rational approximations then it is transcendental.
Another interesting property is that for any positive integer n, there exist an infinite number of pairs of integers (p,q) obeying the above inequality.