정의
‘0의 0제곱’은 수학 기호 $0^{0}$으로 표기되며, “밑(base)이 0이고 지수(exponent)도 0인 거듭제곱”을 의미한다.
수학적 논의
$0^{0}$에 대한 값은 수학적 상황에 따라 다르게 해석된다.
-
정의되지 않음
- 실수 체계에서 일반적인 거듭제곱 정의에 따르면, 밑이 0이고 지수가 양의 실수일 때는 결과가 0이다. 그러나 지수가 0일 경우 “0을 0번 곱한다”는 의미가 모호해 정의가 불가능하다고 본다. 이 입장은 미분·적분 초등 과정에서 흔히 제시된다.
-
값을 1로 정의
- 조합론·이산수학 등에서는 함수 $f(n)=a^{n}$를 $n=0$에 대해 연속적으로 정의하려면 $a^{0}=1$을 유지해야 한다는 요구가 있다. 특히 $0^{0}=1$은 이항정리 $(x+y)^{n}$에서 $n=0$일 때 $\sum_{k=0}^{0}\binom{0}{k}x^{k}y^{0-k}=1$을 일관되게 만들기 위해 채택된다.
- 극한 이론에서는 $\displaystyle\lim_{x\to0^{+}}x^{x}=1$이므로, 연속성 측면에서 $0^{0}=1$으로 정의하는 경우도 있다.
-
문맥 의존적 정의
- 일부 교과서·논문에서는 “특정 상황에서 1로 정의한다” 또는 “특정 상황에서는 정의되지 않는다”라고 명시하며, 사용 목적에 따라 선택한다.
관례와 표준
- 국제수학연합(International Mathematical Union, IMU)이나 주요 수학 교과서에서는 $0^{0}$를 “특정 상황에 따라 정의가 달라질 수 있다”는 점을 강조한다.
- 컴퓨터 과학에서 많은 프로그래밍 언어(예: Python, C, JavaScript)와 수치 계산 소프트웨어(예: Mathematica, MATLAB)는 $0^{0}=1$을 기본값으로 채택한다. 이는 알고리즘 구현의 일관성을 위해 선택된 정책이다.
적용 분야
- 조합론: 빈 집합의 경우의 수를 1로 두기 위해 $0^{0}=1$을 사용한다.
- 이산수학: 형식 언어·자동기관 이론에서 공집합에 대한 반복 연산을 표현할 때 활용된다.
- 컴퓨터 과학: 해시 함수, 알고리즘 초기값 설정 등에서 편의상 1로 정의한다.
- 극한 및 해석학: 연속성과 극한 연산을 다룰 때 $0^{0}$의 값을 1로 두면 특정 함수의 연속성을 유지할 수 있다.
논쟁 및 결론
$0^{0}$의 값은 “정의되지 않는다”와 “1로 정의한다” 사이에서 오래된 논쟁 대상이다. 수학 공동체는 상황에 따라 두 입장을 모두 인정하며, 사용 목적에 맞는 정의를 명시하는 것이 권장된다. 따라서 $0^{0}$는 문맥에 따라 값이 달라질 수 있는 표현으로 이해하는 것이 가장 객관적인 접근이다.
