수열·급수의 수렴 판정

항과 부분합은 다른 수열

급수 Σaₙ의 수렴은 부분합 S_N=Σₙ₌₁ᴺaₙ이 유한 극한을 갖는다는 뜻입니다. 수렴하면 aₙ=Sₙ−Sₙ₋₁→0이므로 일반항의 소멸은 필요조건입니다. 그러나 충분조건은 아닙니다.

실습의 조화급수 1/n은 항이 0으로 가지만 부분합은 발산합니다. 작아지는 항의 그래프만 보고 합의 존재를 결론내릴 수 없습니다.

조화급수 발산의 증명

2ᵏ+1부터 2ᵏ⁺¹까지는 2ᵏ개 항이 있고 각 항이 1/2ᵏ⁺¹ 이상입니다. 따라서 각 블록의 합은 적어도 1/2입니다.

이 블록이 무한히 이어지므로 부분합은 위로 유계가 아닙니다. 이 증명은 임의로 큰 N에 대해 적용되며, 실습에서 N≤128까지만 증가하는 그림을 관찰한 것과 다릅니다.

교대 부호가 주는 제어

양의 항 bₙ이 단조 감소하여 0으로 가면 교대급수는 수렴하고 N항 오차는 다음 항보다 크지 않습니다. bₙ=1/n에서

짝수 부분합은 아래에서, 홀수 부분합은 위에서 같은 극한으로 접근합니다. ln2라는 값은 1/(1+x)의 유한 기하합을 [0,1]에서 적분하고 나머지를 제어하여 얻을 수 있습니다. 이 급수는 절댓값 급수가 조화급수로 발산하므로 조건부 수렴입니다.

적분 비교와 절대 수렴

감소하는 x⁻²의 적분으로 양의 꼬리를 제어합니다.

따라서 제곱 역수 급수는 수렴합니다. 실습은 알려진 값 π²/6을 비교선으로 쓰지만 이 값의 평가는 여기서 증명하지 않습니다. 수렴 증명과 합의 정확한 평가를 구분하세요. 뒤의 Fourier 해석에서 이 값을 다시 유도할 수 있습니다.

절대 수렴이면 항의 순서를 바꾸어도 합이 유지됩니다. 조건부 수렴에서는 임의 재배열이 합을 바꿀 수 있으므로 부호를 무시한 병렬 합산 논증을 그대로 사용할 수 없습니다. 실제 유한 부동소수점 합산의 순서 오차는 또 다른 문제입니다.

실습과 AI 연결

가로축은 항의 수, 파란 점들은 실제 부분합입니다. 비교선이 없는 조화급수는 모형에 유한한 무한합이 없다는 뜻입니다. 빈 값 —를 0으로 읽지 마세요. N=8의 교대 오차 상한은 1/9, 제곱 역수 꼬리 상한은 1/8입니다.

알고리즘의 누적 오차, 감소 학습률 조건, 무한 특징 전개를 읽을 때 항의 감소와 총 누적량을 분리해야 합니다. 예를 들어 Σ1/n은 발산하고 Σ1/n²은 수렴하는 조합이 확률 근사 이론의 특정 보폭 조건에 등장하지만 그 두 조건만으로 모든 최적화가 수렴하지는 않습니다.

확인 문제와 답

1. 급수의 항이 0으로 가지 않으면? 급수는 수렴할 수 없습니다.
2. 교대 조화급수는 절대 수렴하나요? 아니요.
3. 제곱 역수 꼬리를 0.01 이하로 보장하려면 이 상한에서 충분한 N은? 100입니다.

추가 읽기: MIT 공식 강좌 안내. 강좌 범위를 확인해 보충 자료로 연결하며, 아래의 작은 예제와 논증은 직접 구성했습니다.