The lebesgue-measure tag has no usage guidance.

**54**

votes

**11**answers

6k views

### Geometric proof of the Vandermonde determinant?

The Vandermonde matrix is the $n\times n$ matrix whose $(i,j)$-th component is $x_j^{i-1}$, where the $x_j$ are indeterminates. It is well known that the determinant of this matrix is $$\prod_{1\leq ...

**18**

votes

**2**answers

523 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 ...

**9**

votes

**1**answer

977 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 ...

**9**

votes

**1**answer

344 views

### Which values can attain the minimum solid angle in a simplex

Given a simplex $S$ with a vertex $v$ by the solid angle at this vertex I mean the value $\hbox{vol}(B \cap S)/\hbox{vol}(B)$ where $B$ is a small enough ball centered at $v$ (for example, in the ...

**9**

votes

**1**answer

152 views

### Specifying $L^p$ norms of derivatives

Given a sequence of positive numbers $\{a_n\}$ and $1 < p < \infty$, $p\neq 2$, is it possible to build a function $f\in C^\infty(\mathbb R)$ so that $\|f^{(n)}\|_{L^p(\mathbb R)} = a_n$?
For ...

**8**

votes

**2**answers

772 views

### Is $f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}$ essentially bounded?

Let $$f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}
$$
Is it true that $\|f\|_{L^{\infty}(\mathbb{R}^2)}<\infty$? i.e. is $f$ essentially bounded?

**8**

votes

**1**answer

273 views

### Can there be a measurable set that integrals have the same given value if their integral on $\mathbb{R}$ are the same?

We know for an integrable function $f$, if $\int_\mathbb{R} f=1$, then $\forall \lambda\in [0,1] $, there exists a measurable set $E$ that $\int_E f=\lambda$.
Now consider integrable functions $f$ ...

**8**

votes

**1**answer

189 views

### Which domain maximizes the energy of the Lebesgue measure?

This could be asked in more generality, but let me stick to a concrete case.
Usually one considers a fixed domain $E \subset \mathbb{C}$ and attaches to it the equilibrium probability measure ...

**6**

votes

**1**answer

241 views

### Can ITTM recognize a non-measurable set?

Throughout the question ITTM refers to Hamkins' infinite Turing machines, though I will be interested in results related to stronger models.
Recently I was wondering, is it consistent that there is ...

**6**

votes

**0**answers

92 views

### orthogonal projector onto the set of convex functions

Let $\Omega\subset \mathbb R^d$ be an open, convex domain, and consider the Hilbert space $L^2(\Omega)$. Each sum of convex functions is convex, hence the subset $Conv(\Omega)$ of all convex functions ...

**5**

votes

**1**answer

754 views

### Lebesgue measure of some set of irrational numbers

Let $(i_{n})$ be a strictly increasing sequence of natural numbers,
$(v_{n})$ be an unbounded sequences of natural numbers
and $M\geq 2$. Denote by $\mathcal{I}(i_{n}, v_{n}, M)$ the set of all ...

**5**

votes

**2**answers

392 views

### Exotic Lebesgue Measurable Function

Measurable functions whose graphs are dense in the plane are well known. Examples include, the Conway 13 function, as given in the answer in this link: When is the graph of a function a dense set ?
...

**4**

votes

**1**answer

244 views

### Uncountable atomless subalgebras of the Boolean algebra of all Jordan measurable sets in [0,1]

Definition: Suppose $\mathcal A$ is
the Boolean algebra of all Jordan measurable sets in $I=[0,1]$ (i.e $\mathcal A=\{A\subseteq I: \mu(\partial(A))=0\}$, where $\mu$ is the Lebesgue measure and ...

**4**

votes

**1**answer

218 views

### Volume-preserving mappings in the torus $T^n$

Let $T^n$ be the $n$-dimensional torus and let $F$ be the set of all volume preserving continuous mappings $f:T^n\to T^n$. I would like to know if $F$ is connected in the sense that for any $f\in F$ ...

**4**

votes

**1**answer

262 views

### $\forall g\in L^2(\Omega)$ exists $g_n\in H_0^1(\Omega)$ and $\epsilon>0$ s.t $g_n(x)\to g(x),\,a.e$ and $|g_n(x)|\leq |g(x)|+\epsilon$

I asked this question on MSE here some time ago, but I couldn't get an answer. There was a suggestion in the comments for a counterexample using a fat Cantor set, but I couldn't show a contradiction ...

**3**

votes

**2**answers

173 views

### Can a continuous surjection from a Hilbert cube to a segment behave bad wrt Lebesgue measures?

Suppose $\hat{I}=[0,1]^\mathbb{N}$ is a Hilbert cube and $I=[0,1]$.
Consider Lebesgue measures $m_1$ and $m_2$ on $\hat{I}$ and $I$ correspondingly. By Lebesgue measure on the Hilbert cube I mean the ...

**3**

votes

**1**answer

750 views

### Lebesgue measure of boundary of Caccioppoli set

Can anything be said about the measure of the topological boundary of a Cacciopoli set in $R^n$? Of course, the reduced boundary has finite (n-1)-dimensional Hausdorff measure, but this does not say ...

**3**

votes

**2**answers

539 views

### Product of Lebesgue and counting measures

Let $\mathbb R$ be endowed with the standard Euclidean topology and let $\widetilde {\mathbb R}$ denote the line endowed with the discrete topology. Let $\mu$ and $\nu$ denote the Lebesgue and ...

**3**

votes

**1**answer

227 views

### Reference request: harnack inequality for distributional solutions of the heat equation

Dear Math Overflowers,
I'm looking for references on the parabolic Harnack inequality for distributional solutions of the heat equation on the whole space
$$
\partial_t u=\Delta u\quad\text{and}\quad ...

**3**

votes

**1**answer

559 views

### Multivariate monotonic function

Let $f(x_1, \dots, x_n)$ be a real function on the $n$-dimensional unit cube (that is, mapping $[0,1]^n \mapsto \mathbb{R}$). Assume furthermore that $f$ is monotonic in every coordinate, and that $f$ ...

**3**

votes

**1**answer

205 views

### Natural extensions in ergodic theory / Measurability question

A useful "abstract nonsense" construction in ergodic theory takes a measure-preserving transformation
$T$ of a probability space $(X,\mathcal B,\mu)$ and extends it to an invertible measure-preserving ...

**3**

votes

**0**answers

65 views

### Almost everywhere in a rectangle [duplicate]

I would like to ask a question about the product (Lebesgue) measure on rectangle. I tried to solve the problem but I couldn't.
Let $S$ be a subset of a region, say $R$ which is enclosed by a ...

**3**

votes

**0**answers

148 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 ...

**2**

votes

**1**answer

279 views

### Lebesgue measure of set of $y\in\mathbb{R}^n$ such that $x,y,Ay$ are linearly dependent

I've asked this question here on math.stackexchange, but I have been unable to solve this yet, so I'm hoping I can get some advice here.
Consider a vector $x\in \mathbb{R}^n$ and a real $n\times n$ ...

**2**

votes

**1**answer

213 views

### Measure of the same set in different models of ZF

Let $A$ be a definable subset of $\mathbb{R}$ in $\mathsf{ZF}$, and let $\mathcal{M},\mathcal{N}\models\mathsf{ZF}$ such that $A$ is lebesgue measurable in both models.
Is ...

**2**

votes

**1**answer

285 views

### Operation on measurable sets in lines, containing an interval?

Question 1: In $\mathbb{R}^2$, let $l_1$,$l_2$ be two parallel lines and $l_3$ another line which is not parallel to $l_1$. Given two measurable sets $E_1$ and $E_2$ in $l_1$ and $l_2$ respectively, ...

**2**

votes

**1**answer

86 views

### Lebesgue measurability of singular set

Let $\Omega$ be a bounded domain in $\mathbb{R}^{d}$ and $f:Q\to\mathbb{R}$ be continuous function.
Define a superdifferential of $f$ at $x\in Q$ by
$$
D^{+}f(x)=\{p\in\mathbb{R}^{d} \mid ...

**1**

vote

**2**answers

401 views

### A question on the Lebesgue differentiation theorem

In the paper [Jessen, B., Marcinkiewicz, J., and Zygmund, A. Note on the differentiability of multiple integrals. Fundamenta Mathematicae 25.1 (1935): 217-234] it is considered the limit
$$
...

**1**

vote

**2**answers

208 views

### An almost orthogonality principle for L^p

I recently asked this question on Math StackExchange and someone suggested that it would probably be more suited for Math Overflow. Since it still has not been answered, here it goes:
If two ...

**1**

vote

**2**answers

253 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 ...

**1**

vote

**1**answer

59 views

### Set of General Linear Position with Nonzero Measure

I came to the following question, but I don't have quite a good idea how to approach.
Can a set $A\subset \mathbb{R}^n , n\ge 2$ with nonzero measure be in a general linear position?
I believe ...

**1**

vote

**1**answer

193 views

### Stone space of measure algebra [closed]

let $\lambda$ be the Lebesgue measure on the unit interval $I=[0,1]$, and $Leb(I)$ be the Boolean algebra of Lebesgue measurable in $I$ and $\mathcal{N}$ the family of Null sets. The measure algebra ...

**1**

vote

**1**answer

101 views

### Nonlinear elliptic problem involving the p-laplacian, Hölder inequality

I am studying the paper On some nonlinear elliptic problems for $p$-Laplacian in $\mathbb{R}^n$ by Abdelouahed El Khalil and Said El Manouni Mohammed Ouanan.
I have a problem understanding one step ...

**1**

vote

**0**answers

120 views

### Is the implication ($f$ is Riemann integrable over $D_1$ and $D_2$) $\Rightarrow $ ($f$ is Riemann integrable over $D=D_1\cup D_2$) true?

Let $D_1,D_2$ be a bounded subset of $\mathbb{R}^n$ and $\partial D_1,\partial D_2$ are both of Lebesgue measure zero (that is to say: $D_1,D_2$ are Jordan measurable).
Also, let $f:D_1\cup ...

**1**

vote

**0**answers

90 views

### Convergence of solutions of the volterra integral equation with convergent kernels

Consider the following Volterra integral equation
$$
g(t) = \int_0^t K_n(t,s)w_n(s) ds
$$
where g(t) and K_n(t,s) are continuous and $K_n(t,s)\geq K_{n+1}(t,s)$ for all $t,s$. Moreover, $K_n(t,s)$ ...

**1**

vote

**0**answers

95 views

### On the proof of a $W^{2,p}$ estimate - regularity on eliptic PDE

I see this proof on http://www.math.uiowa.edu/~lwang/cccalderon.pdf and I couldn't understand what he did. If $||f||_{L^p(B_{4})} = \delta$ is small and the measure $|\{ x \in B_1; ...

**1**

vote

**0**answers

178 views

### Relationship between weak Lp and strong Lq topologies for q<p

Specificaly:
Does convergence in $L^{\frac{1}{2}}$ imply weak $L^2$ convergence?
Having a limit in $L^{\frac{1}{2}}$ topology and a limit in weak $L^2$ topology whether these are always equal? If ...

**0**

votes

**1**answer

268 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" ...

**0**

votes

**1**answer

62 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 ...

**0**

votes

**1**answer

191 views

### additive measure on countable algebras

I was wondering, can the following theorem be true for finitely additive measures defined on algebras not $\sigma$-algebras. (Theorem is in Bogachev's Measure Theory Vol I).
I was not sure about ...

**0**

votes

**1**answer

405 views

### An infimum of integrals of a positive function.

Hi,
I have a question concerning integration theory I can't figure out, maybe someone can help:
Fix $\varepsilon>0$ and consider $\delta \colon [0,1] \to (0,\infty)$ measurable. Is it then true ...

**0**

votes

**0**answers

89 views

### Strong Lebesgue regularity lemma

I have troubles in understanding how the Strong Lebesgue regularity lemma implies the Rademacher differentiation theorem. An informal proof was given by Tao on his blog: ...

**-7**

votes

**0**answers

35 views

### Proof about a measure zero set [on hold]

Let $A$ be a Lebesgue measurable subset of $\Bbb R$.
Show that there exists a Borel measurable subset $B$ of $\Bbb R$ such that $A\subseteq B$ and such that $l^*(B\setminus A)=0$. Also, show that ...