In probability therory we call Bayes' theorem a relation between probability and a probablity of an inversly conditioned event. This relationship was published by Thomas Bayes in his article An Essay towards solving a Problem in the Doctrine of Chances in 1763.
Definition
Suppose we have two events and such that and , than
Suppose we have mutually exclusive and exhaustive events such that , for all , where , than
Prove
The prove of the first equation stems from a definition of conditional probability, i.e.:
After multiplication of both equations by the denominator on their right sides we get:
To retrieve the desired relation, we divide the equation by .
The prove of the second relation is identical. We only have to use expression from the rule of total probability, i.e.:
Example
Charles underwent X-ray screening of chest and the results came back positive for lung cancer. Determine the probability that Charles really has lung cancer, if you know that the false positive rate of the test performed is and false negative rate is . You also know that Charles works as an accountant and only 2 of 1000 of his colleagues have lung cancer.
Probability that Charles has lung cancer is only .
Example 2
George underwent the same test as Charles (and the test also came back positive). But George worked for 20 years in a coal mine. George knows that of his former colleagues have lung cancer. What is the probability that George has lung cancer too?
Probability that George has lung cancer is almost .
Sources
- NEAPOLITAN, Richard E. Learning Bayesian Networks. Chicago, Illinois: Northeastern Illinois University, 2003, p. 12-29. ISBN 978-0130125347.