전체 조망

하나의 가정, 폭포 같은 결과

복소해석의 모든 것은 단 하나의 조건에서 시작한다 — 복소미분가능성(해석성). $f'(z_0)$가 존재하려면 어느 방향에서 다가가도 같은 극한이 나와야 하고($\Rightarrow$ 코시–리만 방정식), 이 방향-독립성이 실해석에는 없는 강한 구속이다. 여기서부터 결과가 줄줄이 따라 나온다:

$$\text{해석적} \Rightarrow C^\infty \Rightarrow \text{멱급수} \Rightarrow \text{Cauchy 정리} \Rightarrow \text{CIF} \Rightarrow \text{Liouville, 최대모듈러스, 유수정리}.$$

이 사슬이 복소해석을 "기적의 분야"로 만든다. 실해석에서 $C^1\not\Rightarrow C^2$인데, 복소에서는 한 번 미분가능이 곧 무한 번 미분가능이다.

네 개의 관문

1. 코시–리만 방정식 — 해석성의 정의. $u_x=v_y$, $u_y=-v_x$. "$f$가 $\bar z$에 의존하지 않는다"가 본질. 여기를 통과하면 해석함수와 harmonic functions(실부·허부가 Laplace 방정식 만족)가 열린다.

2. 코시 적분공식 — 정보의 원천. 경계값이 내부를 결정하고, 미분하면 모든 차수의 도함수가 적분으로 나온다. 멱급수와 테일러 정리의 Taylor 정리, 리우빌 정리와 귀결들의 Liouville·대수학의 기본정리·Morera, 최대절댓값 원리이 모두 여기서 떨어진다. 토대는 코시 정리(단순연결에서 닫힌 적분 = 0).

3. 유수 정리와 실적분 — 계산의 절정. 함수가 해석성을 잃는 곳은 로랑 급수로 전개하고 특이점과 유수로 분류한다. 그 "찌꺼기"인 유수 하나가 적분을 결정($\oint = 2\pi i\sum\operatorname{Res}$)하며, 실해석에서 막히던 $\int_{-\infty}^\infty$가 기계적으로 풀린다. 편각 원리와 루셰 정리는 같은 기계로 영점을 센다.

4. conformal mapping riemann — 기하적 절정. 해석함수는 각을 보존하는 등각사상이다. 뫼비우스 변환가 기본 재료, Riemann 사상정리가 정점: 구멍 없는 영역은 본질적으로 모두 단위원판과 같다.

세 가지 큰 통찰

• 적분이 정보를 길어 올린다. 미분이 국소 정보라면, 복소적분은 영역 전체의 정보를 한 점·한 수로 압축한다. CIF(경계→내부)와 유수정리(적분→유수)가 그 두 얼굴.
• 특이점이 함수를 말한다. 함수의 정체는 그것이 깨지는 곳에 있다. 극의 위수, 본질적 특이점, 영점의 분포가 함수 전체를 결정한다(entire and meromorphic functions의 무한곱·부분분수, analytic continuation의 $\zeta$ 함수).
• 실수의 문제를 복소로 올린다. $\int\frac{\cos x}{x^2+1}dx$, $\sum\frac1{n^2}$, 소수 분포 — 실수 세계의 난제들이 복소평면으로 올라가면 풀린다.

다른 수학과의 연결

• 해석학(analysis): 극한·연속·콤팩트성·일양수렴·멱급수를 공유. 복소해석은 그 위에 "해석성"이라는 강한 조건을 얹은 특수·강력한 이론.
• 대수(algebra): 복소체는 대수적으로 닫힌 체(대수학의 기본정리). 1의 $n$제곱근은 순환군.
• 미분기하(differential-geometry): 등각사상·Riemann 면. 곡면의 등각구조.
• 정수론(number-theory): $\zeta$ 함수와 소수정리 — 해석적 방법이 정수의 비밀을 푼다.

어떻게 읽을까

읽기 경로의 8부 순서를 권한다. 5장(Cauchy–Riemann)까지 확실히 하고, 8장(CIF)을 분수령으로 삼아라. 9장(유수)까지 오면 복소해석의 핵심을 손에 쥔 것이다. 10–13장은 더 깊은 세계로의 발판.