また、有限集合 R の濃度を n とすると、R は有限の順序数 n で添え字付けられるので、R の全ての元に適当に番号を振って x1, x2, …, xnとすれば、集合 R の元の総和を定義できる。これを ∑ R = ∑ x ∈ R x = ∑ i = 1 n x i {\displaystyle \sum R=\sum _{x\in R}x=\sum _{i=1}^{n}x_{i}}
などと記す。もちろん R が空集合であっても構わない。特に、和の定義された集合 M に和に関する単位元(零元)0M が存在するとき、あるいは基点が定められているとき、便宜的に空集合を添え字集合 I とする列(つまりは空な列)の総和は零元あるいは基点とする。すなわち、 ∑ ∅ = 0 M . {\displaystyle \sum \emptyset =0_{M}.} 「空和」も参照
級数詳細は「級数」および「総和法」を参照
有限和の場合を拡張して、可算無限個の元の列 x1,x2, … に対しても総和を定義することができる。これを特に無限和 (infinite sum)、無限級数 (infinite series) あるいは単に級数(きゅうすう、series)と呼ぶ。
総和と同様に、部分和をとる操作を行う。しかし、この操作は、元が有限個である場合と違って有限回で終了しない。ここで、部分和 si の極限を級数の値とする(ただし、チェザロ和などのように値の算出法が異なる総和法も存在する)。部分和の列 si が収束または発散することを以って、級数は収束 (converge) あるいは発散 (diverge) するという。与えられた列から作られる級数が収束するとき、その級数の値をもとの列の和と呼ぶ。
可算列 {xi}i∈N の級数を記号で ∑ i = 1 ∞ x i {\displaystyle \sum _{i=1}^{\infty }x_{i}}
と表す。このようにして、可算無限集合の全ての元に対しても、先程と同様に級数として総和を定義することができる。なお上の級数は、 ∑ i = 1 ∞ x i = ∑ i ∈ N x i {\displaystyle \sum _{i=1}^{\infty }x_{i}=\sum _{i\in \mathbb {N} }x_{i}}
とも書かれる。
なお一般に(可算とは限らない)無限集合で添え字付けられるような元の族 (xλ)λ∈Λ の総和も形式的には ∑ λ ∈ Λ x λ {\displaystyle \sum _{\lambda \in \Lambda }x_{\lambda }}
として表すことができるが、この場合きちんと収束性について調べなければ、これが定義されているのかすら分からない。 無限数列の級数 ∑ i = 1 ∞ x i {\displaystyle \sum _{i=1}^{\infty }x_{i}} に対して、 ∑ i = 1 ∞ 。 x i 。 {\displaystyle \sum _{i=1}^{\infty }\left|x_{i}\right|} が収束する場合、この級数は絶対収束する (converge absolutely) という。絶対収束していれば、級数は収束する。 絶対収束していないが収束する場合、この級数は条件収束する (converge conditionally) という。 注意すべきこととして、有限和に対しては和の順序を変えても結果は変わらないのに対して、無限和の場合には順序を変えると結果が変わってしまうことがあり得る。正確に述べると φ を自然数の集合 N 上の置換とするとき、 ∑ i = 1 ∞ x ϕ ( i ) ≠ ∑ i = 1 ∞ x i {\displaystyle \sum _{i=1}^{\infty }x_{\phi (i)}\neq \sum _{i=1}^{\infty }x_{i}} となることが起こり得る。 ただし、級数が絶対収束しているならば(有限和の場合と同じく)和の順序を変えても結果は変わらないので、収束性を調べる場合に絶対収束はとても重要な性質の一つになる。
絶対収束・条件収束
公式
∑ i = 1 n 0 = 0 {\displaystyle \textstyle \sum \limits _{i=1}^{n}0=0}
∑ i = 1 n 1 = n {\displaystyle \textstyle \sum \limits _{i=1}^{n}1=n}
∑ i = 1 n C = n C {\displaystyle \textstyle \sum \limits _{i=1}^{n}C=nC}
∑ i = 1 n i = 1 2 n ( n + 1 ) {\displaystyle \textstyle \sum \limits _{i=1}^{n}i={\dfrac {1}{2}}{n(n+1)}}
∑ i = 1 n i 2 = 1 6 n ( n + 1 ) ( 2 n + 1 ) {\displaystyle \textstyle \sum \limits _{i=1}^{n}i^{2}={\dfrac {1}{6}}{n(n+1)(2n+1)}}
∑ i = 1 n i 3 = { 1 2 n ( n + 1 ) } 2 {\displaystyle \textstyle \sum \limits _{i=1}^{n}i^{3}=\left\{{\dfrac {1}{2}}n(n+1)\right\}^{2}}
∑ i = 1 n i 4 = 1 30 n ( n + 1 ) ( 2 n + 1 ) ( 3 n 2 + 3 n − 1 ) {\displaystyle \textstyle \sum \limits _{i=1}^{n}i^{4}={\dfrac {1}{30}}n(n+1)(2n+1)(3n^{2}+3n-1)}
∑ i = 1 n i 5 = 1 12 n 2 ( n + 1 ) 2 ( 2 n 2 + 2 n − 1 ) {\displaystyle \textstyle \sum \limits _{i=1}^{n}i^{5}={\dfrac {1}{12}}n^{2}(n+1)^{2}(2n^{2}+2n-1)}
∑ i = 1 n i ( i + 1 ) ( i + 2 ) ⋯ ( i + k ) = n ( n + 1 ) ( n + 2 ) ⋯ ( n + k + 1 ) k + 2 {\displaystyle \textstyle \sum \limits _{i=1}^{n}{i(i+1)(i+2)\cdots (i+k)}={\dfrac {n(n+1)(n+2)\cdots (n+k+1)}{k+2}}}
∑ i = 0 n i m = ( n + 1 ) m + 1 m + 1 + ∑ k = 1 m B k m − k + 1 ( m k ) ( n + 1 ) m − k + 1 {\displaystyle \textstyle \sum \limits _{i=0}^{n}i^{m}={\dfrac {(n+1)^{m+1}}{m+1}}+\sum \limits _{k=1}^{m}{\dfrac {B_{k}}{m-k+1}}\displaystyle {m \choose k}(n+1)^{m-k+1}} (Bk はベルヌーイ数)