{{위키데이터 속성 추적}}
{{다른 뜻}}
[[파일:Sigmaschreibweise für Summen.svg|thumb]]
[[수학]]에서 '''유한합'''(有限合, {{llang|en|finite sum}})은 유한 개의 수를 [[덧셈|더한]] 결과를 뜻한다. 유한합의 표기에는 [[그리스 문자]] [[시그마]]의 모양을 딴 기호 <math>\textstyle\sum</math>가 쓰인다.

== 정의 ==
[[유한 수열]] <math>(a_m,a_{m+1},\dots,a_n)</math>의 '''유한합'''
:<math display="block">\sum_{k=m}^na_k=\sum_{m\le k\le n}a_k=a_m+a_{m+1}+\cdots+a_n</math>
은 이 수열의 모든 항을 더한 결과를 뜻하며, 다음과 같이 재귀적으로 정의할 수 있다.
:<math>\sum_{k=m}^{m-1}a_k=0</math>
:<math>\sum_{k=m}^na_k=a_n+\sum_{k=m}^{n-1}a_k\qquad(n\in\{m,m+1,m+2,\dots\})</math>

보다 일반적으로, [[유한 집합]] <math>I</math>로 첨수된 수들의 집합 <math>\{a_i\colon i\in I\}</math>의 '''유한합'''은 이 집합의 모든 원소를 더한 결과를 뜻하며, 다음과 같이 정의된다.
:<math>\sum_{i\in I}a_i=\sum_{k=1}^{|I|}a_{f(k)}</math>
여기서 <math>|I|</math>는 <math>I</math>의 [[집합의 크기|크기]]이며, <math>f\colon\{1,\dots,|I|\}\to I</math>는 임의의 [[전단사 함수]]이다. 위 정의가 유효한 것은 위 합이 전단사 함수 <math>f</math>의 선택과 무관하기 때문이다.

집합 <math>I</math> 및 그 위의 성질 <math>P</math>에 대하여, 원소 <math>i\in I</math>가 성질 <math>P</math>를 만족시킨다는 것을 <math>P(i)</math>로 쓰자. 만약 집합 <math>\{i\in I\colon P(i)\}</math>가 유한 집합일 경우, 유한합
:<math>\sum_{i\in\{j\in I\colon P(j)\}}a_i</math>
는
:<math>\sum_{i\in I\colon P(i)}a_i</math>
와 같이 표기할 수 있다.

== 성질 ==
=== 항등식 ===
합에 대한 성질을 나타내는 다음과 같은 항등식들이 성립한다.
* ([[점화식]]) <math display="block">\sum_{k=1}^na_k=\sum_{k=1}^ma_k+\sum_{k=m+1}^na_k</math>
* (덧셈의 보존) <math display="block">\sum_{k=1}^n(a_k\pm b_k)=\sum_{k=1}^na_k\pm\sum_{k=1}^nb_k</math>
* ([[분배 법칙]]) <math display="block">\sum_{k=1}^nca_k=c\sum_{k=1}^na_k</math>
* ([[선형 변환|선형성]]: 이는 덧셈의 보존 및 분배 법칙의 일반화이다.) <math display="block">\sum_{k=1}^n(ca_k+c'b_k)=c\sum_{k=1}^na_k+c'\sum_{k=1}^nb_k</math>
* ([[푸비니 정리]]) <math display="block">\sum_{i=1}^m\sum_{j=1}^na_{i,j}=\sum_{j=1}^n\sum_{i=1}^ma_{i,j}=\sum_{{1\le i\le m}\atop{1\le j\le n}}a_{i,j}</math>
그러나 합은 곱셈과 나눗셈을 보존하지 않는다.

=== 부등식 ===
[[실수]]들의 유한합을 포함하는 다음과 같은 부등식들이 성립한다.
* ([[코시-슈바르츠 부등식]]) <math display="block">\left(\sum_{k=1}^na_kb_k\right)^2\le\left(\sum_{k=1}^na_k^2\right)\left(\sum_{k=1}^nb_k^2\right)</math>
* ([[횔더 부등식]]: 코시-슈바르츠 부등식은 이 부등식의 특수한 경우이다.) <math display="block">\sum_{k=1}^n|a_kb_k|\le\left(\sum_{k=1}^n|a_k|^p\right)^\frac1p\left(\sum_{k=1}^n|b_k|^q\right)^\frac1q\qquad p,q>1,\;\frac1p+\frac1q=1</math>
* ([[민코프스키 부등식]]) <math display="block">\left(\sum_{k=1}^n|a_k+b_k|^p\right)^\frac1p\le\left(\sum_{k=1}^n|a_k|^p\right)^\frac1p+\left(\sum_{k=1}^n|b_k|^p\right)^\frac1p\qquad p>1</math>
{{증명|부제=코시-슈바르츠 부등식}}
:<math>\begin{align}0
&\le\sum_{i=1}^n\sum_{j=1}^n(a_ib_j-a_jb_i)^2\\
&=\sum_{i=1}^n\sum_{j=1}^n(a_i^2b_j^2-2a_ia_jb_ib_j+a_j^2b_i^2)\\
&=2\sum_{i=1}^n\sum_{j=1}^na_i^2b_j^2-2\sum_{i=1}^n\sum_{j=1}^na_ia_jb_ib_j\\
&=2\left(\sum_{i=1}^na_i^2\right)\left(\sum_{j=1}^nb_j^2\right)-2\left(\sum_{k=1}^na_kb_k\right)^2
\end{align}</math>
{{증명 끝}}
{{증명|부제=횔더 부등식}}
[[영의 부등식]]에 따라 다음과 같이 증명할 수 있다.
:<math>\frac{\displaystyle\sum_{k=1}^n|a_kb_k|}{\displaystyle\left(\sum_{i=1}^n|a_i|^p\right)^\frac1p\left(\sum_{j=1}^n|b_j|^q\right)^\frac1q}=\sum_{k=1}^n\left(\frac{|a_k|^p}{\displaystyle\sum_{i=1}^n|a_i|^p}\right)^\frac1p\left(\frac{|b_k|^q}{\displaystyle\sum_{j=1}^n|b_j|^q}\right)^\frac1q\le\sum_{k=1}^n\left(\frac1p\frac{|a_k|^p}{\displaystyle\sum_{i=1}^n|a_i|^p}+\frac1q\frac{|b_k|^q}{\displaystyle\sum_{j=1}^n|b_j|^q}\right)=\frac1p+\frac1q=1</math>
{{증명 끝}}
{{증명|부제=민코프스키 부등식}}
다음과 같은 <math>q>1</math>를 취하자.
:<math>\frac1p+\frac1q=1</math>
그렇다면, 이 부등식은 횔더 부등식을 사용하여 다음과 같이 증명할 수 있다.
:<math>\begin{align}\sum_{k=1}^n|a_k+b_k|^p
&\le\sum_{k=1}^n|a_k||a_k+b_k|^{p-1}+\sum_{k=1}^n|b_k||a_k+b_k|^{p-1}\\
&\le\left(\sum_{k=1}^n|a_k|^p\right)^\frac1p\left(\sum_{k=1}^n|a_k+b_k|^{q(p-1)}\right)^\frac1q+\left(\sum_{k=1}^n|b_k|^p\right)^\frac1p\left(\sum_{k=1}^n|a_k+b_k|^{q(p-1)}\right)^\frac1q\\
&=\left(\left(\sum_{k=1}^n|a_k|^p\right)^\frac1p+\left(\sum_{k=1}^n|b_k|^p\right)^\frac1p\right)\left(\sum_{k=1}^n|a_k+b_k|^p\right)^\frac1q
\end{align}</math>
{{증명 끝}}

== 예 ==
일부 특수한 합은 더 간단한 꼴의 식으로 나타낼 수 있으며, 그 예는 다음과 같다.

=== 다항식 ===
* ([[상수열]]의 유한합) <math display="block">\sum_{k=1}^nc=cn</math>
* ([[등차수열]]의 유한합: 이를 [[삼각수]]라고 한다.) <math display="block">\sum_{k=1}^nk=\frac{n(n+1)}2=\frac{n^2}2+\frac n2</math>
* (제곱수의 유한합: 이를 [[사각뿔수]]라고 한다.) <math display="block">\sum_{k=1}^nk^2=\frac{n(n+1)(2n+1)}6=\frac{n^3}3+\frac{n^2}2+\frac n6</math>
* (세제곱수의 유한합: 이를 니코마코스 정리({{Llang|en|Nicomachus's theorem}})라고 한다.) <math display="block">\sum_{k=1}^nk^3=\left(\sum_{k=1}^nk\right)^2=\left(\frac{n(n+1)}2\right)^2=\frac{n^4}4+\frac{n^3}2+\frac{n^2}4</math>
* (네제곱수의 유한합) <math display="block">\sum_{k=1}^nk^4=\frac{n(n+1)(2n+1)(3n^2+3n-1)}{30}=\frac{n^5}5+\frac{n^4}2+\frac{n^3}3-\frac n{30}</math>
* (다섯제곱수의 유한합) <math display="block">\sum_{k=1}^nk^5=\frac {n^2(n+1)^2 (2n^2+2n-1)}{12}</math>
* (여섯제곱수의 유한합) <math display="block">\sum_{k=1}^nk^6=\frac{n(n+1)(2n+1)(3n^4+6n^3-3n+1)}{42}</math>
* (일곱제곱수의 유한합) <math display="block">\sum_{k=1}^nk^7=\frac{n^2(n+1)^2(3n^4+6n^3-n^2-4n+2)}{24}</math>
* (임의의 거듭제곱수의 유한합: 이를 파울하버 공식({{Llang|en|Faulhaber's formula}})이라고 한다. 여기서 <math>B_k</math>는 <math>k</math>번째 [[베르누이 수]]이다.) <math display="block">\sum_{k=1}^nk^p=\sum_{k=0}^pB_k\binom pk\frac{(n+1)^{p-k+1}}{p-k+1}</math>
{{증명|부제=세제곱 합}}
항등식
:<math>(k+1)^4-k^4=4k^3+6k^2+4k+1\qquad(k\in\{1,\dots,n\})</math>
을 모두 더해서 정리해주면 위 공식과 같은 결과가 도출된다.
{{증명 끝}}

=== 유리식 ===
* ([[조화수열]]의 유한합: 이를 [[조화수]]라고 한다.) <math display="block">\sum_{k=1}^n\frac1k=\int_0^1\frac{1-x^n}{1-x}dx=H_n</math>

=== 지수 함수 ===
* ([[등비수열]]의 유한합) <math display="block">\sum_{k=0}^na^k=\frac{1-a^{n+1}}{1-a}\qquad a\ne1</math>
* ([[등차-등비 수열]]의 유한합) <math display="block">\sum_{k=1}^nka^k=\frac{a-(n+1)a^{n+1}+na^{n+2}}{(1-a)^2}\qquad a\ne1</math>
* ([[삼각 함수]]의 유한합: 이를 디리클레 핵({{llang|en|Dirichlet kernel}})이라고 한다.) <math display="block">\sum_{k=1}^n\cos k\theta=-\frac12+\frac{\sin\left(n+\dfrac12\right)\theta}{2\sin\dfrac\theta2}\qquad\theta\ne0</math>

=== 이항 계수 ===
* ([[이항 계수]]의 유한합) <math display="block">\sum_{k=0}^n\binom nk=2^n</math><math display="block">\sum_{p=k}^n\binom pk=\binom{n+1}{k+1}</math>
* ([[하강 계승]]의 유한합) <math display="block">\sum_{k=0}^nn^\underline k=\lfloor n!e\rfloor</math>

== 같이 보기 ==
* [[급수 (수학)|급수]]: 무한합

{{전거 통제}}

[[분류:산술]]
[[분류:수학 표기법]]
[[분류:덧셈]]