Construction of a probability space.

AI Thread Summary
A probability space (Ω, A, P[·]) can be constructed where A = {Ω, ∅}, with P[Ω] = 1 and P[∅] = 0, satisfying the condition that if P[A1] = P[A2], then A1 = A2. This construction is deemed valid by participants in the discussion. For a more complex example, a discrete set with two elements, A and B, can be used, assigning probabilities P(A) = 1/3 and P(B) = 2/3. Another participant shared their experience of constructing a similar probability space for a biased coin. The discussion highlights various approaches to defining probability spaces.
chocolatefrog
Messages
11
Reaction score
0
Q. Exhibit (if such exists) a probability space, denoted by (Ω, A, P[·]), which satisfies the following. For A1 and A2 members of A, if P[A1] = P[A2], then A1 = A2.

Answer: A = {Ω, ∅}, P[Ω] = 1 and P[∅] = 0. Is this a valid answer to the above question?
 
Physics news on Phys.org
Looks ok to me.
 
haruspex said:
Looks ok to me.

Thank you, haruspex!
 
If you want something more interesting, you can work with discrete sets. Example: 2 elements (A,B) with P(A) = 1/3 and P(B) = 2/3.
 
mathman said:
If you want something more interesting, you can work with discrete sets. Example: 2 elements (A,B) with P(A) = 1/3 and P(B) = 2/3.

Thanks, mathman. I ended up doing something similar; constructed such a space for a biased coin.
 
I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...
Back
Top