초월수

파일:PI constant.svg|섬네일|370x370픽셀|원주율()은 잘 알려진 초월수이다.
'''초월수'''(超越數, )는 수학에서 대수학적이지 않은 수, 즉 유리수 계수를 가지는 0이 아닌 유한 차수 다항 방정식의 해가 될 수 없는 수를 의미한다. 가장 잘 알려진 초월수는 (원주율)과 (자연로그의 밑)이다.
현재까지는 적은 양의 초월수들만 알려져 있다. 이는 어떤 주어진 수가 초월수인지 보여주는 것은 극히 어려울 수 있기 때문이다. 그러나 초월수들은 드물지 않다. 실제로 대수적 수들이 가산 집합을 구성하는 반면 실수의 집합, 복소수의 집합은 모두 비가산 집합이므로 거의 모든 실수들과 복소수들은 초월적이다. 또한 모든 유리수가 대수학적이기 때문에 모든 초월실수("실제 초월수" 또는 "초월무리수"라고도 함)는 무리수이다. 그러나 모든 무리수가 초월적인 것은 아니다. 따라서 실수의 집합은 겹치지 않는 유리수, 대수적인 무리수, 초월적인 실수로 구성된다. 예를 들어 제곱근 2는 무리수이지만 다항식 의 근인 만큼 초월수는 아니다. 황금비( 또는 로 표시됨)은 다항식 의 근으로서 초월적이지 않은 또다른 무리수이다.
"초월적"이라는 이름은 라틴어로 "넘어오거나 넘어서거나"를 뜻하는 '트란스켄데레'(transcendĕre)에서 유래되었다. 고트프리트 빌헬름 라이프니츠는 1682년에 발표한 자신의 논문에서 수학적 개념을 처음 사용했는데 가 의 대수함수가 아니라는 것을 증명했다. 레온하르트 오일러는 18세기에 "초월수"를 현대적 의미로 정의한 최초의 수학자로 여겨지고 있다.
요한 람베르트는 1768년에 발표한 자신의 논문에서 (자연로그의 밑)와 (원주율) 둘 다 초월수라고 추측했고 무리수인 의 초월수 증명에 대한 대략적인 구성을 제안했다. 조제프 리우빌은 1844년에 초월수의 존재를 처음으로 증명했고 1851년에 리우빌 수와 같은 초월수의 사례를 제시했다.
:
이  ( 계승)인 경우에는 소수점 뒤의 번째 자리가 이고 그렇지 않은 경우에는 이다. 즉 이 숫자 등일 경우에만 이 숫자의 번째 자릿수가 이다. 리우빌은 이 숫자가 특정한 무리수인 대수적 수보다 유리수에 의해 보다 가깝게 근사할 수 있는 초월수의 종류에 속한다는 것을 보여주었고 이 종류의 숫자는 그의 이름을 따서 리우빌 수라고 불린다. 리우빌은 모든 리우빌 수가 초월수라는 것을 증명했다. 1873년에는 샤를 에르미트가 초월수의 존재를 증명하기 위해 가 특별히 구성되지 않은 초월수임을 증명했다.
1874년에는 게오르크 칸토어가 대수적 수들은 셀 수 있고 실수는 셀 수 없다는 사실을 증명했다. 그는 또한 초월수를 구성하는 새로운 방법을 제시했다. 비록 이것이 대수적 수의 계산 가능성에 대한 그의 증명에 의해 이미 암시되었지만 칸토어는 실수들만큼 초월적인 숫자들이 있다는 것을 증명하는 구성을 공개했다. 칸토어의 연구는 초월수의 보편성을 확립했다.
1882년에는 페르디난트 폰 린데만이 의 초월성에 대한 최초의 증명을 담은 책을 출판했다. 그는 먼저 가 0이 아닌 대수적 수일 경우 가 초월수라는 것을 증명했다. 그렇다면 은 대수적이므로(오일러의 항등식 참조), 는 초월수이어야 한다. 그러나 가 대수적 수이기 때문에 는 초월수이어야 한다. 이러한 접근 방식은 카를 바이어슈트라스에 의해 일반화되었는데 오늘날에는 린데만-바이어슈트라스 정리로 알려져 있다. 의 초월은 원적문제와 같이 가장 유명한 것을 포함하여 컴퍼스와 자 작도를 포함한 여러 고대 기하학 구조들이 갖고 있던 불가능성의 증거를 가능하게 했다.
1900년에는 다비트 힐베르트가 힐베르트의 7번째 문제인 초월수에 대해 영향력 있는 질문을 던졌다. "가 0이나 1이 아닌 대수적 수이고 가 무리수인 대수적 수라면 반드시 은 초월수인가?" 이에 대한 해답은 1934년에 겔폰트-슈나이더 정리를 통해 제공되었다. 이 연구는 1960년대에 앨런 베이커가 진행한 (대수 수) 로그에서 선형 형태의 하한에 대한 연구를 통해 확장되었다.
초월수의 집합은 셀 수 없이 무한하다. 유리수인 계수를 갖는 다항식은 셀 수 있고 각각의 다항식은 유한한 근을 가지기 때문에 대수적 수도 셀 수 있어야 한다. 그러나 칸토어는 대각선 논법을 통해 실수가 (그리고 복소수또한) 셀 수 없다는 것을 증명했다. 그리고 실수 집합은 대수적 수 집합과 초월수 집합의 합집합이기 때문에, 초월수 집합은 셀 수 없다.
어떠한 유리수도 초월적이지 않고 모든 초월실수는 무리수이다. 무리수는 2차 무리수 및 그 외의 형태를 가진 대수적 무리수를 포함하여 모든 실제 초월수와 대수적 수의 부분집합을 포함한다. 단일 변수의 일정하지 않은 대수함수는 초월 인수에 적용될 때 초월 값을 산출한다.
단일 변수의 대수함수에서 초월수는 다른 초월수에 대응된다. 예를 들어 가 초월적이라는 것을 아는 것으로부터 과 같은 숫자들이 초월수임을 수 있다. 도 초월수이다.
그러나 여러 변수의 대수함수는 초월수에 적용될 때 대수적 수를 산출할 수 있다. 예를 들어 와 는 둘 다 초월적이지만 은 그렇지 않다. 예를 들어 가 초월적인지는 알 수 없지만, 와  가운데 적어도 하나는 초월적인 것이어야 한다. 보다 일반적으로 어떤 2가지 초월수 와 의 경우 적어도 와  가운데 하나는 초월수여야 한다. 그 이유는 다항식 을 고려해보면 알 수 있다. 만약 와 가 둘 다 대수적이라면 이것은 대수적 계수를 갖는 다항식이 될 것이다. 대수적 수는 대수적으로 닫힌 체를 형성하기 때문에 다항식인 와 의 근은 대수적이어야 한다는 것을 의미한다. 하지만 이때 모순이 생긴다. 따라서 적어도 하나의 계수가 초월적이라는 것을 알 수 있다.
계산 불가능한 수는 초월수의 진부분집합이다. 모든 리우빌 수는 초월적이지만 그 반대는 아니다. 모든 리우빌 수는 지속적인 연분수에서 제한 없는 부분적인 몫을 가져야 한다. 계산 인수를 사용하면 제한된 부분적인 몫을 가진 초월수가 존재하므로 리우빌 수가 아니라는 것을 증명할 수 있다.
의 지속적인 연분수를 사용하여 가 리우빌 수가 아니라는 것을 보여줄 수 있다(비록 지속적인 분수의 부분적인 몫은 무한대이다). 쿠르트 말러는 1953년에  또한 리우빌 수가 아니라는 것을 증명했다. 결국 주기적이지 않은 경계 항을 갖는 모든 무한 연분수는 초월적(결국 주기적인 연분수는 2차 무리수에 해당함)이라고 추측된다.
초월수로 입증된 수:
* 에서 가 대수적 수이고 0이 아닌 경우 (린데만-바이어슈트라스 정리).
*  (원주율, 린데만-바이어슈트라스 정리).
* , 겔폰트 상수, 또는  (겔폰트-슈나이더 정리에 따름).
* , 여기서 는 대수적이지만 0이나 1은 아니며 는 대수적 무리수이다 (겔폰트-슈나이더 정리에 따름). 특히 다음과 같다.
:: , 겔폰트-슈나이더 상수 (또는 힐베르트 수)
* , , , , ,  및 이들의 쌍곡선 상대는 0이 아닌 대수적 수 에 의해 라디안(린데만-바이어슈트라스 정리)에 따름)으로 표현한다.
* 코사인 함수의 고정점.  방정식에 대한 실근. 여기서 는 라디안이다.
* 에서 로그 함수의 경우에 대해 가 대수적 수이고 0 또는 1이 아닌 경우 (린데만-바이어슈트라스 정리에 따름).
* 에서 와 가 동일한 정수가 아닌 경우 (겔폰트-슈나이더 정리에 따름).
* 의 모든 경우에 대해 가 대수적 수이고 0이 아닌 경우 (린데만-바이어슈트라스 정리에 따름), 특히 오메가 정수의 .
* , 자연수의 제곱 초근은 정수이거나 초월이다 (겔폰트-슈나이더 정리에 따름)
* , ,, .
* 0.64341054629..., 카앵 상수.
* 모든 양의 정수의 표현을 연결하여 형성된 무리수인 챔퍼나운 수.
* , 차이틴 상수 (계산 불가능한 숫자임).
* 이른바 프레드홀름 상수,
*:
:또한 10을 대수적 수 로 대체해도 유지된다.
* 가우스 상수.
* 2개의 렘니스케이트 상수인  (때로는 라고 표시하기도 함)과 .
* 앞에서 언급한 에 대한 리우빌 상수.
* 프루에-튀에-모르스 상수.
* 코모르니크-로레티 상수.
* 고정 베이스와 관련된 수가 스튀름 단어를 형성하는 임의의 수.
* 의 경우
:: 
:여기서 는 바닥 함수이다.
* 3.300330000000000330033...과 그 역수인 0.30300000303...는 모저-더 브라윈 수열에 의해 0이 아닌 위치가 주어지는 2개의 소수 자릿수만 가지는 2개의 숫자이다.
* 수 ,에서 와 는 베셀 함수이고 는 오일러-마스케로니 상수이다.
초월수 또는 대수적 수로 아직 입증되지 않은 수:
* , , , , , , , ,  등과 같은 (원주율)과 (자연로그의 밑) 사이의 사칙연산, 거듭제곱은 유리수인지 무리수인지, 대수적 수인지 초월수인지 알려져 있지 않다.  주목할 만한 예외는 초월성이 입증된 (모든 양의 정수 에 대해이다.
* 오일러-마스케로니 상수 '':'' M. 램 머티와 N. 사라다는 2010년에 를 포함하는 무한한 수의 목록을 고려했고 이 가운데 하나를 제외하고 모두 초월적이어야 한다는 것을 증명했다. 2012년에는 와 오일러-곰페르츠 상수  가운데 적어도 하나가 초월성이라는 것이 입증되었다.
* 카탈랑 상수 무리수로 입증되지도 않았다.
* 킨친 상수 또한 무리수로 입증되지도 않았다.
* 아페리 상수  (로제 아페리는 무리수임을 증명했다.)
* 리만 제타 함수의 다른 홀수 정수인 , 등 (무리수인지도 입증되지 않았다.)
* 파이겐바움 상수 와 도 무리수로 입증되지 않았다.
* 밀스 상수 또한 무리수로 입증되지도 않았다.
* 코플랜드 에르되시 상수는 소수점 표기를 연결하여 형성된다.
* 겔폰트-슈나이더 정리
== 참고 문헌  == 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
*   Proof that ''e'' is transcendental
*   Proof that the Liouville Constant is transcendental 
*   가 초월수임을 증명한 것 (PDF)
*   가 초월수임을 증명한 것 (PDF)
*