수열·부분합과 급수

항과 누적 합은 다른 수열이다

수열은 정수 번호마다 값을 정합니다. 급수는 그 항을 더한 부분합의 극한을 묻습니다. 항이 작아진다고 누적 합이 유한 값으로 가는 것은 아닙니다.

uₙ=arⁿ,n≥0에서 S₀=0, S_N을 처음 N항의 합으로 둡니다. 마지막 포함 항은 u_(N−1)입니다. u_N까지 더하면 한 항이 더 들어갑니다.

유한 기하합 유도

S_N=a+ar+…+ar^(N−1)에 r을 곱해 빼면

입니다. r=1이면 aN을 따로 계산하고 0/0을 쓰지 않습니다. N=0은 빈 합 0입니다. 실험은 r≈1에서 가까운 수를 빼는 영향을 줄이려고 항을 직접 누적합니다.

a=1,r=1/2,N=10이면 1.998046875로 2에 가깝지만 같지는 않습니다.

조건 아래 무한 극한으로

a≠0인 기하급수는 정확히 |r|<1에서 수렴합니다. rᴺ→0이므로

입니다. N항 뒤 꼬리는 arᴺ/(1−r)이며 절댓값으로 근사 오차를 정합니다. 기준 꼬리는 1/512입니다. 곡선이 평평해 보이는 것보다 강한 정량 근거입니다.

a=0이면 모든 유한 r에서 영급수입니다. |r|≥1도 포함하므로 0이 아닌 첫 항 조건을 숨기지 마세요.

진동과 발산

a=1,r=−1의 부분합은 0,1을 반복하여 보통 극한이 없습니다. 유계여도 수렴하지 않습니다. 다른 합 규약을 쓰는 이론이 있지만 실험은 일반 부분합 극한이며 규약을 몰래 바꾸지 않습니다.

r=1.1,a=1이면 양의 항과 부분합이 커집니다. 유한 접두부는 계산할 수 있어도 무한 합은 없습니다. 30항 계산의 성공이 무한 합의 존재를 뜻하지 않습니다.

필요조건과 충분조건

S_N이 수렴하면 u_N=S_(N+1)−S_N→0입니다. 역은 거짓입니다. 조화급수의 1/n은 0으로 가지만 합은 발산합니다. n=2^(k−1)+1부터 2^k까지는 2^(k−1)개 항이 각각 1/2^k 이상이라 블록마다 합이 적어도 1/2입니다. 블록을 임의로 많이 더할 수 있어 유한 총합은 없습니다.

유한 그림의 추측이 아니라 모든 블록에 관한 일반 논증입니다. 앞의 함의·증명과 수렴 조건이 연결됩니다.

실험의 범위

파랑은 k=0부터 N의 부분합, 주황은 존재하는 경우의 이론적 무한 합입니다. N=0에서는 빈 합 점 하나만 있고 항을 만들어 넣지 않습니다. 실험은 기하급수이며 조화급수 반례는 본문에서 따로 논증합니다.

N은 검사 범위만 바꾸고 공비·첫 항·극한 존재는 바꾸지 않습니다. 정확한 공식과 유한 정밀도도 다릅니다. 큰 항이나 상쇄가 있으면 항등식이 맞아도 수치 오차가 생깁니다.

AI와 수치 연결

절단 전개·할인 수익·반복 근사에는 꼬리나 수렴 논증이 필요합니다. 보상이 유계이고 할인 계수 절댓값이 1보다 작으면 기하급수의 절댓값 상한을 쓸 수 있습니다. 다른 경우에는 추가 가정이 필요합니다.

학습 손실이 몇 번 줄었다고 반복값이 수렴하지는 않습니다. 스칼라 값의 수렴도 원하는 모형의 수렴과 다릅니다. 어떤 수열이 어떤 의미로 수렴하는지 먼저 적으세요.

연습과 근거

1. a=2,r=1/2의 처음 세 항과 합은? 답: 2,1,1/2와 3.5입니다.
2. 무한 합과 세 항 뒤 꼬리는? 답: 4와 0.5입니다.
3. r=−1로 유계 부분합과 수렴의 차이를 설명하세요.
4. 조화급수의 블록 논증에서 ‘임의로 많은 블록’의 역할을 쓰세요.

배경은 OpenStax Algebra and Trigonometry 2e를 참고하세요. 보통 의미의 수렴 정의로 계산합니다.