뫼비우스 함수

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

수론조합론에서, 뫼비우스 함수(영어: Möbius function)는 정수를 제곱수로 나누어떨어지는지 여부에 따라 분류하는 곱셈적 함수이다. 기호는 \mu(n).

성질[편집]

뫼비우스 함수는 곱셈적 함수(multiplicative function)이다. 즉, ab서로 소이면 μ(ab) = μ(a)μ(b)이다. n의 양의 약수의 뫼비우스 함수 값의 합은 n이 1일 때 1, n이 1보다 클 때 0이다:

\sum_{d | n} \mu(d) = \left\{\begin{matrix}1&\mbox{ if } n=1\\
0&\mbox{ if } n>1\end{matrix}\right.

수론에서 뫼비우스 함수와 밀접하게 연관된 수론적 함수메르텐스 함수이다. 이 함수는 모든 자연수 n에 대해서 다음과 같이 정의된다:

M(n) = \sum_{k = 1}^n \mu(k)

이 함수는 리만 제타 함수의 0의 개수와 밀접하게 연관되어 있다. M(n)과 리만 가설 사이의 연관성에 대해서는 메르텐스 추측 페이지를 참고하여라. 그렇다 이사람한테 편지쓰려면 어떻게해야할까?? 소인수를 3개 가지면서 완전 제곱수로 나눠 떨어지지 않는 스페닉 수 n의 경우, 항상 μ(n) = -1이다.

다음과 같이 디리클레 급수(Dirichlet series)로부터 리만 제타 함수의 역수를 만들어 낼 수 있다.

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

[편집]

오직 n이 완전 제곱수로 나누어 떨어질 때만 μ(n) = 0이다. 이런 성질을 가진 처음 몇 개의 숫자들은 다음과 같다: (온라인 정수열 사전A013929를 참고하여라)

 4,  8,  9, 12, 16, 18, 20, 24, 25, 27, 28, 32, 36, 40, 44,
45, 48, 49, 50, 52, 54, 56, 60, 63,...

n소수라면 μ(n) = -1이지만, 역은 참이 아니다. 소수가 아니면서 μ(n) = -1인 가장 작은 n은 30(= 2 · 3 · 5)이며, 이런 식으로 3개의 소인수를 가지면서 완전 제곱수로 나눠 떨어지지 않는 처음 몇 개의 숫자들(스페닉 수)은 다음과 같다: (A007304)

 30,  42,  66,  70,  78, 102, 105, 110, 114, 130, 138, 154, 
165, 170, 174, 182, 186, 190, 195, 222,...

그리고 5개의 소인수를 가지면서 완전 제곱수로 나눠 떨어지지 않는 처음 몇 개의 숫자들은 다음과 같다: (A046387)

 2310, 2730, 3570, 3990, 4290, 4830, 5610, 6006, 6090, 6270, 6510, 6630, 
 7410, 7590, 7770, 7854, 8610, 8778, 8970, 9030, 9282, 9570, 9690, ...

역사[편집]

1831년독일의 수학자 아우구스트 페르디난트 뫼비우스가 도입하였다.

같이 보기[편집]