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

Click For Summary
SUMMARY

The discussion centers on the completion of the σ-algebra \(\mathcal{A}\) on \(\mathbb{R}^2\) under a point mass measure concentrated at (0,0). The completion \((\mathcal{A})_{\delta}\) is defined such that for any set \(A \in \mathcal{A}\), \(A\) is included in the completion if there exist sets \(E\) and \(F\) in \(\mathcal{A}\) satisfying \(E \subset A \subset F\) and \(\delta(F - E) = 0\). The conclusion drawn is that the completion of any σ-algebra under a point mass measure remains the original σ-algebra, which raises questions about the necessity of the problem's complexity. The discussion highlights the importance of understanding sets of measure zero in the context of σ-algebras.

PREREQUISITES
  • Understanding of σ-algebras in measure theory
  • Familiarity with point mass measures and their properties
  • Knowledge of measurable spaces and completion of measures
  • Basic concepts of set theory and unions of sets
NEXT STEPS
  • Study the properties of point mass measures in detail
  • Explore the concept of measure zero sets and their implications
  • Learn about the completion of σ-algebras in various contexts
  • Investigate examples of σ-algebras beyond vertical lines in \(\mathbb{R}^2\)
USEFUL FOR

Mathematicians, students of measure theory, and anyone interested in advanced concepts of σ-algebras and point mass measures in the context of real analysis.

Sarcasticus
Messages
1
Reaction score
0
Hello;

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!
 
Physics news on Phys.org
Think about a subset of R^2 that isn't a union of vertical lines but doesn't contain (0,0). Isn't that in the completion? I think the point is is to complete a sigma algebra of measureable sets by adding all sets of 'measure zero'.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K