Is it enough to show that it is a Lebesgue measure?

  • MHB
  • Thread starter mathmari
  • Start date
  • Tags
    Measure
In summary, a Lebesgue measure is a mathematical concept used to measure the size or volume of subsets of n-dimensional Euclidean space, named after mathematician Henri Lebesgue. It differs from other measures by considering the entire set of real numbers and allows for the measurement of complex sets like fractals. Showing that something has a Lebesgue measure is important for using powerful mathematical tools and measuring non-traditional sets. To determine if something has a Lebesgue measure, it must be a measurable set according to Carathéodory's criterion. Not all sets have a Lebesgue measure, as some may be non-measurable or have a measure of zero.
  • #1
mathmari
Gold Member
MHB
5,049
7
Hey! :eek:

I want to show that when $\mu$ is a Borel measure in $\mathbb{R}$ with $\mu([0,1))=1$, which is a translation invariant, then it is also a Lebesgue measure.

I have shown that $\mu([a,b))=b-a, \forall a,b \in \mathbb{Q}$.

Is it enough to show that $\mu$ is a Lebesgue measure?? (Wondering)
 
Physics news on Phys.org
  • #2
If two Borel measures agree on intervals of the form $[a,b)$ then they agree on anything in the $\sigma$-algebra which is generated by those intervals.
 

Related to Is it enough to show that it is a Lebesgue measure?

1. What is a Lebesgue measure?

A Lebesgue measure is a mathematical concept used to measure the size or volume of subsets of n-dimensional Euclidean space. It is named after the mathematician Henri Lebesgue.

2. How is a Lebesgue measure different from other measures?

A Lebesgue measure differs from other measures, such as the Riemann measure, in that it takes into account the entire set of real numbers and not just the endpoints of intervals. It also allows for the measurement of more complex sets, such as fractals.

3. Why is it important to show that something has a Lebesgue measure?

Showing that something has a Lebesgue measure is important because it allows for the use of powerful mathematical tools, such as the Lebesgue integral, to analyze and make calculations about the set. It also provides a way to measure sets that may not have a traditional volume or size.

4. How is it determined that something has a Lebesgue measure?

To determine if something has a Lebesgue measure, one must show that it is a measurable set. This means it can be approximated by a sequence of simple sets whose measures converge to the measure of the original set. This is known as the Carathéodory's criterion.

5. Can any set have a Lebesgue measure?

No, not all sets have a Lebesgue measure. For example, non-measurable sets, such as Vitali sets, cannot have a Lebesgue measure. Additionally, some sets may have a Lebesgue measure of zero, meaning they have no size or volume according to the Lebesgue measure.

Similar threads

I Collection of finite unions of half-open intervals form an algebra
    • Topology and Analysis
Replies
3
Views
269
I Showing equivalence of two definitions of essential supremum
    • Topology and Analysis
Replies
1
Views
228
A Compute Lebesgue integral as (improper) Riemann integral
    • Topology and Analysis
Replies
5
Views
2K
I Parallel rectangles contained in oblique rectangle
    • Topology and Analysis
Replies
4
Views
301
I On integral of simple function and representation
    • Topology and Analysis
Replies
6
Views
381
MHB Finding Lebesgue Decomposition for a Measure Defined by an Integral
    • Topology and Analysis
Replies
3
Views
1K
I Two basic results from measure theory -- on volumes of rectangles
    • Topology and Analysis
Replies
2
Views
166
I N-dimensional Lebesgue measure: def. with Borel sets
    • Topology and Analysis
Replies
2
Views
2K
I Convergence of a sequence of sets
    • Topology and Analysis
2
Replies
44
Views
5K
Measurability and Lebesgue integral of complex functions
    • Topology and Analysis
Replies
4
Views
2K

Hot Threads

Recent Insights

Back
Top