20.3: Multiplication Rule
- Page ID
- 83507
\( \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}\)What is \(\vert A \times B \vert\) for \(A = \{ 0, 1, 2, 3 \}\) and \(B = \{ -1, 0, 1 \}\text{?}\)
Solution
We can solve this by just writing out the elements of \(A \times B\) and counting them.
\begin{align*} A \times B & = \{ (0,-1), (0,0), (0,1), (1,-1), (1,0), (1,1),\\ & \quad (2,-1), (2,0), (2,1), (3,-1), (3,0), (3,1) \} \end{align*}
So \(\vert A \times B \vert = 12\text{.}\)
What is \(\vert C \times D \vert\) for \(C = \{ a,b,c,\ldots,z \}\) and \(D = \{0,1,2,\cdots,99 \}\text{?}\)
Solution
Writing out all the elements of \(C \times D\) and then counting them all seems like a lot of work. Instead, using our experience from Worked Example \(\PageIndex{1}\), notice that we usually perform the task of writing the elements of a Cartesian product in a pattern to make sure we get them all. One-by-one we pick a single element of the first set \(C\text{,}\) and pair it up with every element of the second set \(D\text{.}\) From this pattern we see that for each \(c \in C\text{,}\) there are \(\vert D \vert\) elements of \(C \times D\) with \(c\) as the first coordinate, and there are \(\vert C \vert\) such groupings of elements from \(C \times D\text{.}\) So we arrive at
\begin{equation*} \vert C \times D \vert = \vert C \vert \cdot \vert D \vert = 26 \cdot 100 = 2600 \text{.} \end{equation*}
For sets \(X\) and \(Y\text{,}\) define an equivalence relation on \(X \times Y\) whose equivalence classes partition \(X \times Y\) in the manner described in the provided solution to Worked Example \(\PageIndex{2}\). Then describe how the number of classes and the number of objects in each class correspond to \(\vert X \vert\) and \(\vert Y \vert\text{.}\)
If there are \(m\) ways to perform task \(S\) and \(n\) ways to perform task \(T\text{,}\) then there are \(m n\) ways to perform task \(S\) followed by task \(T\text{.}\)
Warning \(\PageIndex{1}\)
The Multiplication Rule only applies to consecutive tasks \(S,T\) such that the number of ways of performing task \(T\) is independent of the choice made in performing task \(S\text{.}\)
To create a specific example of an element from \(A \times B\text{,}\) we must first choose an element of \(A\) to be the first coordinate (task \(S\)), then choose an element of \(B\) to be the second coordinate (task \(T\)). There are \(m = \vert A \vert\) ways to perform task \(S\) and \(n = \vert B \vert\) ways to perform task \(T\text{.}\) Therefore, the Multiplication Rule says there are \(m n\) ways to construct an element of \(A \times B\text{,}\) which means \(\vert A\times B \vert = m n\text{.}\)
Suppose you are a casting director and need to select both a primary actor and an understudy for the lead role in a play. If \(n\) actors audition for the role, then there are \(n\) different ways to select the primary actor. Once this choice is made, there remain \(n-1\) different ways to the select the understudy. Hence there are \(n (n - 1)\) ways to cast the role.
Now, the actual pool of candidates for understudy will differ based on which actor is offered the lead role. However, no matter who is chosen for the lead, the number of remaining candidates for understudy is the same.
We may extend the Multiplication Rule to any (finite) number of consecutive tasks.
If \(A_1,A_2,\ldots,A_m\) are finite sets with \(\vert A_j \vert= m_j\text{,}\) then
\begin{equation*} \vert A_1 \times A_2 \times \cdots \times A_\ell \vert = m_1 m_2 \cdots m_\ell \text{.} \end{equation*}
Recall that, given alphabet \(\Sigma\) and number \(n \in \mathbb{N} \text{,}\) \(\Sigma^\ast_n\) is the set of words of length \(n\text{.}\) If \(\vert \Sigma \vert= m\text{,}\) what is \(\vert \Sigma^\ast_n \vert\text{?}\)
Solution
To construct a specific example word \(w \in \Sigma^\ast_n\text{,}\) there are:
- \(m\) ways to choose the first letter,
- \(m\) ways to choose the second letter,
- …,
- \(m\) ways to choose the \(n^{th}\) letter.
So there are
\begin{equation*} \underbrace{m \cdot m \cdot m \cdot \cdots \cdot m}_{n \text{ factors}} = m^n \end{equation*}
ways to construct \(w\text{.}\) We conclude \(\vert \Sigma^\ast_n \vert = m^n\text{.}\)
Suppose \(\vert \Sigma \vert = 5\text{.}\) How many words in \(\vert \Sigma^\ast_5 \vert\) have no repeated letters? (That is, in which no two letters are the same?)
Solution
To construct a specific example word \(w \in \Sigma^\ast_5\) in which no two letters are the same, there are
- \(5\) ways to choose the first letter,
- \(4\) remaining ways to choose the second letter,
- \(3\) remaining ways to choose the third letter,
- \(2\) remaining ways to choose the fourth letter, and
- only \(1\) remaining way to choose the last letter.
So there are
\begin{equation*} 5 \cdot 4 \cdot 3 \cdot 2 \cdot 1 = 120 \end{equation*}
ways to construct \(w\text{.}\)
Similar to Example \(\PageIndex{4}\), while the actual pool of candidates for the next letter at each step will differ based on which letters have been chosen already, the number of remaining letters is always independent of which letters have actually been chosen so far. So the Multiplication Rule can be applied to this problem exactly as we have applied it.
Let \(\Sigma = \{a, b, c, \ldots, y, z \} \text{.}\) How many palindromes \(w\) with \(3 \le \vert w \vert \le 6\) are there in \(\Sigma^\ast\text{?}\)
Solution
Break into cases based on the length of \(w\text{.}\)
Case \(\vert w \vert = 3\).
Once we choose the first letter, the last is chosen for us, but we are still free to choose the middle letter. So there are \(26^2\) palindromes of length \(3\text{.}\)
Case \(\vert w \vert = 4\).
Once we choose the first two letters, the last two are chosen for us. So there are also \(26^2\) palindromes of length \(4\text{.}\)
Case \(\vert w \vert = 5\).
Once we choose the first two letters, the last two are chosen for us, but we are still free to choose the middle letter. So there are \(26^3\) palindromes of length \(5\text{.}\)
Case \(\vert w \vert = 6\).
Once we choose the first three letters, the last three are chosen for us. So there are also \(26^3\) palindromes of length \(6\text{.}\)
Total.
Applying the Addition Rule to these non-overlapping cases, we obtain
\begin{align*} 26^2 + 26^2 + 26^3 + 26^3 & = 26^2(1+1+26+26) \\ & = 54 \cdot 26^2 \\ & = 36,504 \end{align*}
as the number of palindromes length \(3\) to \(6\text{.}\)
Set \(A = \{a,b,c\}\) and \(B = \{0,1,2,3,4\}\text{.}\) How many functions \(A \to B\) exist? How many of these are injections? How many are surjections?
Solution
Number of functions.
A function \(f: A \rightarrow B\) can be constructed in three steps: choose \(f(a)\text{,}\) then choose \(f(b)\text{,}\) then choose \(f(c)\text{.}\) Each of the steps can be carried out in \(\vert B \vert = 5\) ways. So the number of functions is \(5^3 = 125\text{.}\)
Number of injections.
An injection \(f: A \hookrightarrow B\) can be constructed in three steps: choose \(f(a)\text{,}\) then choose \(f(b)\) to be different from \(f(a)\text{,}\) then choose \(f(c)\) to be different from both \(f(a)\) and \(f(b)\text{.}\) First step has \(\vert B \vert = 5\) choices. Second step has \(\vert B \setminus \{f(a)\} \vert = 4\) choices. Third step has \(\vert B \setminus \{f(a),f(b)\} \vert = 3\) choices. So the number of injections is \(5 \cdot 4 \cdot 3 = 60\text{.}\)
- A look ahead.
-
Notice that the number of injections has turned out to be
\begin{equation*} \dfrac{\vert B \vert!}{(\vert B \vert - \vert A \vert)!} \text{.} \end{equation*}
We will understand better how this formula arises in Section 21.4.
Number of surjections.
Suppose \(f: A \rightarrow B\text{.}\) Since \(\vert A \vert = 3\text{,}\) the largest that \(\vert f(A)\vert\) can be is \(3\text{,}\) which occurs when \(f\) is injective. However, even in such a largest case it is still smaller then \(\vert B \vert\text{,}\) so no surjections exist. That is, the number of surjections is \(0\text{.}\)