All Questions
1,222 questions
4
votes
1
answer
3k
views
Besov and Triebel-Lizorkin spaces
Let me start with a couple of notational reminders. For $\xi\in \mathbb R^n$,
$$
1=\varphi_{0}(\xi)+\sum_{\nu \ge 1}\varphi_{\nu}(\xi),\quad \varphi_{0}\in C^\infty_c(\mathbb R^{n}),\quad \varphi_{\nu}...
- 8,086
0
votes
0
answers
170
views
Limit of balls in $L^p$
Setup:
Let $\mu$ be a measure on a measurable space $(X,\Sigma)$, such that for every $p ,q\in [1,\infty)$, $L^p_{\mu}(\Sigma)\subseteq L^q_{\mu}(\Sigma)$ if $p\geq q$. Furthermore, the inclusions ...
- 5,405
0
votes
0
answers
58
views
Bounds on $\inf_{x,x' \in \mathbb B_X}TV(P+x,Q+x')$, where $P$ and $Q$ are distributions with density on the space $X=(\mathbb R^n,\ell_p)$
Let $n \ge 1$ be an integer, $p \in [1,\infty]$, and $P$ and $Q$ be two (probability) measures on the metric space space $X=(\mathbb R^n,\ell_p)$ which have densities w.r.t the Lebesgue measure on $X$,...
- 6,853
0
votes
1
answer
407
views
Criteria for $\epsilon$-Density
Let $Y$ be a compact, separable metric space and $X=C(Y)$ Banach space. There are many criteria for a linear subspace $Z\subseteq X$ to be dense; notably the Stone-Weierstraß theorem.
Are there ...
- 2,263
5
votes
0
answers
139
views
Copies of $\ell_\infty^k$ in subspaces of the space of operators between $n$-dimensional Banach spaces
Are there a positive integer $k$ and an unbounded increasing function $d:\mathbb N\to\mathbb N$ (of growth order $\Omega(n^2)$) such that for any $n$-dimensional Banach spaces $X,Y$, the Banach space $...
- 4,535
4
votes
1
answer
291
views
Copies of $c_0$ in $C[0,1]$ and disjoint sequences
Let $M$ be a subspace of $C[0,1]$ isomorphic to $c_0$.
QUESTION: Is it possible to find a normalized disjoint sequence $(f_n)$ in $C[0,1]$ such that the distance of $f_n$ to $M$ tends to $0$ as $n$ ...
- 986
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$...
- 63.9k
6
votes
1
answer
619
views
Whether Krein-Milman property implies Radon-Nikodym property
A Banach space is said to have Krein-Milman property (KMP in short) if every closed bounded convex set of it is a closed convex hull of its extreme points. Eg. Any reflexive space has KMP, $\ell_1$ ...
- 11.3k
2
votes
2
answers
185
views
Show that $(S^1)^*=B(\ell^2)$ knowing $(\ell^1)^*=l^\infty$
Is there a way to show that dual of trace class operators, $S^1$, is $B(\ell^2)$, bounded operators on $\ell^2$, knowing that dual of $\ell^1$ is $\ell^\infty$?
- 2,472
8
votes
0
answers
182
views
Distribution domination for sums of independent random variables in Banach spaces
Let $X$ be a Banach space and let $(\xi_n)$ and $(\eta_n)$ be independent mean-zero random variables with values in $X$ satisfying
$$
\sum_n \mathbb P(\xi_n \in A) \leq \sum_n \mathbb P(\eta_n \in A),
...
- 131
3
votes
0
answers
133
views
Lower bound on the intersection of $\ell_1$ $n$-balls
Let $B_1$ and $B_2$ be two balls in $\mathbb{R}^n$ in $\ell_1$ norm, with distance $d$ and radius $R$.
Is there a lower bound on the volume of the intersection between the two n-balls? (assuming the ...
- 63.9k
4
votes
1
answer
191
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 ...
- 2,772
2
votes
0
answers
55
views
A holomorphic map into a Hilbert space with prescribed orthogonality
This is a variation of my previous question.
Let $X\subset \mathbb{C}^n$ be a domain, and let $L:X\times X\to \mathbb{C}$ be such that $L(x,x)>0$, $L(y,x)=\overline{L(x,y)}$ and $L(\cdot,y)$ is ...
- 5,529
4
votes
1
answer
174
views
A map into a Hilbert space with prescribed orthogonality
Let $X$ be a locally compact separable metric space, and let $L:X\times X\to \mathbb{C}$ be continuous and such that $L(x,x)=1$ and $L(y,x)=\overline{L(x,y)}$, for every $x,y$.
Does there always ...
- 61.9k
3
votes
1
answer
177
views
Quotient space of a locally uniformly rotund space
If $X$ is a uniformly rotund space , then for any closed subspace $M$ of $X$, $X/M$ is uniformly rotund. Does this hold for a locally uniformly rotund space? That is if $X$ is locally uniformly ...
- 63.9k
5
votes
1
answer
177
views
An extremal property of points on the unit sphere of a 2-dimensional Banach space
Let $(X,\|\cdot\|)$ be a 2-dimensional real Banach space and $S=\{x\in X:\|x\|=1\}$ be its unit sphere. Assume that $S$ is smooth in the sense that for any $y\in S$ there exists a unique functional $y^...
- 12.6k
20
votes
2
answers
3k
views
Non-differentiable Lipschitz functions
As far as I understand, there are Lipschitz functions $f:\mathbb{R}\to\ell^\infty$ that are nowhere differentiable in the Frechet sense. Where can I find such an example?
- 12.6k
5
votes
1
answer
237
views
Is $\partial^\alpha$ a map $H^{s,p}(\mathbb R^N,F)\to H^{s-|\alpha|,p}(\mathbb R^N,F)$?
More precisely, the question is formulated as follows. Let $F$ be an arbitrary Banach space, especially not having the UMD−property. Let $N\in\mathbb N$ and $s\in\mathbb R$ and $1\le p\le +\infty$ . ...
- 3,584
5
votes
1
answer
189
views
Subsequences of an orthonormal basis generating a strongly embedded subspace in $L_2(0,1)$
A closed subspace $M$ of $L_2(0,1)$ is said to be strongly embedded if the norms $\|\cdot\|_2$ and $\|\cdot\|_1$ are equivalent on $M$.
Let $(f_n)_{n\in \mathbb N}$ be a orthonormal basis of $L_2(...
- 31.5k
14
votes
1
answer
924
views
What are the applications of the Mazur-Ulam Theorem?
Every bijective isometry between normed spaces is affine. This well-known and beautiful statement, the Mazur-Ulam Theorem, was proved in 1932, but the proof has been simplified and polished in years, ...
- 63.9k
1
vote
1
answer
896
views
Known Lipschitz-free spaces
The Lipschitz-Free space (also known as Arens-Eells spaces) $\mathcal{F}(X,d)$ over a pointed metric space $(X,d)$ is a well-studied object. In many instances, we have "concrete" representations of ...
- 2,472
1
vote
1
answer
303
views
Density of norm-attaining operators
By Bishop-Phelps theorem we know that for a real Banach space, the set of all norm attaining bounded linear functionals is norm-dense in $X^*$, the topological dual of $X$. We also know that in ...
- 31.5k
3
votes
1
answer
622
views
A Banach space where the closed unit ball is the convex hull of its extreme points
Let $X$ be a Banach space where the closed unit ball equals the convex hull of its extreme points. Is it true that this implies $X$ is reflexive?
- 902
3
votes
0
answers
103
views
"Hoelder conjugate" version of the Johnson-Lindenstrauss transform
A variation of the well-known Johnson-Lindenstrauss transform (JLT) asserts that for $x_1,\ldots,x_m\in\mathbb{R}^n$ there exists a linear transformation $A:\mathbb{R}^n\to\mathbb{R}^k$ with $k=\...
- 10.4k
5
votes
1
answer
359
views
Pisier's property $(\alpha)$
Let $\Omega$ be a probability space. Suppose $(\epsilon_i)_{1\leq i\leq n}$ is a sequence of i.i.d. Bernoulli random variables on $\Omega,$ i.e. $(\epsilon_i)_{1\leq i\leq n}$ are independent and $P(\...
- 11
0
votes
0
answers
113
views
Extrapolate an Interpolation scale
Suppose $X$ and $Y$ are real Banach spaces with a continuous embedding $X\subset Y$. For given $0<\theta<1$ I am interested in constructing using the norms of $X$ and $Y$ a (Quasi-) Banach ...
- 23
8
votes
0
answers
330
views
Complementability of finite dimensional subspaces
Suppose $X$ is a separable infinite dimensional Banach space, $E$ a finite dimensional subspace which is $c$-complemented in $X$. Is the following true?
For any $\varepsilon>0$, one can find $x\...
- 63.9k
11
votes
2
answers
513
views
What is the structure of a Banach space $X$ when $Y$ and $X/Y$ are hereditarily indecomposable?
Assume that $X$ is a separable Banach space and $Y$ a closed subspace such that
$Y$ and $X/Y$ are hereditarily indecomposable (HI). The general question is what is the possible structure of $X$.
...
- 63.9k
5
votes
1
answer
224
views
Conditional expectation of random vectors
$\newcommand{\E}{\mathsf{E}}$
$\newcommand{\P}{\mathsf{P}}$
The following additional question was asked in a comment by user Oleg:
Suppose that $(\Omega,\mathcal F,\P)$ is a probability space, $B$ ...
- 128k
4
votes
2
answers
378
views
Basic properties of expectation in non-separable Banach spaces
$\def\E{\hskip.15ex\mathsf{E}\hskip.10ex}$
Let $B$ be a (maybe nonseparable) Banach space equipped with the Borel $\sigma$-algebra $\mathscr{B}(B)$. Let $R:B\to \mathbb{R}$ be a bounded linear ...
- 41.1k
0
votes
1
answer
131
views
A question on the metric approximation property
Let $X,Y$ be Banach spaces. Suppose that $X^{***}$ has the metric approximation property. Let $T:X^{**}\rightarrow Y$ be a finite-rank operator and let $\epsilon>0$. Is there a finite-rank operator ...
- 31.5k
-1
votes
1
answer
108
views
Are local diffeomorphisms Fredholm maps with index zero? [closed]
Does this statement correct? if it does how we can prove it. In Banach spaces
a map is local diffeomorphism if and only if it is a Fredholm map of index zero with no critical points?
- 26.3k
5
votes
1
answer
269
views
Compact space $K$ without convergent sequence while $c_0$ is complemented in $C(K)$
Let $K$ be a compact Hausdorff infinite topological space and $C(K)$ the Banach space of continuous functions from $K$ in $\mathbb{R}$ with sup norm. It is known that $c_0$ is complemented in $C(K)$ ...
- 11.3k
1
vote
1
answer
107
views
Continuous Left-inverse of Dirac Lipschitz-Free Space
Let $X$ be a separable pointed metric space and let $AE(X)$ denote the corresponding Lipschitz-Free (or Arens-Eells space) over $X$. The point-evaluation map $\delta:X\mapsto AE(X)$ is injective ...
- 3,486
1
vote
0
answers
186
views
What imaginations of Lebesgue spaces or other Banach spaces do people intuitively share?
At several occasions I heared people discussing about the „colors“ of Lebesgue spaces $L^p$: $L^2$ is red, $L^1$ is white, $L^\infty$ is black, and the other $L^p$ are blue or violett. Of course this ...
- 101
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 ...
- 176
10
votes
1
answer
203
views
Verbal description, or terminology, for the ${\mathcal L}_p$-spaces of Lindenstrauss and Pelczynski
This question is intended for Banach-space specialists and so I will not repeat all the definitions here. My aim is to find out how the Banach space community refers to such spaces in discussions, and ...
- 25.8k
0
votes
2
answers
344
views
subspace topology and strong topology
Suppose $X$ is a locally convex space and $Y$ is a subspace of the strong dual of $X$, is the induced topology on Y equivalent to the strong topology $b(Y,Y')$ on $Y$? If this is not correct, then on ...
- 16.5k
2
votes
2
answers
341
views
Weaky compact subset of Banach space with separable predual
Let $X$ be a Banach space and $S\subseteq X$ be a subspace such that the unit sphere of $S$ is weakly compact. If $Y^*=X$ for some separable Banach space $Y,$ is it true that $S$ is separable?
- 1,879
1
vote
0
answers
138
views
About an argument in the paper "Commutators on $\ell_\infty$" by Dosev and Johnson
In the paper "Commutators on $\ell_\infty$" by Dosev and Johnson, in Lemma 4.2 Cas II, the authors have said that "There exists a normalized bock basis $\{u_i\}$ of $\{x_i\}$ and a normalized block ...
- 25.8k
4
votes
2
answers
187
views
Largest ideal in bounded linear maps on Schatten-$p$ class
Let $1\leq p<\infty.$ Denote $S_p(\ell_2)$ be the set of all compact operator $x$ on $\ell_2$ such that $Tr(|x|^p)<\infty.$ Define $\|x\|_{S_p(\ell_2)}:=Tr(|x|^p)^{\frac{1}{p}}.$ This makes $S_p(...
- 11.3k
3
votes
1
answer
730
views
Question about pointwise convergence of operators
Consider two Banach spaces $E,F$ and a net $T_\alpha : E \to F$ of continuous operators.
I know that for each $x \in E$ the net $T_\alpha (x)$ is convergent in $F$ and it is easy to show that the ...
- 16.5k
4
votes
1
answer
344
views
Ideal of strictly singular operators
Let $X$ be a Banach space. An operator $T:X\to X$ is called strictly singular iff for any infinite dimensional subspace $Y\subseteq X,$ $T|_{Y}:Y\to T(Y)$ is not an isomorphism.
It is known that for $...
- 4,461
11
votes
1
answer
336
views
Notions in the literature capturing the "symmetric" or "homogeneous" flavour of $L_p$?
This post/question is admittedly vague, but I hope that with some feedback in comments it could be made more precise.
For $E$ a Banach space, $K(E)$ and $B(E)$ will denote the Banach algebras of ...
- 11.3k
9
votes
1
answer
1k
views
Luxemburg norm as argument of Young's function: $\Phi\left(\lVert f \rVert_{L^{\Phi}}\right)$
Let $\Phi$ be a Youngs's function, i.e.
$$ \Phi(t) = \int_0^t \varphi(s) \,\mathrm d s$$
for some $\varphi$ satifying
$\varphi:[0,\infty)\to[0,\infty]$ is increasing
$\varphi$ is lower semi ...
- 215
0
votes
1
answer
208
views
Can a hyperplane be contained in a subspace?
Suppose $Y$ is a subspace of a normed linear space $X$ and let $y\in S_Y, y^*\in S_{Y^*}$ such that $y^*(y)=1$, where $S_Y$ denotes the closed unit sphere in $Y$. My question is the following:
Is it ...
- 902
14
votes
1
answer
694
views
Criterion for a Banach algebra to be finite dimensional
Let $A$ be a Banach algebra (say, complex and unital) and suppose that every (closed) commutative subalgebra of $A$ is finite dimensional.
Question. Does it follow that $A$ is finite dimensional?
...
- 12.6k
10
votes
2
answers
668
views
Reference request: Extensions of Wiener's Tauberian Theorem
Wiener's Tauberian Theorem says that linear combinations of translations of a function $f$ are dense in $L^1(\mathbb{R})$ if and only if the zero set of the Fourier transform of $f$ is empty. This is ...
- 8,992
5
votes
1
answer
158
views
What is a name for co-Sobczyk Banach spaces?
Definition. Let us define a Banach space $X$ to be co-Sobczyk if every linear bounded operator $T:Z\to c_0$ defined on a separable subspace $Z$ of $X$ extends to a bounded operator $\bar T:X\to c_0$.
...
- 11.3k
6
votes
1
answer
203
views
How to calculate the volume of a section of a convex body?
The following is essentially a partial case for my previous question.
Let $B\subset\mathbb{R}^m$ be the unit ball with respect to a concrete norm on $\mathbb{R}^m$, say $l^p$-norm, $p\in (1,\infty)$....
- 14.2k