28.01.2015 Views

A Probability Course for the Actuaries A Preparation for Exam P/1

A Probability Course for the Actuaries A Preparation for Exam P/1

A Probability Course for the Actuaries A Preparation for Exam P/1

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

34 COUNTING AND COMBINATORICS<br />

The different numbers are {11, 12, 13, 21, 22, 23, 31, 32, 33}<br />

Of course, trees are manageable as long as <strong>the</strong> number of outcomes is not<br />

large. If <strong>the</strong>re are many stages to an experiment and several possibilities at<br />

each stage, <strong>the</strong> tree diagram associated with <strong>the</strong> experiment would become<br />

too large to be manageable. For such problems <strong>the</strong> counting of <strong>the</strong> outcomes<br />

is simplified by means of algebraic <strong>for</strong>mulas. The commonly used <strong>for</strong>mula is<br />

<strong>the</strong> Fundamental Principle of Counting which states:<br />

Theorem 3.1<br />

If a choice consists of k steps, of which <strong>the</strong> first can be made in n 1 ways,<br />

<strong>for</strong> each of <strong>the</strong>se <strong>the</strong> second can be made in n 2 ways,· · · , and <strong>for</strong> each of<br />

<strong>the</strong>se <strong>the</strong> k th can be made in n k ways, <strong>the</strong>n <strong>the</strong> whole choice can be made in<br />

n 1 · n 2 · · · · n k ways.<br />

Proof.<br />

In set-<strong>the</strong>oretic term, we let S i denote <strong>the</strong> set of outcomes <strong>for</strong> <strong>the</strong> i th task,<br />

i = 1, 2, · · · , k. Note that n(S i ) = n i . Then <strong>the</strong> set of outcomes <strong>for</strong> <strong>the</strong> entire<br />

job is <strong>the</strong> Cartesian product S 1 × S 2 × · · · × S k = {(s 1 , s 2 , · · · , s k ) : s i ∈<br />

S i , 1 ≤ i ≤ k}. Thus, we just need to show that<br />

n(S 1 × S 2 × · · · × S k ) = n(S 1 ) · n(S 2 ) · · · n(S k ).<br />

The proof is by induction on k ≥ 2.<br />

Basis of Induction<br />

This is just Theorem 2.4.<br />

Induction Hypo<strong>the</strong>sis<br />

Suppose<br />

n(S 1 × S 2 × · · · × S k ) = n(S 1 ) · n(S 2 ) · · · n(S k ).<br />

Induction Conclusion<br />

We must show<br />

n(S 1 × S 2 × · · · × S k+1 ) = n(S 1 ) · n(S 2 ) · · · n(S k+1 ).<br />

To see this, note that <strong>the</strong>re is a one-to-one correspondence between <strong>the</strong> sets<br />

S 1 ×S 2 ×· · ·×S k+1 and (S 1 ×S 2 ×· · · S k )×S k+1 given by f(s 1 , s 2 , · · · , s k , s k+1 ) =

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!