3.141592654 said:
I have seen in class the following formula used:
[itex]P(A | C) = \sum_{B} P(A | B \cap C)*P(B | C)[/itex]
I don't understand how this formula works? Can anyone help me understand how it can be derived and how I can understand it intuitively? Can a venn diagram be drawn to illustrate this formula?
Do you understand the formula [itex]P(A) = \sum_{B} P(A| B) P(B)[/itex]?
The formula you quoted above is the same formula.
(In both formulas, the variable [itex]B[/itex] must range over a collection of mutually exclusive sets whose union contains [itex]A[/itex]. In problems, this collection of sets is usually a "partition" of the entire probability space. )
The notation "|" for "given" cannot be captured by the visual appearance of a Venn diagram. The event denoted by "[itex]X|Y[/itex] " and the event denoted by [itex]X \cap Y[/itex] are the same set of points.
The notation [itex]P(X|Y)[/itex] implies that we consider the "probability space" to be the set [itex]Y[/itex].
The notation [itex]P(X \cap Y)[/itex] implies that we consider the whole probability space to be whatever it is in the statement of the problem, before any conditions are mentioned.
Any "law" of probability like [itex]P(A^c) = 1 - P(A)[/itex] is understood to apply within some given probability space of "all possible outcomes". If we let [itex]S[/itex] represent this space then we could write [itex]P(A^c|S) = 1 - P(A|S)[/itex]. Usually we leave the space [itex]S[/itex] out of our notation.
The formula [itex]P(A) = \sum_{B} P(A|B) P(B)[/itex] applied when the probability space is [itex]C[/itex] becomes:
[itex]P(A|C) = \sum_{B} P( (A|B) | C) P(B|C)[/itex]
This leaves only the problem of interpreting [itex]P( (A|B) | C)[/itex]. We have to argue that this is the same as [itex]P(A | B \cap C)[/itex]. It might be a tangle of words to do so, but I hope it is intuitively clear.