초월수

위키백과, 우리 모두의 백과사전.
이동: 둘러보기, 검색
수학 체계
기초

\mathbb{N}\sub\mathbb{Z}\sub\mathbb{Q}\sub\mathbb{R}\sub\mathbb{C}

복소수의 확장
기타

i 허수 단위 = \sqrt{-1}
\pi 원주율 ≈ 3.14159 26535 ...
e 자연로그의 밑 ≈ 2.71828 ( \notin \mathbb{Q})

주요 상수

π - e - √2 - √3 - γ -
φ - β* - δ - α - C2 -
M1 - B2 - B4 - Λ - K -
K - K - L - μ - EB -
Ω - β - λ - D(1) - λμ -
Cah. - Lap. - A-G - Λ - K-L -
Apr. - θ - Bac. - Prt. - Lb. -
Niv. - Sie. - Kin. - F - L

초월수(超越數, 영어: transcendental number)는 계수가 유리수인 어떤 다항 방정식도 될 수 없는 복소수이다. 다항 방정식의 해가 될 수 있는 수인 대수적 수와 반대 개념이다.

실수인 초월수는 모두 무리수이다. 하지만 그 역은 성립하지 않는다. 예를 들어, \sqrt2는 무리수이지만 다음 이차방정식

x^2-2=0

의 해이므로 초월수가 아니다.

대수적 수의 집합이 가산집합인 데 비하여 복소수의 집합은 비가산집합이다. 따라서 초월수의 집합은 비가산집합이 된다. 이것은 대수적 수의 개수보다 초월수의 개수가 많다는 것을 뜻한다. 하지만 지금까지 알려진 초월수는 많지 않고, 어떤 특정한 수가 초월수임을 증명하는 것은 매우 어렵다.

초월수의 존재는 레온하르트 오일러가 예상하였으나, 최초의 초월수는 1844년조제프 리우빌이 발견하였다. 그는 초월수의 예로서 다음과 같이 정의되는 리우빌 상수를 제시하였다.

\sum_{k=1}^\infty 10^{-k!} = 0.110001000000000000000001000....

초월수의 존재를 증명하기 위해 특별히 만들어진 수가 아닌 수 중에서 처음으로 초월수임이 증명된 수는 상수 e로, 샤를 에르미트1873년에 증명하였다. 1882년에는 페르디난트 폰 린데만원주율 또한 초월수임을 증명하였다. 이것은 고대 그리스 시대부터의 난제였던 원적문제가 불가능함을 보여주는 결과였다.

1874년게오르크 칸토어는 구체적인 초월수를 제시하는 대신, 앞에 설명된 가산집합과 비가산집합의 논리를 이용하여 초월수가 존재함을 보였다.

1900년다비트 힐베르트힐베르트의 23 문제 가운데 7번째 문제로 초월수에 대하여 다음과 같은 문제를 제시하였다.

a는 0이나 1이 아닌 대수적 수이고 b무리수이면서 대수적 수일 때, a^b는 초월수인가?

힐베르트는 이 문제의 구체적인 예로 2^\sqrt{2}를 들었다. 이 문제는 1934년겔폰드-슈나이더 정리에 의해 참임이 밝혀졌다. 이 결과는 1960년앨런 베이커에 의해 확장되었다.

잘 알려진 초월수와 미해결 문제[편집]

  • e^a (a \neq 0)
  • 원주율 \pi
  • e^\pi
  • 2^\sqrt2
  • 0이 아닌 유리수 a에 대하여 \sin~a, \cos~a, \tan~a
  • 1이 아닌 양의 유리수 a에 대하여 \ln~a

바깥 고리[편집]