타우버의 정리

타우버의 정리(Tauber's theorem, -定理)는 해석학의 초등적인 정리 중 하나로, 오스트리아-헝가리 제국의 수학자 알프레트 타우버(Alfred Tauber)의 이름이 붙어 있다. 슈톨츠-체사로 정리의 부분적 역을 제공하는 정리이다.

공식화 
타우버의 정리는 다음과 같이 공식화할 수 있다.

 음이 아닌 항의 단조증가수열 {sn}에 대해, 이 수열이 어떤 실수 L로 체사로 덧셈가능하면, 실제로 이 수열은 무한대에서 L로 수렴한다.

증명 
{sn} 가 L로 체사로 덧셈가능이라 가정하자. 만약 무한대에서 이 극한값이 존재한다면 슈톨츠-체사로 정리에 의해 반드시 L이어야 한다. 그러므로 이 수열은 무한대에서 발산한다고 가정하자. 그런데 이는 단조증가수열이므로, 발산한다면 반드시 양의 무한대로 정발산해야 한다. 이를 가정하여 모순이 됨을 보이자.

한편 다음과 같이 정의한 자연수열 {Mn}에 대하여,

 Mn := Max{m|m∈{1, 2, ..., n}은 nsm ≤ s1 + ... + sn을 만족하는 자연수}

{sMn}은 {sn}의 부분수열이 되고, 따라서 단조증가한다. 왜냐하면,

 

이기 때문이다. 만약 이 부분수열이 유계라면, 상한과 동일한 값을 갖는 수열의 항이 존재할 것이고, {sn}은 정발산하므로 이보다 큰 고정된 sr이 존재하여, 충분히 큰 n에 대해 다음 식이 항상 성립한다.

 

이항하고 정리하면,

 

그런데 {sn}은 정발산하므로 k'<m이면 sr - s0 < sm - sr 을 만족하는 자연수 k'가 존재하고, 양수인 (s_r - s_k)의 항은 많아야 r-1개이므로, n ≥ k'+r-1인 모든 n에 대하여  을 만족한다. 이는 이상에 모순이고, 그러므로 {sMn}은 양의 무한대로 발산해야 한다.

이제 에서 양 변을 무한대로 증가시키는 극한을 취하면, 초실수체 상에서,

 

을 얻고, 이는 모순이다.

같이 보기 
 슈톨츠-체사로 정리

각주

참고 문헌 
 
 
 
 

실해석학 정리
급수
총합법