Proving Measurability and Zero Area for Finite Sets in a Plane

  • Thread starter Thread starter courtrigrad
  • Start date Start date
  • Tags Tags
    Measurable Sets
Click For Summary
SUMMARY

This discussion focuses on proving the measurability and zero area of specific finite sets in a plane: a single point, a finite number of points, and the union of finite line segments. The key argument for a single point is that it can be enclosed within intervals of arbitrarily small length, demonstrating its measurability with area zero. For a finite number of points, the concept of "summability" is applied, as the sum of a finite number of zeros is zero. Lastly, for line segments, surrounding each segment with rectangles of diminishing width effectively shows that their total area is also zero.

PREREQUISITES
  • Understanding of basic measure theory concepts
  • Familiarity with the properties of intervals and rectangles in a plane
  • Knowledge of summability and its implications in measure theory
  • Basic geometric principles related to area and length
NEXT STEPS
  • Explore advanced topics in measure theory, focusing on Lebesgue measure
  • Study the properties of measurable sets in higher dimensions
  • Learn about the implications of zero measure in probability theory
  • Investigate the concept of rectifiable sets and their applications
USEFUL FOR

Mathematicians, students of measure theory, and anyone interested in geometric properties of sets in a plane will benefit from this discussion.

courtrigrad
Messages
1,236
Reaction score
2
Lets say we have the following sets: (a) set consisting of a single point (b) set consisting of finite number of points in a plane (c) union of a finite collection of line segments in a plane. We want to prove that each of these sets is measurable and has zero area. Ok so here is how I started:

So for (a) Q is a step that can be enclosed between two step regions S and T so that there is one c which satisfies the inequalities [tex]a(S) \leq c \leq a(T)[/tex] for all regions S and T satisfying this then Q is measurable and [tex]a(q) = c[/tex] So should I choose c = 0? This will be both less than and greater than two given areas. Should I do the same thing for the other parts?

Thanks a lot :smile:
 
Physics news on Phys.org
any help would be appreciated
 
Looks to me like they are pretty straight forward. In fact, you don't need to think about "measure" in general. For the first one, a single point, just show that a single point can be contained in intervals of arbitrarily small length.
For the second, a finite number of points, just use "summability" (what is the sum of a finite number of 0s?) or take a small rectangle about each point- and add those. Show that the rectangles can be taken to be arbitrarily small.
For the third, line segments, surround each segment by rectangles of the same length as the segment and of smaller and smaller widths.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 3 ·
Replies
3
Views
5K
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
46
Views
8K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 13 ·
Replies
13
Views
2K
Replies
1
Views
3K