|
[[대수학|대수학 Algebra ]]
|
||||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
이론 | |||
| 기본 대상 | 연산 · 항등식( 가비의 이 · 곱셈 공식( 통분 · 약분) · 인수분해) · 부등식( 절대부등식) · 방정식( /풀이 · 근( 무연근 · 허근 · 비에트의 정리( 근과 계수의 관계) · 제곱근( 이중근호 · 개방법) · 환원 불능) · 부정 · 불능) · 비례식 · 다항식 · 산술( 시계 산술) | |||
| 수 체계 | 자연수( 소수) · 정수( 음수) · 유리수 · 실수( 무리수( 대수적 무리수 · 초월수) · 초실수) · 복소수( 허수) · 사원수 · 팔원수 · 대수적 수 · 벡터 공간 | |||
| 다루는 대상과 주요 토픽 | ||||
| 대수적 구조 | ||||
| 군(group) | 대칭군 · 기본군 · 자유군 · 리 군 · 괴물군 · 점군 · 순환군 · 군의 작용 · 동형 정리 · 실로우 정리 | |||
| 환(ring) | 아이디얼 | |||
| 체(field) | 갈루아 이론 · 분해체 | |||
| 대수 | 가환대수 · 리 대수 · 불 대수( 크로네커 델타) | |||
| 마그마· 반군· 모노이드 | 자유 모노이드 · 가환 모노이드 | |||
| 선형대수학 | 벡터 · 행렬 · 텐서( 텐서곱) · 벡터 공간( 선형사상) · 가군(module) · 내적 공간( 그람-슈미트 과정 · 수반 연산자) | |||
| 정리·추측 | ||||
| 대수학의 기본정리 · 나머지 정리 · 유클리드 호제법 · 부분분수분해 · PID 위의 유한생성 가군의 기본정리 · 산술·기하 평균 부등식 · 바이어슈트라스 분해 정리 · 호지 추측미해결 · 가환대수에서의 호몰로지 추측미해결 | ||||
| 관련 하위 분야 | ||||
| 범주론 | 함자 · 수반 · 자연 변환 · 모나드 · 쌍대성 · 토포스 이론 · 타입 이론 | |||
| 대수 위상수학 | 연속변형성 · 사슬 복합체 · 호몰로지 대수학( 호몰로지 · 코호몰로지) · mapping class group · 닐센-서스턴 분류 | |||
| 대수기하학 | 대수다양체 · 층 · 스킴 · 에탈 코호몰로지 · 모티브 | |||
| 대수적 정수론 | 타원곡선 · 디오판토스 방정식 · 유리근 정리 · 모듈러성 정리 | |||
| 가환대수학 | 스펙트럼 정리 | |||
| 표현론 | 실베스터 행렬 | |||
| 기타 및 관련 문서 | ||||
| 수학 관련 정보 · 추상화 · 1학년의 꿈 · 노름 · 혼합계산 · 분배법칙 · 교환법칙 · 결합법칙 · 교재 | }}}}}}}}} | |||
1. 개요
Weierstrass factorization theorem / Weierstrass 分 解 定 理 / (독일어)Weierstraßscher Produktsatz독일의 수학자 카를 바이어슈트라스가 정립한 바이어슈트라스 분해 정리 또는 바이어슈트라스 곱 정리는 전해석 함수(entire function)[1]는 영점을 포함한 무한곱으로 표기될 수 있다는 정리이다. 또한 모든 다항함수가 각근에서의 한 선형인수로 분해가 되므로 대수학의 기본 정리의 확장으로도 볼 수 있는 정리이다.
바이어슈트라스 분해 정리는 유리형 함수(meromorphic function)로까지 일반화하여 확장할 수 있으며, 유리형 함수가 세 가지 요소, 즉 함수의 극점 및 영점이 인수인 식, 0이 아닌 정칙함수(holomorphic function)[2]의 곱으로 나타낼 수 있다는 것을 보여준다.
또한 극점을 가진 함수를 유리형 함수의 무한합으로 표현하는 미타그레플레르 정리와 유사한 점이 있다.
2. 상세
정리에 앞서 기본 인자(elementary factor)를 짚고 넘어가야 한다. 대수학의 기본 정리를 전해석 함수로 확장하는 데에 아주 중요한 역할을 하기 때문.정리에는 두 가지 형태가 있는데, 하나는 특정 영점을 갖는 전해석 함수가 존재함을 보이는 정리이며 나머지 하나는 그 반대, 전해석 함수가 존재할 때 특정 영점을 인수로 갖는 무한곱으로 나타낼 수 있음을 보이는 정리이다. 보통 후자를 바이어슈트라스 분해 정리라고 한다.
2.1. 기본 인자
Elementary factor. 주요 인자(primary factor)라고도 한다.범자연수 [math(n)], [math(|z|<1)]에 대해 다음과 같이 기본 인자를 정의하자.
| [math(E_n(z) = \begin{cases} 1-z && (n=0) \\ (1-z)\exp\left(\displaystyle \sum_{k=1}^n\frac{z^k}k\right) && (n\ge1)\end{cases})] |
| [math(\displaystyle \ln(1-z) = -\int\frac{{\rm d}z}{1-z} = -\int\sum_{n=0}^\infty z^n{\rm d}z = -\sum_{n=0}^\infty\frac{z^{n+1}}{n+1} = -\sum_{n=1}^\infty\frac{z^n}n)] |
| [math(\displaystyle E_n(z) = (1-z)\exp\left(\sum_{k=1}^n\frac{z^k}k\right) = \exp\left(-\sum_{k=1}^\infty\frac{z^{n+k}}{n+k}\right))] |
2.2. 특정 영점을 갖는 전해석 함수의 존재 정리
[math(a_n\ne0)]인 복소수 수열이 [math(|a_n|\to\infty)]이고, 정수 수열 [math(p_n)]이 모든 [math(r>0)]에 대해, [math(\displaystyle\sum_{n=1}^\infty\left(\frac r{|a_n|}\right)^{1+p_n}<\infty)]를 만족할 때, 다음 함수
은 [math(a_n)]에서만 영점을 갖는 전해석 함수이다. 복소수 [math(z_0)]가 수열 [math(a_n)]에 [math(m)]개 있다면 함수 [math(f)]는 [math(z=z_0)]에서 다중도가 [math(m)]인 영점을 갖는다.
| [math(\displaystyle f(z) = \prod_{n=1}^\infty E_{p_n}\left(\frac z{a_n}\right))] |
2.3. 바이어슈트라스 분해 정리
전해석 함수 [math(f)]에 관하여, 수열 [math(a_n\ne0)]이 [math(f)]의 영점이며, [math(m\ge0)]인 정수 [math(m)]에 대해 [math(f)]가 0에서 다중도 [math(m)]의 영점을 가진다고 하면, 정수 수열 [math(p_n)]과 전해석 함수 [math(g)]이 존재해 [math(f)]는 다음과 같은 관계를 만족한다.
| [math(\displaystyle f(z) = z^m e^{g(z)} \prod_{n=1}^\infty E_{p_n}\left(\dfrac z{a_n}\right))] |
3. 계기
대수학의 기본 정리의 결과로부터 2가지 사실을 알 수 있다.- 복소 평면에서의 유한 수열 [math(c_n)]에 관하여, [math(c_n)]이 영점인 다항식 [math(p(z))]가 존재하며, 그 꼴은 다음과 같다.
| [math(\displaystyle p(z) = \prod_n(z-c_n))] |
- 복소 평면 내의 모든 다항함수 [math(p(z))]는 [math(a\ne0)]인 상수, 영점 [math(c_n)]을 이용하여 다음과 같은 인수분해식으로 나타낼 수 있다.
| [math(\displaystyle p(z) = a \prod_n(z-c_n))] |
바이어슈트라스 분해 정리의 두 가지 형태는 위 사실을 전해석 함수로 확장한 것이라고 볼 수 있다. 이때 [math(c_n)]이 유한 수열이 아닐 경우 그 무한곱 [math(\displaystyle \prod_n(z-c_n))]은 수렴하지 않기 때문에 전해석 함수를 정의할 수 없고, 따라서 이를 보완하기 위한 추가적인 수학적 논리가 필요했다. 일반적으론 미리 정해진 영점 수열로부터 전해석 함수를 정의하거나, 대수학의 기본 정리에 의해 유도되는 영점으로 전해석 함수를 표현하는 것은 불가능하다.
이 경우 무한곱이 수렴하기 위한 필요조건은 [math((z-c_n))]과 같이 표현된 인수들이 [math(n\to\infty)]일 때 [math(1)]로 수렴하는 것이다. 따라서 주어진 점에서 [math(0)]이 되는 것은 물론, 그 점 이외에는 [math(1)]로 수렴하게 하면서 주어진 개수보다 많은 영점을 가지면 안 되는 조건을 모두 충족해야한다. 바이어슈트라스의 기본 인자 [math(E_n(z))]는 이 조건을 모두 충족하며 상기한 대수학의 기본 정리의 인수 [math((z-c_n))]과 똑같은 역할을 한다.
4. 예시
4.1. 삼각함수· 쌍곡선함수
|
삼각함수 ·
쌍곡선함수 Trigonometric Functions · Hyperbolic Functions |
||
|
{{{#!wiki style="margin: 0 -10px -5px; min-height: calc(1.5em + 5px)" {{{#!folding [ 펼치기 · 접기 ] {{{#!wiki style="margin: -5px -1px -11px" |
<colbgcolor=#f080b0> 기본 개념 | 기하학{ 평면기하학( 삼각형 · 삼각비 · 원 · 쌍곡선)} · 해석학{ 좌표계 · 복소평면 · 함수( 초월함수 · 특수함수)} |
| 삼각함수 | 사인곡선( 위상수학자의 사인곡선) · 역함수 · 도함수 · 역도함수 · 관련 함수 · 삼각함수의 덧셈정리 · #s-4.1 · 미타그레플레르 정리 · 오일러 공식 · 푸리에 해석( 푸리에 변환) · 삼각 적분 함수 · 구데르만 함수 · 프레넬 적분 함수 · 디리클레 함수 · 바이어슈트라스 함수 · 볼테라 함수 · 에어리 함수 · 야코비 타원 함수 | |
| 쌍곡선함수 | 현수선 · 쌍곡선 적분 함수 · 구데르만 함수 | }}}}}}}}} |
| <colbgcolor=#efefef,#555555> [math(\boldsymbol{\sin({\pi}z)})] | [math(\begin{aligned} \displaystyle \pi z \prod_{n\ne0}\left(1-\dfrac zn\right)e^{z/n} = \pi z \prod_{n=1}^{\infty} \left\{1-\left(\dfrac zn\right)^2\right\} \end{aligned})] |
| [math(\boldsymbol{\cos({\pi}z)})] | [math(\begin{aligned} \displaystyle \prod_{q=2n+1,\,n\in\mathbb Z}\left(1-\dfrac{2z}q\right)e^{2z/q} = \prod_{n=1}^\infty \left\{1-\left(\dfrac {2z}{2n-1}\right)^2\right\} \end{aligned})] |
| [math(\boldsymbol{\sinh(z)})] | [math(\begin{aligned} \displaystyle z \prod_{n=1}^\infty \left\{1+\left(\dfrac {z}{nπ}\right)^2\right\} \end{aligned})][3] |
4.2. 감마 함수
감마 함수 [math(\Gamma(z))]에 관하여, [math(f(z) = \dfrac1{\Gamma(z)})]일때,| [math(\displaystyle f(z)=e^{\gamma z}z \prod_{n=1}^\infty\left(1+\dfrac zn\right)e^{-z/n})] |
여기서 [math(\gamma)]는 오일러-마스케로니 상수이다.
4.2.1. 증명 방법
바이어슈트라스는 감마 함수의 단순항꼴을 정리해서 오일러-마스케로니 상수가 포함된 새로운 감마 함수의 형태를 증명했다.| [math(\displaystyle \Gamma(z)=\lim_{n\to\infty}\frac{n!\,n^z}{\displaystyle \prod_{i=0}^n (z+i)})] |
| [math(\begin{aligned}\displaystyle \Gamma(z) &= \lim_{n\to\infty}\frac{n!\,e^{z\ln n}}{z\displaystyle \prod_{i=1}^n (z+i)} = \lim_{n \to \infty} \frac 1z \frac{n!\,e^{z\ln n}}{\displaystyle \prod_{i=1}^n \left\{ i \left(1+\dfrac zi \right) \right\}} \\ &= \lim_{n \to \infty} \frac 1z \frac{\cancel{n!}\,e^{z \ln n}}{\displaystyle \cancel{n!} \prod_{i=1}^n \left(1+\dfrac zi \right)} = \lim_{n \to \infty} \frac 1z \frac{e^{z \ln n}}{\displaystyle \prod_{i=1}^n \left(1+\dfrac zi \right)}\end{aligned})] |
|
[math(\displaystyle \begin{aligned}
\Gamma(z) &= \lim_{n\to\infty} \frac1z \frac{e^{z\ln n}}{e^{z \sum\limits_{i=1}^n \frac1i}} \frac{\displaystyle \prod_{i=1}^n e^{\frac zi}}{\displaystyle \prod_{i=1}^n \Bigl( 1+\dfrac zi \Bigr)} \\ &= \lim_{n\to\infty} \frac1z e^{z \Bigl( \ln n -\sum\limits_{i=1}^n \frac1i \Bigr)} \prod_{i=1}^n \frac{e^{\frac zi}}{1+\cfrac zi} \\ &= \frac1z e^{-\gamma z} \prod_{n=1}^\infty \frac{e^{\frac zn}}{1+\dfrac zn} \end{aligned} )] |
| [math(\displaystyle \dfrac1{\Gamma(z)}=e^{\gamma z}z \prod_{n=1}^\infty\left(1+\dfrac zn\right)e^{-z/n})] |
5. 참고 문헌
-
https://en.wikipedia.org/wiki/Weierstrass_factorization_theorem
- G. B. Arfken et al., Mathematical Method for Physicists : A Comprehensive Guide