정칙함수

정칙함수는 정의역 내의 모든 점에서 복소 미분 가능하다는 조건만으로도 매우 강력한 성질을 가집니다. 이 점에서의 미분 가능성은 실함수의 미분 가능성보다 훨씬 제약적인 조건이며, 이로 인해 정칙함수는 자동으로 해석함수가 됩니다. 즉, 정의역 내의 임의의 점을 중심으로 하는 테일러 급수로 국소적으로 표현될 수 있고, 무한 번 미분 가능합니다.

이러한 해석성은 정칙함수의 가장 기본적이면서도 핵심적인 성질입니다. 복소 평면의 한 점에서 미분 가능하다는 것은 그 점 근방에서 함수의 거동이 매우 규칙적임을 의미하며, 이는 실함수의 경우와는 본질적으로 다릅니다. 예를 들어, 실함수는 어느 한 점에서 무한 번 미분 가능하더라도 그 점을 중심으로 하는 테일러 급수가 원래 함수와 일치하지 않을 수 있지만, 정칙함수에서는 두 개념이 완전히 동치가 됩니다. 이 성질은 코시-리만 방정식을 만족한다는 조건과도 밀접하게 연결되어 있습니다.

정칙함수는 합, 차, 곱, 몫, 합성 등 일반적인 함수의 연산에 대해 닫혀 있다. 즉, 두 정칙함수를 더하거나 곱하거나 합성하여 얻은 함수 역시 정칙함수가 된다. 단, 몫의 경우 분모가 0이 되지 않는 영역에서 정칙함수가 된다.

이러한 연산에 대한 안정성은 정칙함수의 국소적 성질인 테일러 급수 전개 가능성에서 비롯된다. 두 정칙함수의 테일러 급수를 더하거나 곱하는 연산은 다시 수렴하는 멱급수를 생성하며, 이는 새로운 정칙함수를 정의한다. 특히, 합성함수의 정칙성은 해석함수의 중요한 성질로, 복잡한 함수의 해석적 구조를 연구하는 데 기초가 된다.

정칙함수로 구성된 함수열에 대해서도 극한 연산이 가능하다. 균등 수렴하는 정칙함수열의 극한 함수는 정칙함수가 된다. 이는 모레라 정리와 같은 적분적 성질을 통해 증명되며, 정칙함수 공간의 완비성을 보여준다.

항등 정리는 정칙함수가 갖는 매우 강력한 성질 중 하나이다. 이 정리에 따르면, 어떤 연결된 열린 집합에서 정의된 두 정칙함수가, 그 집합 내에 집적점을 갖는 점들의 열에서 일치한다면, 두 함수는 전체 정의역에서 완전히 동일하다.

간단히 말해, 정칙함수는 국소적인 정보만으로도 함수 전체가 결정될 수 있다. 예를 들어, 어떤 연결된 열린 영역에서 정의된 정칙함수가 그 안의 아주 작은 구간이나, 심지어는 무한 개의 점으로 이루어진 수열 상에서만 특정 값을 가진다는 사실이 알려지면, 그 영역의 모든 점에서 함수값이 유일하게 정해진다. 이는 실수에서 정의된 미분 가능 함수가 가질 수 없는 성질이다.

이러한 성질은 정칙함수의 해석적 연속 개념의 기초가 된다. 한 영역에서 정의된 정칙함수를, 그 영역을 넘어 더 큰 영역으로 확장할 때, 확장된 함수는 원래 함수와 확장 영역의 교집합에서 일치하는 유일한 정칙함수가 된다. 항등 정리는 이러한 확장이 만약 존재한다면 유일함을 보장한다.

항등 정리의 한 가지 중요한 결과는 영점의 분포에 관한 것이다. 만약 어떤 정칙함수가 연결된 열린 집합에서 영함수가 아니고, 그 집합 내에서 함수값이 0이 되는 점들이 존재한다면, 그 영점들은 반드시 고립되어 있어야 한다. 즉, 각 영점 주변에는 함수값이 0이 아닌 점들이 존재한다. 이로부터 정칙함수의 영점 집합은 유한하거나, 집적점을 가질 수 없으며, 만약 집적점이 정의역 내에 존재한다면 함수는 항등적으로 0이어야 함을 알 수 있다.

최대 절댓값 원리는 정칙함수의 핵심적인 성질 중 하나로, 복소 평면의 영역에서 정의된 정칙함수의 절댓값이 그 영역의 내부 점에서 최댓값을 가질 수 없다는 원리이다. 구체적으로, 연결된 열린 집합인 영역 D에서 정의된 정칙함수 f가 D의 내부 점 a에서 |f(a)|가 최대값이라면, 그 함수 f는 D 전체에서 상수함수여야 한다는 정리이다. 이는 실수 위에서 정의된 실함수와는 대조적인 성질로, 복소해석학의 강력한 결과를 보여준다.

이 원리는 여러 중요한 정리의 증명에 활용된다. 대표적으로, 영역 D에서 정칙이고 그 경계에서 연속인 함수의 절댓값 최댓값은 반드시 경계에서 달성된다는 사실을 유도할 수 있다. 또한, 리우빌 정리의 증명에도 핵심적으로 사용되는데, 이 정리는 복소 평면 전체에서 유계인 전해석 함수는 상수함수임을 말해준다.

최대 절댓값 원리는 기하학적으로 해석될 수 있다. 정칙함수는 국소적으로 회전과 확대를 결합한 등각 사상으로 작용한다. 만약 내부 점에서 절댓값이 최대라면, 그 점 근방의 모든 방향으로 함수값의 크기가 감소해야 하는데, 이는 등각 사상의 성질과 모순될 수 있다. 이러한 기하학적 직관은 코시-리만 방정식을 통해 엄밀히 설명된다.

유리형 함수는 복소 평면의 열린 부분 집합 위에서 정의된 함수로, 특이점을 제외한 모든 점에서 정칙함수인 함수이다. 이때 허용되는 특이점은 극으로 한정된다. 즉, 유리형 함수는 정의역에서 국소적으로 두 다항식의 비(유리함수)로 표현될 수 있는 함수로 생각할 수 있으며, 이는 정칙함수의 개념을 확장한 것이다.

모든 정칙함수는 유리형 함수이지만, 그 역은 성립하지 않는다. 예를 들어, 함수 f(z) = 1/z는 원점에서 극을 가지는 유리형 함수이지만, 원점에서는 정칙함수가 아니다. 유리형 함수의 중요한 예로는 탄젠트 함수 tan(z), 코탄젠트 함수 cot(z), 그리고 일반적인 유리함수가 있다.

유리형 함수는 리만 구와 같은 리만 곡면 위에서 생각할 때 그 성질이 더 명확해진다. 전해석 함수가 복소 평면 전체에서 정칙인 함수라면, 유리형 함수는 리만 구 전체에서 정칙인 함수로 정의될 수 있다. 이 관점에서, 복소 평면 위의 유리형 함수는 본질적으로 유리함수와 같다는 사실이 알려져 있다.

전해석 함수는 복소 평면 전체에서 정의된 정칙함수를 의미한다. 즉, 정의역이 복소 평면 전체이며, 모든 점에서 복소 미분 가능한 함수이다. 이는 정칙함수의 특별한 경우로, 복소 평면이라는 가장 큰 열린 집합에서 해석적인 함수를 가리킨다. 전해석 함수는 복소해석학의 핵심 연구 대상 중 하나이다.

전해석 함수의 대표적인 예로는 다항함수, 지수함수, 사인함수, 코사인함수 등이 있다. 이들은 모두 복소 평면 전체에서 정의되고, 무한 번 미분 가능하며, 테일러 급수로 표현될 수 있다. 반면, 유리함수는 분모가 0이 되는 점에서 정의되지 않으므로, 일반적으로 전해석 함수가 아니다.

전해석 함수는 그 성질에 따라 크게 세 가지 유형으로 분류된다. 첫째는 상수함수이고, 둘째는 다항식이며, 셋째는 초월 전해석 함수이다. 초월 전해석 함수는 다항식이 아닌 전해석 함수를 말하며, 지수 함수나 삼각함수가 이에 해당한다. 리우빌의 정리에 따르면, 유계인 전해석 함수는 반드시 상수함수여야 한다는 강력한 성질을 가지고 있다.

이러한 전해석 함수의 이론은 함수론의 기초를 이루며, 복소 적분을 통한 계산이나 특이점 주변의 함수 행동을 연구하는 데 널리 활용된다. 또한, 물리학의 전기장 및 유체 역학 모델링, 공학의 신호 처리 등 다양한 응용 분야에서 중요한 도구로 사용된다.

정칙함수의 특이점은 함수가 더 이상 정칙적이지 않은, 즉 복소 미분 가능하지 않은 점을 의미한다. 복소해석학에서 특이점은 함수의 국소적 또는 대역적 성질을 이해하는 데 핵심적인 역할을 하며, 그 성질에 따라 분류된다.

특이점은 크게 고립된 특이점과 비고립된 특이점으로 나눌 수 있다. 고립된 특이점은 그 점을 중심으로 하는 충분히 작은 원판 내부에서 그 점을 제외한 모든 곳에서 함수가 정칙적인 경우를 말한다. 이러한 고립된 특이점은 다시 제거 가능한 특이점, 극점, 본질적 특이점으로 세분된다. 제거 가능한 특이점은 함수 값을 적절히 재정의하면 정칙함수로 확장할 수 있는 점이며, 극점은 함수의 절댓값이 그 점에 가까워질수록 무한대로 발산하는 점이다. 가장 복잡한 양상을 보이는 본질적 특이점 근방에서는 함수가 모든 복소수 값에 임의로 가까워지는 피카르의 정리와 같은 놀라운 성질이 성립한다.

비고립된 특이점은 특이점들이 모여서 군집을 이루는 경우로, 예를 들어 함수 1/sin(1/z)의 경우 원점은 비고립된 특이점이 된다. 또한, 함수가 정의되지 않는 점 외에도 분지점과 같은 다른 유형의 특이점도 존재한다. 특이점의 연구는 유수 정리를 통한 적분 계산, 해석적 연속을 통한 함수의 확장, 그리고 리만 곡면 이론 등 복소해석학의 여러 중요한 주제와 깊이 연결되어 있다.