뫼비우스 반전 공식
수론에서의 뫼비우스 반전 공식(Möbius inversion formula)은 19세기 수학자 아우구스트 페르디난트 뫼비우스의 이름을 딴 공식이다.
공식
편집g(n) 과 f(n)이 수론적 함수(arithmetic function)이며 1보다 큰 모든 에 대해 다음이 성립한다고 하자.
이 때, 1보다 큰 모든 에 대해 다음이 성립한다.
여기서 는 뫼비우스 함수(Möbius function)이고, 덧셈은 n의 양의 약수 d 전체에 대해 이루어진다.
수론적 함수 는 의 누적으로 이루어지는데, 역으로 를 통해 를 꺼내는 공식이므로 반전 공식이라 불린다.
f와 g가 자연수에서 어떤 아벨 군으로의 함수일 때에도 공식은 성립한다.
디리클레 합성곱과의 관계
편집디리클레 합성곱(Dirichlet convolution)을 사용하여 공식을 써 보면 다음과 같다.
여기서 * 는 디리클레 합성곱이고, 1은 모든 에 대해 항상 1인 수론적 함수이다. 이 경우,
가 성립한다. 즉, 뫼비우스 함수는 모든 함수값이 1인 수론적 함수의 역원이기 때문이다. 당연하게도
이 성립한다. 여기서 은 일 때만 1이고 나머지는 모두 0인 수론적 함수이다. 다양한 수론적 함수의 계산의 예는 Apostol의 책을 참조하면 좋다.[1]
일반화
편집조합론(combinatorics)에서 자주 쓰이는 동치의 진술은 다음과 같다.
F(x)와 G(x)가 구간 [1,∞)에서 복소수로의 함수이고, 1보다 크거나 같은 모든 에 대해
을 만족하면, 1보다 크거나 같은 모든 에 대해
이 성립한다.
여기서 합은 x보다 작거나 같은 모든 양의 정수 n에 대해서 이루어진다.
같이 보기
편집각주
편집- ↑ Apostol, Tom (1998). 《Introduction to Analytic Number Theory》. Springer. 30~40쪽. ISBN 978-0-387-90163-3.