뫼비우스 함수

위키백과, 우리 모두의 백과사전.
(메르텐스 함수에서 넘어옴)
이동: 둘러보기, 검색

수론조합론에서, 뫼비우스 함수(Möbius函數, 영어: Möbius function)는 정수가 제곱 인수가 없는 정수인지 여부에 따라 분류하는 곱셈적 함수이다. 뫼비우스 반전 공식에 사용되며, 리만 가설과도 깊은 관계를 가진다. 기호는 \mu(n).

정의[편집]

뫼비우스 함수

\mu\colon \mathbb Z^+\to\{-1,0,+1\}

는 양의 정수 n\in\mathbb Z^+을 다음과 같이 \{-1,0,1\} 가운데 하나에 대응시킨다.

즉, n소인수 분해

n=\prod_pp^{n_p}

라면, 뫼비우스 함수는 다음과 같다.

\mu(n)=(-1)^{\sum_pn_p}\prod_p[n_p\le1]

여기서 [\cdots]아이버슨 괄호(조건이 참이면 1, 아니면 0)이다.

뫼비우스 함수 \mu(n)은 또한 1의 원시적 n제곱근의 합이다.

\mu(n)=\sum_{\scriptstyle 1\le k\le n\atop\scriptstyle \gcd\{k,n\}=1} \exp(2\pi ik/n)

\mu는 양이 아닌 정수에 대하여 일반적으로 정의하지 않는다.

메르텐스 함수(Mertens函數, 영어: Mertens function)는 뫼비우스 함수의 부분합이다. 즉, 다음과 같은 함수이다.

M\colon\mathbb Z^+\to\mathbb Z
M(n) = \sum_{k=1}^n \mu(k)

뫼비우스 함수는 1의 원시적 n제곱근의 합이므로, 메르텐스 함수를 다음과 같이 정의할 수도 있다.

M(n)= \sum_{a\in \mathcal F_n}\exp(2\pi ia)

여기서 \mathcal F_nn페리 수열이다.

성질[편집]

뫼비우스 함수는 곱셈적 함수이다. 즉, 서로소 정수에 대하여 다음과 같다.

\mu(ab)=\mu(a)\mu(b)\qquad(\gcd\{a,b\}=1)

뫼비우스 함수는 디리클레 합성곱 아래 상수 함수 1의 역원이다.

(\mu*1)(n)=\sum_{d \mid n} \mu(d) = \delta_{n,1}=\begin{cases}1&n=1\\
0&n>1
\end{cases}

이 성질 때문에 뫼비우스 함수는 뫼비우스 반전 공식에 등장한다.

생성 함수[편집]

뫼비우스 함수의 생성 함수는 다음과 같다.

\sum_{n=1}^\infty \mu(n)x^n = x - \sum_{a=2}^\infty x^a + \sum_{a=2}^\infty \sum_{b=2}^\infty x^{ab} - \sum_{a=2}^\infty \sum_{b=2}^\infty \sum_{c=2}^\infty x^{abc} + \sum_{a=2}^\infty \sum_{b=2}^\infty \sum_{c=2}^\infty \sum_{d=2}^\infty x^{abcd} - \cdots

뫼비우스 함수의 람베르트 급수는 다음과 같다.

\sum_{n=1}^\infty \frac{\mu(n)q^n}{1-q^n} = q

이는 |q|<1에 대하여 수렴한다.

뫼비우스 함수의 디리클레 급수리만 제타 함수의 역수이다.

\sum_{n=1}^\infty \frac{\mu(n)}{n^s}=\frac{1}{\zeta(s)}

점근적 성질[편집]

메르텐스 추측은 메르텐스 함수의 그래프가 포물선 속에 머무른다는 추측이다. 이는 작은 수에 대해서 성립하지만, 매우 큰 수에 대하여 성립하지 않는다.

뫼비우스 함수의 값이 \{\pm1,0\}뿐이므로, 메르텐스 함수는 매우 느리게 움직이며 또한 자명하게

M(n)\le n\qquad\forall n\in\mathbb Z^+

이다.

소수 정리에 따라 다음이 성립한다.

\lim_{n\to\infty}\frac1nM(n)=0

또한, 다음이 성립한다.

\lim_{n\to\infty}\frac1n\sum_{k=0}^n|\mu(n)|=
\prod_p\left(1-1/p^2\right)=1/\zeta(2)=6/\pi^2

즉, 점근적으로 3/\pi^2\approx30.4\%의 수에 대하여 뫼비우스 함수가 +1이며, 3/\pi^2\approx30.4\%의 수에 대하여 뫼비우스 함수가 −1이며, 1-6/\pi^2\approx39.2\%의 수에 대하여 뫼비우스 함수가 0이다.

리만 가설은 메르텐스 함수에 대한 다음 조건과 동치이다.

M(n)=O(x^{1/2+\epsilon})\qquad\forall \epsilon\in\mathbb R^+

메르텐스 추측(Mertens推測, 영어: Mertens conjecture)은 \forall n\in\mathbb Z^+\colon|M(n)|\le\sqrt n라는 명제이다. 이는 오랫동안 난제로 있었으나, 1985년에 거짓으로 판명되었으며, 다음이 성립한다.[1][2]:188–189

\liminf \frac{M(n)}{\sqrt n}<-1.009
\limsup \frac{M(n)}{\sqrt n}>1.06

그러나 리만 가설은 현재 (2016년) 미해결 문제이다. 메르텐스 추측보다 더 약하지만 리만 가설보다 더 강한 명제

M(n)=O(x^{1/2})

역시 아직 반증되지 않았으나, 이는 아마 거짓일 것이라고 추측된다.[1]

급수[편집]

뫼비우스 함수에 대하여 다음과 같은 급수가 존재한다.

\sum_{n=1}^\infty (\mu(n)/n)^2=15/\pi^2
\sum_{n=1}^\infty \mu(n)\frac{\ln n}n=-1

[편집]

처음 몇 개의 양의 정수에 대해서 뫼비우스 함수와 메르텐스 함수의 값은 다음과 같다. (OEIS의 수열 A008683), (OEIS의 수열 A002321)

n 1 2 3 4 5 6 7 8 9 10 11 12
\mu(n) 1 −1 −1 0 −1 1 −1 0 0 1 −1 0
M(n) 1 0 −1 −1 −2 −1 −2 −2 −2 −1 −2 −2

뫼비우스 함수의 값의 그래프는 다음과 같다.

Moebius mu.svg

메르텐스 함수의 104까지의 값의 그래프는 다음과 같다.

Mertens function.svg

\mu(n)=0인 정수 n (즉, 제곱 인수가 없는 정수가 아닌 수)은 다음과 같다.

4, 8, 9, 12, 16, 18, 20, 24, 25, 27, 28, 32, 36, 40, 44, 45, 48, 49, 50, 52, 54, 56, 60, 63, … (OEIS의 수열 A013929)

역사[편집]

레온하르트 오일러는 1748년 저서[3]에 뫼비우스 함수를 정의하고 암묵적으로 사용하였지만, 자세하게 다루지 않았다.[4]:99, Notes to §3.1 1798년에 카를 프리드리히 가우스는 《산술 연구》(라틴어: Disquisitiones Arithmeticae)[5]에서 1의 원시 n거듭제곱근의 합이 \mu(n)이라는 것을 보였으나, 역시 이 함수를 특별히 연구하지 않았다.

1831년에 아우구스트 페르디난트 뫼비우스는 뫼비우스 함수를 최초로 명시적으로 도입하였다.[6][4]:99, Notes to §3.1 1874년에 프란츠 메르텐스가 최초로 오늘날 사용되는 기호 μ를 사용하였다.[7]:53[4]:99, Notes to §3.1

1885년 7월 11일에 토마스 요아너스 스틸티어스샤를 에르미트에게 보낸 편지에서 메르텐스 함수를 최초로 사용하였다. (이 편지는 1905년에 출판되었다.[8]) 스틸티어스는 M(n)=O(\sqrt n)임을 증명하였다고 주장하였고, 또 메르텐스 추측 (|M(n)|\le\sqrt n)을 추측하였다. 스틸티어스는 뫼비우스 함수를 f(n)으로, 메르텐스 함수를 g(n)으로 표기하였다. 이 편지에서 스틸티어스는 다음과 같이 적었다.

그러나 나는 이 합

g(n)=f(1)+f(2)+\cdots+f(n)

에서 \pm1 항들이 서로 충분히 상쇄하여 \tfrac{g(n)}{\sqrt n}가 (임의로 큰 n에 대하여) 항상 상계과 하계를 갖는 것을 발견하였습니다. (아마 이 상계과 하계는 +1과 −1로 잡을 수 있을 것입니다.) […] 이와 같이 이 모든 산술 연구는 이 합 f(1)+f(2)+\cdots=f(n)에 의존합니다. 나의 증명은 매우 어렵습니다. 나는 연구를 계속하여 이 증명을 더 간략하게 하려고 시도할 것입니다.
Or, je trouve que dans la somme

g(n)=f(1)+f(2)+\cdots+f(n),

les termes \pm1 se compensent assez bien pour que \tfrac{g(n)}{\sqrt n} reste toujours comprise entre deux limites fixes, quelque grand que soit n (probablement on peut prendre pour ces limites +1 et −1). […] Vous voyez que tout dépend d’une recherche arithmétique sur cette somme f(1)+f(2)+\cdots+f(n). Ma démonstration est bien pénible; je tâcherai, lorsque je reprendrai ces recherches, de la simplifier encore.

 
[8]:162–163

그러나 스틸티어스는 이 "증명"을 출판하지 않았다.

1897년에 프란츠 메르텐스는 메르텐스 함수를 독자적으로 재발견하였고, 메르텐스 추측을 스틸티어스와 독자적으로 추측하였다.[9]

1985년에 앤드루 마이클 오들리스코(영어: Andrew Michael Odlyzko, 1949~)와 헤르마뉘스 요하너스 요서프 터 릴러(네덜란드어: Hermanus Johannes Joseph te Riele, 1947~)는 메르텐스 추측이 거짓임을 증명하였다.[1]

같이 보기[편집]

참고 문헌[편집]

  1. Odlyzko, A. M.; te Riele, H. J. J. (1985). “Disproof of the Mertens conjecture” (PDF). 《Journal für die reine und angewandte Mathematik》 (영어) 357: 138–160. doi:10.1515/crll.1985.357.138. ISSN 0075-4102. MR 783538. Zbl 0544.10047. 
  2. Sándor, József; Mitrinović, Dragoslav S.; Crstici, Borislav, 편집. (2006). 《Handbook of number theory I》. Dordrecht: Springer. 187–189쪽. ISBN 1-4020-4215-9. Zbl 1151.11300. 
  3. Eulerus, Leonhardus (1748). 《Introductio in analysin infinitorum》 (라틴어). 로잔: Apud Marcum-Michaelem Bousquet & Socios. 
  4. Shapiro, Harold N. (1983). 《Introduction to the Theory of Numbers》 (영어). Wiley. ISBN 0-471-86737-3. 
  5. Gavss, Carolus Fridericus (1801). 《Disqvisitiones arithmeticae》 (라틴어). 라이프치히: in commissis apvd Gerh. Fleischer, Jun. 
  6. Möbius, A. F. (1832). “Über eine besondere Art von Umkehrung der Reihen”. 《Journal für die reine und angewandte Mathematik》 (독일어) 1832 (9): 105-123. doi:10.1515/crll.1832.9.105. ISSN 0075-4102. Zbl 009.0333cj. 
  7. Mertens, F. (1874). “Ein Beitrag zur analytischen Zahlentheorie”. 《Journal für die reine und angewandte Mathematik》 (독일어) 1874 (78): 46–62. doi:10.1515/crll.1874.78.46. ISSN 0075-4102. JFM 06.0116.01. 
  8. Stieltjes, T. J. (1905). 〈79. Stieltjes a Hermite. Paris, 11 juillet 1885〉. B. Baillaud, H. Bourget. 《Correspondance d’Hermite et Stieltjes》 (프랑스어). 파리: Gauthier-Villars. 160–164쪽. 
  9. Mertens, F. (1897). “Ueber eine zahlentheoretische Function”. 《Sitzungsberichte der Kaiserlichen Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse, Abteilung 2a》 (독일어) 106: 761–830. JFM 28.0177.01. 

바깥 고리[편집]