리만 사상 정리

수치해석 유체역학 마지막 수정: 2026-08-18 04:47:52

1. 개요[편집]

리만 사상 정리 Riemann Mapping Theorem
발표	베른하르트 리만, 1851년 학위논문
주장	ℂ 전체가 아닌 단순연결 영역은 단위원판과 등각동형
유일성	f(z₀)=0, f′(z₀)>0 을 걸면 사상은 하나
성격	비구성적 — 존재만 말하고 공식은 안 준다
표준 증명	정규족 + 몬텔 정리 + 극값 문제 (20세기 초)
수치 구현	슈바르츠-크리스토펠, 지퍼, 적분방정식, 유리함수 근사

어떤 구멍 없는 영역이든 동그라미로 만들 수 있다. 방법은 안 알려 줄 거지만.

리만 사상 정리(Riemann mapping theorem)는 $\mathbb{C}$ 전체가 아닌, 공집합이 아닌 단순연결 열린 영역 $\Omega \subsetneq \mathbb{C}$ 는 언제나 단위원판 $\mathbb{D}$ 와 등각동형이라는 정리다. 즉 $\Omega$ 에서 $\mathbb{D}$ 로 가는 전단사 정칙함수가 존재한다. 여기에 $z_0\in\Omega$ 를 하나 잡아 $f(z_0)=0$ , $f'(z_0)>0$ 을 요구하면 그 사상은 유일하다.

이것이 등각사상 이론의 헌법이다. 별 모양이든 톱니 모양이든 경계가 어디에도 미분 불가능한 프랙탈이든 상관없다. 구멍만 없으면 원판으로 옮겨진다. 그래서 2차원 라플라스 방정식 문제는 원리적으로 전부 원판 위의 문제로 환원되고, 원판 위에서는 푸아송 적분 공식이 답을 준다.

그리고 여기서 이 정리의 성격이 드러난다. 존재는 보장하지만 사상을 어떻게 만드는지는 말해 주지 않는다. 이 문서는 그 간극 — 아름다운 존재 정리와 그것을 실제로 계산하려는 60년치 수치해석 사이의 거리 — 를 다룬다. 뫼비우스 변환·슈바르츠-크리스토펠 같은 구체적 사상 자체는 뫼비우스 변환과 등각사상에 있다.

2. 정리의 가정을 하나씩 뜯어보기[편집]

” $\mathbb{C}$ 전체가 아닌” — 이 예외는 장식이 아니다. $\mathbb{C}$ 에서 $\mathbb{D}$ 로 가는 정칙함수는 유계 전해석함수이므로 리우빌 정리에 의해 상수다. 그러니 $\mathbb{C}$ 는 절대 원판으로 갈 수 없다. 등각동형에서 평면과 원판은 다른 종류다.

“단순연결” — 구멍이 있으면 안 된다. 구멍이 하나 있는 이중연결 영역은 언제나 어떤 환형 $r<|w|<1$ 로 옮길 수 있지만, 그 $r$ 은 영역이 결정하는 등각 불변량(등각 모듈러스)이라 고를 수 없다. 아래 다중연결 절에서 다시 본다.

“열린 영역” — 경계는 처음부터 논의 밖이다. 정리는 내부에 대한 진술이고, 경계까지 사상이 어떻게 연장되는지는 완전히 별개의 문제다.

이 셋을 다 지우고 리만 구면까지 올라가면 균일화 정리(uniformization theorem)가 된다. 모든 단순연결 리만 곡면은 리만 구면·복소평면·단위원판 셋 중 하나와 정확히 동형이라는 결과이고, 리만 사상 정리는 그 세 갈래 중 원판 갈래의 평면 버전이다. 20세기 초 쾨베와 푸앵카레가 완성했다.

3. 표준 증명 — 그리고 왜 아무 도움이 안 되는가[편집]

리만 본인의 1851년 증명은 디리클레 원리에 기댔다. 에너지 범함수를 최소화하는 함수가 존재한다고 가정한 것인데, 바이어슈트라스가 “최소화 수열이 하한에 접근한다고 해서 최소값을 달성하는 원소가 있는 건 아니다”라고 지적하면서 증명은 무너졌다. 반세기 가까이 정리는 “리만이 옳다고 믿는 명제”로 남았고, 오스굿(1900)이 첫 완전한 증명을 냈다. 힐베르트가 나중에 디리클레 원리를 되살렸지만, 그때는 이미 다른 길이 열린 뒤였다.¹

오늘날 교과서에 실린 증명은 정규족과 극값 문제를 쓴다. 뼈대만 적으면 이렇다.

후보 집합을 만든다. $\mathcal{F} = \{f : \Omega\to\mathbb{D}\ \text{단사 정칙},\ f(z_0)=0\}$ 를 잡는다. $\mathcal{F}\neq\emptyset$ 임을 보이는 것이 첫 관문이고, 여기서 제곱근 트릭이 쓰인다. $\Omega$ 가 어떤 값 $a$ 를 빠뜨리므로 $\sqrt{z-a}$ 의 단일값 분지를 잡을 수 있고, 그 상은 자기 자신의 음수배와 만나지 않아 어떤 원판의 여집합을 포함한다. 반전과 스케일링을 붙이면 $\mathbb{D}$ 안으로 들어간다.
정규족임을 본다. $\mathcal{F}$ 는 균등 유계( $|f|<1$ )이므로 몬텔 정리에 의해 정규족이다. 즉 임의의 수열에서 콤팩트 집합 위 균등수렴하는 부분수열을 뽑을 수 있다. 이것이 무한차원 공간에서 쓰는 콤팩트성이다.
극값을 잡는다. $\sup_{f\in\mathcal{F}}|f'(z_0)|$ 를 달성하는 $f^{*}$ 가 존재한다. 정규족 덕에 최대화 수열의 극한이 존재하고, 후르비츠 정리가 그 극한이 여전히 단사임을 보장한다(단사함수열의 극한은 단사이거나 상수인데, $|f'(z_0)|>0$ 이라 상수가 아니다).
전사임을 보인다. 만약 $f^{*}$ 가 어떤 $w_0\in\mathbb{D}$ 를 빠뜨린다면, 블라슈케 인자로 $w_0$ 를 원점으로 옮기고 제곱근을 취한 뒤 다시 되돌리는 쾨베의 트릭으로 $|f'(z_0)|$ 가 더 큰 원소를 만들 수 있다. 극값성에 모순. 따라서 $f^{*}$ 는 전사다.
유일성은 슈바르츠 보조정리로 나온다. 두 정규화된 사상의 합성은 원판의 자기동형이면서 원점과 도함수 조건을 지키므로 항등사상이다.

우아하다. 그리고 완전히 비구성적이다. 3번의 “극값이 존재한다”는 콤팩트성 논증이지 알고리즘이 아니다. 최대화 수열을 실제로 만들 방법도, 몇 번 만에 얼마나 가까워지는지도 나오지 않는다. 4번의 트릭은 반복하면 실제로 수렴하는 알고리즘(쾨베 반복)이 되긴 하지만, 수렴이 지독하게 느려 실용성이 없다.

정리하면 이렇다. 리만 사상 정리는 “존재한다”만 말하고, 수치해석은 처음부터 다시 시작해야 한다.²

4. 경계에서 무슨 일이 일어나는가[편집]

내부 사상만으로는 공학에서 쓸모가 없다. 경계조건은 경계에 걸리기 때문이다. 이 질문의 답이 카라테오도리 확장 정리(1913)다.

$\Omega$ 가 유계 단순연결 영역이고 경계 $\partial\Omega$ 가 조르당 곡선(단순 폐곡선)이면, 리만 사상 $f:\mathbb{D}\to\Omega$ 는 폐포 $\overline{\mathbb{D}}\to\overline{\Omega}$ 의 위상동형으로 확장된다.

즉 경계가 자기 자신과 만나지 않는 한 붕대 감듯 매끄럽게 이어진다. 더 일반적으로는 $f$ 가 연속으로 확장될 필요충분조건이 $\partial\Omega$ 의 국소연결성이다. 슬릿이 있거나 경계가 국소적으로 뭉개진 영역에서는 확장이 실패하고, 이때는 소수끝(prime end)이라는 개념으로 경계를 다시 정의해야 한다.

매끄러움 쪽 결과도 있다. 경계가 $C^{n,\alpha}$ 이면 사상도 폐포까지 $C^{n,\alpha}$ 로 확장된다(켈로그-바르샤프스키). 반대로 경계에 각이 있으면 그 지점에서 도함수가 특이해지는데, 그 특이성의 지수가 정확히 내각으로 결정된다 — 슈바르츠-크리스토펠 공식의 $(\zeta-z_k)^{\alpha_k-1}$ 인자가 바로 이 사실의 명시적 표현이다.

이 지점이 수치해석에서 결정적이다. 코너가 있으면 사상의 도함수가 발산하거나 0이 되므로, 그것을 모르고 다항식·푸리에 기저로 근사하면 수렴차수가 무너진다. 코너 특이성을 명시적으로 넣어 주는 것이 모든 실용 알고리즘의 공통 전략이다.

5. 수치적으로 사상을 구하는 법[편집]

계보는 대략 넷이다.

슈바르츠-크리스토펠 계열. 경계가 다각형이면 공식이 명시적이다. 남는 것은 선꼭짓점 위치를 정하는 파라미터 문제로, 비선형 연립방정식을 푼다. 트레페선의 SCPACK(1980)과 드리스콜의 MATLAB SC Toolbox(1996)가 사실상의 표준이고, 곡선 경계는 다각형으로 근사한 뒤 적용한다. 자세한 유도와 함정은 등각사상에, 다각형이 아닌 일반 경계로의 확장은 슈바르츠-크리스토펠 사상 쪽에 속한다.

지퍼(zipper) 알고리즘. 마셜과 로데가 정리한 방법으로, 경계 점열을 하나씩 흡수하며 초등 사상(제곱근·뫼비우스)의 긴 합성을 만들어 간다. 지퍼를 채우듯 경계를 실축으로 펴 나간다고 해서 붙은 이름이다. 경계가 험해도 잘 버티고 수렴성이 증명되어 있으며, $n$ 개 점에 대해 사상 평가가 $O(n)$ 합성이라 구현이 단순하다. 임의 형상 경계에 대한 범용 도구로는 가장 신뢰할 만하다.

적분방정식 계열. 테오도르센 방법(경계 대응을 푸리에 급수로 반복 보정), 케르츠만-스타인 방정식, 베그만 커널을 쓰는 방법들. 미지수를 경계에만 두므로 경계요소법과 사고방식이 같고, 고속 푸리에 변환이나 고속 다중극자법을 붙이면 규모를 키울 수 있다.

유리함수 근사 계열. 2010년대 후반 이후의 흐름이다. 코너 근처에 극점을 지수적으로 몰아 배치한 유리함수로 조화함수를 직접 근사한다(AAA 근사, 이른바 “라이트닝” 솔버). 코너가 있는 라플라스 문제를 수 초 안에 기계 정밀도 근처까지 푼다. 특기할 점은 이 접근이 등각사상을 경유하지 않는다는 것이다 — 원래 등각사상을 쓰던 이유가 “어려운 영역의 라플라스 문제”였는데, 그 문제를 직접 푸는 더 좋은 길이 생긴 셈이다.

계산가능성 이론 쪽에서도 다뤄졌다. 경계를 적절히 계산 가능한 형태로 주면 리만 사상도 계산 가능하며 복잡도 상한이 알려져 있다는 결과가 2000년대에 나왔지만, 이는 정리 자체를 구성적으로 만들어 주지 않는다. 알고리즘은 여전히 위 네 계보에서 따로 만들어야 한다.

6. 혼잡 현상 — 길쭉한 영역이 죽는 이유[편집]

수치 등각사상에서 가장 악명 높은 벽은 혼잡(crowding)이다.

영역이 길쭉할수록 경계 대응이 극도로 불균등해진다. 종횡비 $L$ 인 직사각형을 원판으로 보내면, 짧은 변에 대응하는 원호의 길이가 대략 $e^{-\pi L}$ 로 지수적으로 줄어든다. $L=5$ 면 $e^{-5\pi}\approx 1.5\times10^{-7}$ 이라 단정밀도는 이미 죽었고, $L=15$ 면 $e^{-15\pi}\approx 3\times10^{-21}$ 이라 배정밀도로도 서로 다른 선꼭짓점을 구분조차 못 한다.

핵심은 이것이 알고리즘의 결함이 아니라는 점이다. 혼잡은 등각사상 자체의 성질이며, 어떤 알고리즘을 써도 피할 수 없다. 원판은 “둥글고” 채널은 “길쭉한데”, 등각성을 유지하면서 그 둘을 잇는 유일한 방법이 경계를 지수적으로 압축하는 것이기 때문이다.

대응책은 우회뿐이다.

표준 영역을 바꾼다. 길쭉한 영역은 원판 대신 무한 스트립이나 직사각형으로 보낸다. 애초에 종횡비가 비슷한 표준 영역을 고르면 혼잡이 발생하지 않는다.
잘라서 잇는다(cross-cut, 도메인 분할). 긴 채널을 여러 조각으로 자르고 각각 사상한 뒤 이어 붙인다. 영역 분할법과 발상이 같다.
다중정밀도. 계수만 늘려 버티는 힘 좋은 해법이지만, 필요한 자릿수가 종횡비에 선형으로 늘어나 근본 해결은 아니다.

CFD 쪽에서 등각사상 격자 생성이 좁고 긴 유로에 잘 안 쓰이는 이유가 대부분 여기 있다.

7. 다중연결 영역 — 정리가 깨지는 곳[편집]

구멍이 하나라도 있으면 “모두 원판으로”라는 문장은 성립하지 않는다. 구멍의 개수(연결도)는 등각 불변량이고, 그 위에 연속적인 불변량까지 붙는다. 이중연결 영역이 환형 $r<|w|<1$ 로 갈 때 $r$ 이 영역마다 정해지듯, 연결도 $n$ 인 영역은 대략 $3n-6$ 개의 실수 모듈라이를 갖는다.

그래서 다중연결 쪽 이론은 “유일한 표준 영역”을 포기하고 표준 영역의 족을 정한다.

원 영역(circle domain) — 원판에서 원판 몇 개를 뺀 모양. 유한 연결도에서는 쾨베가 존재성을 보였고, 가산무한 연결도로의 확장(쾨베 추측)은 오랫동안 열린 문제였다.
슬릿 영역 — 평행 슬릿, 방사 슬릿, 원호 슬릿 등 여러 종류의 쾨베 표준영역(Koebe canonical domain)이 있고, 각각 다른 물리 문제에 편하다. 평행 슬릿 영역은 균일류에 놓인 평판들의 포텐셜 유동과 그대로 대응된다.

이쪽의 현대적 계산 도구는 쇼트키-클라인 소수함수(Schottky–Klein prime function)다. 크라우디와 마셜이 이 함수를 수치적으로 계산하는 MATLAB 툴박스를 공개하면서 다중연결 영역의 등각사상·유체 문제를 실제로 풀 수 있게 됐다. 다공성 매질 속 유동, 여러 개의 익형·와류가 놓인 유동, 다중 도체 커패시턴스가 이 도구의 주요 고객이다.³

8. 공학에서 이 정리를 쓰는 자리[편집]

포텐셜 유동. 익형 주위 유동을 원기둥 주위 유동으로 옮겨 푸는 고전적 절차의 이론적 근거가 이 정리다. 주코프스키 변환은 그 사상이 우연히 명시적으로 알려진 특수한 경우일 뿐, 임의 익형에 대해서도 사상이 존재한다는 것을 정리가 보장하기에 테오도르센 같은 수치 방법이 성립한다. 공력해석의 검증 케이스가 여기서 나온다.
격자 생성. 경계적합 구조격자를 만드는 고전적 방법 중 하나가 등각사상이다. 격자가 자동으로 직교하고 셀 왜곡(skewness)이 낮으며, 야코비안이 해석적으로 나온다는 장점이 있다. 다만 격자 밀도를 마음대로 조절할 수 없다는 것 — 등각성이 배율을 이미 정해 버린다 — 이 치명적이라, 오늘날 메시 생성의 주류는 타원형 PDE 기반 격자나 비정렬 격자다. 등각사상은 초기 사상이나 특수 형상 전용으로 남았다.
등각 불변량이 곧 답인 문제. 커패시턴스, 전송선 특성 임피던스, 유효 저항, 조화측도, 브라운 운동의 도달 확률. 이들은 등각사상으로 보존되므로 표준 영역에서 계산한 값이 그대로 원래 영역의 답이다. 사상을 명시적으로 구할 필요조차 없고 모듈러스만 알면 되는 경우도 많다.
특이성 구조 파악. 균열 선단이나 재진입 코너에서 해가 $r^{\lambda}$ 로 어떻게 특이해지는지, 그 지수 $\lambda$ 를 정확히 아는 데 등각사상이 쓰인다. 유한요소법의 특이 요소나 적응 격자 세분화 지표 설계에 그 정보가 들어간다.
그래픽스의 표면 매개화. 곡면은 본질적으로 2차원이라 등각 구조가 살아 있다. 균일화 정리에 기반한 이산 등각 매개화나 최소자승 등각사상(LSCM)이 텍스처 UV 전개에 실제로 쓰인다.

그리고 3차원에는 이 정리가 없다. 리우빌 정리에 의해 $n\geq3$ 의 등각사상은 뫼비우스 변환뿐이라, 임의의 3차원 영역을 구로 옮기는 일은 불가능하다. 자세한 내용은 등각사상에 있다.

9. 관련 문서[편집]

디리클레 원리를 “당연한 것”으로 쓴 죄로 리만은 사후에도 오래 놀림받았다. 변호하자면 물리적 직관으로는 정말 당연하다 — 비눗막은 늘 에너지가 최소인 모양으로 자리 잡으니까. 문제는 무한차원 공간에서 하한이 달성된다는 보장이 없다는 것이고, 이 교훈이 나중에 함수해석학과 변분법의 직접법 전체를 낳았다. ↩
이런 정리를 두고 “존재 증명”이라 부르는데, 응용 쪽 사람들이 순수수학을 흘겨보는 대표적 이유이기도 하다. 다만 공정하게 말하면 존재를 모르면 알고리즘을 만들 동기 자체가 없다. 수렴할 대상이 있다는 걸 알아야 반복법을 짤 마음이 생기는 법. ↩
“소수함수(prime function)“의 prime은 소수(素數)와 무관하다. 리만 곡면 위에서 영점·극점을 지정한 함수를 만들 때 쓰는 기본 빌딩블록이라는 뜻에서 붙은 이름인데, 한국어로 옮기는 순간 소수점·소수(小數)·소수(素數)와 삼중으로 헷갈린다. 원어로 부르는 편이 안전하다. ↩