오일러 곱은 수론에서 소수와 관련된 급수 또는 곱의 형태로 표현되는 수학적 구조를 의미하며, 특히 리만 제타 함수(ζ(s))를 소수에 대한 무한곱으로 표현하는 방식을 가리킨다. 이 표현은 수학자 레온하르트 오일러에 의해 처음으로 도출되었으며, 소수의 분포와 해석적 수론에서 중요한 역할을 한다.
개요
오일러 곱 공식(Euler product formula)은 특정한 디리클레 급수, 특히 리만 제타 함수가 소수 p에 대한 무한곱으로 다음과 같이 표현될 수 있음을 보여준다:
ζ(s) = ∑_{n=1}^∞ 1/n^s = ∏_p (1 - 1/p^s)^{-1},
여기서 s는 실수부가 1보다 큰 복소수이며, 오른쪽의 곱은 모든 소수 p에 대해 취해진다. 이 공식은 소수들이 자연수의 곱셈적 구조에서 기본 구성 요소임을 보여주는 핵심적인 예로, 산술의 기본 정리(자연수는 소수의 곱으로 유일하게 분해됨)에 기반한다. 오일러 곱은 이후 디리클레 L-함수, 해석적 수론, 소수 정리 등의 발전에 기여하였다.
어원/유래
이 용어는 스위스의 수학자 레온하르트 오일러(Leonhard Euler)의 이름에서 유래하였다. 오일러는 1737년 리만 제타 함수의 초기 형태에 대해 연구하면서, 위와 같은 무한급수와 무한곱의 등가성을 발견하였다. 이는 해석적 방법을 정수론에 적용한 최초의 주요 성과 중 하나로 평가되며, 이후 19세기 힐베르트, 리만 등에 의해 심화되었다.
특징
- 오일러 곱은 급수와 곱이 수렴하는 영역(s의 실수부가 1보다 큰 경우)에서 성립한다.
- 곱의 각 항은 소수 p에 대응하며, 이는 소수의 분포에 대한 정보를 암시한다.
- 오일러 곱 공식은 더 일반화되어 디리클레 문자를 포함하는 디리클레 L-함수에도 적용되며, 이 경우에도 각 소수에 대한 곱 형태로 표현된다.
- 리만 가설 등 현대 수론의 주요 난제는 오일러 곱의 해석적 확장과 밀접한 관련이 있다.
관련 항목
- 리만 제타 함수
- 소수 정리
- 디리클레 급수
- 디리클레 L-함수
- 산술의 기본 정리
- 해석적 수론
※ 참고 문헌: Apostol, T. M. (1976). Introduction to Analytic Number Theory. Springer-Verlag.