All Questions
17 questions
10
votes
3
answers
739
views
Is there a version of Fischer-Riesz theorem for Banach space?
$( \Omega,F, P )$: a measurable space equipped with a finite measure
$(B , \Vert \cdot \Vert) $ : a Banach space with $\mathcal{B}$ as its borelian $\sigma$-algebra
$p$ : a constant bigger than $1$
...
- 406
7
votes
3
answers
909
views
Using the Stone-Weierstrass theorem to solve an integral limit
The following question was posted on math stack exchange here but it got no answers
Let $c\in (1, +\infty)$ and $f \colon [0, c] \to \mathbb{R}$ be a continuous and monotonically increasing function ...
- 331
7
votes
1
answer
504
views
Is $L_q(X^*)$ complemented in $(L_p(X))^*$?
Let $X$ be a Banach space and let $p\in (1,\infty)$. If $q$ denotes the conjugate exponent to $p$, then $L_q(X^*)$ is easily seen to be isometric to a subspace of $(L_p(X))^*$ via the map $$f\mapsto \...
- 11.3k
7
votes
0
answers
708
views
Minkowski's Inequality for Integrals in Orlicz spaces
EDIT: I have changed the question to have less parameters, fitting it into the context of Orlicz spaces.
Suppose $f:[0,\infty)\to[0,\infty)$ is convex and increasing, $f^{-1}:[0,\infty)\to[0,\infty)$...
- 882
6
votes
1
answer
381
views
Convolution with semigroup: does this belong to the Sobolev space $W^{1,1}$?
Let $X$ be a Banach space, $T(t)$ be a strongly continuous semigroup on $X$, and $f\in L^1(0,\tau;X)$. It has been implied that the integral $$v(t)=\int_0^t T(t-s)f(s)ds,\quad t\in [0,\tau]$$
is not ...
- 395
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 ...
5
votes
1
answer
456
views
The Bochner integral about a semigroup of bounded linear operators on a Banach space
Let $T(t)$ be a semigroup of bounded linear operators on a Banach space $X$. When does the following hold
$$
\int_0^t T(s)x ds = \Big(\int_0^t T(s) ds\Big)x, \quad x \in X \, ,
$$
where $ t \in (0,1)$?...
- 51
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
405
views
Why is it difficult to define a direct integral of Banach spaces or Banach algebras?
In the relevant Wikipedia entry, I can read about how to define a direct integral on Hilbert spaces and Von-Neumann algebras.
Suppose that I want to define a direct integral on either Banach spaces or ...
- 1,054
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
1
answer
215
views
Dual cone of 'positive' Bochner integrable functions
If we consider the space of integrable functions $L^1([0,1];\mathbb{R})$, it can be ordered by the convex cone of positive integrable functions $L^1([0,1];\mathbb{R}_+)$. It is known that the ...
- 283
3
votes
1
answer
170
views
Integration on quasi-Banach spaces and Schatten ideals
Let $[a,b]$ be an interval and $X$ a Banach space (for starters). We know that continuous functions $f:[a,b]\to X$ are Riemann integrable. Suppose now that $X$ is a quasi-Banach space, that is, its ...
- 143
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
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
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
1
vote
0
answers
67
views
Comparison of inductive limit topology with very-rapidly decaying non-convex $L^{!/2}$-space topology
This is related to these posts and here.
Let $L^1([n,n+1])$ denote the subspace of $L^p$-functions on $[0,\infty)$ essentially supported on $[-n,n]$. Denote the accelerated $\ell^1$-direct sum ...
- 5,405
0
votes
1
answer
179
views
Dense subspaces of $L^p(0,T;X)$
Given a Banach space $X$ and $1\leq p<\infty$, let's define the space $L^p(0,T;X)$ as the set of all strongly measurable functions $f:(0,T)\mapsto X$ such that
$$\int_0^T\Vert f\Vert_{X}^pdt<\...
- 1