초월수는 정수 계수를 가진 어떤 다항 방정식의 근도 아닌 수입니다. π는 x^2 - 3x + 1 = 0과 같은 어떤 방정식도 만족하지 않습니다. e도 마찬가지입니다. 이들은 대수의 범위를 넘어 존재합니다. 이름을 붙이기는 어렵지만, 초월수는 예외가 아니라 규칙입니다: 거의 모든 실수가 초월수입니다.
모든 유리수는 대수적입니다. 모든 대수적 수는 실수입니다. 그러나 대수적 고리 밖의 초월수는 모든 대수적 수를 합한 것보다 훨씬 더 많습니다.
리우빌의 인위적 구성(1844)에서 겔폰드-슈나이더 정리(1934)까지, 초월성 이론은 호기심에서 수론의 주요 분야로 성장했습니다.
최소 다항식이 있는 대수적 수와 그런 다항식이 없는 초월수를 보여주는 표
| NUMBER | MINIMAL POLYNOMIAL |
|---|---|
| sqrt(2) = 1.41421... | x^2 - 2 = 0 |
| phi = 1.61803... | x^2 - x - 1 = 0 |
| cbrt(5) = 1.70997... | x^3 - 5 = 0 |
| i = sqrt(-1) | x^2 + 1 = 0 |
| pi = 3.14159... | no polynomial exists |
| e = 2.71828... | no polynomial exists |
| e^pi = 23.1406... | no polynomial exists |
초월수는 정수 계수를 가진 어떤 다항 방정식도 만족하지 않는 수입니다. 리우빌은 1844년에 최초의 명시적 예를 제시했습니다. 에르미트는 1873년에 e가 초월수임을 증명했습니다. 린데만은 1882년에 π가 초월수임을 증명하여 고대의 원적 문제가 불가능함을 최종적으로 해결했습니다. 겔폰드-슈나이더 정리(1934)에 따르면, a가 0이나 1이 아닌 대수적 수이고 b가 대수적 무리수일 때 a^b는 초월수입니다. 예외가 아닌 규칙임에도 불구하고, 특정 수가 초월수임을 증명하는 것은 여전히 매우 어렵습니다.