Register to reply 
Algebraic proofs for probability equations? 
Share this thread: 
#1
Mar414, 02:40 PM

P: 115

Hello
So I'll be going back to school for math next semester, so I might not know the answer to this because I haven't taken combinatorics. I only really know algebra one and two, calc one and some trig. Anyway, currently studying for my cfa, and it's easy enough to plug the formulas in, but they don't show you how they were derived. So for the two following formulas: 1) P(ab) = p(a) x p(b) (like the chance of getti two heads on two consecutive coin flips 2) p (ab) = p(ab)/p(b) (conditional probability) They both make intuitive sense and I can prove them wih a tree diagram but Im just curious if there's an algebraic proof Thanks I advance, probably a simple answer 


#2
Mar414, 03:25 PM

Sci Advisor
P: 6,077

1) can't be proven as such. Essentially it is an equation describing the relation between independent events. If a and b are not independent, then the equation does not hold.
2) is (almost) the definition of conditional probability. 


#3
Mar414, 03:26 PM

P: 115

1) why can't it be proven? And yeah I'm talking about independent events
2) I know it's the definition, but how was it derived? Can neither be proven then? Sorry if I'm missing something 


#4
Mar414, 03:37 PM

Mentor
P: 18,331

Algebraic proofs for probability equations?



#5
Mar414, 03:39 PM

P: 115

Yeah, it is intuitively clear and I can show examples...I just wasn't sure if it was provable using general laws of math (or whatever you call the twelve properties spivak listed )



#6
Mar414, 03:44 PM

Mentor
P: 18,331

So, once you give a rigorous definition of ##P(A~~B)##, we can see if we can prove (2). 


#7
Mar414, 04:11 PM

P: 115

Do you have a rigorous definition of two? Is there one? If there is, that's what I'm missing. I'm assuming that mathematicians don't just accept this equation without a rigorous definition. Am I just in over my head? Like should I wait until I start taking probability classes I'm a few years before asking this kind of thing?



#8
Mar414, 04:14 PM

Mentor
P: 18,331




#9
Mar414, 04:18 PM

P: 115




#11
Mar414, 04:21 PM

P: 115

The rigorous definitions



#12
Mar414, 04:22 PM

Mentor
P: 18,331

Definition: ##A## and ##B## are defined to be independent if ##P(A\cap B) = P(A)P(B)##. Definition: if ##P(B)\neq 0##, then we define ##P(A~\vert~B) = \frac{P(A\cap B)}{P(B)}##. 


#13
Mar414, 04:25 PM

P: 115

But how do we know that it will hold for all values, without doing a tree diagram for every possible example? Or do we not know?



#14
Mar414, 04:26 PM

Mentor
P: 18,331




#15
Mar414, 04:50 PM

P: 115

I must not be understanding...so because somebody defined a definition that way, nature conformed around that guys definition? So the chance of flipping a coin two consecutive times and getting two consecutive heads is 25% because somebody defined it as so? What if he made the deviation p(ab)=(p(a) times p(b))^2, would coins start only landing on heads twice in a row 6.25% of the time now since I defined it that way? I know what im saying sounds ridiculous, but I'm phrasing it this way because maybe now you can see my confusion 


#16
Mar414, 05:01 PM

Mentor
P: 18,331

First of all, you need to understand that what nature says or thinks doesn't matter for mathematics. So if we defined ##P(A\cap B) = (P(A)P(B))^2##, then that would be mathematically valid. What matters for mathematicians is that we are given a system of basic rules and definitions, and that we can use those to deduce correctly certain laws. So when you ask "Please prove the following for me", then you must understand that this is entirely dependent of what you accept as rules and definitions. In particular, definitions cannot be proven. However, and this is my second point, definitions can be motivated! While defining [tex]P(A\cap B) = (P(A)P(B))^2[/tex] is entirely possible mathematically, this would be a useless definition since it wouldn't conform to what we know about nature. So nobody uses this definition. However, the definition [tex]P(A\cap B) = P(A)P(B)[/tex] does conform to nature, which is why we use this. But then you ask of course, "can you prove that it conforms to nature?" No, we can't. A "proof" is someting mathematical, and in order to prove something we need to have defined it. Nature does not provide us with a definition of "independence". It only supplies us with some kind of intuition about what it should be. So while we can never quite prove that definitions conform to nature, we can motivate the definition. We can use our intuition on basic examples and using this, we can see intuitively what should be true. So if we take two dice and throw them separately, then we can see intuitively (using tree diagrams or whatever) that [tex]P(A\cap B) = P(A)P(B)[/tex] This motivates us to say that the above equation should be true for independent events. So we take it as a definition. As you see, there are two parts in mathematics. You have the formal part where everything is defined for you and you "only" need to deduce things from the rules and definitions. However, many teachers and many students tend to forget about the second part which is the intuitive part. This part asks us to motivate the definitions and rules we work with. Personally, I think this second part is the hardest part, and the most important one. 


#17
Mar414, 05:05 PM

P: 115

Ah, thanks for that! Yeah, I kind of already knew that, but I remember asking in another thread about something like that, and somebody told me everything could be proved...and I got confused there.
So basically, somebody played around with a bunch of examples, saw this was the general pattern, and said "ok, let's try to deduce more things using this pattern as the basis until somebody proves it wrong"? 


Register to reply 
Related Discussions  
Probability  factorial algebraic manipulation  General Math  1  
Algebraic proofs of trigonometric identities  General Math  13  
Probability proofs  Calculus & Beyond Homework  0  
Tough (algebraic) probability problem.  Set Theory, Logic, Probability, Statistics  1  
Numerical solutions of system of nonlinear algebraic equations nonlinear algebraic eq  General Math  6 