Countable additivity is one of the properties that characterize probability.
Countable additivity is also called sigma-additivity
(-additivity).
A well-defined probability measure
must
have the property that
where
is a sequence of mutually exclusive events (i.e.,
if
).
In other words, the probability of a countable union of disjoint events must be equal to the sum of their probabilities.
This property is called countable additivity.
It is easy to prove that countable additivity implies finite additivity, that
is,for
any set of
mutually exclusive events.
Note that
for any
.
Therefore, we can set
for
in the definition of countable additivity.
People sometimes ask how countable additivity can be proved.
It cannot be proved. It is a defining property of probability. It is an axiom
that
is required to satisfy in order to be called a probability.
Why don't we impose the simpler and more easily understandable axiom of finite additivity?
Basically, it is for mathematical convenience.
With a slight abuse of notation, we would like the following continuity
property of probability to
holdwhich
allows us to interchange limits and probabilities.
This continuity is guaranteed only by the sigma-additivity axiom.
The lecture on probability contains more details about countable additivity and the other two properties that define probability, namely:
the range property,
the sure thing property.
Previous entry: Convolutions
Next entry: Covariance formula
Please cite as:
Taboga, Marco (2021). "Countable additivity", Lectures on probability theory and mathematical statistics. Kindle Direct Publishing. Online appendix. https://www.statlect.com/glossary/countable-additivity.
Most of the learning materials found on this website are now available in a traditional textbook format.