Questions tagged [lebesgue-measure]
The lebesgue-measure tag has no usage guidance.
24
questions
24
votes
3
answers
1k
views
Average measure of intersection of a convex region with its translate
Let $\lambda$ denote the Lebesgue-measure on $\mathbb{R}^n$, and let $C\subset\mathbb{R}^n$ be a convex region.
My question is about
$$f(C):=\int_{C} \lambda(C \cap (x + C) ) \mathrm{d} x.$$
How ...
- 343
61
votes
8
answers
8k
views
Physical meaning of the Lebesgue measure
Question (informal)
Is there an empirically verifiable scientific experiment that can empirically confirm that the Lebesgue measure has physical meaning beyond what can be obtained using just the ...
- 2,733
51
votes
4
answers
6k
views
A historical mystery : Poincaré’s silence on Lebesgue integral and measure theory?
Lebesgue published his celebrated integral in 1901-1902. Poincaré passed away in 1912, at full mathematical power.
Of course, Lebesgue and Poincaré knew each other, they even met on several occasions ...
- 1,016
14
votes
1
answer
531
views
Does the existence of a non-principal measure on ω imply that of a non Lebesgue measurable set?
A non-principal [probability] measure on a set X is a function $\mu$ defined on all subsets of $X$, with values in $[0,1]$, which is finitely additive, satisfies $\mu(X)=1$, and vanishes on singletons....
12
votes
0
answers
452
views
Does Hahn-Banach for $\ell^\infty$ imply the existence of a non-measurable set?
Working over ZF but without the Axiom of Choice (AC), assume that the Hahn–Banach Theorem holds for $\ell^\infty$. Does it follow that there exists a set of real numbers that is not Lebesgue ...
- 78.3k
5
votes
1
answer
358
views
Is it known that there is any function $f:\mathbb{R}\to\mathbb{R}$ at all, whose graph has positive outer measure on every rectangle in the plane?
Suppose $\lambda^{*}$ is the Lebesgue outer measure.
Question:
Does there exist an explicit $f:\mathbb{R}\to\mathbb{R}$, where:
The range of $f$ is $\mathbb{R}$
For all real $x_1,x_2,y_1,y_2$, where $...
- 1
0
votes
1
answer
562
views
homogeneous subset of [0,1] of arbitrarily small Lebesgue measure [closed]
Does there exist for arbitrary $\alpha$, $0<\alpha<1$, a measurable subset $A$ of the closed unit interval $[0,1]$ such that Lebesgue measure $m(A)=\alpha$ and the following "homogeneity" ...
- 1,040
21
votes
6
answers
4k
views
Lebesgue measure theory applications
I'm looking for reasonably simple examples of applications of Lebesgue measure theory outside the measure theory setting. I give an example.
Theorem: Let $X$ be a differentiable submanifold of $\...
- 757
19
votes
3
answers
3k
views
Measure induced on [0, 1] by infinite tosses of biased coin
It is well-known that one can get the Lebesgue measure on [0, 1] by tossing a fair coin infinitely (countably) many times and mapping each sequence to a real number written out in binary.
I was ...
- 665
19
votes
2
answers
1k
views
How many subsets of $[0,1)$ are there modulo null sets?
For subsets $A$ and $B$ of $[0,1)$, say $A\sim B$ iff $\lambda(A\Delta B)=0$ where $\lambda$ is Lebesgue measure.
Question: How many equivalence classes of subsets of $[0,1)$ are there given AC?
I ...
- 2,383
12
votes
3
answers
682
views
If $A, B$ is a non-trivial partition of $S^1$, is it possible that $R_\theta(A) \cap B$ has measure zero for all rotations $R_\theta$?
This was previously posted to Math StackExchange. I was originally unsure whether it is suitable for posting here, but I've yet to get an answer there, so I'm just trying to see if people here can ...
- 1,262
10
votes
1
answer
3k
views
Measure of a set of irrational numbers
Let $A$ be a set of all irrational numbers $\rho \in (0, 1)$ represented as a continued fraction $\rho=[a_{1}, a_{2},...,a_{n},...],$ such that $a_{n}\leq \text{const}\cdot n^{\epsilon}$ for some $\...
- 197
9
votes
1
answer
3k
views
Axiom of choice and non-measurable set
We know that existence of a Lebesgue non-measurable set follows from the Axiom Of Choice. Is the converse true? That is, does the existence of a Lebesgue non-measurable set imply the Axiom Of Choice?...
7
votes
3
answers
263
views
Shrinking subset and product
Given a segment and a value $c$ less than the segment length, let $A_1,\dots,A_n$ be finite unions of intervals on the segment. We choose a finite union of intervals $B$ with $|B|=c$ that maximizes $|...
- 1,199
5
votes
0
answers
132
views
Measure of the boundary of an BV-extension domain: do we have $|\nabla Eu|(\partial \Omega)=0?$
Let $\Omega\subset \Bbb R^d$ be open. The space $BV(\Omega)$ consists in functions $u\in L^1(\Omega)$ with bounded variation, i.e. $|u|_{BV(\Omega) }<\infty$ where
\begin{align}\label{eq:bounded-...
- 1,033
4
votes
0
answers
284
views
trace-class embeddings
There is a classical theorem of Riesz-Kolmogorov that characterizes compact embedding in $L^p$-spaces of some subspace of them. A generalization to arbitrary metric spaces has been recently obtained ...
- 3,328
4
votes
2
answers
225
views
lower bound volume of a set
Let $\lambda$ be Lebesgue measure on [0,1]. For any $x_{1},\dots,x_{k}$ in $[0,1]$, define $$A(x_1,..,x_k):=\{(y_1,\dots,y_k)\in [0,1]^k: \text{there exist intervals }I_1,\dots,I_k \text{ in }[0,1]$$ ...
- 75
3
votes
1
answer
423
views
Almost surely convergence of translations of a measurable function
Suppose that $\alpha_n$ is a sequence of positive numbers converging to $0$.
Question. Is there a bounded measurable function $f$, say $1$-periodic, such that $f_n(x)=f(x-\alpha_n)$ does not ...
- 271
3
votes
1
answer
299
views
Special version of Tonelli’s theorem
I am trying to prove this theorem. I have not found anything similar to it on the internet.
Special version of Tonelli’s theorem
Assume that the functions $f(x,u): [a,b] \times \mathbb{R} \to \mathbb{...
- 159
2
votes
0
answers
72
views
Understanding simple point processes
Background
I'm studying the basic theory of Random Finite Sets (RFS), which is the name that is used in my field to denote simple point processes.
A simple point process is a random variable whose ...
- 161
2
votes
1
answer
904
views
Does the Lebesgue Differentiation Theorem hold for regular polytopes?
Lebesgue's differentiation theorem states that if $x$ is a point in $\mathbb{R}^n$ and $f:\mathbb{R}^n\rightarrow\mathbb{R}$ is a Lebesgue integrable function, then the limit of $\frac{\int_B f d\...
- 4,529
1
vote
2
answers
489
views
Question on separability of a measure
Following this question here this question come to mind.
Consider a measured σ-algebra $(S,\mu)$ . Assume that μ is normalized to have total weight 1, and that S is complete (contains all subsets of ...
- 23
0
votes
0
answers
206
views
Lebesgue measure of a neighbourhood of a curve
Let $\Omega\subseteq\mathbb{R}^N$ be an open, bounded and with smooth boundary (e.g. Lipschitz boundary or more if necessary).
For any function $\phi:\Omega\to\mathbb{R},\ \phi\in C^1(\overline{\Omega}...
- 1,330
0
votes
1
answer
281
views
Approximating characteristic functions by cutting the real axis into smaller and smaller pieces
Let $\Lambda_r^*=\frac{1}{2\pi r} \mathbb{Z} \subset\mathbb{R} (r>0)$, let $E\subset\mathbb{R}$ be a Lebesgue measurable set with finite measure $|E|$, define $J_r=(-\frac{1}{4\pi r}, \frac{1}{4\pi ...
- 1,856