정의
항등 정리(Identity theorem)는 복소함수론에서 사용되는 정리로, 두 개의 정칙함수(holomorphic function)가 어떤 열린 영역 내에서 집합의 축적점(accumulation point)을 포함하는 부분에서 동일한 값을 가질 경우, 그 두 함수는 해당 영역 전체에서 동일함을 밝힌다. 즉, 정칙함수는 그 정의역의 열린 부분에서 한 번이라도 “같은 값”을 무한히 많이 가질 경우, 그 정의역 전체에서 동일한 함수가 된다.
개요
-
정리의 전형적 형태
- $D$를 복소평면 $\mathbb{C}$의 연결된 열린 집합(영역)이라 하고, $f, g : D \to \mathbb{C}$를 정칙함수라 하자.
- $E \subset D$가 $D$ 안에 있는 집합으로, $E$가 $D$ 안에서 축적점을 가진다면(즉, $E$의 한 점에서 $E$가 무한히 많이 모여 있음)
- $f(z) = g(z)$가 모든 $z \in E$에 대해 성립한다면, $f(z) = g(z)$는 모든 $z \in D$에 대해 성립한다.
-
핵심 아이디어
- 정칙함수는 그 테일러 급수 전개가 유일하게 결정되며, 급수 전개의 계수는 함수값의 미분값에 의해 결정된다.
- 한 점에서 무한히 많은 일치가 있으면, 해당 점을 중심으로 한 급수 전개가 동일하게 되므로 전체 영역에서 동일함을 보일 수 있다.
-
응용
- 복소함수의 연속적 연장(analytic continuation) 과정에서 두 연장된 함수가 동일한 영역을 공유할 때, 항등 정리를 이용해 연장이 유일함을 보인다.
- 복소다항식이나 유리함수의 근의 분포를 분석할 때, 함수가 영점(zeros)을 갖는 구조를 파악하는 데 활용된다.
어원·유래
‘항등(恆等)’은 “항상 같은”이라는 뜻을 가진 한자어이며, ‘정리(定理)’는 “정해진 이론·정리”를 의미한다. 따라서 ‘항등 정리’는 “항상 같은(identical) 성질을 보이는 정리”라는 의미를 갖는다. 서양 수학 용어 “Identity theorem”를 직역·번역한 형태이며, 복소함수론이 19세기 후반에 정립되면서 한국어로도 해당 용어가 도입되었다. 정확한 최초 도입 시점은 확인되지 않는다.
특징
- 연속성·정칙성 전제: 정리의 적용에는 함수가 정칙(holomorphic)이어야 한다는 전제가 필수적이며, 일반적인 실함수나 미분 가능하지만 정칙이 아닌 경우에는 성립하지 않는다.
- 축적점의 필요성: 단순히 유한 개의 점에서 일치하는 것만으로는 충분하지 않으며, 반드시 해당 집합이 정의역 내에서 축적점을 가져야 한다.
- 연결성: 정의역 $D$가 연결된(open and connected) 영역이어야 함을 요구한다. 비연결 영역에서는 각각의 연결 성분마다 별도로 정리를 적용해야 할 수 있다.
- 유일성 보장: 항등 정리는 정칙함수의 유일성을 보장하는 핵심 도구이며, 복소해석학 전반에 걸쳐 “유일성 정리(uniqueness theorem)”와 같은 이름으로도 언급된다.
관련 항목
- 정칙함수(홀로모르픽 함수, Holomorphic function)
- 분해정리(Factorization theorem)
- 복소해석학(Complex analysis)
- 연속적 연장(Analytic continuation)
- 유일성 정리(Uniqueness theorem)
- 라우르 정리(Laurent series)
- 맥라렌 정리(Maclaurin series)
※ 위 내용은 기존 수학 교재와 복소함수론에 관한 공인된 자료들을 바탕으로 정리한 것이며, ‘항등 정리’라는 용어가 다른 분야(예: 대수학, 위상수학 등)에서 별도로 사용되는 경우는 확인되지 않는다.