뫼비우스 반전 공식 (Mobius Inversion Formula)
한 줄 정의: 약수에 대한 합으로 정의된 함수를 원래 함수로 되돌리는 공식입니다.
쉽게 풀면
어떤 함수 f의 약수들에 대한 합으로 새 함수 g를 정의했다고 합시다. 뫼비우스 반전 공식은 반대로 g로부터 f를 복원하는 방법을 알려 줍니다. 이때 부호를 조절하는 역할을 하는 것이 뫼비우스 함수인데, 제곱인수를 가지면 0, 서로 다른 소인수가 짝수 개면 1, 홀수 개면 -1의 값을 갖습니다.
왜 중요한가
약수 관계로 얽힌 두 수론적 함수 사이를 자유롭게 오갈 수 있게 해 주어, 오일러 파이 함수나 원분다항식의 차수 같은 값을 계산하는 표준 기법이 됩니다. 조합론에서는 부분순서집합 전반으로 확장되어 포함배제원리를 일반화하는 이론적 틀이 됩니다.
논문에서는 이렇게 쓰입니다
"뫼비우스 반전 공식을 적용하여 약수합 형태의 항등식을 원래 함수에 대한 명시적 표현으로 변환하였다."
조금 더 깊게 보면
뫼비우스 함수는 곱셈적 함수이며, 1보다 큰 n의 모든 약수에 대한 뫼비우스 함숫값의 합이 0이 된다는 성질이 반전 공식의 핵심입니다. 이 구조는 디리클레 합성곱이라는 연산에서 뫼비우스 함수가 상수함수 1의 역원이라는 사실로 깔끔하게 정리됩니다. 조합론에서는 약수 관계 대신 임의의 유한 부분순서집합에 뫼비우스 함수를 정의하여, 포함배제원리와 그래프 색칠 다항식 계산을 통합적으로 다룹니다.
주의할 점
뫼비우스 띠와는 이름만 같을 뿐 전혀 다른 개념입니다. 또 뫼비우스 함수의 값 0은 정보가 없다는 뜻이 아니라 제곱인수가 있다는 명확한 판정 결과입니다.