수론에서
곱셈적 함수(Multiplicative function) 혹은
적법적 함수는 서로소인 자연수
m,n에 대하여
f(mn)=f(m)f(n)이며 0과 동치가 아닌
(1) 수론적 함수
f를 말한다.
f \\not\\equiv 0인 수론적 함수 f에 대하여 m,n \\in \\Bbb N,\\ (m,n)=1일 때 f(mn)=f(m)f(n)이 성립하면 f를 곱셈적이라고 한다.
임의의 자연수 m,n에 대하여 f(mn)=f(m)f(n)이 성립할 경우 f를 완전 곱셈적(completely multiplicative, totally multiplicative) 혹은 완전 적법적이라고 한다.
- f가 곱셈적이면 f^{-1}도 곱셈적이다.
- f,g가 곱셈적이면 fg,f/g도 곱셈적이다.
- f,g가 곱셈적이면 f*g도 곱셈적이다.
- f(1)=1
- f(1)=1일 때,
- f가 곱셈적임은 임의의 소수 p_i와 자연수 a_i에 대하여 f(p_1^{a_1} \\cdots p_n^{a_n})=f(p_1^{a_1}) \\cdots f(p_n^{a_n})이 성립하는 것과 동치이다.
- f가 곱셈적일 경우, f가 완전 곱셈적임은 임의의 소수 p와 자연수 a에 대하여 f(p^a)=f(p)^a가 성립하는 것과 동치이다.
- f가 곱셈적일 때, f가 완전 곱셈적임은 f^{-1}=\\mu f와 동치이다.
- f가 곱셈적이면 F(n)=\\sum_{d \\mid n}f(d)도 곱셈적이다.
3.1. 곱셈적 함수의 목록 ✎ ⊖
- 오일러 파이 함수 \\phi(n)
- 뫼비우스 뮤 함수 \\mu(n)
- 약수 함수
- 약수 개수 함수 \\tau(n)
- 약수 합 함수 \\sigma(n)
- 그 외 잔뜩
3.2. 완전 곱셈적 함수의 목록 ✎ ⊖
- 항등원 함수 I(n)=[\\frac{1}{n}]
- 리우빌 함수 \\lambda(n)
