Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Can someone explain me in simple words what $\sigma$-additivity is? For example, if we have a probability space ($\Omega$,$\mathcal{F}$,P), what it means that the application $$ B \mapsto P(A\cap B) $$ is $\sigma$-additive over $\mathcal{F}$?

I found it for the first time in probability theory and I don't understand the implication that it has in the theory.

share|improve this question
add comment

2 Answers

up vote 1 down vote accepted

A map $m\colon \mathcal F\to \Bbb R_{\geq 0}$ is $\sigma$-additive if for each sequence $\{B_n\}\subset \mathcal F$ of pairwise disjoint measurable sets, we have $$m\left(\bigcup_{n=1}^{+\infty}B_n\right)=\sum_{n=1}^{+\infty}m(B_n).$$ This is the formal definition.

This means that the "measure" of a disjoint union is the sum of the "measures" of each elements of the union. The letter $\sigma$ expresses an idea of countability, as we can work with maps finitely-additive. It allows us to work with sequences of sets.

share|improve this answer
add comment

An $f$ function is additive, if for any finite sequence of elements $a_i$, $$f\left(\sum_i a_i\right) = \sum_i f(a_i)$$ Then, $f$ is $\sigma$-additive, if it also holds for any countable infinite set $\{a_i\}_i$ of elements.

In measure (and probabilistic) context, it is only said so for pairwise disjoint sets in place of the $a_i$'s, and $\sum a_i$ is meant their union. And its meaning is the usual 'additivity' property of the area (and volume and similar) notion.

$P$ is a probability measure, so, by definition it is assumed to be $\sigma$-additive, and so is $B\mapsto P(B\cap A)$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.