PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
conditional probability (Definition)

Let $ (\Omega, \mathfrak{B}, \mu)$ be a probability space, and let $ X,Y\in\mathfrak{B}$ be events.

The conditional probability of $ X$ given $ Y$ is defined as

$\displaystyle \mu(X\vert Y) = \frac{\mu(X \cap Y)}{\mu(Y)}$ (1)

provided $ \mu(Y)>0$. (If $ \mu(Y)=0$, then $ \mu(X\vert Y)$ is not defined.)

If $ \mu(X)>0$ and $ \mu(Y)>0$, then

$\displaystyle \mu(X\vert Y)\mu(Y) = \mu(X\cap Y) = \mu(Y\vert X)\mu(X),$ (2)

and so also
$\displaystyle \mu(X\vert Y) = \frac{\mu(Y \vert X)\mu(X)}{\mu(Y)},$ (3)

which is Bayes' Theorem.



"conditional probability" is owned by yark. [ full author list (2) | owner history (1) ]
(view preamble)

View style:

See Also: conditional entropy, Bayes' theorem, conditional expectation


Attachments:
probability conditioning on a sigma algebra (Definition) by CWoo
regular conditional probability (Definition) by CWoo
Log in to rate this entry.
(view current ratings)

Cross-references: Bayes theorem, events, probability space
There are 9 references to this entry.

This is version 5 of conditional probability, born on 2002-02-18, modified 2005-12-05.
Object id is 2097, canonical name is ConditionalProbability.
Accessed 8773 times total.

Classification:
AMS MSC60A99 (Probability theory and stochastic processes :: Foundations of probability theory :: Miscellaneous)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)