Quote:
Originally Posted by lastcardcharlie
And replace it with:
5. if O(A) = 1 and A, B are disjoint then O(B) = 0?
If A and B are disjoint, then by (1), O(A ∩ B) = O(Ø) = 0. So by (3), either O(A) = 0 or O(B) = 0. Hence, (5) is a consequence of (1) and (3).
Looking at it again, though, I would not only drop #4, I would also relax things a bit so that O need not be defined on all of
F.
Let me try to rephrase the point of my earlier post as it relates to your question. You asked if events with probability zero can occur. Well, what exactly occurs? Traditionally, we answer this question by looking to the outcome, which is traditionally defined as an element in the sample space.
My suggestion is that we should not be using this definition. The fundamental objects in a probability model are the events and their probabilities. We ought to be able to define an "outcome" intrinsically in terms of the events. Knowing the outcome should mean that we know exactly which events occurred and which did not. This means an "outcome" should be defined as an ultrafilter on the (sigma-)algebra of events, which is what (1)-(4) give us.
In a finite sample space, the traditional definition of "outcome" and my suggested definition are equivalent, since every ultrafilter on a finite sample space is principal. But on an infinite sample space, the definitions are different, and under my suggested definition, it is perfectly consistent to claim that events of probability zero never occur.
If we do not know the outcome, but have made some (partial) observations, then there will be some events we know occurred, some we know did not occur, and some whose occurrence we cannot determine. In that case, what we are looking at is not an ultrafilter of events, but simply a filter.
Last edited by jason1990; 03-27-2010 at 02:12 AM.