# Bayes' Theorem

(Redirected from Bayes' Formula)

## Theorem

Let $\Pr$ be a probability measure on a probability space $\struct {\Omega, \Sigma, \Pr}$.

Let $\condprob A B$ denote the conditional probability of $A$ given $B$.

Let $\map \Pr A > 0$ and $\map \Pr B > 0$.

Then:

$\condprob B A = \dfrac {\condprob A B \, \map \Pr B} {\map \Pr A}$

### General Result

There are other more or less complicated ways of saying very much the same thing, all of which can be derived from the basic version with the help of other fairly elementary results.

For example:

Let $\set {B_1, B_2, \ldots}$ be a partition of the event space $\Sigma$.

Then, for any $B_i$ in the partition:

$\condprob {B_i} A = \dfrac {\condprob A {B_i} \map \Pr {B_i} } {\map \Pr A} = \dfrac {\condprob A {B_i} \map \Pr {B_i} } {\sum_j \condprob A {B_j} \map \Pr {B_j} }$

where $\ds \sum_j$ denotes the sum over $j$.

## Proof

From the definition of conditional probabilities, we have:

$\condprob A B = \dfrac {\map \Pr {A \cap B} } {\map \Pr B}$
$\condprob B A = \dfrac {\map \Pr {A \cap B} } {\map \Pr A}$

After some algebra:

$\condprob A B \, \map \Pr B = \map \Pr {A \cap B} = \condprob B A \, \map \Pr A$

Dividing both sides by $\map \Pr A$ (we are told that it is non-zero), the result follows:

$\condprob B A = \dfrac {\condprob A B \, \map \Pr B} {\map \Pr A}$

$\blacksquare$

## Also known as

This result is also known as Bayes' Formula.

The formula:

$\condprob A B \, \map \Pr B = \map \Pr {A \cap B} = \condprob B A \, \map \Pr A$

is sometimes called the product rule for probabilities.

## Source of Name

This entry was named for Thomas Bayes.
The text passage provides a detailed explanation of Bayes' Theorem, including its general form and a proof. It does not contain any specific mathematical questions or answers to such questions.
no_question
Given a text passage, determine:
    1. If it contains a mathematical question (including word problems or calculations)
    2. If an answer to that mathematical question is provided in the text

First, describe the content structure you found in 1-2 sentences.

Then provide your analysis in the following format:
TYPE: <one of the following values>
- NO_QUESTION
- SINGLE_QUESTION
- SINGLE_QUESTION_WITH_ANSWER
- MULTIPLE_QUESTIONS
- MULTIPLE_QUESTIONS_WITH_ANSWERS
system
# Bayes' Theorem

(Redirected from Bayes' Formula)

## Theorem

Let $\Pr$ be a probability measure on a probability space $\struct {\Omega, \Sigma, \Pr}$.

Let $\condprob A B$ denote the conditional probability of $A$ given $B$.

Let $\map \Pr A > 0$ and $\map \Pr B > 0$.

Then:

$\condprob B A = \dfrac {\condprob A B \, \map \Pr B} {\map \Pr A}$

### General Result

There are other more or less complicated ways of saying very much the same thing, all of which can be derived from the basic version with the help of other fairly elementary results.

For example:

Let $\set {B_1, B_2, \ldots}$ be a partition of the event space $\Sigma$.

Then, for any $B_i$ in the partition:

$\condprob {B_i} A = \dfrac {\condprob A {B_i} \map \Pr {B_i} } {\map \Pr A} = \dfrac {\condprob A {B_i} \map \Pr {B_i} } {\sum_j \condprob A {B_j} \map \Pr {B_j} }$

where $\ds \sum_j$ denotes the sum over $j$.

## Proof

From the definition of conditional probabilities, we have:

$\condprob A B = \dfrac {\map \Pr {A \cap B} } {\map \Pr B}$
$\condprob B A = \dfrac {\map \Pr {A \cap B} } {\map \Pr A}$

After some algebra:

$\condprob A B \, \map \Pr B = \map \Pr {A \cap B} = \condprob B A \, \map \Pr A$

Dividing both sides by $\map \Pr A$ (we are told that it is non-zero), the result follows:

$\condprob B A = \dfrac {\condprob A B \, \map \Pr B} {\map \Pr A}$

$\blacksquare$

## Also known as

This result is also known as Bayes' Formula.

The formula:

$\condprob A B \, \map \Pr B = \map \Pr {A \cap B} = \condprob B A \, \map \Pr A$

is sometimes called the product rule for probabilities.

## Source of Name

This entry was named for Thomas Bayes.
user
The text passage provides a detailed explanation of Bayes' Theorem, including its general form and a proof. It does not contain any specific mathematical questions or answers to such questions.

TYPE: NO_QUESTION