수렴하는 급수의 항에 n을 곱하면 0으로 갈까

수렴하는 급수의 항에 n을 곱하면 0으로 갈까

해안에 세워진 등대와 불빛

사진: Frank Schulenburg · CC BY-SA 3.0 · 원본 출처

an={2−kn=2k (k≥1),0그 밖의 자연수 n.a_n=\begin{cases}2^{-k}&n=2^k\ (k\ge1),\\0&\text{그 밖의 자연수 }n.\end{cases}

급수∑a_n과 수열n a_n을 각각 판단한다. 모든 항은0 이상이다. 급수가 수렴하므로 n a_n도0으로 간다는 주장이 맞을까?

2^K번째 부분합은1/2+1/4+…+1/2^K=1−2^(−K)다. 그다음2^(K+1)번째 항을 만나기 전까지 합은 그대로다. 따라서 모든 부분합은1로 수렴한다.

하지만 n=2^k에서는 n a_n=1이다. n=2^k+1에서는 해당 번호가2의 거듭제곱이 아니므로 n a_n=0이다. 두 종류의 입력이 모두 한없이 커지는데 값은1과0으로 남는다.

따라서 n a_n은0으로 가지 않으며 한 값으로 수렴하지도 않는다. 원래 a_n 자체는 큰 번호에서0 또는2^(−k)이므로0으로 간다.

급수 수렴이 주는 일반항0의 필요조건에 n이라는 증가하는 인수를 마음대로 붙일 수 없다. 부분합이 변하는 번호와 n을 곱한 값이 커지는 번호를 같은 표에서 구별한다.

출처·착안: Lin McMullin, 「Geometric Series – Far Out」. 문항과 풀이는 새로 작성했다.