Skip to main content
Mathematics LibreTexts

1.5: Summation Notation and Generalizations

  • Page ID
    80499
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)

    Sums

    Most operations such as addition of numbers are introduced as binary operations. That is, we are taught that two numbers may be added together to give us a single number. Before long, we run into situations where more than two numbers are to be added. For example, if four numbers, \(a_1\text{,}\) \(a_2\text{,}\) \(a_3\text{,}\) and \(a_4\) are to be added, their sum may be written down in several ways, such as\(\) \(((a_1+a_2)+a_3)+a_4\) or \(\left(a_1+a_2\right)+\left(a_3+a_4\right)\text{.}\) In the first expression, the first two numbers are added, the result is added to the third number, and that result is added to the fourth number. In the second expression the first two numbers and the last two numbers are added and the results of these additions are added. Of course, we know that the final results will be the same. This is due to the fact that addition of numbers is an associative operation. For such operations, there is no need to describe how more than two objects will be operated on. A sum of numbers such as \(a_1+a_2+a_3+a_4\) is called a series and is often written \(\sum_{k=1}^4 a_k\) in what is called summation notation.

    We first recall some basic facts about series that you probably have seen before. A more formal treatment of sequences and series is covered in Chapter 8. The purpose here is to give the reader a working knowledge of summation notation and to carry this notation through to intersection and union of sets and other mathematical operations.

    A finite series is an expression such as \(a_1+a_2+a_3 +\dots +a_n=\sum_{k=1}^{n} a_k\)

    In the expression \(\sum_{k=1}^{n} a_k\text{:}\)

    • The variable \(k\) is referred to as the index, or the index of summation.
    • The expression \(a_k\) is the general term of the series. It defines the numbers that are being added together in the series.
    • The value of \(k\) below the summation symbol is the initial index and the value above the summation symbol is the terminal index.
    • It is understood that the series is a sum of the general terms where the index start with the initial index and increases by one up to and including the terminal index.

    Example \(\PageIndex{1}\): Some Finite Series

    1. \(\displaystyle \sum_{i=1}^4 a_i= a_1+ a_2+a_3+a_4\)
    2. \(\displaystyle \sum_{k=0}^5 b_k=b_0+b_1+b_2+b_3+b_4+b_5\)
    3. \(\displaystyle \sum_{i=-2}^2 c_i=c_{-2}+c_{-1}+c_0+c_1+c_2\)

    Example \(\PageIndex{2}\): More Finite Series

    If the general terms in a series are more specific, the sum can often be simplified. For example,

    1. \(\displaystyle \sum_{i=1}^4 i^2=1^2+2^2+3^2+4^2=30\)
    2. \( \begin{aligned} \sum_{i=1}^5 (2i-1)&=(2\cdot 1-1)+(2\cdot 2-1)+(2\cdot 3-1)+(2\cdot 4-1)+(2\cdot 5-1)\\ & =1+3+5+7+9\\ & =25\\ \end{aligned}\text{.} \)

    Generalizations

    Summation notation can be generalized to many mathematical operations, for example, \(A_1\cap A_2\cap A_3\cap A_4=\underset{i=1}{\overset{4}{\cap }}A_i\)

    Definition \(\PageIndex{1}\): Generalized Set Operations

    Let \(A_1, A_2, \ldots , A_n\) be sets. Then:

    1. \(\displaystyle A_1\cap A_2\cap \cdots \cap A_n=\underset{i=1}{\overset{n}{\cap }}A_i\)
    2. \(\displaystyle A_1\cup A_2\cup \cdots \cup A_n=\underset{i=1}{\overset{n}{\cup }}A_i\)
    3. \(\displaystyle A_1\times A_2\times \cdots \times A_n=\underset{i=1}{\overset{n}{\times }}A_i\)
    4. \(\displaystyle A_1\oplus A_2\oplus \cdots \oplus A_n=\underset{i=1}{\overset{n}{\oplus }}A_i\)

    Example \(\PageIndex{3}\): Some Generalized Options

    If \(A_1 = \{0, 2, 3\}\text{,}\) \(A_2 = \{1, 2, 3, 6\}\text{,}\) and \(A_3 = \{-1, 0, 3, 9\}\text{,}\) then

    \begin{equation*} \underset{i=1}{\overset{3}{\cap }}A_i=A_1\cap A_2\cap A_3=\{3\} \end{equation*}

    and

    \begin{equation*} \underset{i=1}{\overset{3}{\cup }}A_i=A_1\cup A_2\cup A_3=\{-1,0,1,2,3,6,9\}\text{.} \end{equation*}

    With this notation it is quite easy to write lengthy expressions in a fairly compact form. For example, the statement

    \begin{equation*} A\cap \left(B_1\cup B_2\cup \cdots \cup B_n\right)= \left(A\cap B_1\right)\cup \left(A\cap B_2\right)\cup \cdots \cup \left(A\cap B_n\right) \end{equation*}

    becomes

    \begin{equation*} A \cap \left(\underset{i=1}{\overset{n}{\cup }}B_i\right)= \underset{i=1}{\overset{n}{\cup }}\left(A\cap B_i\right)\text{.} \end{equation*}

    Exercises

    Exercise \(\PageIndex{1}\)

    Calculate the following series:

    1. \(\displaystyle \sum_{i=1}^3 (2 + 3i)\)
    2. \(\displaystyle \sum_{i=-2}^1 i^2\)
    3. \(\sum_{j=0}^n 2^j\text{ }\) for \(n= 1, 2, 3, 4\)
    4. \(\sum_{k=1}^n (2k-1)\) for \(n = 1, 2, 3, 4\)
    Answer
    1. \(\displaystyle 24\)
    2. \(\displaystyle 6\)
    3. \(\displaystyle 3,7,15,31\)
    4. \(\displaystyle 1,4,9,16\)

    Exercise \(\PageIndex{2}\)

    Calculate the following series:

    1. \(\sum_{k=1}^3 k^n\) for \(n = 1, 2, 3, 4\)
    2. \(\displaystyle \sum_{i=1}^5 20\)
    3. \(\sum_{j=0}^3 \left(n^j+1\right)\) for \(n = 1, 2, 3,4\)
    4. \(\sum_{k=-n}^n k\) for \(n = 1, 2, 3, 4\)

    Exercise \(\PageIndex{3}\)

    1. Express the formula \(\sum_{i=1}^n \frac{1}{i(i+1)}= \frac{n}{n+1}\) without using summation notation.
    2. Verify this formula for \(n=3\text{.}\)
    3. Repeat parts (a) and (b) for \(\sum_{i=1}^n i^3=\frac{n^2(n+1)^2}{4}\)
    Answer
    1. \(\displaystyle \frac{1}{1 (1+1)}+\frac{1}{2 (2+1)}+\frac{1}{3 (3+1)}+\cdots +\frac{1}{n(n+1)}=\frac{n}{n+1}\)
    2. \(\displaystyle \frac{1}{1(2)}+\frac{1}{2(3)}+\frac{1}{3(4)}=\frac{1}{2}+\frac{1}{6}+\frac{1}{12}=\frac{3}{4}=\frac{3}{3+1}\)
    3. \(1+2^3+3^3+\cdots +n^3=\left(\frac{1}{4}\right)n^2(n+1)^2\) \(\quad 1+8+27=36 = \left(\frac{1}{4}\right)(3)^2(3+1)^2\)

    Exercise \(\PageIndex{4}\)

    Verify the following properties for \(n = 3\text{.}\)

    1. \(\displaystyle \sum_{i=1}^n \left(a_i+ b_i\right) =\sum_{i=1}^n a_i +\sum_{i=1}^n b_i\)
    2. \(\displaystyle c\left(\sum_{i=1}^n a_i\right) = \sum_{i=1}^n c a_i\)

    Exercise \(\PageIndex{5}\)

    Rewrite the following without summation sign for \(n = 3\text{.}\) It is not necessary that you understand or expand the notation \(\left( \begin{array}{c} n \\ k \\ \end{array} \right)\) at this point. \((x + y)^n= \sum_{k=0}^n \left( \begin{array}{c} n \\ k \\ \end{array} \right)x^{n-k}y^k\text{.}\)

    Answer

    \((x+y)^3=\left(\text{}_0^3\right)x^3+\left(\text{}_1^3\right)x^{2}y+\left.(_2^3\right)x y^2+\left(\text{}_3^3\right)y^n\)

    Exercise \(\PageIndex{6}\)

    1. Draw the Venn diagram for \(\underset{i=1}{\overset{3}{\cap }}A_i\text{.}\)
    2. Express in “expanded format”: \(A\cup (\underset{i=1}{\overset{n}{\cap }}B_i)= \underset{i=1}{\overset{n}{\cap }}(A \cup B_n)\text{.}\)

    Exercise \(\PageIndex{7}\)

    For any positive integer \(k\text{,}\) let \(A_k = \{x \in \mathbb{Q}:k-1 < x \leq k\}\) and \(B_k = \{x \in \mathbb{Q}: -k < x < k\}\text{.}\) What are the following sets?

    1. \(\displaystyle \underset{i=1}{\overset{5}{\cup }}A_i\)
    2. \(\displaystyle \underset{i=1}{\overset{5}{\cup }}B_i\)
    3. \(\displaystyle \underset{i=1}{\overset{5}{\cap }}A_i\)
    4. \(\displaystyle \underset{i=1}{\overset{5}{\cap }}B_i\)
    Answer
    1. \(\displaystyle \{x\in \mathbb{Q}\mid 0 < x \leq 5\}\)
    2. \(\displaystyle \{x\in \mathbb{Q}\mid -5 < x < 5\}=B_5\)
    3. \(\displaystyle \emptyset\)
    4. \(\displaystyle \{x\in \mathbb{Q}\mid -1 < x < 1\}=B_1\)

    Exercise \(\PageIndex{8}\)

    For any positive integer \(k\text{,}\) let \(A_k = \{x \in \mathbb{Q}:\text0 < x < 1/k\}\) and \(B _k = \{x \in \mathbb{Q}:\,0 < x < k\}\text{.}\) What are the following sets?

    1. \(\displaystyle \underset{i=1}{\overset{\infty }{\cup }}A_i\)
    2. \(\displaystyle \underset{i=1}{\overset{\infty }{\cup }}B_i\)
    3. \(\displaystyle \underset{i=1}{\overset{\infty }{\cap }}A_i\)
    4. \(\displaystyle \underset{i=1}{\overset{\infty }{\cap }}B_i\)

    Exercise \(\PageIndex{9}\)

    The symbol \(\Pi\) is used for the product of numbers in the same way that \(\Sigma\) is used for sums. For example, \(\prod _{i=1}^5 x_i=x_1 x_2 x_3 x_4 x_5\text{.}\) Evaluate the following:

    1. \(\displaystyle \prod _{i=1}^3 i^2\)
    2. \(\displaystyle \prod _{i=1}^3 (2i+1)\)
    Answer
    1. \(\displaystyle 36\)
    2. \(\displaystyle 105\)

    Exercise \(\PageIndex{10}\)

    Evaluate

    1. \(\displaystyle \prod _{k=0}^3 2^k\)
    2. \(\displaystyle \prod _{k=1}^{100} \frac{k}{k+1}\)

    This page titled 1.5: Summation Notation and Generalizations is shared under a CC BY-NC-SA 3.0 license and was authored, remixed, and/or curated by Al Doerr & Ken Levasseur via source content that was edited to the style and standards of the LibreTexts platform.