Main Page

From ProofWiki

Jump to: navigation, search
ProofWiki would appreciate your help! Please Donate.

Welcome to ProofWiki, the online compendium of mathematical proofs. Log in or create an account to contribute!

Welcome to ProofWiki!

Welcome to ProofWiki.org! ProofWiki is an online compendium of mathematical proofs! Our goal is the collection, collaboration and classification of mathematical proofs. If you are interested in helping create an online resource for math proofs feel free to Create an account and contribute! Thanks and enjoy!

If you have any questions, comments, or suggestions please contact webmaster at proofwiki.org , post on the discussion page, or contact one of the ProofWiki sysops. To see what's currently happening in the ProofWiki community, visit the community portal.


Proof Index ~ Definitions ~ Sandbox


Site Statistics
Proofs:2,575
Definitions:2,028
Users:235
Quick Tips

Latest Proof: Double Negation Elimination on 2 September 2010 by Prime.mover

Top 10 Wanted Proofs

Want to do something different? Check here for articles linked to but not created, or finish a stub article.

News

July 6, 2010

  • Our 2,500th proof is up! Exactly a year since the 2,000th proof.--Matt Westwood 21:14, 6 July 2010 (UTC)

March 14, 2010

  • Happy Pi Day to the ProofWiki community! --Cynic (talk) 20:21, 14 March 2010 (UTC)

December 26, 2009

  • We are back to the user only editing policy due to a bot attack yesterday. Until we can figure something else out this is how it will have to be. --Joe (talk)

December 24, 2009

  • Articles can now be created and edited by anyone, no need to log in or create an account unless you want to. --Joe (talk)

July 6, 2009

June 28, 2009

June 17, 2009

  • Over 1000 definitions! It's a banner month for ProofWiki it seems! --Cynic (talk)

June 15, 2009

  • Upgraded site software to newest version (1.15.0) --Joe (talk)

June 6, 2009

February 13, 2009

January 25, 2009

December 25, 2008

  • ProofWiki would like to wish you all a Merry Christmas! (And a happy Taiwanese Constitution Day for all the non-Christians) --Cynic-----(talk)
Show All News


Proof of the Week

Bayes' Theorem


Theorem

Let \Pr be a probability measure on a probability space \left({\Omega, \Sigma, \Pr}\right).

Let \Pr \left({A | B}\right) denote the conditional probability of A given B.


Let \Pr \left({A}\right) > 0 and \Pr \left({B}\right) > 0.

Then:

\Pr \left({B | A}\right) = \frac {\Pr \left({A | B}\right) \Pr \left({B}\right)} {\Pr \left({A}\right)}


Generalized Versions

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 \left\{{B_1, B_2, \ldots}\right\} be a partition of the event space \Sigma.


Then, for any B_i in the partition:

\Pr \left({B_i | A}\right) = \frac {\Pr \left({A | B_i}\right) \Pr \left({B_i}\right)} {\Pr \left({A}\right)} = \frac {\Pr \left({A | B_i}\right) \Pr \left({B_i}\right)} {\sum_j \Pr \left({A | B_j}\right) \Pr \left({B_j}\right)}


Proof

From the definition of conditional probabilities, we have:

  • \Pr \left({A | B}\right) = \frac{\Pr \left({A \cap B}\right)} {\Pr \left({B}\right)}
  • \Pr \left({B | A}\right) = \frac{\Pr \left({A \cap B}\right)} {\Pr \left({A}\right)}


After some algebra:

\Pr \left({A | B}\right) \Pr \left({B}\right) = \Pr \left({A \cap B}\right) = \Pr \left({B | A}\right) \Pr \left({A}\right)


Dividing both sides by \Pr \left({A}\right) (we are told that it is non-zero), the result follows:

\Pr \left({B | A}\right) = \frac {\Pr \left({A | B}\right) \Pr \left({B}\right)} {\Pr \left({A}\right)}

\blacksquare


Proof of Generalized Version

Follows directly from the Total Probability Theorem:

\Pr \left({A}\right) = \sum_i \Pr \left({A | B_i}\right) \Pr \left({B_i}\right)

\blacksquare


Note

This result is also known as Bayes' Formula.


The formula:

\Pr \left({A | B}\right) \Pr \left({B}\right) = \Pr \left({A \cap B}\right) = \Pr \left({B | A}\right) \Pr \left({A}\right)

is sometimes called the product rule for probabilities.


Source of Name

This entry was named for Thomas Bayes .


Personal tools