Skip to main content

All Questions

Filter by
Sorted by
Tagged with
6 votes
0 answers
271 views

Existence of a limit of alpha-difference quotient for Hölder functions

Let $f:\mathbb{R}\to \mathbb{R}^d,d\geq 1,$ be an Hölder function with exponent $\alpha\in (0,1)$, meaning that \begin{equation} \sup_{x, y \in \mathbb R, \,x\neq y}\frac{|f(x)-f(y)|}{|x-y|^\alpha}<...
Paz's user avatar
  • 61
4 votes
1 answer
414 views

Finitely Additive Homogeneous Translation Invariant Measure on $\mathcal{P}(\mathbb{R})$

It is known that there exists a finitely additive translation invariant measure on $\mathbb{R}$ that extends the Lebesgue measure. I.e. a function $m:\mathcal{P}(\mathbb{R}) \rightarrow [0,\infty]$ ...
pitariver's user avatar
  • 297
4 votes
1 answer
364 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 ...
Svetoslav's user avatar
  • 261
3 votes
2 answers
809 views

Growth of $L^p$ norms as $p \to \infty$

Let $f$ be a non-negative function defined on the unit interval. It is well known that $N(p) := \left(\int_0^1 f^p(t) dt\right)^{\frac{1}{p}} $ converges to $\operatorname{esssup}_{[0,1]} f$ when $p \...
Hammerhead's user avatar
  • 1,211
2 votes
2 answers
307 views

Preimage of null sets under a monotone increasing function

Let $I\subseteq \mathbb{R}$ be a closed bounded interval and $f:I \to I$ a monotonic increasing function and $S$ the countable set of points $s$ such that $|f^{-1}(s)| > 1$. Is the following ...
Julian's user avatar
  • 113
2 votes
1 answer
395 views

Existence of integral kernel

I know the following statement ture. Let $T \in B(L^1(\mathbb{R}^d), L^\infty(\mathbb{R}^d))$, where $B(X, Y)$ denotes all bounded linear operoters from $X$ to $Y$. Then, $T$ has the integral kernel $...
heppoko_taroh's user avatar
2 votes
0 answers
94 views

Nemytskij operator for Lebesgue variable UNBOUNDED exponent spaces

Let $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function (i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is measurable for all $t\in\mathbb{R}$), where $\Omega\...
Bogdan's user avatar
  • 1,759
2 votes
0 answers
84 views

Question about the Nemytsky operator on $L^p$ space

Let $\Omega\subset\mathbb{R}^N$ be a bounded open set, $f:\Omega\times\mathbb{R}\to\mathbb{R}$ be a Caratheodory function, i.e. $f(x,\cdot)$ is continuous for a.a. $x\in\Omega$ and $f(\cdot,t)$ is ...
Bogdan's user avatar
  • 1,759
2 votes
0 answers
453 views

Is that correct $\mathbb R^2\cong\mathbb R$ as measurable spaces? [closed]

Is that correct $R^2\cong R$ as measurable spaces? If we consider $R$ and $R^2$ with Borel $\sigma$-algebras, is there measurable map from $R$ to $R^2$ with measurable inverse?
Zahra's user avatar
  • 29
1 vote
1 answer
149 views

Convergence of measurable functions in a locally compact space

Set $(X,\mathcal{B})$ a measurable space. If $f:X\rightarrow[0,\infty)$ is a measurable function then exists a sequence of simple functions $\{s_n\}_{n\geq1}$ such that $$0\leq s_1 \leq s_2\leq \...
Rusbert's user avatar
  • 193
1 vote
1 answer
412 views

Support of a measure

Let $T:X\to X$ be a continuous function on a compact manifold $X$ and let $\text{Leb}$ be the Lebesgue measure normalized so that $\text{Leb}(X)= 1$. We denote by $\mathcal{M}(X)$ the space of all ...
Adam's user avatar
  • 1,043
0 votes
1 answer
88 views

An equation in the convolution measure algebra on reals

Let us consider the measure algebra $M(\mathbb{R})$ consisting of all Radon measures on reals. Let $\mu$ be a Radon measure in $M(\mathbb{R})$ and $\delta_0$ be the point mass measure concentrated on ...
ABB's user avatar
  • 4,058
0 votes
0 answers
113 views

Are measures singular with respect to all representing measures in $\mathbb{D}^n$ always concentrated on null-sets?

Let $\mu$ and $\nu$ be two measures on the $\sigma$-Borel set $\mathcal{B}(\mathbb{D}^n)$. We say that $\mu$ is a representing measure for some point $z \in \mathbb{D}^n$, if $$\forall_{u \in A(\...
S-F's user avatar
  • 63
0 votes
0 answers
57 views

Projection measure and an integral formula for Lipschitz functions

Let $n\geq m\geq 0$ be integers and put $k=n-m$. Let $A\subset\mathbb{R}^n$ be Borel measurable, we define the projection measure of $A$ as $$\mu_k(A):=\underset{P_1, \ldots, P_r}{\sup_{A=A_1\sqcup\...
Alexander's user avatar