Let (O,A) where O=state space and A = algebra on the state space.

A"=>"B => A more likely than B.

p() is a function that represents "=>":

A"=>"B <=> p(A)=>p(B)

Properties of p:

- normalized => p(empty set)=0 p(O)=1
- additive A intersect B = empty set => p(A union B)=p(A)+p(B)

P is unique <=> there exists n-1 Ai ~ Bi in A linearly independent.

Theorem:

A an algebra on O, "=>" a relation on A =>

- there exists P:O->R which represents "=>" <=> "=>" satisfies QP1, QP4
- "=>" satisfies QP1,QP2,QP3 /\ P(empty set)=0 /\ P(O)=1 => forall B in A: 1=>P(B)=>0
- "=>" satisfies QP1,QP2,QP3,QP4 => there exists P /\ there exists G:R^2->R s.t. C intersect B = empty set, P(A union B)=G(P(A),P(B))
- G(X,Y)=G(Y,X),
- G strictly increasing in x, G(x,p(empty set))=x,
- G associative G(G(x,y),z)=G(x,G(y,z))

The function G sometimes reduces to addition.

Theorem: O finite, A in 2^O =>

- there exists p:O->R representing "=>" and additive <=> "=> complete and QP5
- "=>" satisfies QP2 also => P(empty set) = 0 /\ P(O)=1 /\ pi=P(wi)=>0, Sum(pi)=1

source

jl@crush.caltech.edu index

countable_convex_continuation

qualitative_probability

probability_measure

probability_charge

random_variable

weighted

delta

J4