Hello;(adsbygoogle = window.adsbygoogle || []).push({});

1. The problem statement, all variables and given/known data

Let [tex]\mathcal{A}[/tex] be the [tex]\sigma[/tex]-algebra on [tex]\mathbb{R}^2[/tex] that consists of all unions of (possibly empty) collections of vertical lines. Find the completion of [tex]\mathcal{A}[/tex] under the point mass concentrated at (0,0).

2. Relevant equations

1st: Completion is defined as follows: Let [tex](X, \mathcal{A})[/tex] be a measurable space, and let [tex]\mu[/tex] be a measure on [tex]\mathcal{A}[/tex]. The completion of [tex]\mathcal{A}[/tex] under [tex]\mu[/tex] is the collection [tex]\mathcal{A}_{\mu}[/tex] of subsets A of X for which there are sets E and F in [tex]\mathcal{A}[/tex] such that

1) E [tex]\subset[/tex] A [tex]\subset[/tex] F, and

2) [tex]\mu[/tex](F-E) = 0.

2nd: A point mass measure concentrated at x is a measure [tex]\delta_x[/tex]defined on a sigma-algebra [tex]\mathcal{A}[/tex] such that, for any [tex]A \in \mathcal{A}[/tex], [tex]\delta_x(A) = 1[/tex] if [tex]x \in A[/tex] and [tex]\delta_x(A) = 0[/tex] otherwise.

3. The attempt at a solution

Here's my answer: Let [tex](\mathcal{A})_{\delta}[/tex] denote the completion of [tex]\mathcal{A}[/tex] under the pt. mass concentrated at (0,0) and let [tex]\delta[/tex] denote said measure. Then, for any set [tex]A \in \mathcal{A}[/tex], we have

[tex]A \subset A \subset A[/tex] and [tex]\delta(A-A)=0[/tex] always, so [tex]\mathcal{A} \in (\mathcal{A})_{\delta}.[/tex]

Consider any set [tex]A \in (\mathcal{A})_{\delta}[/tex]; then there exist sets E, F belonging to [tex]\mathcal{A}[/tex] such that [tex]E \subset A \subset F[/tex] and [tex]\delta(F - E) = 0[/tex]. Which means that either both E and F contain a line intersecting the origin, or neither does. This mean A will follow suit and, further, [tex]A \subset F[/tex] means that [tex]A \in \mathcal{A}[/tex] and hence [tex](\mathcal{A})_{\delta} \subset \mathcal{A}[/tex] and thus [tex]\mathcal{A} = (\mathcal{A})_{\delta}[/tex]

Except, this means the completion of any sigma algebra under a point mass measure will again be the sigma algebra. And, if this were the case, why wouldn't they just give us the general question in the first place, instead of a bunch of questions about it? (Only one displayed here.)

Hence, I think my answer mucks up somewhere.

Thanks in advance!

**Physics Forums - The Fusion of Science and Community**

# Measure Theory - The completion of R^2 under a point mass measure

Have something to add?

- Similar discussions for: Measure Theory - The completion of R^2 under a point mass measure

Loading...

**Physics Forums - The Fusion of Science and Community**