정칙 함수

틀:위키데이터 속성 추적 복소해석학에서 정칙 함수(正則函數, 틀:Llang)는 복소 함수에 대한, 미분 가능 함수와 해석 함수에 동시에 대응하는 개념이다. 실수 함수의 경우 미분 가능 함수의 개념은 해석 함수의 개념보다 훨씬 약하지만, 복소 함수의 경우 같은 개념에 대응한다.

정의

열린 집합 $U \subset ℂ$ 위에 정의된 함수 $f : U \to ℂ$ 및 점 $z_{0} \in U$ 에 대하여, 만약 극한

f^{'} (z_{0}) = \lim_{z \to z_{0}} \frac{f (z) - f (z_{0})}{z - z_{0}}

가 존재한다면 $f$ 가 $z_{0}$ 에서 복소 미분 가능 함수(틀:Llang)라고 한다.

열린 집합 $U \subset ℂ$ 위에 정의된 함수 $f : U \to ℂ$ 및 점 $z_{0} \in U$ 에 대하여, 다음 두 조건이 서로 동치이며, 이를 만족시키는 함수를 $z_{0}$ 에서 정칙 함수(틀:Llang)라고 한다.

다음 조건을 만족시키는 근방 N∋z0가 존재한다.
- 모든 $z \in N \cap U$ 에 대하여, $f$ 는 $z$ 에서 미분 가능 함수이다.
다음 조건을 만족시키는 근방 N∋z0 및 복소수열 c0,c1,…∈ℂ가 존재한다.
- 모든 $z \in N \cap U$ 에 대하여, 급수 $\sum_{n = 0}^{\infty} c_{n} (z - z_{0})^{n}$ 는 수렴하며, $f (z) = \sum_{n = 0}^{\infty} c_{n} (z - z_{0})^{n}$ 이다.

열린 집합 $U \subset ℂ$ 위에 정의된 함수 $f : U \to ℂ$ 에 대하여, 만약 $f$ 가 정의역의 모든 점에서 정칙 함수라면 $f$ 를 정칙 함수라고 한다.

두 리만 곡면 $Σ_{1}$ , $Σ_{2}$ 사이의 정칙 함수는 다음 조건을 만족시키는 함수 $f : Σ_{1} \to Σ_{2}$ 이다.

$Σ_{1}$ 의 정칙 국소 좌표계 ${ϕ_{α} : U_{α} \to ℂ}$ 및 $Σ_{2}$ 의 정칙 국소 좌표계 ${χ_{β} : V_{β} \to ℂ}$ 가 주어졌을 때, 임의의 $α, β$ 에 대하여 $χ_{β} \circ f \circ ϕ_{α}^{- 1}$ 는 (이 합성이 정의되는 곳에서) 정칙 함수이다.

리만 곡면 $Σ_{1}$ , $Σ_{2}$ , $Σ_{3}$ 사이의 정칙 함수

f : Σ_{1} \to Σ_{2}

g : Σ_{2} \to Σ_{3}

이 주어졌을 때, 합성 함수 $g \circ f$ 역시 정칙 함수이다.

리만 곡면 $Σ$ 위의 정칙 함수

f, g : Σ \to ℂ

가 주어졌을 때, $f + g$ 와 $f g$ 역시 정칙 함수이다. 또한, 만약 모든 $z \in Σ$ 에 대하여 $f (z) \neq 0$ 이라면, $1 / f$ 역시 정칙 함수이다.

전해석 함수는 $ℂ \to ℂ$ 정칙 함수이다. 리만 곡면 $Σ$ 위의 유리형 함수는 $Σ \to \hat{ℂ}$ 정칙 함수이다 ( $\hat{ℂ}$ 는 리만 구). 복소 타원 곡선 $E$ 위의 타원 함수는 $E \to \hat{ℂ}$ 정칙 함수이다.

리우빌 정리에 따라, 콤팩트 리만 곡면 $Σ$ 위의 $Σ \to ℂ$ 정칙 함수는 상수 함수밖에 없다.

함수 $z \mapsto | z |^{2}$ 는 (실수 평면 위의 함수로서) 매끄러운 함수이지만, 그 어느 점에서도 정칙 함수가 아니다.

유럽 언어에서, 정칙 함수를 뜻하는 단어 틀:Llang, 틀:Llang, 틀:Llang는 오귀스탱 루이 코시의 제자 샤를오귀스트 브리오(Charles-Auguste Briot)와 장클로드 부케(틀:Llang)가 도입하였고, 틀:Llang(전체) + 틀:Llang(형태)의 합성어이다.