Events and probabilities
1.1 Experiments with chance
- experiment (or trial):a course of action whose consequence is not predetermined
- probability space:
- the set of all possible outcomes of the experiment
- a list of all the events which may possibly occur as consequences of the experiment
- an assessment of the likelihoods of these events.
- probability theory:Given any experiment involving chance, there is a corresponding probability space, and the study of such spaces.
1.2 Outcomes and events
- Sample Space:a list of all the possible outcomes of
a particular experiment,The set of all such possible outcomes, we
usually denote it by
- elementary event:The Greek letter
denotes a typical member of , and we call each member ω an elementary event. - Event Space:The collection
of subsets of the sample space is called an event space if is non-empty - if A
F then - if
then
- an event space
as being closed under the operations of taking complements and countable unions - An event space
must contain the empty set and the whole set . - An event space is closed under the operation of finite unions
- An event space is also closed under the operations of taking finite or countable intersections
1.3 Probabilities
- Probability Measure:A mapping
is called a probability measure on if for , and , - Countably Additivity:if
, . . . are disjoint events in (in that whenever ) then
1.4 Probability spaces
- Probability Space:A probability space is a
triple
of objects such that is a non-empty set, is an event space of subsets of , is a probability measure on .
- Property:
- If
, then - If
, then . - If
then . - If
then . - If
and then .
- If
1.5 Discrete sample spaces
Let
1.6 Conditional probabilities
- (conditional) probability:If
and , the (conditional) probability of given is denoted by and defined by - Theorem:If
and then is a probability space where is defined by .
1.7 Independent events
- Events
and of a probability space are called independent if and dependent otherwise. - A family
of events is called independent if, for all finite subsets of , The family is called pairwise independent if it holds whenever There are families of events which are pairwise independent but not independent
1.8 The partition theorem
- A partition of
is a collection of disjoint events with union . - Partition theorem:If
is a partition of with for each , then This theorem has several other fancy names such as ‘the theorem of total probabilityand it is closely related to ‘Bayes’ theorem’. - Bayes’ theorem:Let
a partition of the sample space with for each For any event with ,
1.9 Probability measures are continuous
- A sequence
of events in a probability space is called increasing if The union of such a sequence is called the limit of the sequence. - Continuity of probability measures:Let
be a probability space. If is an increasing sequence of events in with limit , then
推荐阅读