초월수

위키백과, 우리 모두의 백과사전.
원주율(π)은 잘 알려진 초월수이다.

초월수(超越數, 영어: Transcendental number)는 수학에서 대수학적이지 않은 숫자를 의미한다. 어떤 다항 방정식도 될 수 없는 복소수이자 유리수계수를 가진 유한한 0이 아닌 을 의미한다. 가장 잘 알려진 초월수는 π(원주율)과 e(자연로그의 밑)이다.[1][2]

소수의 초월수들만 알려져 있지만 부분적으로 주어진 숫자가 초월적이라는 것을 보여주는 것은 극히 어려울 수 있기 때문에 초월수들은 드물지 않다. 실제로 대수들이 가산 집합을 구성하는 반면 실수집합, 복소수의 집합은 모두 비가산 집합이므로 거의 모든 실수들과 복소수들은 초월적이다. 모든 초월실수("실제 초월수" 또는 "초월무리수"라고도 함)는 모든 유리수가 대수학적이기 때문에 무리수이다.[3][4][5][6] 그 반대는 사실이 아니다. 모든 무리수가 초월적인 것은 아니다. 따라서 실수의 집합은 겹치지 않는 유리수, 대수적인 무리수, 초월적인 실수로 구성된다.[3] 예를 들어 제곱근 2는 무리수이지만 다항식 x2 − 2 = 0의 근인 만큼 초월수는 아니다. 황금비( 또는 로 표시됨)은 다항식 x2x − 1 = 0의 근으로서 초월적이지 않은 또다른 무리수이다.

역사[편집]

"초월적"이라는 이름은 라틴어로 "넘어오거나 넘어서거나"를 뜻하는 '트란스켄데레'(transcendĕre)에서 유래되었다.[7] 고트프리트 빌헬름 라이프니츠는 1682년에 발표한 자신의 논문에서 수학적 개념을 처음 사용했는데 sin xx대수함수가 아니라는 것을 증명했다.[8][9] 레온하르트 오일러는 18세기에 현대적인 숫자를 "초월한" 최초의 수학자로 여겨지고 있다.[10]

요한 람베르트는 1768년에 발표한 자신의 논문에서 e(자연로그의 밑)와 π(원주율) 둘 다 초월수라고 추측했고 무리수π의 초월수 증명에 대한 잠정적인 스케치를 제안했다.[11] 조제프 리우빌은 1844년에 초월수의 존재를 처음으로 증명했고[12] 1851년에 리우빌 수와 같은 소수점 1번째 자리의 사례를 제시했다.

nk! (k 계승)인 경우에는 소수점 뒤의 n번째 자리가 1이고 그렇지 않은 경우에는 0이다.[13]n이 숫자 1! = 1, 2! = 2, 3! = 6, 4! = 24 가운데 하나일 경우에만 이 숫자의 n번째 자릿수가 1이다. 리우빌은 이 숫자가 특정한 무리수인 대수적 수보다 유리수에 의해 보다 가깝게 근사할 수 있는 초월수의 종류에 속한다는 것을 보여주었고 이 종류의 숫자는 그의 이름을 따서 리우빌 수라고 불린다. 리우빌은 모든 리우빌 수가 초월수라는 것을 증명했다.[14] 1873년에는 샤를 에르미트가 초월수의 존재를 증명하기 위해 e가 특별히 구성되지 않은 초월수임을 증명했다.

1874년에는 게오르크 칸토어가 대수적 수들은 셀 수 있고 실수는 셀 수 없다는 사실을 증명했다. 그는 또한 초월수를 구성하는 새로운 방법을 제시했다.[15][16] 비록 이것이 대수적 수의 계산 가능성에 대한 그의 증명에 의해 이미 암시되었지만 칸토어는 실수들만큼 초월적인 숫자들이 있다는 것을 증명하는 구성을 공개했다.[17] 칸토어의 연구는 초월수의 보편성을 확립했다.

1882년에는 페르디난트 폰 린데만π의 초월성에 대한 최초의 완전한 증거를 출판했다. 그는 먼저 a가 0이 아닌 대수적 수일 경우 ea가 초월적이라는 것을 증명했다. 그렇다면 eiπ = −1은 대수적이므로(오일러의 항등식 참조), iπ는 초월적이어야 한다. 그러나 i가 대수적이기 때문에 π는 초월적이어야 한다. 이러한 접근 방식은 카를 바이어슈트라스에 의해 일반화되었는데 오늘날에는 린데만-바이어슈트라스 정리로 알려져 있다. π의 초월은 원적문제와 같이 가장 유명한 것을 포함하여 컴퍼스와 자 작도를 포함한 여러 고대 기하학 구조들이 갖고 있던 불가능성의 증거를 가능하게 했다.

1900년에는 다비트 힐베르트가 힐베르트의 7번째 문제인 초월수에 대해 영향력 있는 질문을 던졌다. "a가 0이나 1이 아닌 대수적 수이고 b가 무리수인 대수적 수라면 반드시 초월수인가?" 이에 대한 긍정적인 대답은 1934년에 겔폰트-슈나이더 정리를 통해 제공되었다. 이 연구는 1960년대에 앨런 베이커가 진행한 (대수 수) 로그에서 선형 형태의 하한에 대한 연구를 통해 확장되었다.[18]

특성[편집]

초월수의 집합은 셀 수 없이 무한하다. 유리수인 계수를 갖는 다항식은 셀 수 있고 각각의 다항식은 유한한 근을 가지기 때문에 대수적 수도 셀 수 있어야 한다. 그러나 칸토어가 제시한 대각선 논법은 실수자(그리고 따라서 복소수도 셀 수 없다는 것을 증명한다.) 실수는 대수적 수와 초월수 간의 결합이기 때문에, 후자는 둘 다 셀 수 없다. 이것은 초월수를 셀 수 없게 만든다.

어떠한 유리수도 초월적이지 않고 모든 실제 초월수는 무리수이다. 무리수는 2차 무리수 및 그 외의 형태를 가진 대수적 무리수를 포함하여 모든 실제 초월수와 대수적 수의 부분집합을 포함한다. 단일 변수의 일정하지 않은 대수함수는 초월 인수에 적용될 때 초월 값을 산출한다.

단일 변수의 일정하지 않은 대수함수는 초월 인수에 적용될 때 초월 값을 산출한다. 예를 들어 π가 초월적이라는 것을 아는 것으로부터 5π, π-3/2, (π-3)8와 같은 숫자들을 즉시 추론할 수 있다. 4π5+7도 초월수이다.

그러나 여러 변수의 대수함수는 초월수에 적용될 때 대수적 수를 산출할 수 있다. 예를 들어 π(1 − π)는 둘 다 초월적이지만 π + (1 − π) = 1은 분명히 그렇지 않다. 예를 들어 e + π가 초월적인지는 알 수 없지만, e + π 가운데 적어도 하나는 초월적인 것이어야 한다. 보다 일반적으로 어떤 2가지 초월수 ab의 경우 적어도 a + bab 가운데 하나는 초월수여야 한다. 이를 확인하려면 다항식 (xa)(xb) = x2 − (a + b)x + ab을 고려해야 한다. 만약 (a + b)ab가 둘 다 대수적이라면 이것은 대수적 계수를 갖는 다항식이 될 것이다. 대수적 수는 대수적으로 닫힌 체를 형성하기 때문에 다항식인 ab의 근은 대수적이어야 한다는 것을 의미한다. 하지만 이것은 모순이다. 따라서 적어도 하나의 계수가 초월적이라는 것은 틀림없다.

계산 불가능한 수는 초월수의 엄격한 부분집합이다. 모든 리우빌 수는 초월적이지만 그 반대는 아니다. 모든 리우빌 수는 지속적인 연분수에서 제한 없는 부분적인 몫을 가져야 한다. 계산 인수를 사용하면 제한된 부분적인 몫을 가진 초월수가 존재하므로 리우빌 수가 아니라는 것을 증명할 수 있다.

e의 지속적인 연분수를 사용하여 e가 리우빌 수가 아니라는 것을 보여줄 수 있다(비록 지속적인 분수의 부분적인 몫은 무한대이다). 쿠르트 말러는 1953년에 π 또한 리우빌 수가 아니라는 것을 증명했다. 결국 주기적이지 않은 경계 항을 갖는 모든 무한 연분수는 초월적(결국 주기적인 연분수는 2차 무리수에 해당함)이라고 추측된다.[19]

초월수로 입증된 수[편집]

초월수로 입증된 수:

  • ea에서 a대수적 수이고 0이 아닌 경우 (린데만-바이어슈트라스 정리).
  • π (원주율, 린데만-바이어슈트라스 정리).
  • eπ, 겔폰트 상수, 또는 eπ/2 = ii (겔폰트-슈나이더 정리에 따름).
  • ab, 여기서 a는 대수적이지만 0이나 1은 아니며 b는 무리수인 대수이다 (겔폰트-슈나이더 정리에 따름). 특히 다음과 같다.
22, 겔폰트-슈나이더 상수 (또는 힐베르트 수)
  • sin a, cos a, tan a, csc a, sec a, cot a 및 이들의 쌍곡선 상대는 0이 아닌 대수적 수 a에 의해 라디안(린데만-바이어슈트라스 정리)에 따름)으로 표현한다.
  • 코사인 함수의 고정점. 방정식에 대한 고유한 실제 정답인 cos x = x. 여기서 x는 라디안이다.[20]
  • ln a에서 로그 함수의 분기에 대해 a가 대수이고 0 또는 1과 같지 않은 경우 (린데만-바이어슈트라스 정리에 따름).
  • logb a에서 ab가 동일한 정수의 검정력이 아닌 경우 (겔폰트-슈나이더 정리에 따름).
  • W(a)의 모든 분기에 대해 a가 대수이고 0이 아닌 경우 (린데만-바이어슈트라스 정리에 따름), 특히 오메가 정수의 Ω.
  • xs, 자연수의 제곱 초근은 정수이거나 초월이다 (겔폰트-슈나이더 정리에 따름)
  • Γ(1/3),[21] Γ(1/4),[22], Γ(1/6).[22]
  • 0.64341054629..., 카앵 상수.[23]
  • 모든 양의 정수의 표현을 연결하여 형성된 무리수인 챔퍼나운 수.[24][25]
  • Ω, 차이틴 상수 (계산 불가능한 숫자임).[26]
  • 이른바 프레드홀름 상수는[12][27][28]
또한 10을 대수적 수 b > 1로 대체해도 유지된다.[29]
  • 가우스 상수.
  • 2개의 렘니스케이트 상수인 L1 (때로는 ϖ라고 표시하기도 함)과 L2.
  • 앞에서 언급한 b ∈ (0, 1)에 대한 리우빌 상수.
  • 프루에-튀에-모르스 상수.[30][31]
  • 코모르니크-로레티 상수.
  • 고정 베이스와 관련된 수가 스튀름 단어를 형성하는 임의의 수.[32]
  • β > 1의 경우
여기서 바닥 함수이다.
  • 3.300330000000000330033...과 그 역수인 0.30300000303...는 모저-더 브라윈 수열에 의해 0이 아닌 위치가 주어지는 2개의 소수 자릿수만 가지는 2개의 숫자이다.[33]
  • π/2Y0(2)/J0(2)-γ,에서 Yα(x)Jα(x)는 베셀 함수이고 γ오일러-마스케로니 상수이다.[34][35]

초월수가 될 가능성이 있는 수[편집]

초월수 또는 대수적 수로 아직 입증되지 않은 수:

  • , e + π, πe, π/e, ππ, ee, πe, π2, eπ2 등과 같은 π(원주율)과 e(자연로그의 밑)의 합, 곱, 힘은 유리수, 대수적 수, 무리수, 초월수라고 알려져 있지 않다. 주목할 만한 예외는 초월성이 입증된 eπn(모든 양의 정수 n에 대해이다.[36]
  • 오일러-마스케로니 상수 γ: M. 램 머티와 N. 사라다는 2010년에 γ/4를 포함하는 무한한 수의 목록을 고려했고 이 가운데 하나를 제외하고 모두 초월적이어야 한다는 것을 증명했다.[37][38] 2012년에는 γ와 오일러-곰페르츠 상수 δ 가운데 적어도 하나가 초월성이라는 것이 입증되었다.[39]
  • 카탈랑 상수 또한 무리수로 입증되지 않았다.
  • 킨친 상수 또한 무리수로 입증되지 않았다.
  • 아페리 상수 ζ(3) (로제 아페리는 무리수라고 증명했다.)
  • 리만 제타 함수의 다른 홀수 정수인 ζ(5), ζ(7), ... (무리수로 입증되지 않았다.)
  • 파이겐바움 상수 δα도 무리수로 입증되지 않았다.
  • 밀스 상수 또한 무리수로 입증되지 않았다.
  • 코플랜드 에르되시 상수는 소수점 표기를 연결하여 형성된다.

같이 보기[편집]

각주[편집]

  1. “The 15 Most Famous Transcendental Numbers - Cliff Pickover”. 《sprott.physics.wisc.edu》. 2020년 1월 23일에 확인함. 
  2. Shidlovskii, Andrei B. (2011년 6월). 《Transcendental numbers》. Walter de Gruyter. 1쪽. ISBN 9783110889055. 
  3. Bunday, B. D.; Mulholland, H. (2014년 5월 20일). 《Pure Mathematics for Advanced Level》 (영어). Butterworth-Heinemann. ISBN 978-1-4831-0613-7. 2021년 3월 21일에 확인함. 
  4. Baker, A. (1964년). “On Mahler's classification of transcendental numbers”. 《Acta Mathematica》 111: 97–120. doi:10.1007/bf02391010. 2021년 3월 21일에 확인함. 
  5. Heuer, Nicolaus; Loeh, Clara (2019년 11월 1일). “Transcendental simplicial volumes”. arXiv:1911.06386 [math.GT]. 
  6. “Real number | mathematics”. 《Encyclopedia Britannica》 (영어). 2020년 8월 11일에 확인함. 
  7. Oxford English Dictionary, s.v.
  8. Leibniz, Gerhardt & Pertz 1858, 97–98쪽
  9. Bourbaki 1994, 74쪽
  10. Erdős & Dudley 1983
  11. Lambert 1768
  12. Kempner 1916
  13. Weisstein, Eric W. "Liouville's Constant", MathWorld
  14. Liouville 1851
  15. Cantor 1874
  16. Gray 1994
  17. Cantor 1878, 254쪽. 칸토어의 구조는 초월수 집합과 실수 집합 사이의 1 대 1 대응 관계를 구축한다. 이 글에서 칸토어는 비합리적인 숫자의 집합에만 그의 구조를 적용한다.
  18. J J O'Connor and E F Robertson: Alan Baker. The MacTutor History of Mathematics archive 1998.
  19. Adamczewski & Bugeaud 2005
  20. Weisstein, Eric W. “Dottie Number”. 《Wolfram MathWorld》. Wolfram Research, Inc. 2016년 7월 23일에 확인함. 
  21. Le Lionnais 1979, 46쪽 via Wolfram Mathworld, Transcendental Number
  22. Chudnovsky 1984 via Wolfram Mathworld, Transcendental Number
  23. Davison & Shallit 1991
  24. Mahler 1937
  25. Mahler 1976, 12쪽
  26. Calude 2002, 239쪽
  27. Allouche & Shallit 2003, 385,403쪽. "프레드홀름 수"'라는 이름은 틀린 이름이다. 켐프너는 이 수가 초월적이라는 것을 처음 증명했고 403쪽에 기록된 내용에 따르면 프레드홀름은 이 수를 연구하지 않았다고 한다.
  28. Shallit 1999
  29. Loxton 1988
  30. Mahler 1929
  31. Allouche & Shallit 2003, 387쪽
  32. Pytheas Fogg 2002
  33. Blanchard & Mendès France 1982
  34. Mahler, Kurt; Mordell, Louis Joel (1968년 6월 4일). “Applications of a theorem by A. B. Shidlovski”. 《Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences》 305 (1481): 149–173. Bibcode:1968RSPSA.305..149M. doi:10.1098/rspa.1968.0111. 
  35. Lagarias, Jeffrey C. (2013년 7월 19일). “Euler's constant: Euler's work and modern developments”. 《Bulletin of the American Mathematical Society》 50 (4): 527–628. arXiv:1303.1856. doi:10.1090/S0273-0979-2013-01423-X. ISSN 0273-0979. 
  36. Weisstein, Eric Wolfgang. “Irrational Number”. 《Wolfram MathWorld》 (영어). Wolfram Research. 
  37. Murty, M. Ram; Saradha, N. (2010년 12월 1일). “Euler–Lehmer constants and a conjecture of Erdös”. 《Journal of Number Theory》 (영어) 130 (12): 2671–2682. doi:10.1016/j.jnt.2010.07.004. ISSN 0022-314X. 
  38. Murty, M. Ram; Zaytseva, Anastasia (2013년 1월 1일). “Transcendence of Generalized Euler Constants”. 《The American Mathematical Monthly》 120 (1): 48–54. doi:10.4169/amer.math.monthly.120.01.048. ISSN 0002-9890. 
  39. Rivoal, Tanguy (2012년). “On the arithmetic nature of the values of the gamma function, Euler's constant, and Gompertz's constant”. 《Michigan Mathematical Journal》 (영어) 61 (2): 239–254. doi:10.1307/mmj/1339011525. ISSN 0026-2285. 

참고 문헌[편집]

외부 링크[편집]