In this part, we discuss wider topics on probability and probability distributions. Probability theory is a branch of mathematics that deals with the analysis of random phenomena. The fundamental concept of the theory is the probability measure, a way of assigning a number to each plausible outcome of an event in such a way that the number reflects the event's likelihood of occurring. This mathematical framework allows for the study and modeling of uncertainty and complexity in various fields, ranging from physics and biology to economics and psychology. By providing the tools to make quantitative predictions about the likelihood of certain outcomes, probability theory forms the basis for statistical inference, enabling scientists and statisticians to infer properties about a population given a sample. The origins of probability theory can be traced back to the analysis of games of chance and has since evolved into a vital component of both theoretical and applied mathematics.
Counting Principal
The very first section in this chapter focuses on the basics of counting, which is the foundation of the whole probability theory. In the study of probability, we aim to measure random events, and to do this, we must know their frequency, or rather, how many possible outcomes each event has. Counting method allows us to get the possible number of outcomes in a systematic way.
Principal of Counting
We may start with the most basic counting. Considering tossing a coin, and we make the assumption that this coin is unbiased, meaning that the chance of getting a chance or tail must be exactly . In this case, the total possible number of outcome is 2. This conclusion is obviously true and can be obtained by intuition, because we cannot find a third case that the result is neither a head nor a tail, as the event is binary.
Now let's increase the number of trials, how many outcomes can we have when tossing a coin twice? If we use T to denote that the result is a head and F for the tail, like what we have done in Boolean Algebra, we have 4 ways to arrange the possibilities:
Thus we conclude that we have 4 possible outcomes.
This example lead us to a fundamental theorem in counting.
Suppose that two experiments are to be performed. Then if experiment1 can result in any one of possible outcomes and if, for each outcome of experiment 1, there are possible outcomes of experiment 2, then together there are possible outcomes of the two experiments.
Partition complete outcomes by their first result. There are disjoint groups, each containing exactly outcomes, so finite addition gives . The second-stage outcomes need not have the same labels in each group; only their counts must agree. No probabilistic independence assumption is required for this counting statement.
A small community consists of 10 women, each of whom has 3 children. If one woman and one of her children are to be chosen as mother and child of the year, how many choices are possible?
By the product rule of counting, there are outcomes for choosing the woman and outcomes for choosing one of her children. Hence there are choices.
But mathematicians hate listing possible cases. Is there a way to describe the relation between the trial of events and number of possible outcomes? Think about the way we treat Boolean variables in the truth table, to get the possible outcomes, we arrange them in all possible ways to get a complete truth table. Just like what we do here, we are making trials twice here for tossing coins, each trial has 2 outcomes, and when we make a truth table, we are generating combinations of Boolean value, and we know that Boolean variable has ways of arrangement. So we can say that tossing a coin here could be fitted into this relation when , and they are actually equivalent in terms of counting the number of outcomes. With this, we can deduce that if we toss the coin for times, we also have outcomes.
This allows us to generalize theorem Principal of Counting.
If experiments that are to be performed are such that the first one may result in any of possible outcomes; and if, for each of these possible outcomes, there are possible outcomes of the second experiment; and if, for each of the possible outcomes of the first two experiments, there are possible outcomes of the third experiment; and if ..., then there is a total of possible outcomes of the experiments.
Induct on the number of stages . For the count is . If the first stages have complete prefixes and each prefix has continuations, the two-stage product rule gives . This proves every finite number of stages. The empty sequence has one realization, matching the empty product.
This theorem also what we call product rule of counting, which also applicable to probability, which we will discuss in the next section.
Now we introduce another parallel theorem known as addition rule of counting. This is even easier to understand, suppose
Suppose that an experiment can be performed in one of ways or in one of ways. Where none of the ways are the same as the ways, then there are ways to perform it.
This theorem could be proven directly by using set.
Let and be finite sets such that . By the definition of disjoint sets, no element is in both and .
Let be an element in and be an element in , for and . The set contains exactly elements and contains exactly elements.
The union is a set containing all the elements and without any repetition, since and are disjoint.
Therefore, the set has elements, which proves the theorem.
A student can choose a computer project from one of three lists. The three lists contain 23, 15, and 19 possible projects, respectively. No project is on more than one list. How many possible projects are there to choose from?
By addition rule, the student can choose a project by selecting a project from the first list, the second list, or the third list. Because no project is on more than one list, by the sum rule there are ways to choose a project.
How many different license plates can be made if each plate contains a sequence of three uppercase English letters followed by three digits (and no sequences of letters are prohibited, even if they are obscene)?
To determine the number of different license plates possible, we use the rule of product, also known as the counting principle.
Each of the three positions for the letters can be filled with any of the 26 letters of the English alphabet. Similarly, each of the three positions for the digits can be filled with any of the 10 digits from 0 to 9.
Therefore, the total number of possible license plates is given by:
Calculating the powers, we get:
Multiplying these together, we find the total number of different license plates that can be made:
Hence, there are 17,576,000 different possible license plates.
To correctly count the number of ways to do the two tasks, we must subtract the number of ways that are counted twice. This leads us to an important counting rule. Actually, we have already covered this conclusion in set theory.
The Subtraction Rule in set theory is a straightforward concept used when we need to find the number of elements in a set by excluding those that meet certain criteria. It states that if we have a universal set and a subset that we wish to exclude, then the number of elements not in is , where denotes the cardinality of set .
The Principle of Inclusion-Exclusion extends the Subtraction Rule for multiple sets. It corrects the overcounting that occurs when we subtract the cardinalities of overlapping sets from the universal set. For two sets and , it is given by .
If a task can be done in either ways or ways, then the number of ways to do the task is minus the number of ways to do the task that are common to the two different ways.
Decompose the union into the disjoint sets , , and . In the middle set is counted twice and the other two once. Subtracting leaves each element counted exactly once.
Here are two examples demonstrating these rules.
Suppose a library has 1,000 books, 300 of which are fiction. If we want to know how many books are non-fiction, we can use the Subtraction Rule:
The proposed data “200 people, 120 liking tea, 150 liking coffee, 50 liking both” are inconsistent: inclusion-exclusion gives . The overlap must be at least . If it is , the union is , leaving who like neither.
We also have division rule of counting, which could be further explained by equivalence class.
The rule of division states that there are ways to do a task if it can be done using a procedure that can be carried out in ways, and for each way , exactly of the ways correspond to the way . In a nutshell, the division rule is a common way to ignore "unimportant" differences when counting things.
The procedure outcomes are partitioned by their final result. If there are results and each fiber contains exactly outcomes, disjoint addition gives , hence . Unequal fiber sizes do not permit this division.
This theorem could be further explained by congruence class.
If an -element set is partitioned into classes of size , then counts the classes, not arbitrary subsets of the original set. Counting unions of classes would instead give .
If the total degree of a graph is 58, how many edges does it have?
hen we count the degrees, we count each edge twice, so there are 58/2 = 29 edges.
Pigeonhole Theorem
We also have another useful conclusion on counting called pigeonhole theorem. Suppose we have 8 pigeons and 7 pigeonholes, then there must be one pigeonhole that holds 2 pigeons.
If is a positive integer and or more objects are placed into boxes, then there is at least one box containing two or more of the objects.
We prove the pigeonhole principle using a proof by contraposition. Suppose that none of the boxes contains more than one object. Then the total number of objects would be at most This is a contradiction, because there are at least objects.
This theorem could also be generalized.
If objects are placed into boxes, then there is at least one box containing at least objects.
We will prove the statement by contraposition. Let us assume that no box contains or more objects. This means each box has at most objects. And the number of objects being placed cannot be , so we have the number of object less than (this is obvious because it can't be greater than ).
The total number of objects, under this assumption, can be represented by multiplying the number of boxes by the maximum number of objects each box could contain:
Using the property that for any real number , we substitute for to obtain:
We get this result in integer function, just in case that you don't remember...
Applying this to our previous equation:
This shows that the total number of objects is less than under our initial assumption, which is a contradiction since we started with objects.
Thus, the contrapositive has been proven true: if all boxes have fewer than objects, then we do not have objects. Therefore, by contraposition, the original statement is also true: if objects are placed into boxes, there must be at least one box with or more objects.
-
Among any group of 367 people, there must be at least two with the same birthday, because there are only 366 possible birthdays.
-
In any group of 27 English words, there must be at least two that begin with the same letter, because there are 26 letters in the English alphabet.
What is the minimum number of students required in a discrete mathematics class to be sure that at least six will receive the same grade, if there are five possible grades, A, B, C, D, and F?
The minimum number of students needed to ensure that at least six students receive the same grade can be found using the Pigeonhole Principle. According to this principle, if objects (in this case, students) are distributed among categories (in this case, grades), and if where is the minimum number of objects that we want in at least one category, then at least one category must contain at least objects.
Here, we want students to have the same grade and we have grades. We can apply the formula to find the minimum :
The smallest integer greater than 25 is 26, so at least 26 students are needed to guarantee that at least six will receive the same grade. If we had only 25 students, it could happen that each of the five grades is assigned to exactly five students, which means no grade would have six students. Therefore, 26 is the minimum number of students required to ensure that at least six students will receive the same grade.
Exercises
Prove the Generalized Principal of Counting.
We proceed by mathematical induction on , the number of experiments.
Base Case: For , the theorem trivially holds since there are possible outcomes for the single experiment.
Inductive Step: Assume that the theorem holds for , that is, there are outcomes for experiments. Now consider experiments. For the first experiments, by the inductive hypothesis, we have outcomes. For each of these outcomes, the experiment can have outcomes. Therefore, the total number of outcomes for experiments is:
This completes the inductive step and thus the proof.
How many functions are there from a set with elements to a set with elements?
A function corresponds to a choice of one of the elements in the codomain for each of the elements in the domain. Hence, by the product rule there are functions from a set with elements to one with elements.
How many one-to-one functions are there from a set with elements to one with elements?
First note that when there are no one-to-one functions from a set with elements to a set with elements.
Now let Suppose the elements in the domain are .There are ways to choose the value of the function at Because the function is one-to-one, the value of the function at can be picked in ways (because the value used for cannot be used again). In general, the value of the function at can be chosen in ways. By the product rule, there are one-to-one functions from a set with elements to one with elements.
Prove that if are finite sets, then the number of elements in the Cartesian product of these sets is the product of the number of elements in each set.
Consider the finite sets with respective cardinalities . The Cartesian product is defined as the set of all ordered -tuples where for each .
To construct an element of the Cartesian product, we must choose an element from each set . The number of ways to choose an element from is , from is , and so on, until which is .
By the product rule of counting, the total number of ways to make these choices is the product of the number of choices for each set, which gives us:
This product counts the number of distinct ordered -tuples that can be formed, which is exactly the number of elements in the Cartesian product . Hence, the proof is complete.
Let and be finite sets. , , prove that there is no one-to-one function defined in the mapping .
By pigeonhole theorem, we have pigeons but only pigeonholes, so one pigeonhole must have pigeonholes. This means that there is always one element from the codomain are mapped from the same element in the domain. Hence, the statement is proven.
How many cards must be selected from a standard deck of 52 cards to guarantee that:
-
At least three cards of the same suit are selected?
-
At least three hearts are selected?
a) Suppose there are four boxes, one for each suit, and as cards are selected they are placed in the box reserved for cards of that suit. By the generalized pigeonhole principle, we see that if cards are selected, there is at least one box containing at least cards. To ensure that at least three cards of one suit are selected, we need . The smallest integer satisfying this condition is , since selecting 8 cards could result in two cards of each suit, but the ninth card guarantees three of one suit.
b) Without the pigeonhole principle, we consider the worst-case scenario where the selected cards are all from the clubs, diamonds, and spades suits. There are 13 cards in each suit, so after selecting all 39 of these, the next three cards must be hearts. Therefore, we may need to select up to 42 cards to guarantee three hearts.
Let .
-
How many possible relations are there on ?
-
How many of these are reflexive?
-
How many of these are reflexive and symmetric?
-
How many of these are equivalence relations?
-
What would the answers to (a), (b) and (c) be if instead of ?
For (a), the number of possible relations on a set is equal to the number of subsets of the power set , which is , since there are 16 possible pairs in for .
For (b), the number of reflexive relations on set can be found by considering that each element must be related to itself, fixing the diagonal entries of the relation matrix to 1. This leaves the other pairs, which correspond to the non-diagonal cells in the relation matrix, to be freely chosen as either part of the relation or not. Hence, there are reflexive relations, which is derived by using the division rule to divide the total number of relations by the number of choices for the diagonal (which is fixed), giving .
For example, the relation matrix for a reflexive relation would be:
In the matrix , the letters represent arbitrary binary choices (either 0 or 1), not elements of the set .
For (c), a relation that is both reflexive and symmetric requires that for any , the symmetric counterpart also holds. This reduces the number of independent binary choices to the upper triangle of the matrix, including the diagonal, which consists of 6 entries. Therefore, there are reflexive and symmetric relations.
For (d), the equivalence relations correspond to the partitions of the set. The 4th Bell Number, , which represents the number of partitions of a set of 4 elements into non-empty subsets, is 15. Hence, there are 15 distinct equivalence relations on the set .
For (e), generalizing to a set of size , the answers would be for the number of relations, for the number of reflexive relations, and for the number of reflexive and symmetric relations. These results can be deduced by extension and verified via mathematical induction.
Given any distinct integers between 1 and , show that two of them are relatively prime. Is this result best possible, i.e., is the conclusion still true for integers between 1 and ?
Combination and Permutation with applications
In this section, we will introduce more powerful tools for counting, which can be taken as the further abstraction to the basic counting principals we discussed earlier. With these notions, we can further categorize counting problems and find patterns to solve them.
Choose a counting rule by asking whether order matters and whether repetition is allowed.
Permutation
We first introduce Permutation, which focuses on finding ways of arrangement for selection with order. Consider that the string . How many ways can we arrange them? But listing all the possibilities: we can tell that the answer is 6. For each of these results, we call it a Permutation for these letters.
Now we think about a more generalized case, where we have letters, where each letter is distinguishable, even though they are the same latter. Such as for and we have two permutations, and .
We can actually apply this by product rule. Since for the first letter, we are choosing it from letters, giving choices, and the second one gives choices, so and and so forth, until we put the last remaining letter into the string. We have
which is also called factorial or full permutation.
Suppose now that we have objects. We have that there are
possible permutations.
The factorial of a non-negative integer , denoted by , is the product of all positive integers less than or equal to . It is defined as:
The factorial function grows very rapidly with the increase of . It is used prominently in permutations and combinations, as well as in the calculation of probabilities and various mathematical series.
Additionally, by convention, the factorial of zero is defined as . There will be an exercise on this.
We can combine the counting method for permutation with basic counting principals. Here is an example.
A class in probability theory consists of 6 men and 4 women. An examination is given, and the students are ranked according to their performance. Assume that no two students obtain the same score. How many ways of ranking are possible? If the ranking are separated among boys and girls, how many ways of ranking are there?
First, we need to tell which kind of arrangement is involved. Obviously, ranking is ordered. So for the first case, we have cases. In the second case however, boys and girls are ranked separately. So we either rank girls first or rank boys first. We have .
This example also shows that .
Let's try out a different example.
How many different letter arrangements can be formed from the letters PEPPER?
We first note that there are permutations of the letters when the 3P's and the 2E's are distinguished from one another. However, consider any one of these permutations, for instance, . If we now permute the P's among themselves and the E's among themselves, then the resultant arrangement would still be of the form PPEPER. That is, all 3! 2! permutations.
Since we know, the full permutation case where all letters are distinguished is interpreted by which is a full permutation. Now what we will do is excluding the cases where confusion could be caused because of repeated letters using division Principal. Therefore the answer is , which means excluding all the cases with the same answer attributed to the repetition.
In this example, we combined Permutation counting with division rule. We call this kind of problems "Permutations with Repetition".
For the permutation problem with items, among which , , until are number of repetition within each item. The total number of permutation when not distinguishing repetition is
Now we consider another example to introduce the specific permutation of a certain amount of element from a complete entity.
Suppose we have 1, 2, 3, 4, four digits to generate any possible three-digit numbers, how many such numbers could be created (we will not remove any number after selection)?
Since all numbers can be used multiple times, we have 3 choices among 4 numbers, giving us choices by product rule.
Now we change the scenario by removing the chosen number after each selection.
Suppose we have 1, 2, 3, 4, four digits to generate any possible three-digit numbers, how many such numbers could be created (we will remove any number after selection)?
We first focus on choosing the number. Since now the number will not be replaced, we have ways to choose the number, where each number has different sequence for the digits.
We see that the pattern in the second example is completely different from the first example by just changing one condition. This kind of irreplaceable permutation are categorized to -Permutation.
If is a positive integer and is an integer with , then there are
-permutations of a set with distinct elements. Note that another common notation for this is .
Fill the ordered positions in sequence. After choices there are exactly unused elements, independent of which distinct prefix was chosen. Multiplying the counts for gives the product. Cancelling the factors from gives the factorial quotient. For there is exactly one empty ordering, so the quotient still gives one.
But this open form is quite lengthy, can we write it in a closed form? Of course yes, because may already realize that the form of the expression is pretty similar to factorial. But the domain of the factorial function is (natural number greater or equal to 0), while as mentioned in the theorem. By the definition of permutation, we know that must evaluate to 1, for a similar reason to . By the division rule, we can get that , which means we are not choosing anything from the entity. Now, if we introduce the variable to the last expression, we get the closed form:
.
If and are integers with , then
The explanation above are more about reasoning, while this corollary can also be obtained by algebra analysis to , since this can be taken as the quotient of some factorial divided by factorial.
This is exactly what we have been using in example numberselect.
Combination
Now we consider some other scenario of counting.
how many possible combinations could be obtained by selecting 3 letters out of (non-replaceable), where the combination is not ordered, meaning that , both together count for 1 single case.
We know that we have 5 choices for the first letter and 4 choices for the second letter, 3 for the last one. so we have . However, this includes some equivalent combinations, which we need to rule out.
We know that each result is a string of length 3, so we know that every orderings of a selected triple form one equivalence class, which will be only counted once. To exclude them, we need to divide all result of selections with the full permutation of any possible string length 3, which is . So we have cases.
This result is quite obvious, however, if you examine further, . So we can write it as . We can use the same letter to denote this relation as
We call this -combination of .
The number of -combinations of a group of object with distinct elements is denoted by or , and is called a binomial coefficient. We define ,for , by
and say that (read as " choose ") represents the number of possible combinations of objects taken at a time.
Assume integers . Every unordered -subset produces exactly distinct ordered selections. The fibers of the forget-order map therefore all have size , so the division rule gives . This also covers using the empty selection.
Here is an example for your better understanding of this.
From a group of 5 women and 7 men, how many different committees consisting of 2 women and 3 men can be formed? What if 2 of the men are feuding and refuse to serve on the committee together?
As there are possible groups of 2 women, and possible groups of 3 men, it follows from the basic principle that there are
possible committees consisting of 2 women and 3 men.
Now suppose that 2 of the men refuse to serve together. There are groups in total, and exactly contain both feuding men, it follows that there are groups that do not contain both of the feuding men. Because there are still ways to choose the 2 women, there are possible committees in this case.
Do keep in mind that even with combination and permutation methods, the basic principles of counting are still essential for problem-solving.
Here's another important fact about binomial number.
Let and be nonnegative integers with . Then .
From Theorem rcombi it follows that
and
Hence, .
We also provide another combinatorial proof.
By definition, the number of subsets of S with elements equals . But each subset A of S is also determined by specifying which elements are not in , and so are in . Because the complement of a subset of with elements has elements, there are also subsets of S with elements. It follows that
Another interesting result is about decomposition of combination number.
Suppose you are sent to buy 6 bananas. The store has 20 bananas altogether: 19 good ones and 1 bad one. Any selection of 6 either avoids the bad one or includes it. So the total number of selections equals the number containing only good bananas plus the number that contain the bad one and 5 good ones. That is,
This bring us to the following conclusion.
This result applies in general, if , then
You may have realized that this is a recursive relation. We will discuss more on this topic later.
This identity is called Pascal's Identity. You may find an interesting combinatorial proof in the link.
Further Interpretation of Counting with Set Theory
Now let's wrap up what we have covered in this section. We have gone through combination and permutations, and have seen many examples. However, we haven't reached the nature of these counting method. Fundamentally, all counting problems are set problems. Recall how the four principals of accounting are defined in the last section. Without conclusions and concepts in naive set theory, none of them will exist.
We have also seen the intricate relation between fundamental counting principals and permutation, as well as combination. Actually, set theory is one of the cornerstone of counting methods. For every problem we have solved so far, we are actually manipulating a set or multiple sets, and their members. This is because set or class is the abstraction of any existent objects that share some common property.
The way we distinguish different counting problems, or method we are going to use is basically by finding two properties of the problem.
-
Whether it is a permutation or combination problem?
-
Can each object be selected repetitively?
Now let's recap the four cases of counting and relate them to higher abstraction in sets.
-Sequences on an -Set
When the codomain of a sequence S is the set , we say that S is a sequence on C If both and are positive integers, then a k-sequence on an an-set is a function S from into some set with exactly elements, and we may write S as
For -permutation that allow repetition, we can take it as the number of -Sequences on an -Set. This means that we are choosing members from set , and rearrange them to any possible sequence. Since we know that in a sequence, the same object that appears multiple times are distinguishable. So the total number of outcomes is .
For example, there are 3-sequence on .
For -permutation that does not allow repetition, meaning that each element can only be chosen once. In this case we are trying to get a sequence of size where each member is unique and is from . This can be perfectly fitted into the definition of . This is equivalent to "truncate" the full permutation (), so we have
For example, The number of 4-permutations on a 6-set is
We can actually also write the number of 6-permutations on 4-set, which is
Obviously it does not exist.
We have learned that the number of subset of a -set is . This is actually a corollary fundamental counting Principal. Because for any set with member (we call it ), we can define a characteristic sequence (we discussed in set theory, chapter2), and the cardinality of the characteristic sequence must equal to . Now considering the subsets. Each possible characteristic sequence map to a unique subset of the original set, and each position of can only be either 0 or 1, so have characteristic sequence, i.e., has subsets.
Number of -Subsets of an -Set
Now we consider number of -subsets of an -set. Since a set has no sequence and is not repetitive element, so we know that the number of result for non-repetitive -Subsets of an -Set is exactly .
But how can we understand combination with repetition, also known as Multiset combination? Multiset combinations refer to combinations where repetition of elements is allowed. Unlike sets, where each element is unique, a multiset can contain multiple occurrences of the same element. Mathematically, we denote the number of -combinations from a set with elements with repetition allowed as .
Given a set , a -combination with repetition allowed from is a selection of elements from X where each element can appear multiple times. The total number of such combinations is given by:
We model the problem of selecting elements from the multiset using the stars and bars method. In this method, we represent each selection by a star (*) and use bars (|) to separate the different types of elements in the multiset.
For selections and types of elements, we need stars and bars. The bars are used to partition the stars into distinct groups, where each group corresponds to one type of element from the multiset .
The total number of symbols (stars and bars together) is . To find the number of ways to arrange these symbols, we need to choose positions for the stars out of the available positions, leaving the remaining positions for the bars.
This is equivalent to choosing elements from a set of elements, which is given by the binomial coefficient:
Thus, the number of -subsets of an -multiset, where repetition is allowed, is precisely the number of ways to arrange stars and bars, confirming the formula.
Here are some examples.
Consider a set of fruits . If we want to select 2 fruits with repetition allowed, the possible combinations are:
-
Two apples.
-
One apple and one banana.
-
One apple and one cherry.
-
Two bananas.
-
One banana and one cherry.
-
Two cherries.
The number of combinations with repetition is .
For choosing 3 balls from a set of balls with colors red (R), blue (B), and green (G), we have the following multiset combinations:
-
RRR, RRB, RRG, RBB, RBG, RGG
-
BBB, BBG, BGG, GGG
-
RRR, BBB, GGG (repetitions of the same color)
By the formula, the number of combinations with repetition is .
Here is a brief wrap up for distinguishing these problems.
-
-subset of an -set: In this scenario, the set consists of distinct elements, and we want to choose of them. No element can be chosen more than once because sets do not allow for repetition. The order of selection does not matter, and the total number of -subsets is given by the binomial coefficient .
-
-subset of an -multiset: In contrast, a multiset can have repeated elements, so when we choose elements from an -multiset, we are allowed to select the same element multiple times. This greatly increases the number of possible combinations since each of the slots can be filled with any of the elements, with repetitions. The total number of such combinations is given by , which accounts for the possibility of repetition.
Consider a set of 5 distinct books. If we want to select 3 books to place on a shelf, we use combinations without repetition. The total number of ways to do this is given by:
Now, consider a multiset of 5 types of fruits with an unlimited quantity of each type. If we want to select a basket of 3 fruits, where we can select the same type more than once, we use combinations with repetition. The total number of ways to do this is given by:
When counting selections from a set, we use combinations without repetition because each element can be chosen only once. In contrast, when counting selections from a multiset, we use combinations with repetition since each element can appear multiple times in a selection.
Binomial Theorem
In previous section, we introduced corollary refpascal's identity. This conclusion is the foundation of binomial theorem, which is why we call binomial coefficient. We have learned in the middle school the basic algebra knowledge that Though we can prove it by using basic algebra, but it does not really matter here. This conclusion is only a subconclusion of its further generelization, and we call it Binomial Theorem.
All binomials with with follow:
This theorem could be proven easily by induction with corollary pascal's identity as lemma.
For the base case of , With this suppose when , by theorem BT:
While
Let in the first sum and in the second sum:
Thus the theoremBT is proved.
But actually we can get a more concise and elegant combinatorial proof, you may check here.
The binomial theorem states that for any positive integer , the expansion of is given by:
where are the binomial coefficients.
Why this looks different from the theorem? Think about it. Is it really a different expression? What if we are just interchange the notation for each number? Isn't it the same?
For :
For :
For :
The coefficients in the expansion follow a pattern known as Pascal's triangle. Each coefficient is the sum of the two coefficients above it in the previous expansion. For instance, the coefficient of in the expansion of is 10, which is the sum of the coefficients of and from the expansion of , which are 4 and 6, respectively. You may see more here.
In the last section, we used combinatorial proof to explain why the number of subsets for a -set is . Now we can get one more way to explain it by Binomial Theorem.
Since there are subsets of size , So by theorem BT
Multinomial Theorem
The name of this chapter have told you that our discussion on the power of sum of numbers does not end here. Mathematicians seek to generalize every problem, so as computer scientists and programmers. Now suppose we want to find the pattern of result of some expression involving more than 3 numbers or variables , how can we get the expansion?
Before we do that, let's considering such scenario.
How many ways can you arrange the letters in the word "SUCCESS"? Since the word "SUCCESS" has 7 letters with 1 "S", 1 "U", 2 "C", and 3 "S", the number of arrangements is given by the multinomial coefficient:
Consider a set of distinct items to be divided into distinct groups of respective sizes , where . The number of ways to perform this division is given by the multinomial coefficient:
This is derived from the principle of counting, starting with ways to choose the first group, then ways for the second, and so on, leading to the product of binomial coefficients which simplifies to the formula above due to the factorial terms canceling out. Each division corresponds to a unique permutation of the items into the groups, considering items within the same group as indistinguishable.
We have covered similar problems earlier as permutation without repetition. Here we introduce a new notation for this.
If , we define by
Thus, represents the number of possible divisions of distinct objects into distinct groups of respective sizes .
We call this Multinomial Coefficient. This allows us to generalize Multinomial Theorem.
The multinomial theorem extends the binomial theorem to polynomials with any number of terms. For any positive integer and non-negative integers such that , the theorem states that:
We only offer the combinatorial proof here, since the induction proof could be made easily by binomial theorem. That will be one of the exercises.
The multinomial coefficient counts the number of ways to partition a set of distinct items into bins with items in the -th bin. This corresponds to the number of distinct sequences that can be formed by permuting the items where there are of the -th type.
When we expand by distributing and multiplying out all terms, each term in the expansion corresponds to choosing one of the 's from each of the factors. The coefficient of a given term in the expanded product corresponds to the number of sequences of these choices, which is precisely the multinomial coefficient.
Hence, the combinatorial interpretation of the multinomial coefficients directly provides a proof of the multinomial theorem.
The multinomial theorem is related to permutations with repetition. Permutations with repetition occur when we want to count the number of different sequences that can be formed with a set of elements where each element can appear multiple times. The number of such permutations is given by the multinomial coefficient. This is because each term in the expansion represents a unique way to permute the objects into distinct groups with objects in each group, with the condition that some objects may be identical to one another.
Expanding using the multinomial theorem gives:
which simplifies to:
Catalan Numbers
This subsection on Catalan numbers (), Dyck paths, and balanced parenthesis counting is an outline placeholder queued for full exposition.
String Number Counting
This subsection on string arrangements and word permutations is an outline placeholder queued for full exposition.
Exercises
We mentioned that is defined purposely. Why it cannot be 0? Justify or refute it in any way you can work out.
Here are some possible explanations.
-
Since factorial represents the way of ordered arrangement for objects, for 0 objects, we only have one way of arranging.
-
, so we need to make sure exists, and therefore we
Define a function by the following recursive relation:
-
Prove or disprove: The function is always equal to .
-
If does not always equal , find an explicit expression for and provide examples that demonstrate how deviates from .
Hint: Compare this function with the strictly defined factorial recursive function.
Prove that If is a positive integer and is an integer with , then there are
We will use the product rule to prove that this formula is correct. The first element of the permutation can be chosen in ways because there are elements in the set. There are ways to choose the second element of the permutation, because there are elements left in the set after using the element picked for the first position. Similarly, there are ways to choose the third element, and so on, until there are exactly ways to choose the th element. Consequently, by the product rule, there are
-permutations of the set.
How many letter arrangements can be made from the letters
-
Fluke?
-
Propose?
-
Mississippi?
-
Arrange?
We can find the number of different arrangements of the letters by considering the factorials of the total number of letters divided by the factorials of the number of repeated letters.
- For the word Fluke, there are no repeating letters. So, the number of different arrangements is simply :
- For the word Propose, the letter 'P' is repeated twice and the rest are distinct. So, the number of arrangements is:
- In the word Mississippi, we have 'S' repeated four times, 'I' repeated four times, and 'P' repeated twice. The total number of arrangements is:
- For the word Arrange, the letter 'A' is repeated twice, and the letter 'R' is repeated twice. The number of different arrangements is:
In each of these cases, we use the formula for permutations of n items with repetition, , where is the number of times the ith element is repeated.
Answer the following questions.
-
How many ways can a president, treasurer, and secretary be chosen from a group of 10 people?
-
How many ways can a team of three people be chosen from a group of 10 people?
-
What's the essential difference between (a) and (b)? Which answer is larger? Could you have known this without doing any calculation?
-
How many ways can a bowl of three scoops of ice-cream be selected from 10 flavours? (Multiple scoops of the same flavour are allowed.)
-
How many ways can five different prizes be divided among Anastasia, Becky, and Cadel? (Not everyone has to get a prize.)
-
In how many different orders can six horses finish a race? (Assume there are no ties and they all do finish.)
For question (a), since the roles are distinct and order matters, we use permutations. The number of ways is given by .
For question (b), as order does not matter, we use combinations. The number of ways is given by .
For question (c), the essential difference lies in the consideration of order. (a) uses permutations and is thus larger. Without calculations, we could deduce this due to the nature of permutations yielding more outcomes than combinations when order is taken into account.
For question (d), concerning the selection of ice-cream scoops, we consider two cases:
Case 1: Order of scoops matters. Each of the three scoops can be one of 10 flavours, and the order in which the flavours are chosen matters. In this case, each scoop is distinct, and the number of ways to select the ice-cream is .
Case 2: Order of scoops does not matter. We are interested in the combination of flavours regardless of the order. This is a problem of combinations with repetition. The number of ways to select the ice-cream is given by the formula for combinations with repetition:
where is the number of options (flavours), and is the number of selections (scoops). Here, and :
So there are 220 different combinations if we do not consider the order of scoops.
For question (e), each of the five prizes can be awarded to any one of the three people independently, resulting in ways.
For question (f), every horse finishing in a unique position is a permutation of 6 items.
Prove Multinomial Theorem by induction with Binomial Theorem
the multinomial theorem states:
where the sum is taken over all sequences of non-negative integer indices such that .
We will prove the multinomial theorem by induction on the number of terms .
Base Case (): For , the theorem reduces to the binomial theorem, which is already known to be true. That is,
Inductive Step: Assume the theorem holds for some . We must show it also holds for . Consider the expression . We can write this as:
By the binomial theorem, this is equal to:
By the induction hypothesis, each term can be expanded as:
where the sum is taken over all sequences of non-negative integer indices such that .
Thus, the entire expression expands to:
where the outer sum is taken over and the inner sum is taken over .
This is the multinomial expansion for terms. By the principle of mathematical induction, the theorem is proved.
Axioms of Probability
In previous sections, we have solved the problem that how many outcomes can a certain event have under given conditions. This section introduces the concept of the probability of an event and then show how probabilities can be computed in certain situations.
Sample Space and Events
We have discussed the example of rolling a die in previous sections. Intuitively we know that the probability of getting the number 3 is 1/6 because it's one case out of all six cases. In this example, the possible results of the event (rolling a die to get a number) can be written as a set , and therefore, the possibility of getting a certain number from 1 to 6 is .
In this example, we call the set of all possible outcomes Sample Space, and getting 3 from the dice is an event. An event could be subset of the sample space.
The sample space of an experiment or random trial is the set of all possible outcomes of that experiment. Each outcome in is mutually exclusive and collectively exhaustive.
An event is any subset of the sample space and represents a collection of possible outcomes of the experiment. An event can be as small as containing no outcomes (null event ) or as large as the entire sample space.
Consider an experiment where one card is drawn from a standard deck of 52 cards.
The sample space consists of 52 elements, each representing a unique card from the deck.
Example events could include:
-
Event : Drawing a face card (Jack, Queen, or King).
-
Event : Drawing a card of hearts.
-
Event : Drawing an ace.
Consider a simple experiment where a fair coin is flipped twice.
The sample space for this experiment, denoted as , is:
Here, stands for heads and for tails, with each element representing an outcome sequence over the two flips.
Example events could include:
- Event : Getting at least one head.
- Event : Getting a tail for second trial.
Now that we know both sample space and events are sets. Set opperations are applicable for them. We use last example for further illustration. Now suppose we want to get the event that among the two trial, we have at least one head and no tail for second trial. All we need to do is taking the intersection of and .
So we have only one case which is for this. The same goes for the union.
Additionally, intsersection of two events are sometimes conventionally written without intersection notation , instead we have .
Here we introduce some new notations for set representation in probability theory. Note that they are using the same notation as in what we have discussed in class (section intofclass), do differenciate them.
For some scenario where we may find the huge number of events, we use similar notation as and to express cpnsecutive set operation.
Given an infinite sequence of events , the union of these events is denoted by and is the event containing all outcomes that are in at least one of the events . Formally, an outcome is in if and only if there exists at least one such that .
Similarly, the intersection of these events is denoted by and is the event containing only those outcomes that are in every . An outcome is in if and only if for all , .
Also, we use to show complement event. In last example, we have .
Here is an example to let you have some further understanding of the notation.
We have learned demorgan's law in Boolean algebra and set theory, but only in a base case, meaning it volves only two sets or Boolean variables. We can use to interprete it as:
Do remember that for some set , are the same thing.
Probability Axioms
This section introduces axioms of probability theorey and some useful propositions. Before that, we need to define what is probability. In natural language you may say, probability is the chance that a certain thing happen, which is intollerable for mathematicians. Here are some common definitions.
The probability of an event is defined as the limit of its relative frequency in many trials. If an event occurs times in trials, the probability of , , is given by:
assuming the limit exists.
In the classical definition, applicable only to equally likely outcomes, the probability of an event is the ratio of the number of outcomes favorable to to the total number of possible outcomes in the sample space . If is finite and each outcome is equally likely, then:
where is the number of elements in and is the number of elements in .
But don't need to delve into the definition too deep as it may involve something beyond this book. Either of these definitions are enough for solving basic probability problems.
Probability theory is a mathematical framework for quantifying uncertainty. It provides a set of formal principles, known as probability axioms, which underlie the entire structure of probability. These axioms were introduced by the Russian mathematician Andrey Kolmogorov in 1933, and they form the foundation upon which the modern theory of probability is built. The axioms are intended to be consistent and complete, and any mathematical system that satisfies these axioms is deemed a valid probability space. We discuss these axioms in detail below.
For any event in the sample space , the probability of is a non-negative number:
The probability of the entire sample space is 1:
For any sequence of disjoint events (events with no common outcomes), the probability of the union of these events is equal to the sum of their individual probabilities:
This is sometimes referred to as countable additivity.
With these axioms, we derive some other propositions for problem-solving. They are actually just some easy-to-find result from set theory.
For any event in a probability space, the probability of the complement of , denoted , is given by:
This states that the likelihood of the event not occurring is the complement of the probability of the event occurring.
The sample space can be partitioned into two disjoint events, and its complement . According to the axioms of probability, we have . Therefore, rearranging for , we obtain .
If an event is a subset of event , denoted , then the probability of is less than or equal to the probability of :
Given , we can express as , where is the set of all elements in that are not in , effectively . As and are disjoint, from the axioms of probability, particularly countable additivity, we have:
Since probabilities are non-negative, , hence .
For any two events and , the probability of their union is:
This formula accounts for the overlap between and to avoid double-counting.
The events and are disjoint, and their union is . Applying the axiom of countable additivity, we have:
To find , note that it represents all outcomes in that are not in , which is equivalent to . Thus, we conclude:
We introduced the Principle of inclusion-exclusion of two sets in set theory (see theorem IE). Now we will prove it's generalized form so that we can use it for probability problems.
For any collection of finite sets , the size of their union is given by:
Let denote a universal set that contains all the elements we are considering, and let represent the index set . For any index set , the expression denotes the intersection of those sets for which the index is in .
For each set included in our universal set , we define a characteristic function as follows:
We then consider the function defined as the product of for from 1 to :
This function essentially acts as the characteristic function of the complement of the union of all sets , taking the value 1 if and only if is not in any of the sets .
Next, we express by expanding the product into its individual terms:
Here, is the product of the values of for all in , which is the characteristic function for the intersection .
Taking the sum of over all , we have:
Comparing this with the direct computation of the sum of as the size of the complement of the union of all , we can equate the two expressions to obtain:
By including the empty set in our summation, we consider it as , the size of the universal set, and follow the same pattern of alternation as prescribed by the Principle of Inclusion-Exclusion. This completes the proof.
The same indicator identity gives the probability form.
For any collection of events in a probability space, the probability of the union of these events is given by:
The indicator identity is pointwise:
Taking expectations gives the probability formula. All sums are finite, so no interchange of an infinite series is involved. This proof applies even when individual outcomes have probability zero.
Below is how to understand it from combinatorial perspective.
Consider a noninductive argument for the Principle of Inclusion-Exclusion as applied to probability. Assume we have a probability space and events within this space. If an outcome of the sample space does not belong to any of the event sets , then it has no impact on the calculation of the probability of the union of these events since it is not an element of any union or intersection of these sets.
Now, suppose an outcome occurs in exactly of the events , where . The probability associated with this outcome contributes once to the probability of the union since it must belong to at least one of the events .
However, when we calculate the probability of the union using the Principle of Inclusion-Exclusion, this outcome's probability is counted multiple times: once for each event it belongs to, then subtracted for each intersection of two events it belongs to, added again for each intersection of three events, and so on. This alternation of addition and subtraction continues, matching the pattern of the binomial expansion of , which is zero. More precisely, for , the outcome's probability is included times for single sets, subtracted times for intersections of pairs, added times for triple intersections, and so on, up to for the intersection of all events.
Mathematically, this summation can be expressed as follows:
Given that , the binomial theorem tells us that:
The summation of the binomial coefficients weighted by alternating signs is thus zero, mirroring the way an outcome's probability is counted in the Inclusion-Exclusion formula. Consequently, each outcome's probability is correctly accounted for once in the total probability of the union of the events, validating the principle.
Exercises
This problem involves axiom of probability and some propositions of probability theory. With these, you should prove Boole's Inequality.
Let be events from a finite sample space. Then,
This can be proven by both MI and with the help of axioms of probability.
Proof by MI. We prove Boole's Inequality by induction on the number of events.
Base case: When , the inequality clearly holds as:
Inductive step: Assume the inequality holds for events, i.e.,
We need to prove it for events. Consider:
Using the subadditivity of probability, we have:
Applying the induction hypothesis:
it follows that:
This completes the induction.
Therefore, by mathematical induction, Boole's Inequality holds for any finite number of events.
Proof by Axiom of Probability. The proof employs the principle of inclusion-exclusion and the non-negativity of probability.
The probability of the union of any two events and satisfies
which, given , implies that
Extending this to events, we have by the subadditivity axiom:
Assuming inductively that the inequality holds for the union of events, i.e.,
we then obtain
as required.
Or you can also consider theorem PrIE that we must have something less than or equal to .
Boole's Inequality becomes an equality if and only if the events are mutually disjoint. When the events are disjoint, the intersection of any two events is the empty set, implying for all . In this case, the probability of the union of these events equals the sum of their individual probabilities, i.e.,
This scenario highlights the additive nature of probability in the absence of overlapping outcomes among events. Understanding this condition is crucial as it underscores the distinction between collective and independent probabilistic occurrences, often a key concept in studies involving probability theory and its applications.
Consider a loaded six-sided die where rolling a 3 is twice as likely as rolling any other individual number. Find the probability of each outcome when the die is rolled.
Let denote the probability of rolling a number on the die. According to the problem, rolling a 3 is twice as likely as rolling any other number, which can be mathematically represented as:
Since the die is fair except for the loading, the probabilities for numbers other than 3 are equal, implying:
The total probability for all outcomes must sum to 1, thus we have:
Substituting the condition into the equation, we obtain:
Hence, the probability for each outcome is:
Suppose that and are events such that and . Show that and .
To solve this exercise, we start by considering the union and intersection of the events and .
Firstly, note that the probability of the union of two events and can be found using the formula for the union of two sets:
Given that and , substituting these values into the formula gives:
Since the probability of any event is at most 1, we have:
which simplifies to:
Therefore, the probability of the intersection of and is at least 0.4.
With , substituting back into the union formula, we find:
However, since the probability cannot exceed 1, we consider the minimum possible value of , which aligns with the maximum probability of either event:
Thus, we have shown both that and .
The conclusion on the probability of intersected events could be further generalized to Bonferroni's Inequality.
Let and be events. Then, the probability of their intersection is bounded by:
You may find the proof quite easy.
To prove Bonferroni's inequality, start by using the principle of inclusion-exclusion for the union of two events:
Since the probability of any event cannot exceed 1, we have:
Substituting the expression for into the inequality gives:
Rearranging this inequality, we find:
This derivation shows that the probability of the intersection of the events and is at least the sum of the probabilities of and minus 1, thereby establishing Bonferroni's inequality.
Use induction to generalize Bonferroni's inequality to events.
Let be events in a probability space. Then, the probability of the intersection of these events is bounded below by the sum of the probabilities of each event minus the number of events minus one, i.e.,
Also consider other ways to prove this, i.e., inclusion-exclusion.
We can do this by weak induction, which is more than enough.
Proof by Weak Induction. We proceed by mathematical induction on the number of events, .
Base case: For , the inequality reduces to
which is just the simple Bonferroni's inequality and is true by the principles of probability.
Inductive step: Assume that the inequality holds for , i.e.,
We need to show that the inequality holds for . Consider,
By the probability of intersections,
Using the inductive hypothesis and subtracting the probability of the complement,
Simplifying this,
which completes the inductive step.
Therefore, by mathematical induction, the Generalized Bonferroni's Inequality holds for any .
However, we can actually start with as our base case and use strong induction, making our life much easier.
Proof by Strong Induction. We prove this by strong induction on .
Base case (): The inequality trivially holds because
Inductive step: Assume the inequality holds for , i.e.,
We need to prove that the statement is true for . Consider the intersection of events as two groups:
Applying the probability of intersections, we have:
Using the inductive hypothesis for the first events:
Combine these results:
Simplify the right-hand side:
This completes the inductive step. Thus, by strong induction, the Generalized Bonferroni's Inequality holds for any .
This reminds us that in mathematical proofs, both weak and strong induction methods are commonly used, each having its own strengths and suitable applications.
Weak Induction: This method, also known as ordinary mathematical induction, assumes the truth of a statement for to prove it for . It is straightforward and effective, particularly when each case depends only on its immediate predecessor. This simplicity makes weak induction especially approachable for many basic proofs.
Strong Induction: Strong induction assumes that the statement is true for all integers less than or equal to , and uses this to prove the statement for . This method is advantageous when the problem requires information from all previous cases, as it provides a more robust foundation for the proof, particularly in complex sequences or recursive relationships.
The choice between these induction techniques depends on the problem structure and which method more clearly communicates the proof's logic. While strong induction offers a comprehensive approach suitable for complex or highly interdependent scenarios, weak induction's simplicity is beneficial for more straightforward cases.
We also have a more interesting way to do that, simply by using principle of inclusion-exclusion.
Proof by Inclusion-Exclusion. The proof uses the principle of inclusion-exclusion and the non-negativity of probabilities. We start by considering the inclusion-exclusion formula for the probability of the union of events, which is:
However, we need the probability of the intersection, , not the union. We consider the complementary probability:
Using the inclusion-exclusion principle on (the complements), we get:
where .
Substituting back, we find:
Simplifying further:
This concludes the proof.
Show that if is an infinite sequence of pairwise disjoint events in a sample space , then
by taking limits.
To prove this, we begin by noting that for any finite , the probability of the union of the first events in the sequence, by axiom additivity, is
Since are pairwise disjoint, this relationship holds due to the finite additivity of probability measures.
We now consider the limit as approaches infinity. By the definition of an infinite series and the continuity of probability measures from below (which is a standard result in measure theory, assuming non-decreasing sequences of sets),
Applying the limit to both sides of the equation established for the finite case,
where the last equality is justified by the definition of an infinite series sum.
Therefore, the probability of the union of an infinite sequence of pairwise disjoint events is equal to the sum of their individual probabilities.
Two dice are thrown. Let be the event that the sum of the dice is odd, let be the event that at least one of the dice lands on 1, and let be the event that the sum is 5. Describe the events , , , , and .
Event Descriptions:
- (Intersection of and ): This event represents both dice summing to an odd number and at least one die landing on 1. Possible outcomes include
.
-
(Union of and ): This event occurs if the sum is odd or if at least one of the dice lands on 1. Since includes any outcome with a 1, and includes all combinations leading to an odd sum, combining these covers a large set of possibilities, particularly those where at least one die results affect either condition.
-
(Intersection of and ): This event includes outcomes where at least one die is 1 and the sum is 5. Outcomes are since these are the only ways to achieve a sum of 5 with at least one die showing 1.
-
(Intersection of and the complement of ): This event occurs when the sum is odd and neither die lands on 1. This excludes any odd sums involving a 1, narrowing the possibilities.
-
(Intersection of , , and ): Since specifically requires the sum to be 5, and requires at least one die to be 1, this intersection is effectively the same as , given that the sum of 5 can only be odd. The outcomes here are also .
A certain town with a population of 100,000 has three newspapers: I, II, and III. The proportions of townspeople who read these papers are as follows:
-
I: 10%
-
II: 30%
-
III: 5%
-
I and II: 8%
-
I and III: 2%
-
II and III: 4%
-
I, II and III: 1%
-
Find the number of people who read only one newspaper.
-
How many people read at least two newspapers?
-
If I and III are morning papers and II is an evening paper, how many people read at least one morning paper plus an evening paper?
-
How many people do not read any newspapers?
-
How many people read only one morning paper and one evening paper?
Definitions and Values Given:
Individual Newspaper Readers:
Calculations:
-
Total people who read only one newspaper =
-
Total people who read at least two newspapers =
-
At least one morning paper and the evening paper means . Count the three-paper readers once:
- Inclusion-exclusion gives the number who read at least one paper:
Therefore, read none.
- Exactly one morning paper and the evening paper excludes the three-paper readers from each pair:
Suppose an experiment with 15 team members each having 2 job options and 3 political affiliations.
-
How many outcomes are in the sample space?
-
How many outcomes are in the event that at least one of the team members is a blue-collar worker?
-
How many outcomes are in the event that none of the team members considers himself or herself an Independent?
For different cases.
- Total Outcomes in the Sample Space: Each member can choose from two job types and three political affiliations, resulting in six combinations per member. For 15 members, the total number of outcomes is calculated as:
- Outcomes with At Least One Blue-Collar Worker: To determine the number of outcomes where at least one member is a blue-collar worker, consider the complement scenario where all members are white-collar workers, with each having three choices of political affiliation. Thus:
Subtracting this from the total outcomes gives:
- Outcomes with No Independents: If no member is an Independent, each has four choices (two job types and two political affiliations). Thus, for 15 members:
If two dice are rolled, what is the probability that the sum of the upturned faces equals ? Find it for .
When two dice are rolled, each die has 6 faces, resulting in a total of possible outcomes. The probability of any specific outcome is . Here, we determine the number of outcomes that result in each possible sum of the dice:
-
Sum = 2: (1,1) -- 1 way.
-
Sum = 3: (1,2), (2,1) -- 2 ways.
-
Sum = 4: (1,3), (2,2), (3,1) -- 3 ways.
-
Sum = 5: (1,4), (2,3), (3,2), (4,1) -- 4 ways.
-
Sum = 6: (1,5), (2,4), (3,3), (4,2), (5,1) -- 5 ways.
-
Sum = 7: (1,6), (2,5), (3,4), (4,3), (5,2), (6,1) -- 6 ways.
-
Sum = 8: (2,6), (3,5), (4,4), (5,3), (6,2) -- 5 ways.
-
Sum = 9: (3,6), (4,5), (5,4), (6,3) -- 4 ways.
-
Sum = 10: (4,6), (5,5), (6,4) -- 3 ways.
-
Sum = 11: (5,6), (6,5) -- 2 ways.
-
Sum = 12: (6,6) -- 1 way.
The probability of each sum is calculated by dividing the number of favorable outcomes for that sum by the total number of outcomes (36). For example, the probability for a sum of 7 is:
The same method is applied to calculate the probabilities for other sums.
A pair of dice is rolled until a sum of either 5 or 7 appears. Find the probability that a 5 occurs first.
Let denote the event that a 5 occurs on the -th roll and no 5 or 7 occurs on the first rolls. Compute and argue that is the desired probability. To solve this problem, we first calculate the probability of each relevant event when rolling two dice:
-
The sum is 5, which can occur in 4 ways: (1,4), (2,3), (3,2), (4,1).
-
The sum is 7, which can occur in 6 ways: (1,6), (2,5), (3,4), (4,3), (5,2), (6,1).
Therefore, the probability of rolling a 5 is , and the probability of rolling a 7 is .
Probability of
The event consists of two parts:
-
Not rolling a 5 or 7 on the first rolls.
-
Rolling a 5 on the -th roll.
The probability of not rolling a 5 or 7 on any given roll is .
Thus, the probability of is:
Summation of
The total probability of a 5 occurring first is the sum of probabilities of over all :
This is a geometric series with the first term and common ratio . The sum of an infinite geometric series is given by , hence:
Therefore, the probability that a 5 occurs first is .
Let be a given set. If, for some , are mutually exclusive nonempty subsets of such that , then we call the set a partition of . Let denote the number of different partitions of . Thus, (the only partition being ) and (the two partitions being , ).
-
Show, by computing all partitions, that , .
-
Show that and use this equation to compute .
Actually, this formula defines Bell Number, which denotes the number of possible partition of a set, where . You may check the link provided to learn it as something extra.
(a) To compute and :
-
For :
-
All elements together: (1 way)
-
One element separate, two elements together: , , (3 ways)
-
Each element separate: (1 way)
Thus, .
-
-
For :
-
All elements together: (1 way)
-
One element separate, three elements together: , and similar arrangements for each of the other single elements (4 ways)
-
Two elements separate, two elements together: , , (3 ways)
-
One pair and two separate elements: Various combinations such as (6 ways)
-
Each element separate: (1 way)
Thus, .
-
(b) To demonstrate the recursive relationship for , consider a set with elements. By designating one element as special, we have nonspecial elements remaining. The number of ways to partition this set depends on the number of elements included with the special one:
-
The special element can be alone, contributing to the partitions as if it were absent, which gives us partitions.
-
If the special element is not alone, it can be grouped with any subset of the other elements. For each subset size (where ranges from 1 to ), there are ways to choose which elements to include with the special one. Each choice leaves elements to be partitioned in ways.
Thus, the recursive formula for can be written as:
However, this is essentially equivalent to:
since choosing elements to include with the special element (and thus remaining) or choosing elements to be separate (and to include with the special element) are complementary actions, and because there is one way to partition an empty set.
To compute using this formula:
-
Start with known values , , , and . Further values would typically be calculated in sequence using the formula.
-
Calculate each recursively using earlier values:
- Continue this calculation through to determine .
Finding Probability with Counting
In the practice, many cases are assumed that all outcomes are in the same sample space. Given a sample space , we have By axiom additivity, we know that
This makes things a lot easier, because we can get both numerator and denominator with counting method we have learned, or by enumerating cases. However, these problems are sometimes quite tricky, and cannot be solved by dubbing into formula without thinking.
Some Basic Problems
We start with some basic example.
If two dice are rolled, what is the probability that the sum of the upturned faces will equal 7?
We approach this problem using classical probability, which requires us to consider all equally likely outcomes. When two six-sided dice are rolled, the total number of outcomes is the product of the number of faces on each die, which is .
To find the probability of obtaining a sum of 7, we need to count the number of outcomes where the two dice sum up to 7. These outcomes can be enumerated explicitly:
There are 6 favorable outcomes. Thus, the probability of the sum being 7 is given by the ratio of the number of favorable outcomes to the total number of outcomes:
Therefore, the probability of the sum of the upturned faces of two dice being 7 is .
Consider the problem of selecting a committee of 5 members from a group of 6 men and 9 women. If the selection is made randomly, what is the probability that the committee consists of 3 men and 2 women?
To solve this problem, we can use the concept of combinations. A combination is a selection of items from a larger set such that the order of selection does not matter. In mathematical terms, the number of ways to choose items from a set of distinct items is given by the combination formula:
where denotes the factorial of .
For our problem, we first calculate the number of ways to choose 3 men from the 6 available:
Next, we calculate the number of ways to choose 2 women from the 9 available:
The number of ways to form a committee of 5 people (3 men and 2 women) is the product of the two combinations:
Finally, we calculate the total number of ways to form a committee of 5 members from the 15 people (6 men and 9 women) without any restriction on gender:
The probability of forming a committee of 3 men and 2 women is the ratio of the number of favorable outcomes to the total number of outcomes:
So, the probability is approximately or when expressed as a fraction.
An urn contains balls, one of which is special. If of these balls are withdrawn one at a time, with each selection being equally likely to be any of the balls that remain at the time, what is the probability that the special ball is chosen?
The selection of balls from is a classic example of combinations where order does not matter, and each selection is equally likely.
Since the balls are indistinguishable except for the special ball, the number of ways to choose balls from without considering any particular ball is:
The number of ways to choose balls from the remaining balls (after the special ball is chosen) is:
Thus, the probability that the special ball is among the chosen is the ratio of the two combinations, which simplifies to:
Alternatively, considering the events where the special ball is the -th ball chosen for , and since each ball is equally likely to be chosen at each draw, the probability .
Since these events are mutually exclusive, we have:
Thus, whether we consider the combinations or the individual probabilities of selection, the probability that the special ball is chosen is .
A total of 36 members of a club play tennis, 28 play squash, and 18 play badminton. Furthermore, 22 of the members play both tennis and squash, 12 play both tennis and badminton, 9 play both squash and badminton, and 4 play all three sports. How many members of this club play at least one of three sports?
Let denote the number of members of the club. Introducing probability by assuming that a member of the club is randomly selected, for any subset of members of the club, let denote the probability that the selected member is contained in , then
Now, with being the set of members that plays tennis, being the set that plays squash, and being the set that plays badminton, we apply the inclusion-exclusion principle:
Substituting the given numbers, we have:
Hence, we conclude that 43 members play at least one of the sports.
Further Problems
There are many tricky problems that are different from these basic problems that requires more techniques and reasoning. I will leave the rest of the examples optional only for those who are interested on this topic.
In the game of bridge, the entire deck of 52 cards is dealt out to 4 players. What is the probability that
-
one of the players receives all 13 spades;
-
each player receives 1 ace?
(a) Let be the event that hand has all 13 spades, then the probability for is given by the number of ways to choose the remaining 39 cards from the 52, while the spades are fixed:
Since the events , for , are mutually exclusive, the probability that one of the hands is dealt all 13 spades is:
(b) To determine the number of outcomes in which each of the distinct players receives exactly 1 ace, put aside the aces and note that there are possible divisions of the other 48 cards when each player is to receive 12. Because there are ways of dividing the 4 aces so that each player receives 1, we see that the number of possible outcomes in which each player receives exactly 1 ace is:
As there are possible hands, the desired probability is thus:
A football team consists of 20 offensive and 20 defensive players. The players are to be paired in groups of 2 for the purpose of determining roommates. If the pairing is done at random, what is the probability that there are no offensive-defensive roommate pairs?
There are
ways of dividing the 40 players into 20 ordered pairs of two each.(That is, there are ways of dividing the players into a frst pair, a second pair, and so on.) Hence, there are (40)!/2 ways of dividing the players into (unordered) pairs of 2 each. Furthermore, since a division will result in no offensive-defensive pairs if the offensive (and defensive) players are paired among themselves, it follows that there are such divisions. Hence, the probability of no offensive-defensive roommate pairs, call it , is given by
If people are present in a room, what is the probability that no two of them celebrate their birthday on the same day of the year? How large must be so that this probability is less than ?
Each person has 365 days available for a birthday, ignoring February 29 for simplicity. Thus, with people, there are possible outcomes. The probability that no two people have the same birthday is then:
This probability decreases as increases. It can be shown that when , this probability is less than . This is counterintuitive because 23 is much smaller than 365, but considering all possible pairs of individuals, the probability of a shared birthday becomes significant.
For a pair, the probability of having the same birthday is , and for 23 people, there are such pairs. When , the probability that at least two people have the same birthday is approximately , and with , the odds are better than in favor of a shared birthday.
Compute the probability that if married couples are seated at random at a round table, then no wife sits next to her husband.
If we let , for , denote the event that the th couple sit next to each other, the desired probability is . Now, from Proposition 4.4, we have:
To compute , we first note that there are ways of arranging people around a round table. Since each of the married couples can be arranged next to each other in one of two possible ways, it follows that there are arrangements that result in a specified set of men each sitting next to their wives. Thus, we have:
Applying the inclusion-exclusion principle, we obtain the probability that at least one married couple sits together. Simplifying the alternating sum, the desired probability is approximately .
Exercises
Let be a positive integer, and let be an arithmetic sequence with a non-zero common difference. If removing any two terms () from the sequence leaves the remaining terms that can be divided into groups, each containing four numbers that form an arithmetic sequence, then is called an -divisible sequence.
-
Write all pairs such that , making an -divisible sequence.
-
Prove that for , is a -divisible sequence.
-
From the integers , if two integers () are chosen randomly, denote the probability that is an -divisible sequence as . Prove that .
For (1), we can find obviously that taking the first or last two terms will make the remaining 4 terms a new arithmetic sequence. We can also make this happen by taking the first and the last term. Thus, there are three ordered pairs that satisfies the requirements, i.e., , and .
In (2), the sequence can be equivalently simplified to , where . This is because when , the rest of the sequence(except to ) must also be a arithmetic sequence with consecutive index. We know that . When no terms are removed, the common difference is , and when we remove , we can only make the common difference of the new sequences greater than 1. We can enumerate the cases here. When we are taking , we have{}, {}, the rest of the terms () cannot form a new arithmetic sequence. However, when we try as common difference, {}, {}, {}, three arithmetic sequences. The rest of the sequences where are all arithmetic sequences. Thus, we have proven the statement.
The last question is a bit tricky. But we can manage to find some patterns and make some postulation from what we have known from the previous questions. We can find out that
-
We can always get a divisible sequence by taking the first and last two terms, or taking out the first and the last term in the same time.
-
For any sequence, if we have confirmed that it's -divisible when equals some positive integer , then the sequence where are also -divisible.
-
If a sequence is -divisible, must hold when they are not the two initial or ending terms, because when the two elements to be excluded are too close in the middle of the sequence, it may disrupt some of the arithmetic sequences generated, like what we have found out in .
-
From (2) we can see that there could be some newly generated arithmetic sequence like when .
-
Overall, it turns out that that all ordered pairs can only be generated by , where and when or . By enumerate this pattern, we have two base cases: and , the latter is spotted when we enumerate the sequence when .
Putting all these in a table, everything comes clear, and we see two base cases and their successions are gaped by a diagonal (See tables below).
To further illustrate the pattern, we may also consider a recursive definition to the sequence. If we take as a base case, then each time we increase the index by 4, we can take it as shifting the 6-sequence's index by 4. So for every established implies and .
1 5 9 132
6
10
14
-divisible sequences
1 5 9 13 17 212
6
10
14
18
22
-divisible sequences
Therefore, the number of -divisible sequences can be represented by , and the number of choices is exactly .
So we need to prove that
This could be done by many ways, like taking limit, induction or even by investigating the global minimum of the function.
We use to denote and
Now we need to prove that .
Comments