Understanding Lebesgue Measure: m([a,b))=m((a,b])?

  • Thread starter Thread starter pivoxa15
  • Start date Start date
  • Tags Tags
    Measure
Click For Summary

Homework Help Overview

The discussion revolves around the Lebesgue measure, specifically comparing the measures of the intervals m([a,b)) and m((a,b]). Participants explore the implications of defining m({a}) and its effect on the measure of intervals.

Discussion Character

  • Conceptual clarification, Assumption checking, Mixed

Approaches and Questions Raised

  • Participants question the definition of m({a}) and its implications for m([a,b)). There are attempts to clarify whether m([a,b)) can be equated to m((a,b]) based on the measure of single points.

Discussion Status

The discussion is ongoing, with various interpretations being explored regarding the measure of single points and their impact on interval measures. Some participants provide insights that suggest a direction for understanding, but no consensus has been reached.

Contextual Notes

There is mention of ambiguity in the problem setup, and some participants note that the problem is part of a larger context in measure theory. The lack of explicit definitions for certain measures is also highlighted.

pivoxa15
Messages
2,250
Reaction score
1

Homework Statement


m((a,b])=b-a is defined as the lebesuge measure

what is m([a,b))?





The Attempt at a Solution


m({a})=0 for any a in R?

so m([a,b))=m((a,b])?
 
Physics news on Phys.org
Sure...
 
If this is a course in measure theory, I'm sure the problems will get harder!
 
They didn't specify that m({a})=0 for any a in R. So it was more a problem, of ambiguity.

It was part of a bigger problem.
 
They did specify that m(pt)=0 - it is deducible from your first post. A point pt lies in any interval (pt -e/2 , pt+e/2] for any e, hence m(pt)<e for all e, thus it is zero.
 
matt grime said:
They did specify that m(pt)=0 - it is deducible from your first post. A point pt lies in any interval (pt -e/2 , pt+e/2] for any e, hence m(pt)<e for all e, thus it is zero.

Good point or maybe more easily it can be worked out from letting b=a

m((a,b])=b-a is defined as the lebesuge measure

=> m((a,a])=a-a=0
=> m(pt)=0
 
(a.a] does not equal the set {a}. So what the measure of the (empty) set (a,a] is does not tell you what the measure of the non-empty set {a} is. (Even assuming that a one point set is measurable, of course.)
 
Last edited:
(a,a] doesn't make sense does it. It should be lim n->infinity(a-1/n,a]={a}
 
Taking limits of sets needs some careful consideration. Do you mean direct or inverse limit? It's the inverse limit, by the way.

If I were you I'd not attempt to write things like: the limit of these sets is that set. Stick to sequences of numbers, not sequences of sets.
 
  • #10
Measure of an interval

pivoxa15 said:

Homework Statement


m((a,b])=b-a is defined as the lebesuge measure

what is m([a,b))?

Ans: still b-a. ...





The Attempt at a Solution


m({a})=0 for any a in R?

so m([a,b))=m((a,b])?

1.
Ans: still b-a. ...
 

Similar threads

  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 9 ·
Replies
9
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 2 ·
Replies
2
Views
921
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
Replies
9
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K