- #1
Sarcasticus
- 2
- 0
Hello;
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).
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.
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!
Homework Statement
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).
Homework 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.
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!