Machine-translated by Google. Questions are authored in English.
Top

Discussion

Let \(\mathbf{F}\) be a \(\sigma\)-field of subsets of \(\Omega\). Let \(\mu\) be a non-negative, finitely additive set function on \(\mathbf{F}\).

Suppose \(\{A_{n}\}\) is a sequence of disjoint sets such that \(\bigcup_{n=1}^{\infty} A_{n} \in \mathbf{F}\).

Then which of the following statements is always correct ?

  • A.\(\sum_{n=1}^{\infty} \mu(A_{n}) = \mu\left(\bigcup_{n=1}^{\infty} A_{n}\right)\)
  • B.\(\sum_{n=1}^{\infty} \mu(A_{n}) \ge \mu\left(\bigcup_{n=1}^{\infty} A_{n}\right)\)
  • C.\(\sum_{n=1}^{\infty} \mu(A_n^c) = \mu(\bigcup_{n=1}^{\infty} A_n^c)\)
  • D.\(\sum_{n=1}^{\infty} \mu(A_{n}) \le \mu\left(\bigcup_{n=1}^{\infty} A_{n}\right)\)

Answer: D

The statement always correct is \(\sum \mu(A_{n}) \le \mu\left(\bigcup A_{n}\right)\).

Let \(A = \bigcup A_{n}\). For each \(N\), finite additivity and monotonicity (which follows from finite additivity and non-negativity) give

\[ \begin{aligned} \sum_{n=1}^{N} \mu(A_{n}) &= \mu\left(\bigcup_{n=1}^{N} A_{n}\right) \\ &\le \mu(A) \end{aligned} \]

Letting \(N \to \infty\) gives the inequality. Equality (option A) is countable additivity, which a merely finitely additive function need not have; so the reverse inequality B can also fail. Option C is wrong because the complements \(A_{n}^{c}\) are not disjoint.

No comment is present. Be the first to comment.
Loading…

Post your comment

Please log in or register to post a comment.