정의
상반평면은 복소수 평면에서 허수부가 양수인 모든 복소수의 집합을 의미한다. 즉,
$$
\mathbb{H} = {,z \in \mathbb{C} \mid \operatorname{Im}(z) > 0,}
$$
와 같이 정의된다. 여기서 $\operatorname{Im}(z)$는 복소수 $z$의 허수부를 나타낸다.
수학적 성질
| 성질 | 내용 |
|---|---|
| 오픈 집합 | 상반평면 $\mathbb{H}$는 복소수 평면 $\mathbb{C}$에서 열린 집합이다. |
| 홀수성 | $\mathbb{H}$는 실수축을 경계로 하여 실수축 아래의 하반평면 ${z\mid \operatorname{Im}(z)<0}$과 대칭 관계에 있다. |
| 보존 변환 | 복소수의 선형 변환 $z \mapsto \frac{az+b}{cz+d}$ (단, 행렬 $\begin{pmatrix}a&b\c&d\end{pmatrix}$가 실수이고 $ad-bc>0$인 경우) 은 상반평면을 자기 자신으로 보내는 변환군인 모듈러 군 $SL(2,\mathbb{R})$ 의 작용에 의해 보존된다. |
| 리만 매핑 | 상반평면은 복소수 해석학에서 중요한 리만 매핑 대상이며, 단위 원판 ${, |
| 하이퍼볼릭 기하 | 상반평면에 디스키 기하학(하이퍼볼릭 기하)을 부여하면, 라인(geodesic)은 위쪽에 있는 원이거나 수직선이며, 이는 푸코 모델(Forthe model)과 동등하게 사용된다. |
주요 활용 분야
- 복소 해석학: 모듈러 형식, 엘리프트함수, 베타 함수 등에서 기본 정의역으로 사용된다.
- 수론: 모듈러 군의 작용을 연구할 때 상반평면 위의 함수 공간을 고려한다.
- 물리학: 양자역학·통계역학에서 복소 평면의 특정 영역(예: 위쪽 영점)으로 제한된 적분 경로를 다룰 때 등장한다.
- 공학: 제어 이론에서 라플라스 변환의 수렴 영역을 판단할 때 복소 주파수 평면의 상반평면(실부가 양수인 영역)이 안정성 기준으로 쓰인다.
관련 용어
- 하반평면 : ${z\in\mathbb{C}\mid\operatorname{Im}(z)<0}$
- 실축 : ${z\in\mathbb{C}\mid\operatorname{Im}(z)=0}$
- 모듈러 군 : $SL(2,\mathbb{R})$ 혹은 $PSL(2,\mathbb{R})$ 등, 상반평면에 작용하는 변환군
어원 및 사용 맥락
‘상반’은 “위쪽에 해당한다”는 의미의 한자어(上半)이며, ‘평면’은 “2차원 공간”을 뜻한다. 따라서 ‘상반평면’은 문자 그대로 “위쪽 절반에 해당하는 평면”을 가리키며, 영어 upper half‑plane 에 대응한다. 한국어 수학·과학 교재와 논문에서 널리 쓰이는 용어이다.
