Skip to main content

All Questions

Filter by
Sorted by
Tagged with
0 votes
1 answer
721 views

Pointwise limit at Lebesgue's point

Dear MOs, I am sorry if this problem is too elementary for someone. I just want to get confirmation. Suppose $f\in L^1(R^d)$. Since almost all points are Lebesgue points by the Lebesgue ...
Anand's user avatar
  • 1,649
0 votes
1 answer
319 views

Hilbert space automorphisms realized as induced by transformations of some base-spaces

Following question may be soft. Fix abstract hilbert space H and consider any automorphism A in banach-spaces sence (i.e. no conditions on metric). Call A is realizable if exist measure space $(X,\mu)$...
Bad English's user avatar
0 votes
1 answer
123 views

Proving a Fourier transform inequality for functions with mixed variable bounded support

I'm working on a problem involving the Fourier transform and have encountered an inequality that I am unsure how to prove. I would greatly appreciate any help or guidance you can provide. Let $\gamma\...
Julian Bejarano's user avatar
0 votes
1 answer
102 views

Lower bounds for truncated moments of Gaussian measures on Hilbert space

Let $\mu_C$ be a centered Gaussian probability Borel measure on a real separable Hilbert space $\mathcal{H}$ with covariance operator $C$. Denote the ball with radius $r$ in $\mathcal{H}$ centered at ...
S.Z.'s user avatar
  • 505
0 votes
1 answer
153 views

An integral Minkowski inequality for the quasi-Banach case?

The so called integral Minkowski inequality claims that for suitable positive functions $f$ defined on the product of two measure spaces $ (X\times Y, \mu \times \nu) $ and $p\geq 1$ we have that $$ \...
an_ordinary_mathematician's user avatar
0 votes
1 answer
245 views

Riemann-Liouville integral of $f$ is zero implies $f =0$ a.e

The Riemann-Liouville integral is defined by $$ I^\alpha f(x)=\frac{1}{\Gamma(\alpha)} \int_a^x f(t)(x-t)^{\alpha-1} d t $$ where $\Gamma$ is the gamma function and $a$ is an arbitrary but fixed base ...
Grandes Jorasses's user avatar
0 votes
1 answer
292 views

Does $L_{p}(\mu, X)^*=L_{q} (\mu, X^*)$ hold for $\sigma$-finite measure spaces?

I'm reading Theorem 1 at page 98 of Vector Measures by Joseph Diestel, John Jerry Uhl. THEOREM 1. Let $(\Omega, \Sigma, \mu)$ be a finite measure space, $1 \leq p<\infty$, and $X$ be a Banach ...
Akira's user avatar
  • 835
0 votes
1 answer
327 views

Deduce that a function is zero on interval $[0,M]$

I have been thinking about this for the last few days but I was not able to produce a definitive answer. Take an integrable function $g$ that maps in $\mathbb{R}$ and with domain contained in $[0,M]$ (...
Grandes Jorasses's user avatar
0 votes
1 answer
243 views

Condition for set of the type $\{(a,b)|a \in A, \ b = f(a)\}$ to have empty interior if $A$ has empty interior [closed]

Let us consider $$\mathcal X = \{(a,b)|a \in A, \ b = f(a)\}, $$ where $A \subset L^1(\mathbb R)$ has empty interior and $f:L^1 \to L^1$ is a bijective map. Does $\mathcal X$ also have empty interior? ...
Riku's user avatar
  • 839
0 votes
1 answer
248 views

Approximating arbitrary probability measures by discrete ones

Let $H$ be a separable Hilbert space and let $\mu$ be an arbitrary probability measure on $H$. I would like to approximate this distribution by by a finitely supported discrete distribution is the ...
TOM's user avatar
  • 2,288
0 votes
1 answer
236 views

Estimate on total variation of composition of functions

Let $f \in BV(\mathbb R)$ and $g: \mathbb R \to \mathbb R$ be Lipschitz. How can I estimate the total variation of $f\circ g$, that is $$ \int_{\mathbb R} \left|\frac{d}{dx}f(g(x))\right| dx \ ? $$ ...
Jun's user avatar
  • 303
0 votes
1 answer
86 views

Kolmogorov entropy of a subset of $L^1$

How can we estimate the Kolmogorov $\epsilon$-entropy $$H_\epsilon (A,L^1(\mathbb R))$$ where $ A = \{f:\mathbb R \to [0,K] \text{ s.t. $f \in L^1$ and has total variation $TV(f) \le M$}\} $?
Riku's user avatar
  • 839
0 votes
1 answer
188 views

a question about vector valued Banach spaces

I wonder the difference between $L^1(\mu\times\nu)$ and $L^1(\mu;L^1(\nu))$, as if partial derivatives can be exchanged with integration in the second spaces in many articles. In Folland's real ...
WPJ's user avatar
  • 71
0 votes
1 answer
102 views

Law of a step function and its generalization to two dimensions on an appropriate spaces

Let's consider two discontinuous functions defined on $D$ and $D \times [0,T]$, respectively: A step function: $u_1(x)=\begin{cases} u_{L}, x<c_1, \\[2ex] u_{R}, x>c_1, \end{cases}$ A "...
Mark's user avatar
  • 657
0 votes
1 answer
65 views

Is there a general guideline for minimizing $\sup_{y\in H}F(\;\cdot\;,y)$?

Let $H$ be a $\mathbb R$-Hilbert space and $F:H^2\to\mathbb R$. Is there a general guideline for minimizing $\sup_{y\in H}F(\;\cdot\;,y)$? Since the question is rather abstract, feel free to impose ...
0xbadf00d's user avatar
  • 167
0 votes
1 answer
193 views

$\int_{R^2}\varphi(x)d\mu(x)=0$ $\Leftrightarrow$ $\sum_{n\in \mathbb Z^2} d\mu(x-2\pi n)=0$

Let $\mu$ be a finite measure supported by $\Gamma $ (a smoth finite curve) and absolutely continuous with respect to the length measure on $\Gamma$ such that $\Gamma \cap (\Gamma+x)$ is a finite ...
Akram Akram's user avatar
0 votes
1 answer
517 views

Injective inclusion map from RKHS function space to $L_p(\mu)$

Let $X$ be a measurable space, $\mu$ be a $\sigma$-finite measure on $X$, and $H$ be a separable reproducing kernel Hilbert space over $X$ with a measurable kernel $k$. At a certain part in a proof I ...
Eric's user avatar
  • 103
0 votes
1 answer
211 views

Some convergence similar to weak-$\ast$ convergence on the space of finite measures

I have a question: Let $D$ be the space of cadlag functions defined on $[0,1]$ and $V$ be its subspace consisting of $x$ with finite variation and $x(0)=0$. Define $TV(x)$ as the total variation ...
CodeGolf's user avatar
  • 1,835
0 votes
1 answer
714 views

The dual space of the Dirac measures on an Abelian group

Let $G$ be a Hausdorff locally-compact Abelian group and $L^2(G)$ the Hilbert space of two-integrable complex functions on the group. Question. What would be natural vector space $\mathcal{R}$ of ...
Juan Bermejo Vega's user avatar
0 votes
2 answers
765 views

About a generalization of the Radon Nikodym Theorem

Im trying to prove a generalization of the Radon Nykodym theorem, but im having troubles even for finite measures, could someone help? Let $\mu$ and $\nu$ two $\sigma$-finite measures in $\(X,\...
goblin's user avatar
  • 11
0 votes
1 answer
437 views

Möbius Transform of a Continuous Possibility Function

In order to be able to use a basic possibility function as a Body of Evidence in the Dempster-Shafer Theory of Evidence, it is needed to transform the function to its Möbius representation. There is ...
SadeghD's user avatar
  • 103
0 votes
1 answer
611 views

Linear functionals and continuous functions on open intervals

Let $Q$ be an open interval of ${\mathtt R}$ and $E$ be the space of continuous and bounded functions in $Q\to \mathtt{R}$. I call $E^*$ the set of linear functionals over $E$ and $E_+^*$ the subset ...
ADegorre's user avatar
0 votes
2 answers
796 views

Extending Continuous Sublinear maps on dense subsets of a Banach space

Suppose X' and Y are Banach spaces and X is a linear subspace dense in X'. Let T be a continuous map of X to Y satisfying: (1) ||T(x+y)|| is less than or equal to ||T(x)||+||T(y)||. Please prove ...
Jeffrey's user avatar
  • 11
0 votes
0 answers
42 views

questions on stochastic kernels and pushforward operator

Let $f:X \rightarrow \Delta (Y)$ and $g:X \rightarrow \Delta (X)$ be two kernels. For any bounded measurable function $h_Y:Y \rightarrow \mathbb{R},$ define $F(h_Y):X \rightarrow \mathbb{R}$ such that ...
andy's user avatar
  • 1
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
38 views

Are measures singular with respect to all representing measures in $\mathbb{D}^n$ always concentrated on null-sets? Will it also be a Henkin measure?

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
78 views

What properties does representing measure $\mu$ for $z\in\mathbb{D}^n$ has to satisfy so that $\nu=0$ is the only measure singular with respect to it?

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
20 views

Decomposition of measures orthogonal to the algebra $R(K_1 \times \ldots \times K_n)$ - Can it be done via projection-preserving products of bands?

See "Measures orthogonal to tensor products of function algebras" by Marek Kosiek. Here, it is described for the two-dimensional case. It uses another, more general, approach to OB Bekken's ...
S-F's user avatar
  • 63
0 votes
0 answers
59 views

Decomposition of a contractive representation into an orthogonal sum for the $n$-dimensional case. Has this been done yet?

I know that it has been done for the two-dimensional case. Marek Kosiek showed it in his work "Decomposition of operator representations of the algebra $R(K_1 \times K_2)$" and "...
S-F's user avatar
  • 63
0 votes
0 answers
85 views

Measurable selection for the mean value theorem

When we use the mean value theorem we come across the problem of measurability of the argument. The problem is somehow like that: Let $f:\Omega\times [0,1]\to\mathbb{R}$ be a Caratheodory function (i....
Bogdan's user avatar
  • 1,759
0 votes
0 answers
97 views

Heine-Borel property for (probability) measures on $\mathcal{S}'$?

For Euclidean space $\mathbb{R}^n$, it is a well-known fact that the Schwartz space $\mathcal{S}(\mathbb{R}^n)$ is a Montel space. Moreover, the space of tempered distributions $\mathcal{S}'(\mathbb{R}...
Isaac's user avatar
  • 3,477
0 votes
0 answers
39 views

Comonotone solution for Optimal Transport problems with supermodular surplus

In Alfred Galichon's book Optimal Transport Methods in Economics the foollowing result is stated for OT problems on the real line. Theorem 4.3.(i) Assume that $\Phi$ is supermodular. Then the primal ...
Francesco Bilotta's user avatar
0 votes
0 answers
107 views

Does the sequence of bounded symmetric square integrable holomorphic functions have a convergent subsequence?

Let $f$ be a bounded holomorphic function on $\mathbb D^2$ and $s : \mathbb C^2 \longrightarrow \mathbb C^2$ be the symmetrization map given by $s(z) = (z_1 + z_2, z_1 z_2),$ for $z = (z_1, z_2) \in \...
Anacardium's user avatar
0 votes
0 answers
49 views

Existence of sequence of regular projections

Reading the book :Krasnosel'skii, M.A.; Pustylnik, E.I.; Sobolevskii, P.E.; Zabreiko, P.P. (1976), Integral Operators in Spaces of Summable Functions, Leyden: Noordhoff International Publishing, 520 p....
Guillermo García Sáez's user avatar
0 votes
0 answers
120 views

Equality of two measures on functional spaces

It is well known that if $\mu$ and $\nu$ are two measures on the space $C^0([0,1],\mathbb{R}^n)$ of continuous mappings from $[0,1]$ to $\mathbb{R^n}$ endowed with its Borel $\sigma$-algebra satisfy $$...
Anico's user avatar
  • 1
0 votes
0 answers
80 views

Measurable Extension

Let $(\Omega, \mathcal{F})$ be a measurable space and $X$ some metric space (probably Polish) with the Borel $\sigma$-algebra and a function $f: \Omega \times X \to \mathbb{R}$. Usually, functions ...
Mrcrg's user avatar
  • 136
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
0 votes
0 answers
73 views

Criteria giving sufficient conditions for a Borel measure to have compact support

I am interested in criteria that guarantee that a Borel probability measure has compact support. I outline two below and I am hoping to gather more as answers (if they exist). The first sufficient ...
Dispersion's user avatar
0 votes
0 answers
22 views

Directions of differentiability of log-concave measures with infinite-dimensional support

I recently came across the very nice review "Differentiable Measures and the Malliavin Calculus" by Bogachev (1997) which begins by discussing measures $\mu$ on locally convex spaces $X$ ...
iolo's user avatar
  • 651
0 votes
0 answers
63 views

Existence of a measurable maximizer

Let $F$ be a continuous cdf with full support on $[0,1].$ Let $A$ be a compact subset of $\mathbb{R}$ and $\mathcal{M}$ be the set of measurable functions $\alpha:[0,1]\rightarrow A.$ Let $\bar \alpha ...
FeleMath's user avatar
0 votes
0 answers
81 views

Is a bounded measurable convex function above its interior lower semi-continuous convex envelope?

Let $E$ be a locally convex topological vector space, let $C$ be a convex set which matches the closure of its relative interior $\mathring C=\{ x\in C : \forall y\in C,\exists z\in C,~x\in\mathopen]y,...
P. Quinton's user avatar
0 votes
0 answers
98 views

Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?

(Cross posted from Math StackExchange: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity?) Assume $(\Omega, \mu)$ is a probability space. Consider a ...
David Gao's user avatar
  • 2,830
0 votes
0 answers
42 views

Measurability of the weak completion of an orthogonal representation

Let $G$ be a locally compact group and let $\pi$ be a strongly continuous orthogonal representation of $G$ in a real Hilbert space $H$. Denote by $E$ the real Hausdorff locally convex space obtained ...
P. P. Tuong's user avatar
0 votes
0 answers
94 views

When can an affine functional on the dual be represented as an element of a Banach space?

In Measures Which Agree on Balls by Hoffmann-Jørgenson, we are given a functional $\varphi: T(x_0)\to (-\infty, \infty]$, which is a lower semicontinuous, affine, Baire function on a subspace $T(x_0)$ ...
i like math's user avatar
0 votes
0 answers
145 views

$L_\infty([0,1], \mathbb{C})$ is it isomorphic to $\ell_\infty(\mathbb{N}, \mathbb{C})$?

By a result of Pełczyński, $L_\infty([0,1], \mathbb{R})$ is isomorphic to $\ell_\infty(\mathbb{N}, \mathbb{R})$. That is the case of real valued functions and sequences. A natural question then is: ...
NotaChoice's user avatar
0 votes
0 answers
73 views

Computationally efficient solution for the measure of central tendency minimizing Lp loss for p > 1

We know that the measure of central tendency that minimizes the Lp loss is $\min_c \sum_{i=1}^n |x_i - c|^p$ For $p=1$ (L1 loss), this is the median. For $p=2$ (L2 loss), this is the mean. Both of ...
olivarb's user avatar
  • 109
0 votes
0 answers
47 views

Is the embedding $i: (L^p_\text{loc} (Y), \| \cdot \|_{L^p_\text{loc}}) \to (L^0(Y), \hat \rho)$ continuous or Borel measurable?

Below we use Bochner measurability and Bochner integral. Let $(Y, d)$ be a separable metric space, $\mathcal B$ Borel $\sigma$-algebra of $Y$, $\nu$ a $\sigma$-finite Borel measure on $Y$, $(Y, \...
Analyst's user avatar
  • 657
0 votes
0 answers
113 views

The set of measurable functions together with convergence in measure is a completely metrizable abelian topological group

Below we use Bochner measurability and Bochner integral. Let $(X, \mathcal A, \mu)$ be a complete $\sigma$-finite measure space, $(E, | \cdot |)$ a Banach space, $S (X)$ the space of $\mu$-simple ...
Analyst's user avatar
  • 657
0 votes
2 answers
125 views

Is there a modification of $f$ on a null set such that $F: [0, T] \to L^p ({\mathbb R}^d), t \mapsto f(t,\cdot)$ is Bochner measurable?

Let $T>0$ and $p \in [1, \infty)$. Let $f \in L^p ([0, T] \times {\mathbb R}^d)$. By a theorem in this thread, there is a Lebesgue null subset $N$ of $[0, T]$ such that $f(t, \cdot)$ is Lebesgue ...
Akira's user avatar
  • 835
0 votes
0 answers
78 views

Different measurability of Hilbert-space valued random variable

My question is motivated by this link. Let $(\Omega,\mathcal{F})$ and $(Y,\mathcal{B})$ be measurable spaces, a measurable map $T:\Omega\to Y$ is called a $Y$-valued random variable. Now let $H$ be a ...
John's user avatar
  • 503