p진수

(P진수체에서 넘어옴)

수론에서 p진수(p進數, p-adic number)는 유리수의 체를 마치 어떤 소수 p에 대한 로랑 급수처럼 해석하여 완비시켜 얻는 이다. 보다 구체적으로 설명하면, 임의의 소수 p에 대해, p진수들을 전부 모은 p진체는 유리수체의 완비화이다. 또한 p진수에는 p값매김이 주어져 있기에 거리 공간이 되며 따라서 위상 공간이기도 하다. 이 거리 공간은 완비 거리 공간(즉, 모든 코시 수열이 수렴한다)이며, 그렇기에 p진체 상에서 마치 실수체 상에서와 같은 해석학을 전개할 수 있는 것이다. p진법 체계의 유용성은 상당 부분 이와 같은 대수적 구조와 해석적 구조 사이의 상호 연관성에서 나온다.

개론

편집

유리수체  는 표준 노름  에 대하여 완비 거리 공간을 이루지 않는다. 따라서, 이에 대하여 코시 수열들의 동치류들을 취하여 이를 완비화할 수 있는데, 이렇게 하여 실수체  을 얻는다. 유리수체의 표준 노름은 아주 유용하지만, 원하면 유리수체에 다른 노름을 줄 수도 있다. 이러한 노름에 대하여 완비화하면 다른 체를 얻게 된다. p진수는 이렇게 정의되는 체 가운데 하나다.

수론에서, 유리수들을 어떤 주어진 소수 p에 대한 형식적인 단항식으로 취급하게 되는 경우가 있다. 모든 0이 아닌 유리수는   (   로 나누어떨어지지 않음)의 꼴로 유일하게 나타낼 수 있다. 예를 들어,  이라고 하자. 그렇다면,

 
 

이는 "변수"  에 대한 단항식   또는  와 유사하게 생각할 수 있다. 이제,  를 일종의 무한소로 취급하면,  의 인수를 더 많이 포함할수록 더 "작고",  의 인수를 더 많이 포함할수록 더 "크다"고 생각할 수 있다.

이와 같이 유리수체   위에  의 인수를 더 많이 포함할수록 더 노름이 작아지는 노름을 정의할 수 있다. p진체는 유리수체를 이 노름에 대하여 완비화한 체이다.

정의

편집

p진수체 및 p진 정수환은 해석적인 기법 및 가환대수학적 기법으로 정의할 수 있다.

해석적 정의

편집

 소수라고 하자. 유리수체  에 다음과 같은 노름  를 정의할 수 있다.

  ( )
 

(모든 0이 아닌 유리수는  와 같은 꼴로 유일하게 나타낼 수 있다.) 이 노름을 p진 노름(영어: p-adic norm)이라고 한다.

유리수체  를 이 노름에 대하여 완비화시켜 얻는 체를 p진체  라고 하며, 그 원소를 p진수라고 한다.

대수적 정의

편집

p진 정수환  정수환  를 소 아이디얼  에서 완비화한 것이다. 즉, 다음과 같은 몫환들 사이에 자연스러운 환 준동형이 존재하며,

 

p진 정수환은 이들의 역극한이다.

 

p진 정수환은 정역을 이루며, p진수체  p진 정수환의 분수체이다.

 

보다 추상적으로, p진 정수환  는 크기  유한체   위의  비트 벡터 환으로 정의할 수도 있다.

p진 복소수

편집

p진 복소수체  는 다음과 같이 정의한다.

  1. p진체  완비 거리 공간이지만 대수적으로 닫힌 체가 아니다. 그 대수적 폐포를 취하여, 대수적으로 닫힌 체  를 얻을 수 있다.
  2. 대수적 폐포  대수적으로 닫힌 체이지만 완비 거리 공간이 아니다. 그 완비화를 취하여,  라는 체를 얻는다. 이는 대수적으로 닫힌 체이자 완비 거리 공간이다. 이를 p진 복소수체로 정의한다.

성질

편집

p진 노름

편집

p진 노름은 다음과 같은 성질들을 만족시킨다. 아래에서,  는 임의의 유리수다.

  •  
이는 모든 노름들이 만족시키는 삼각 부등식  보다 더 강한 조건이다.
  •  의 표준 노름을  라고 쓰자. 그렇다면,
 
이다.

p진 정수환

편집

p진 정수환  집합의 크기 이다. 즉, 실수체의 크기와 같다.

가환대수학적으로, p진 정수환은 이산 값매김환이다 (따라서, 주 아이디얼 정역이자 유클리드 정역이며, 크룰 차원이 1차원인 국소환이다). 값군은 무한 순환군  이며, 값매김p진 노름  이다.

p진 정수환의 가역원군  은 다음과 같다.

 

p진 정수환의 모든 0이 아닌 원소는 다음과 같이 유일하게 나타낼 수 있다.

 

따라서, p진 정수환의 모든 아이디얼은 다음과 같은 두 꼴 가운데 하나이다.

  •  
  •  

p진 정수환의 유일한 극대 아이디얼 이다. p진 정수환의 소 아이디얼은 영 아이디얼과  이다.

p진 정수환의 몫환은 다음과 같다.

 
 

p진 정수환은 국소환이므로, 자연스러운  진 위상을 갖추어 위상환을 이룬다. p진 정수의 덧셈 위상군폰트랴긴 쌍대군은 (이산 위상을 갖춘) 프뤼퍼 군  이다.

p진체

편집

p진체  는 다음과 같은 성질을 만족시킨다.

p진 복소수체

편집

p진 복소수체  는 다음과 같은 성질을 만족시킨다.

  •  는 대수학적으로 표준 복소수체  와 동형이다. 즉,   에 비표준 노름을 준 것으로 생각할 수 있다.
    • 따라서,  이며, 대수적으로 닫힌 체임을 일 수 있다.
  • 위상 공간으로서,  하우스도르프 공간이지만 국소 콤팩트하지 않다.

p진수의 덧셈·뺄셈·곱셈은 p진법 실수의 덧셈·뺄셈·곱셈과 유사하며, 유일한 차이는 소숫점 왼쪽으로 무한한 수의 자릿수가 존재한다는 것 뿐이다. p진법 나눗셈은 조금 다른데, 이 경우 뺄셈을 할 때, 1의 자릿수가 0이 되게 하는 수를 찾아서 뺀다.

예를 들어, 3의 역수 ⅓을 5진수체로 표현하면 순환 5진 정수  이다. (여기서 자릿수 위의 윗줄은 반복되는 자릿수를 나타낸다.) 이는 다음과 같이 증명할 수 있다.

 
 
 
 

이는 직접 다음과 같이 계산할 수 있다.

 

이는

 

로 검산할 수 있다. (여기서 윗첨자는 올림(영어: carry)이다.) 소숫점 오른쪽의 자릿수가 모두 0이므로, 이는 5진 정수이다.

역사

편집

쿠르트 헨젤1897년대수적 수론에서 사용하기 위하여 도입하였다.[1]

응용

편집

원래 수론에서 도입되었지만, 오늘날 p진수는 초기의 목적에 비해 훨씬 더 다양한 분야에서 사용되고 있다. 예를 들어 p진 해석학미적분학p진법 버전이라 할 수 있다.

이론물리학에서도 p진수가 종종 사용된다.[2][3][4][5]

컴퓨터 과학에서는 유리수를 나타내는 한 방법으로 사용된다.[6]

같이 보기

편집

각주

편집
  1. Hensel, Kurt (1897). “Über eine neue Begründung der Theorie der algebraischen Zahlen”. 《Jahresbericht der Deutschen Mathematiker-Vereinigung》 (독일어) 6 (3): 83–88. ISSN 0012-0456. JFM 30.0096.03. 
  2. Dragovich, B.; A. Yu. Khrennikov, S. V. Kozyrev, I. V. Volovich (2009년 3월). “p-adic mathematical physics”. 《p-Adic Numbers, Ultrametric Analysis, and Applications》 1 (1): 1–17. arXiv:0904.4205. Bibcode:2009arXiv0904.4205D. doi:10.1134/S2070046609010014. ISSN 2070-0466. 
  3. Dragovich, Branko (2003년 6월 9일). “Non-Archimedean Geometry and Physics on Adelic Spaces”. arXiv:math-ph/0306023. 
  4. Dragovich, Branko. “p-adic and adelic quantum mechanics”. arXiv:hep-th/0312046. 
  5. Dragovich, Branko. “Nonlocal dynamics of p-adic strings”. arXiv:1011.0912. Bibcode:2010TMP...164.1151D. doi:10.1007/s11232-010-0093-4. 
  6. Hehner, E.C.R.; R. N. S. Horspool (1979년 5월). “A new representation of the rational numbers for fast easy arithmetic”. 《Society for Industrial and Applied Mathematics Journal on Computing》 8 (2): 124–134. doi:10.1137/0208011. ISSN 0097-5397. 

외부 링크

편집