All Questions
1,222 questions
5
votes
3
answers
1k
views
Sequential closure of a set: standard terminology, notation, and properties
Let $X$ be a topological vector space (or, perhaps, more generally uniform space). Let $A\subset X$ be a subset. Let $A^s$ denote the set of limits of all convergent sequences (I guess $A^s$ is called ...
- 21.8k
4
votes
0
answers
693
views
On the projective tensor product of $c_{0}$ by $c_{0}$
Let $E$ be the projective tensor product of $c_{0}$ by $c_{0}$. Does it follow that $E$ is isomorphic to no subspace of $C(K)$, where $K$ is countable compact metric space?
When $C(K)$ is isomorphic ...
- 81
1
vote
1
answer
237
views
Interpolation and embeddings for parabolic function spaces
I have a somewhat easy looking question on parabolic function spaces:
Let $B$ be a ball in $\mathbb R^n$ and let $T>0$. Denote $Q:=B \times [0,T]$. Assume $f \in L^2(Q) \cap L^\infty(0,T; L^q(B))$ ...
- 632
8
votes
1
answer
455
views
Closure of $L(\ell^2,\ell^2)$ in $L(\ell^2,\ell^\infty)$
Let $\ell^2$, $\ell^\infty$ denote the usual sequence spaces and let $L(\ell^2,\ell^2)$ the Banach space of bounded linear operators from $\ell^2$ to $\ell^2$ as well as $L(\ell^2,\ell^\infty)$ the ...
- 261
4
votes
1
answer
439
views
Characterization of $l_p$ up to a linear isometry
There is a science called "Geometry of Banach spaces". I wonder if they managed to give a geometric characterization of $\ell_p$ ($p\in[1,\infty]$) up to isometric isomorphism (among all Banach spaces)...
- 7,426
6
votes
2
answers
405
views
$\|T\|_2 \le \sqrt{\|T\|_1\|T\|_\infty}$
Let $T$ be a linear operator acting on a finite-dimensional real or complex
vector space. As a direct consequence (or rather a particular case) of the
Riesz-Thorin theorem, we have
$$ \|T\|_2 \le \...
- 23k
15
votes
1
answer
889
views
Operator norms of circulant matrices
The definition and basic properties of circulant matrices can be found here: http://en.wikipedia.org/wiki/Circulant_matrix.
For complex numbers $a_1,\ldots,a_n$, I will use the notation
$$
\mbox{...
- 717
0
votes
0
answers
184
views
Can I define Fredholm Index using $\dim \ker ST - \dim \ker TS$?
$X$, $Y$ are Banach spaces.
Let $S \in L(X, Y)$, $T \in L(Y, X)$, where $L(X, Y)$ denotes the Banach algebra of bounded linear operators from $X$ to $Y$. If we have that $Id_Y - ST \in \mathbb{K}(Y)$ ...
- 365
2
votes
0
answers
267
views
Banach space interpolation theory in terms of categories
I have recently learned a bit about higher category theory.
And there is a question I would like to ask. Can we enrich banach space interpolation theory by using higher category theory?
Is it ...
- 361
11
votes
3
answers
4k
views
Structure of an intersection of $L^p$-spaces
In what follows, $L^p$ denotes the space of functions from $\mathbb{R}$ to $\mathbb{R}$ such that $\int_{\mathbb{R}} |f(x)|^p\mathrm{d}x < \infty$.
I am interested to understand the structure we ...
- 2,306
6
votes
0
answers
532
views
Products of spaces containing no copies of $\ell_2(\Gamma)$
Given an infinite set $\Gamma$, I would like to know if the class of Banach spaces containing no copies of $\ell_2(\Gamma)$ is stable under finite products.
When $\Gamma$ is countable the answer is ...
- 4,461
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
3
votes
1
answer
365
views
Final topology of surjective linear map on Banach space
Let $L:X\rightarrow Y$ be a surjective linear map from Banach space $(X,||\cdot||_X)$ to vector space $Y$ and denote with $\tau_L$ the final topology on $Y$ induced by $T$.
Is $\tau_L$ equivalent ...
- 315
6
votes
0
answers
175
views
Ultrapowers and complemented subspaces
Let $Y$ be a closed subspace of a Banach space $X$, and let $\mathcal{U}$ be a nontrivial ultrafilter on the set $\mathbb{N}$ of all integer numbers.
It is not difficult to see that if $Y$ is ...
- 4,461
4
votes
1
answer
207
views
Introducing a dual space structure
Suppose that we have a Banach space $X$ together with some locally convex Hausdorff topology on $X$, weaker than the one given by the norm, which makes the unit ball of $X$ compact. Is $X$ (Banach-...
- 11.3k
3
votes
1
answer
255
views
A differentiable version of the Michael selection theorem
Assume that $X$ and $Y$ are Banach spaces and $T:X\to Y$ is a bounded surjective linear map.
Is there a Gateaux differentiable function $g:Y\to X$ such that $T\circ g=Id_{Y}$?
- 356
1
vote
0
answers
127
views
Mixed Tsirelson Norm
A couple of days ago I posted this question on Mathematics Stack Exchange. Surprisingly, so far, I haven't received any answers or comments about it (besides my own possible answer). Maybe I can get ...
- 125
3
votes
1
answer
432
views
A (non trivial) continuous map on a Banach space which is nowhere Frechet differentiable
Assume that $X$ is a Banach space. Is there a continuous map $f:X\to X$ such that $f$ is nowhere Frechet differentiable, but its restriction to every finite dimensional subspace is every where Frechet ...
- 356
4
votes
2
answers
611
views
A useful criterion in vector integration
I would like to know the proof of the following theorem:
Consider two Banach spaces $X\hookrightarrow Y$ and $1<p,q\leq\infty$. Let $(f_n)_{n\geq 0}$ be a bounded sequence in $L^q(I,Y)$ and let $...
- 403
5
votes
1
answer
243
views
Complemented subspaces of ultrapowers
It's a famous result of Maurey that a Banach space $E$ is finitely representable in $X$ if and only if it is a subspace of some ultrapower of $X$. Is there an analogous result for complemented ...
- 105
7
votes
1
answer
411
views
Banach spaces with no reflexive complemented subspaces
If $X$ is a Banach space with the Dunford Pettis Property (DPP), then no infinite reflexive subspace can be complemented. Suppose now that the Banach space has the property, that no infinite reflexive ...
- 149
6
votes
1
answer
364
views
A question about uniformly bounded semigroups
Let $A$ be an unbounded linear operator of domain $D(A)$ defined on a Banach space $X$. Suppose that $A$ generates a $C_0$-semigroup $T(t)$ which is uniformly bounded. I would like to know if there ...
5
votes
1
answer
809
views
Separable Banach spaces which are absolute Lipschitz retracts
A subset $F$ of a metric space $M$ is called a Lipschitz retract of $M$ if there is a Lipschitz map from $M$ onto $F$ which coincides with the identity on $F$. A metric space which is a Lipschitz ...
- 607
6
votes
2
answers
548
views
When is it $C(X)$?
Suppose that $\tilde{X}$ is a compact space. If $C(\tilde{X})$ is isometrically isomorphic to the second dual of a Banach space, does there exist a locally compact space $X$ such that $C(\tilde{X})=...
- 306
2
votes
0
answers
132
views
Birkhoff orthogonal of a Banach space in its bidual
Let $X$ be a Banach space embedded in $X^{**}$ in the usual way.
We consider the set
$$
O_X := \{ x^{**}\in X^{**} : \|x^{**}-x\|\geq \|x\| \textrm{ for all }x\in X\}.
$$
I think this is the ...
- 4,461
6
votes
1
answer
2k
views
Existence of injective operators with dense range
Given two separable (infinite dimensional) Banach spaces $X$ and $Y$, it is not difficult to show that there exists an injective (bounded linear) operator $T:X\to Y$ with range dense in $Y$. See S. ...
- 4,461
1
vote
1
answer
160
views
Contractively complemented subspaces without contractively complemented complement
Can someone give me an example of a Banach space $X$ and contractive projection $P\in\mathcal{B}(X)$ such that $\ker P$ is not a range of any contractive projection $Q\in\mathcal{B}(X)$?
- 1,697
2
votes
1
answer
207
views
tensorial product with Lp
Let us consider E a finite-dimensional normed space on $\mathbb{R}$ and a real number $p\geq 1$.
Is it true that the projective tensorial product $E \widehat{\otimes}_\pi L^p(\mathbb{R},\mathbb{R})$ ...
- 111
2
votes
1
answer
578
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
5
votes
2
answers
606
views
Banach-Mazur distance to complex $\ell^1$ of a space containing real $\ell^1$
Consider a complex Banach space $X$ with a real subspace isometric to $\ell^1_{\mathbb R}$. What is the best constant $c$ such that $X$ contains a complex subspace $c$-isometric to $\ell^1_{\mathbb C}$...
- 9,486
3
votes
2
answers
278
views
Centralizers and containment of $c_0$
I have this question also in MSE (see: https://math.stackexchange.com/questions/666053/centralizers-and-containment-of-c-0), but I have not got an answer there. So I thought I try my luck here.
Let $...
- 125
2
votes
1
answer
365
views
On sequences which converge to zero with respect to an operator ideal
Let $X$ be a Banach space and $\mathcal{A}$ be an operator ideal. A sequence $(x_{n})_{n=1}^{\infty}$ in $X$ is called $\mathcal{A}$-convergent to zero if there exist an operator $S\in \mathcal{A}(Z,X)...
- 3,343
8
votes
0
answers
1k
views
On the classification of injective Banach spaces
A Banach space $E$ is injective when it is complemented in each Banach space $X$ that contains it as a closed subspace. The space $E$ is $1$-injective if the copy of $E$ in $X$ is the range of a norm-...
- 4,461
11
votes
3
answers
445
views
Does the generator of a 1-parameter group of Banach space isometries know which elements are entire?
Let $X$ be a complex Banach space. Let $(\sigma_t)_{t \in \mathbb{R}}$ be a 1-parameter group of linear isometries of $X$ which is strongly continuous i.e. $t \mapsto \sigma_t(x)$ is continuous for ...
- 662
9
votes
3
answers
868
views
Rosenthal like inequality for weak $\mathbb L^p$-norms
Let $p$ be a real number greater than $1$. It is well known (see Hall and Heyde's Martingale limit theory and its applications, Theorem 2.10) that there exists a constant $C_p$ such that if $(X_i)_{i=...
- 3,968
4
votes
1
answer
670
views
A generalization of a theorem of Grothendieck
In this question the norm of $L^{P}[0,1]$ is denoted by $\parallel . \parallel _{p}$.
Let $p$ and $q$ be two arbitrary real numbers with $2<p<q$.
Assume that $S$ is a subvector space of ...
- 356
10
votes
1
answer
591
views
Grothendieck spaces and total subspaces of the dual
There is probably an embarrassingly simple counter-example to my question but I couldn't figure it out myself. Let me give it a try here.
A Banach space $X$ is Grothendieck if weak*-convergent ...
- 11.3k
2
votes
3
answers
757
views
The importance of basis constant in Banach spaces
Let $X$ be a Banach space an let $(e_n)_{n=1}^{\infty}$ be a Schauder basis of $X$. If we denote the sequence of the natural projections associated with $(e_n)_{n=1}^{\infty}$ by $(S_n)_{n=1}^{\infty}$...
- 45
2
votes
2
answers
214
views
Representation of Banach spaces partially ordered by solid, normal, minihedral cones
I've been using the representation result below, from Krasnosel'skij/Lifshits/Sobolev; Positive Linear Systems---The Method of Positive Linear Operators. Heldermann Verlag, 1989.
Theorem. Let $E$ be ...
- 123
12
votes
1
answer
306
views
Containment of $c_0$
I have the following question. I guess it's quite simple for experts.
Unfortunately, I could not come up with an answer yet.
Let $X$ be a Banach space which contains no copy of $c_0$.
Does it impply ...
- 225
2
votes
0
answers
108
views
Suprema and infima in spaces ordered by non-normal cones
Background
We shall call a subset $V_+ \subseteq V$ of a Banach space $V$ a cone if
$V_+$ is closed,
$\alpha V_+ \subseteq V_+$ for all $\alpha \geqslant 0$, and
$V_+ \cap (-V_+) = \{0\}$.
Cones ...
- 123
4
votes
2
answers
311
views
Is the space of trace class operators finitely representable in an $L^1$-space?
I am interested in knowing whether the space of trace class operators is (crudely) finitely representable in an $L^1$-space. I suspect that the answer is negative but I am unable to find any argument ...
- 5,005
3
votes
1
answer
941
views
Fractional power of operators in $C_0$-semigroup
Let $X$ be Banach space, and $\{Z(t)\}_{t\geq 0}\subseteq B(X)$ be the $C_0$-semigroup of operators defined on $X$. Moreover, let $A$ be the infinitesimal generator of $\{Z(t)\}_{t\geq 0}$. A ...
- 153
3
votes
2
answers
423
views
Banach algebra for measures induced by Haar measures
It is classical that $L^1(G, m)$ is a Banach algebra when $G$ is a locally compact group with Haar measure $m$ by using the operation of convolution via the integral
$$(f*g)(y)=\int_Xf(x)g(yx^{-1})\,...
- 1,049
5
votes
1
answer
696
views
Is any order bounded continuous linear functionals a difference of positive continuous functionals?
Let $B$ be a Banach space and $K$ a closed proper cone in $B$ such that the induced partial order makes $B$ a vector lattice. Let $K'=\{x^*\in B':\langle x^*, x\rangle\geq 0\ \forall x\in K\}$ the ...
- 111
2
votes
1
answer
4k
views
Precise versions of "differential operators are unbounded but closed linear operators"
I am trying to understand to what extent the following result of Hille is an extension of the usual theorems on differentiation under the integral sign.
Theorem (Hille). Let $(\Omega,\Sigma,\mu)$ ...
- 1,202
15
votes
1
answer
2k
views
Quotients of $\ell_\infty$ by separable subspaces
Given a (closed) separable subspace $M$ of $\ell_\infty$, I am interested in conditions implying that the quotient $\ell_\infty/M$ is isomorphic to a subspace of $\ell_\infty$.
It is not difficult ...
- 4,461
6
votes
1
answer
273
views
Quasi-reflexive spaces which are not isometric to dual spaces
My question may sound weird and I have no deep motivation behind it other than curiosity.
As is well-known, quasi-reflexive spaces have the Radon-Nikodym property hence their balls have lots of ...
21
votes
2
answers
1k
views
Meager subspaces of a Banach space and weak-* convergence
I previously asked a version of this question on Math.SE, but didn't receive an answer. (But there is a bounty there if you want to claim it!)
Let $X$ be a Banach space. (If it helps, feel free to ...
- 29.8k
7
votes
0
answers
293
views
Complex interpolation of a Banach space and its antidual when the space has a basis
Given a complex Banach space $X$ and its antidual $\hat X^*$, it is possible in some cases to apply the complex interpolation method, and get as $(X,\hat X^*)_{1/2}$ a Hilbert space. See [F. Watbled, ...
- 4,461