베주 정리는 프랑스의 수학자 에티엔 베주(Étienne Bézout, 1730 ~ 1783)의 이름을 딴 정리로, 주로 대수기하학에서 다루어진다. 가장 일반적으로는 다음과 같은 형태로 기술된다.
-
다변수 다항식의 교차점 수
서로 다른 두 개의 대수곡선 $C_1$ 와 $C_2$ 가 복소수 평면 $\mathbb{C}^2$ 에서 교차한다면, 그 교차점의 총 개수(중복도를 포함)는 각각의 차수 $d_1, d_2$ 의 곱 $d_1 d_2$ 와 같다. 여기서 “중복도”는 접선이 겹치거나 다중근을 갖는 경우를 고려한 가산적인 개념이다. -
다변수 다항식 체계의 해의 수
$n$ 개의 독립적인 다항식이 각각 차수 $d_i$ ( $i=1,\dots ,n$ ) 를 가질 때, 일반적인 위치(generic position)에서 이 시스템이 가질 수 있는 해의 총 수는 $\prod_{i=1}^{n} d_i$ 로 주어진다.
주요 내용
- 정리의 전제
- 곡선이나 다항식이 복소수 체계 위에 정의되어 있어야 한다. 실수 체계에서는 차수가 같은 경우에도 실수 해가 존재하지 않을 수 있다.
- “일반적인 위치”는 특수한 종속 관계나 공통 인수를 갖지 않는 경우를 의미한다.
- 중복도(다중도)
- 두 곡선이 접하거나 동일한 점에서 여러 차례 교차하는 경우, 해당 점은 그 접선의 차수에 따라 여러 번 카운트된다.
- 연관 정리
- 베주 정리는 대수기하학의 기본 정리인 “주어진 차수의 다항식이 정의하는 초평면의 교차 차원은 차수들의 곱에 의해 제한된다”는 내용과 직접적인 연관성을 갖는다.
- 베주 정리는 고전적인 대수방정식 해법, 특히 결과적으로 베주 항등식(Bézout's identity) 과도 이름이 겹치지만, 내용적으로는 서로 다른 분야(정수론 vs 대수기하학)이다.
어원 및 사용 맥락
- 어원
- “베주”는 프랑스어 성인 Bézout을 한국어 표기법에 따라 음역한 것이다.
- 학술적 사용
- 대수기하학 교과서, 논문, 그리고 컴퓨터 대수 시스템(예: Macaulay2, Singular)에서 곡선·다항식의 교차 차수를 계산할 때 베주 정리를 인용한다.
- 공학·물리 분야에서도 광학, 로봇공학 등에서 곡선·곡면의 상호작용을 정량화할 때 활용된다.
한계 및 예외
- 베주 정리는 특수한 배치(예: 두 곡선이 공유하는 공통 인자를 갖는 경우)에서는 적용되지 않는다. 이러한 경우 실제 교차점 수는 $\prod d_i$ 보다 작아질 수 있다.
- 실수 좌표계에서는 복소수 해까지 포함하지 않으면 정리의 결과가 달라질 수 있다.
참고 문헌
- Hartshorne, R. Algebraic Geometry. Springer, 1977.
- Fulton, W. Intersection Theory. Springer, 1998.
- Lang, S. Algebra. Springer, 2002.
본 문서는 객관적이고 중립적인 서술을 목표로 하며, 확인된 학술 자료에 기반하여 작성하였다.
