개념
허수까지 확장된 미적분. 신비롭게도 복소수에서는 한 번 미분 가능하면 무한 번 미분 가능하다 — 실수 세계와 전혀 다른 우아한 규율이 지배한다.
한 호흡으로 이해하기
복소수에서 정의된 함수가 보여주는 강한 경직성. 한 점에서만 복소미분 가능하다는 것으로는 부족하지만, 열린 영역의 모든 점에서 복소미분 가능하면 그 영역에서 해석적이며 무한히 미분 가능하고 국소 멱급수로 표현된다. 오일러 등식 e^(iπ)+1=0은 복소 지수함수와 삼각함수의 연결을 보여준다.
한눈에 보기
실해석학 | 복소해석학 | 비고 |
|---|---|---|
한 점에서 미분 가능 | 한 점만으로는 해석성 보장 안 됨 | 주변 열린 영역이 필요 |
열린 영역에서 복소미분 가능 | 해석적 = 무한 미분 + 국소 멱급수 | 실수함수보다 강한 조건 |
적분 경로에 따라 다름 | 적절한 영역 안의 닫힌 경로 적분 = 0 | 코시 정리의 조건 필요 |
절댓값 기능 제한적 | 최대 모듈러스 원리 | 경계가 결과 결정 |
실수해의 수가 가변 | 대수학의 기본 정리 — 복소근은 중복도 포함 n개 | 여러 선행 증명과 가우스 |
e^x, sin x, cos x 별개 | e^(iθ) = cos θ + i sin θ | 오일러의 다리 |
복소 평면이 한 차원 더하는 순간, 미적분이 훨씬 더 단정한 학문이 된다 — 리만 가설이 ζ(s) = 0의 영점을 묻는 이유.
핵심 식
코시 적분 정리 — 복소 적분의 마법
핵심 순간
오일러 — 복소수의 첫 미적분
e^(iθ) = cosθ + i·sinθ 발견. 지수함수와 삼각함수가 같은 가족임을 폭로.
코시 — 적분 정리
"닫힌 곡선을 따라 적분하면 0이다(해석적이라면)." 모든 복소해석학의 기초 정리.
리만 — 해석적 연속
함수를 원래 정의역 너머까지 자연스럽게 확장하는 방법. 제타함수가 음수에서도 정의되는 이유.
리만 가설 등장
복소해석학으로 정수론(소수 분포)을 다루는 통합. 백만 달러 미해결 문제.
오늘날의 응용
전기·전자공학(임피던스), 신호처리, 양자역학, 유체역학(2차원 흐름), 항공기 날개 설계(주코프스키 변환), 정수론(리만 가설).
MathVoyage 너머로
불러오는 중…