All Questions
70 questions
2
votes
1
answer
148
views
Is projection of a closed subspace Borel?
Specifically, letting $E$ be a separable infinite-dimensional real Banach space, and $D_2$ in $E\times E$ a closed linear subspace, is then $\{\,x:\exists\,y\,;(x,y)\in D_2\}$ a Borel set in $E\,$? ...
- 3,584
4
votes
1
answer
165
views
Dual spaces of Banach-valued $L^{p}$-spaces
Let $(\Omega,\mathcal{F},\mu)$ be a measure space (say complete and $\sigma$-finite, for simplicity). Furthermore, let $(X,\Vert\cdot\Vert_{X})$ be an arbitrary Banach space. I denote by $(L^{p}(\...
- 1,429
7
votes
2
answers
345
views
Integral means vs infinite convex combinations
Let $(X,\mathcal A, \mu)$ be a probability space, $\mathbb E$ a Banach space, and $f:X\to\mathbb E$ a Bochner integrable function.
Does there exist a sequence $(x_k)_{k\ge 1} $ in $X$, and a ...
- 60.5k
1
vote
0
answers
80
views
Weak$^\ast$ closure of a countably complete sublattice of the unit ball of $L^\infty(\Omega, \mu)$
This is a reframing of my previous question from a Banach lattice perspective: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity? The previous question ...
- 2,830
0
votes
1
answer
242
views
When do the weak-star and compact convergence (compact-open) topology coincide on the dual of a Banach space?
In Measures Which Agree on Balls by Hoffmann-Jørgenson, it is claimed on page 323 that for an arbitrary Banach space $E$, if $\pi$ is the topology on $E^*$ of uniform convergence on compact subsets of ...
- 297
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)$ ...
- 297
1
vote
2
answers
115
views
Computation of tangent functional
In Measures Which Agree on Balls by Hoffmann-Jørgenson, the tangent functional is defined as follows.
If $x \in S$, we define the tangent functional $\tau(x,\cdot)$ at $x$ as
\begin{equation}
\...
- 297
1
vote
1
answer
342
views
Gateaux differentiability of the norm in Banach spaces
I'm struggling to understand a particular implication in the proof of Corollary 5 of this paper involving Gateaux differentiability of the norm. The claim is that Gateaux differentiability of the norm ...
- 297
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: ...
- 141
1
vote
1
answer
179
views
Definition and properties of tangent functional
I am reading Measures Which Agree on Balls by Hoffmann-Jørgensen and I am somewhat confused. Here, $E$ is a Banach space, $S$ is the unit sphere, and $x \in S$.
We let $\tau(x, \cdot)$ denote the ...
- 297
1
vote
0
answers
73
views
Is $L^p_\text{loc} (Y)$ dense in $(L^0(Y), \hat \rho)$?
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, \...
- 657
1
vote
0
answers
50
views
Is there $r>0$ such that the norm $[f]_r:=\sup_{n \ge 1} \|1_{B(y_n, r)} f\|_{L^p}$ is equivalent to $\|f \|:=\sup_{y \in Y}\|1_{B(y,1)}f\|_{L^p}$?
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$,
$(E, |\...
- 657
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, \...
- 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 ...
- 657
1
vote
1
answer
264
views
Is there a version of dominated convergence theorem for local $L^p$ spaces?
Fix $p \in [1, \infty)$. Let $(L^p (\mathbb R^d), \|\cdot\|_{L^p})$ be the Lesbesgue space of $p$-integrable real-valued functions on $\mathbb R^d$. Let $\tilde L^p (\mathbb R^d)$ be the space of ...
- 835
0
votes
1
answer
165
views
For $\mu$-a.e. $x \in X$, the sequence $(f_n(x, \cdot))_n$ is Cauchy in $L^1 (Y)$. Then $(f_n)$ is Cauchy in $L^1 (X \times Y)$
Below we use Bochner measurability and Bochner integral. Let
$(X, \mathcal A, \mu)$ and $(Y, \mathcal B, \nu)$ be complete $\sigma$-finite measure spaces,
$(E, | \cdot |)$ a Banach space,
$S (X)$ the ...
- 835
1
vote
1
answer
89
views
Does an isometric automorphism of $L_p (X,\mu, E)$ preserve pointwise convergence?
Let $(X, \mathcal A, \mu)$ be a $\sigma$-finite measure space and $(E, |\cdot|)$ a Banach space. Here we use the Bochner integral. Let $p \in [1, \infty)$ and $q \in (1, \infty]$ such that $p^{-1}+q^{-...
- 835
1
vote
1
answer
89
views
Representing an $L^2$-functional by a non-$L^2$-function on a dense subspace - Part II
This is a follow-up to this previous question, but under stronger assumptions.
Let $(X, \mu)$ be a (say, $\sigma$-finite) measure space, let $g \in L^2$ (say, over the real
scalar field). Let $\tilde ...
- 12.5k
0
votes
1
answer
124
views
If $H \in L_{q} (\mu, X^*)$ such that $\int \langle H, f \rangle \mathrm d \mu = 0$ for all $f \in L_{p}(\mu, X)$, then $H=0$ $\mu$-a.e
I'm reading Theorem 1 at page 98 of Vector Measures by Joseph Diestel, John Jerry Uhl. Here we use the Bochner integral.
Theorem 1 Let $(\Omega, \Sigma, \mu)$ be a $\sigma$-finite measure space, $1 \...
- 835
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 ...
- 835
1
vote
1
answer
262
views
Is $L_p(X, \mu, E)$ uniformly convex for $p \in (1, \infty)$ if $E$ is a uniformly convex Banach space?
Let $(X, \Sigma, \mu)$ be a $\sigma$-finite complete measure space, $(E, |\cdot|)$ a Banach space, and $p \in (1, \infty)$. Let $L_p := L_p(X, \mu, E)$ be the Bochner space of all $\mu$-integrable ...
- 657
0
votes
0
answers
65
views
Let $E$ be Banach, $\mu_n\to\mu$ weakly on a locally compact $X$, and $f \in C_b(X, E)$. Does $\int f\mathrm d\mu_n\to\int f\mathrm d\mu$ in norm?
Let
$X$ be a metric space,
$(E, |\cdot|)$ a Banach space
$\mathcal M(X)$ the space of all finite signed Borel measures on $X$,
$\mathcal C_b(X)$ be the space of real-valued bounded continuous ...
- 835
1
vote
3
answers
579
views
Squeezing more convergence from the convergence in all $L^p$ spaces
Let $X$ be a space endowed with a finite measure $m$. Let $f_n : \to \mathbb C$ be measurable functions such that $|f_n| \le 1$ for all $n$ and $f_n \to 0$ in every space $L^p (X)$ with $p \in [1, \...
- 5,407
3
votes
0
answers
277
views
Radon-Nikodym derivative of vector-valued measure with respect to another vector-valued measure
Let $(X, | \cdot |)$ be a Banach space.
I am interested in whether one can extend the definition of the Kullback-Leibler divergence
$$
\text{KL}(\mu \ \Vert \ \nu)
:= \int_{\Omega} \ln\left(\frac{\...
- 67
5
votes
0
answers
280
views
Completeness of the space $L^p$ and the Axiom of Countable Choice
I am thinking about the proof that the usual $L^p$ spaces are complete.
So, let $(X,\mathcal{F},\mu)$ be a measure space and let
$p\in[1,+\infty)$.
Important: by a measure I mean a nonnegative $\sigma$...
- 935
5
votes
2
answers
245
views
Differentiability of the map $x\mapsto \delta_x$ in the Arens-Eells/Lipschitz-free space
$\DeclareMathOperator\AE{AE}\DeclareMathOperator\Lip{Lip}$Let $\AE(X)$ denote the Arens-Eells space on a Banach space $X$. Consider the map:
$$
\begin{aligned}
\delta: X & \rightarrow \AE(X)
\\
x&...
4
votes
1
answer
330
views
Uniform boundedness principle for almost surely converging sequence of operators
I'd like to do the following: I consider a separable Banach space $X$ with a probability measure $\mu$ on the Borel $\sigma$-algebra $\mathcal B(X)$. Additionally, I have a sequence of measurable, ...
- 375
3
votes
0
answers
274
views
Density of signed measures in dual space
Let $B$ be a Banach space of functions on a Radon space $X$. By the Hahn-Banach theorem, we know that the canonical evaluation map is isometric. That is, for every $f \in B$, we have
$$\|f\| = \sup_{\...
- 103
3
votes
3
answers
776
views
Radon-Nikodym property for space of signed measures
Given a measurable space, the vector space of signed measures is a Banach space. Does it have the Radon-Nikodym property? What if the space is of a special type, such as a nice topological space with ...
- 2,247
4
votes
1
answer
196
views
On the intersection of two Orlicz spaces
It is well-known that if $1\leq p\leq q\leq \infty $ then
$$ L^p(X)\cap L^q(X)\subset L^r(X)\quad\quad \text{whenever $r\in [p,q]$}\tag{I}\label{Eq}.$$
Indeed let $u\in L^p(X)\cap L^q(X)$. For some $...
- 1,101
2
votes
1
answer
143
views
How to characterize the order convergence in Bochner-integrable functions space?
Let $(\Omega,\Sigma,\mu)$ a finite measure space. We want to characterize the order convergence (for sequences) in Bochner integrable functions space $L^1(\mu,X)$, $X$ Banach lattice.
In $L^p$ we have:...
- 21
2
votes
0
answers
62
views
Decomposition of the Orlicz norm into sequential norm
I am bearing seeking for a sequential decomposition of the norm in Orlicz space.
Let me state what is known in the particular case of Lebesgue space $L^p(\Bbb R^d)$.
Given $u\in L^p(\Bbb R^d)$ let
$$n\...
- 1,101
0
votes
0
answers
301
views
Convergence of characteristic functions vs. weak convergence of measures and the Ito-Nisio theorem
In section 2.6 of Linde's Probability in Banach Spaces: Stable and Infinitely Divisible Distributions the author is pointing out that in infinite-dimensional Banach spaces the convergence of ...
- 167
2
votes
1
answer
183
views
Does set of finitely additive probability measures embed linearly into a strictly convex dual Banach space?
I am trying to better understand a condition that appears in Theorem 1 of this paper.
Let $K$ be a convex and compact subset of a locally convex tvs. The condition is:
$K$ embeds linearly into a ...
- 869
3
votes
1
answer
148
views
Measurability of superposition operator with non-separable Banach space
Let $f\colon I \times X \to \mathbb{R}$ be a map where $I \subset \mathbb{R}$ is an interval, $X$ is a Banach space (possibly non-separable) and we have
$$t \mapsto f(t,x) \text{ is measurable}$$
$$x \...
- 107
8
votes
1
answer
207
views
Subspaces of $L_p([0,1])$ whose unit ball is compact for the topology of convergence in measure
Any information about the following questions would be welcome.
I wonder whether there are (well-known or easy) closed and infinite dimensional subspaces of $L_p([0,1])$ ($1<p<\infty$) whose ...
- 81
4
votes
1
answer
548
views
Two definitions of $L^p$ spaces that are not always equivalent
There are two definitions of $L^p(S, \Sigma,\mu)$ in the literature. (Here $S$ is a set, $\Sigma$ is a $\sigma$-algebra of subsets of $S$ and $\mu$ is a positive measure.) The two definitions are ...
- 41
2
votes
0
answers
520
views
Example of a non-reflexive Banach space and two sequences
Let $(E,\mathcal {A}, \mu ) $ be a finite measure space and $X$ be a Banach space. The set of all Bochner-integrable functions from $E$ into $X$ is denoted by $\mathcal{L}_X^1$.
If $X$ is reflexive, ...
- 199
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 "...
- 657
3
votes
0
answers
173
views
A Caratheodory-like result for infinite-dimensional simplices
Let $K$ be a compact metric space; $\Delta K$ be the set of Borel probability measures on $K$ endowed with the weak* topology; $X$ be a closed subset of $\Delta K$; and $x_0 \in \overline{\text{co}} X$...
- 537
9
votes
4
answers
4k
views
Is the space of Radon measures a Polish space or at least separable?
Background: I work on a SPDE problem where in order to apply Prokhorov's theorem I need that some measure space is Polish space. And additionaly it would be good if that space is Banach space. Earlier ...
- 657
4
votes
1
answer
189
views
Intrinsic volumes of non-polyconvex, non-compact sets
I am reposting this question I asked and bountied on Math SE, which has been upvoted but not answered or commented on.
The intrinsic volumes (AKA Minkowski Functionals or, with different ...
- 509
7
votes
0
answers
177
views
Does this ideal in $B(L_1)$ have a (bounded) right approximate identity?
I will take a roundabout way to defining this ideal, because (a) this route is how my collaborators and I came to it (b) this alternative definition, rather than the standard one, may suggest a ...
- 25.8k
1
vote
0
answers
74
views
Nonlinear maps in Riesz Thorin theorem
The Riesz Thorin theorem allows us to interpolate between $L^p$ spaces and the usual assumption is that the map $T$ is linear.
What I was wondering about is whether this is because otherwise you do ...
user127450
1
vote
1
answer
52
views
Infinitely many independent functions that are only frequency localized?
A function $f \in L^2(\mathbb R^d)$ will be called $K$-frequency localized if the following inequality holds
$$\int_{\mathbb R^d} \lvert \widehat{f}(x) \rvert^2 x^2 \ dx \le K \int_{\mathbb R^d} \...
- 11
4
votes
0
answers
115
views
point-wise approximation of the identity in hereditary Lindelof spaces
Let $X$ be a topological vector space. Assume that there exists a sequence of finite range measurable functions $\phi_n:X\to X$ with $\lim\phi_n(x)=x$.
Q. Can we concluded that $X$ is hereditery ...
- 4,058
10
votes
1
answer
366
views
Are all compact subsets of Banach spaces small in a measure-theoretic sense?
Definition. A subset $K$ of a topological group $X$ is called measure-continuous if there exists a $\sigma$-additive Borel probability measure $\mu$ on $X$ such that for every compact subset $C\subset ...
- 41.8k
9
votes
1
answer
384
views
Comparing two $\sigma$-algebras on $B(\ell^1)$
Let us consider $B(\ell^1)$, bounded linear operators on $\ell^1$. We recall the weak operator topology, denoted by $w$, on $B(\ell^1)$ is determined as follow
$$w-\lim T_i=T \Longleftrightarrow \...
- 4,058
6
votes
3
answers
427
views
Point-wise limit of finite valued functions
Let $X$ be a second countable topological vector space. Does there exist any sequence of finite valued functions $f_n\colon X\to X$ converging point-wise to the identity mapping on $X$?
- 4,058
1
vote
1
answer
194
views
Proof that the subspace of signed measures integrating d(x,e) is closed
Let $\mathcal{M}(S)$ be a space of finite signed measures on a metric space $S$ ($=\mathbb{R}^2$ in my case) equipped with the total variation norm. Let
$\mathcal{M}_1(S)=\{\mu \in \mathcal{M}(S):\...
- 13