All Questions
70 questions
16
votes
3
answers
1k
views
A natural center of a convex weakly compact set in Banach space
Question: Let $S$ be a convex weakly compact set in Banach space $H$. Propose a natural way to define the unique center $O \in S$.
Motivation: A lot! For example, in game theory $S$ can be a set of ...
- 161
15
votes
3
answers
2k
views
Disintegrations are measurable measures - when are they continuous?
This is a sequel to another question I have asked.
The notion of disintegration is a refinement of conditional probability to spaces which have more structure than abstract probability spaces; ...
- 8,512
12
votes
0
answers
435
views
Uniform closure of subspaces of Baire class 1
Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...
- 1,704
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
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
9
votes
1
answer
2k
views
Dual or pre-dual of BV
Was there any relevant work to determine the dual (or more likely the predual) of the space of bounded variation functions $BV(\mathbb{R}^n)$ (I recall the definition : a function in $L^1(\mathbb{R}^n)...
- 1,616
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
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
7
votes
1
answer
1k
views
If $H$ is a separable Hilbert space, is $L^2(H)$ separable?
Let $H$ be a separable Hilbert space, and let $\gamma$ be a Radon probability measure on $H$ with mean zero and covariance operator the identity $I$.
Is the Hilbert space $L^2(H,\gamma)$ separable?
- 8,512
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
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
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
6
votes
3
answers
1k
views
Is the set of the absolutely continuous functions a Borel set of the space of the continuous functions?
Does anyone knows whether the set of the absolutely continous functions $F :[0,1]\to \mathbb{R}^d$ of the form $$F(t)= a + \int_0^tf(s) ds$$ where $f$ is an integrable function is a Borel set of the ...
- 125
6
votes
1
answer
223
views
Is the space of vectorial functions that are Dunford integrable complete?
Let $X$ a Banach Space and $(\Omega, \Sigma, \mu)$ a measure space. A function $F:\Omega\rightarrow X$ is Dunford integrable if $x^\ast\circ F$ is $\mu$-integrable for every $x^\ast\in X^\ast$. The ...
6
votes
0
answers
365
views
Approximating a measurable function from a second-countable, locally compact Hausdorff group to a separable Banach space
Let $ G $ be a second-countable, locally compact Hausdorff group and $ B $ a separable Banach space.
We say that a function $ f: G \to B $ is Bochner-measurable if and only if it is the everywhere ...
- 1,396
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&...
5
votes
1
answer
601
views
Invariant probability on a unit ball of a Banach space
Let $\Gamma$ be a discrete group acting on an infinite-dimensional Banach space $X$ by linear isometries.
Is there a probability measure (non-atomic, not supported on a finite dimensional subspace) ...
- 53
5
votes
1
answer
297
views
If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?
Let $ (X,\Sigma,\mu) $ be a $ \sigma $-finite measure space and $ B $ a Banach space. A function $ f: X \to B $ is said to be strongly $ \mu $-measurable iff it is the almost-everywhere pointwise ...
- 1,396
5
votes
1
answer
1k
views
Cameron Martin space
I have seen two definitions of Cameron Martin space of a Gaussian measure $\nu$ on a Banach space (say $W$) and am unable to establish their equivalence. Any help would be appreciated.
1) It is the ...
- 51
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
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
4
votes
1
answer
821
views
What is the tensor product of $L^p(\bf R)$ with $L^q(\bf R)$?
I'm wondering: What is the tensor product of $L^p({\bf R})$ with $L^q({\bf R})$?
(For p=q=2, the answer clearly should be $L^2({\bf R}^2)$; for other values of $p$ and $q$, it is not at all obvious ...
- 41
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
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
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
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
4
votes
1
answer
819
views
The Notion of Strong Measurability for Separable Banach Spaces
Let $ (X,\Sigma,\mu) $ be a measure space and $ B $ a Banach space. According to my understanding, a function $ f: X \to B $ is said to be strongly $ \mu $-measurable if and only if it is the almost-...
- 1,396
4
votes
2
answers
558
views
Is a specific sequentially closed subset of $M([0,1])$ closed?
Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all $\...
- 95
4
votes
1
answer
283
views
Absolutely continuity in variation of constant formula
We are talking here about the initial value problem on some Hilbert space $H$
$$y'(t)=Ay(t)+f(t), \\ y(0)=y_0 \in D(A).$$(Problem 1.13 in the reference)
Then $y(t)=e^{At}y_0 + \int_0^t e^{A(t-s)}f(s) ...
- 43
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
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
3
votes
1
answer
1k
views
If $H$ is a separable Hilbert space, is its dual dense in $L^2(H)$?
Let $H$ be an infinite-dimensional, separable Hilbert space, and let $\gamma$ be a Radon probability measure on $H$ with mean zero and covariance operator the identity $I$.
Let $H^*$ denote the space ...
- 8,512
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
3
votes
2
answers
470
views
If $ F(x,\bullet) \in {L^{2}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?
This question is related to something that I asked yesterday: If $ F(x,\bullet) \in {L^{\infty}}(G,B) $ for all $ x \in G $, then is $ x \mapsto F(x,\bullet) $ strongly measurable?
Pietro Majer ...
- 1,396
3
votes
1
answer
1k
views
Cyl(E) = Borel(E) for E non-reflexive Grothendieck Banach space
This is sort of a follow-up to Borel(X) = \sigma(X') for X non-separable
PROBLEM: Given a Banach space $E$ over $\mathbb{K} \in \{\mathbb{C}, \mathbb{R}\}$ that has the Grothendieck property. ...
- 1,338
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
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
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
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
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
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
1
answer
577
views
When is the bound in Riesz-Thorin Interpolation Theorem attained?
Let me recall the statement of Riesz-Thorin theorem (see also http://en.wikipedia.org/wiki/Riesz%E2%80%93Thorin_theorem).
Theorem (Riesz-Thorin): Let $(X,\mu)$ and $(Y,\nu)$ be $\sigma$-finite ...
- 717
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
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
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
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
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
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
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
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