complete measure

From: Man (sudjok_at_yahoo.com)
Date: 09/23/04 

Date: Thu, 23 Sep 2004 12:15:38 +0000 (UTC)

Please help me with this problem:

Let m* is a outer measure on a set W, A* system of of all m*-measurable
sets A in W, m*|A* - restriction of m* to A*.

I have to prove that

1) m*|A* is complete.

2)If A is a sigma algebra in a set W, w in W and {w} in A, then the Dirac
measure e_w on A is complete just when A=P(W) (P(W)-power set).

A measure m on a sigma-algebra A in W is called complete if every subset
 of a m-null set belongs to A, and consequently is itself a m-null set.
Thank you.

Quantcast