All Questions
1,222 questions
21
votes
5
answers
4k
views
Isomorphisms of Banach Spaces
Suppose $X$ and $Y$ are Banach spaces whose dual spaces are isometrically isomorphic. It is certainly true that $X$ and $Y$ need not be isometrically isomorphic, but must it be true that there is a ...
- 629
15
votes
3
answers
8k
views
What is an isomorphism of Banach spaces?
The nLab page on Banach spaces (http://ncatlab.org/nlab/show/Banach%20space) was recently criticised as being, in effect, too heavily biased to category theory (not of the Baire kind) and not enough ...
- 26.8k
1
vote
0
answers
45
views
Generalizations of the Wiener Tauberian Theorem to Musielak-Orlicz spaces
Musielak-Orlicz spaces provide a generalization of the usual $L^p$ spaces on $(\mathbb{R},\mathcal{B}(\mathbb{R}))$ to spaces of functions for which the Luxemburg norm
$$
\|f\|_M:=\inf\left\{\lambda &...
- 5,405
6
votes
0
answers
99
views
Is every separable Banach space with the MAP 1-complemented in a space with a monotone basis?
The question, already phrased in the title, looks like a classical problem from Banach space theory from the 1970s. Hence, my question is more of a reference request in its nature.
Can every ...
- 11.3k
1
vote
1
answer
268
views
About reflexivity of ultrapower
It is obvious that for a Banach space $E$, $E$ is reflexive iff $\ell^2(E)$ is reflexive. Let $\mathcal U$ be an ultrafilter. Is the reflexivity of $(E)_\mathcal U$ equivalent to refelxivity of $(\ell^...
- 2,118
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(\...
- 455
7
votes
1
answer
814
views
An equivalent condition for separability of $X^*$
Let $X$ be a Banach space. By the weak operator topology on $B(X)$, we mean the locally convex topology implemented by the following semi-norms:
$$B(X)\to[0,\infty) : T\to|\langle Tx,x^*\rangle|$$
...
- 4,058
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
12
votes
2
answers
949
views
Banach space modulo a one-dimensional subspace =?
My question is the following:
Given an infinite dimensional Banach space $E$ and a one-dimensional linear subspace $F\subset E$. It is well-known that this one-dimensional linear subspace is closed ...
- 987
5
votes
2
answers
1k
views
Are bounded sets always weakly metrizable in reflexive separable spaces?
It is known that if a Banach space is reflexive and separable, its unit ball is weakly metrizable.
My question is about the generalization of this property :
1) Is it true that for all reflexive ...
- 549
12
votes
1
answer
1k
views
Uniform boundedness of an $L^2[0,1]$-ONB in $C[0,1]$
Assume that we have an orthonormal basis of smooth functions in $L^2[0,1]$. Are there useful practical criteria to determine whether the sup-norm of the basis functions has a uniform bound? I am sure ...
- 4,729
0
votes
0
answers
977
views
Weak convergence can imply strong convergence [duplicate]
In $\ell^1(\mathbb N)$, weak convergence implies strong convergence. Is there a classification of infinite-dimensional Banach spaces for which such a property holds true ?
- 16.2k
2
votes
0
answers
69
views
Banach lattices $X$ for which $L_p(\mu)\subset X$ or $X\subset L_q(\mu)$
It is well known (see vol. II of Lindenstrauss and Tzafriri's book) that an order continuous Banach lattice $X$ with a weak unit admits a representation as a (in general not closed) ideal of $L_1(\mu)$...
- 4,461
1
vote
0
answers
55
views
Operational quantities characterizing upper semi-Fredholm operators
An operator $T:X\rightarrow Y$ is said to be upper semi-Fredholm if its range is closed and its kernel is finite-dimensional. M. Schechter (1972) introduced a quantity $$\nu(T):=\sup_{\operatorname{...
- 3,343
1
vote
0
answers
86
views
Uniform continuity of sequence of semigroups
Let $T(t)$, $t\in [0,\tau]$, be a $C_0$ semigroup on an Banach space $X$. Also, let $T_n(t)$ be a sequence of semigroups that satisfies for all $x\in X$
$$\lim_{n\to \infty}\sup_{t\in [0,\tau]}\|T_n(...
- 395
5
votes
1
answer
507
views
Weak compactness of order intervals in $L^1$
Let $(\Omega,\mu)$ be a measure space, say $\sigma$-finite for the sake of simplicity, and let $L^1 := L^1(\Omega,\mu)$ denote the real-valued $L^1$-space over $(\Omega,\mu)$.
For all $f,h \in L^1$ ...
- 12.6k
8
votes
3
answers
457
views
Thin large subspaces of $\ell^N_1$
Consider a sequence $V_N$ of subspaces of $\ell^N_1$ so that $\dim V_N = N- n$ and $n$ is $\mathsf{o}(N)$. Is it true that these spaces are "thick" (unofficial terminology), i.e. are there constants $...
- 4,432
5
votes
1
answer
264
views
Characterization of the interpolation space $(X,D(A^\alpha))_{\theta,p}$ with semigroup $A$ generates?
Let $X$ be a Banach space (could work for over $\mathbb{R}$ as well?)
Let $A\colon D(A)\subset X\to X$ be a sectorial operator, and $e^{tA}$ be the semigroup generated by $A$.
It is well-known that ...
- 153
2
votes
1
answer
234
views
Counter example about blow-up solution of DEs
Let $f(\cdot)$ be a continuously differentiable function over $\mathbb{R}$, and $u\in L^2_{loc}(0,\infty)$, $a\in \mathbb{R}$, and $x(t)$ solves the integral of $$\dot{x}(t)=ax(t)+f(x(t))+u(t), \quad ...
- 395
4
votes
1
answer
137
views
Defining a topology by sequences
Suppose we have a Banach space $X$ and have chosen a set $\Sigma$ consisting of some sequences whose members are in $X$. We can then say that $(x_n)_{n=1}^\infty\in X^\mathbb{N}$ is $\Sigma$-...
user78375
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
5
votes
1
answer
232
views
Interpolation of some Lebesgue spaces
When dealing with time-dependent PDEs, one often obtain that some quantity $E(t,x)$ belongs to a Lebesgue space $L^p_t(L^q_y)$, which means that
$$\int_0^{+\infty}\|E(t,\cdot)\|_{L^q(\mathbb{R}^n)}^p ...
- 52.4k
19
votes
1
answer
3k
views
Infinite convex combinations in a Banach space
Let's say that a subset $C$ of a Banach space $X$ is $\sigma$-convex if the following property holds:
For any sequence $(x_k)_{k\ge0}$ in $C$, and for
any sequence of non-negative real numbers $(\...
- 60.6k
6
votes
2
answers
888
views
Weak convergence in the intersection of Lebesgue spaces or Sobolev spaces
Let $B:=B_1\cap B_2\cap...\cap B_n$, where each $B_j$ is a reflexive Lebesgue space or Sobolev space (such as $L^4$, $H^1$, etc.) on a domain in $\mathbb{R}^d$. Then $B$ is a Banach space endowed with ...
- 305
5
votes
0
answers
228
views
What is the smallest number of hyperplanes covering $\ell_2$?
For a Banach space $X\ne \{0\}$, let $\mathrm{cov}_H(X)$ be the smallest number of hyperplanes covering $X$.
By a hyperplane in a Banach space I understand any closed affine subspace of codimension ...
- 42k
32
votes
2
answers
4k
views
Are there non-reflexive vector spaces isomorphic to their bi-dual?
Let $V$ be an infinite dimensional topological vector space and consider the natural application $\iota\colon V\to V^{**}$. The space $V$ is said to be reflexive if $\iota$ is an isomorphism.
Are ...
- 7,902
3
votes
1
answer
221
views
Does Bishop-Phelps Theorem hold for extreme points (slightly different version)?
Recall the Bishop-Phelps Theorem.
Bishop-Phelps Theorem: Let $B\subseteq E$ be a bounded, closed, convex subset of a real Banach space $E.$
Then the set
$$\{e^*\in E^*: e^* \text{ attains its ...
- 623
6
votes
1
answer
238
views
Extending a weak*-converging sequence onto a superspace
Let $X$ be a real Banach space and $Y\subset X$ be a (closed) subspace of $X$. Assume that a sequence $y_n^*\in S_{Y^*}$ weak*-converges to some $y^*\in S_{Y*}$. (Here $S_{Y^*}$ stands for the dual ...
1
vote
0
answers
48
views
Can we say that $f$ admits a $m(X,X^*)$-continuous extension to $X$?
Let $X$ be a Banach space equipped with the Mackey topology $m(X,X^*)$. We suppose that $\big(X,m(X,X^*)\big)$ is separable space. Let $H$ be a countable, $m(X,X^*)$-dense subset with $(H=-H)$.
Let $...
- 117
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
99
views
Gluing together dense subset of Projective Limit in $Ban_1$
Let $(X_n,\pi_n^{m})$ be a countable projective system in the category Ban$_1$ of Banach spaces and short linear maps (is (continuous) linear constructions). Then (co)-completeness of this category ...
- 5,405
1
vote
1
answer
325
views
Question about a characterization of Grothendieck spaces
I do not believe the argument below is correct, but I am having quite a bit of trouble finding where I went wrong with this, so perhaps someone with more expertise in this area can push me in the ...
- 113
1
vote
1
answer
315
views
Characterizing a norm on sequences
Let $\{a_i\}$ be a sequence of reals such that $|a_i|\geq|a_{i+1}|$ for all $i$, and consider the following norm: $$\|\{a_i\}\| = \sup_k \frac{1}{\sqrt{k}}\sum_{i=1}^k |a_i|~.$$ One can see that -- ...
- 4,049
8
votes
2
answers
590
views
Attempted Banachification of a space
In a recent blog post, Terry Tao mentioned the question of how to tell if a Hausdorff topological vector space admits a finer topological structure which happens to be the topology of a Banach space (...
- 149k
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=\...
- 111
5
votes
1
answer
669
views
Compact operators on $\ell^1$
Let $T$ be a compact symmetric operator on $\ell^2$ and $T\vert_{\ell^1}$ be bounded on $\ell^1$. Are there any non-trivial conditions that $T\vert_{\ell^1}$ is compact as well (for example would $T$ ...
- 329
3
votes
1
answer
439
views
Strong continuity of the Ornstein-Uhlenbeck operator
It's well known that the Ornstein-Uhlenbeck semigroup defined by
$$
P_tf(x)=\int_{\mathbb{R}}f\left(xe^{-t}+\sqrt{1-e^{-2t}}z\right)\frac{e^{-z^2/2}}{\sqrt{2\pi}}\,dz
$$
is not strongly continuous on ...
- 617
6
votes
1
answer
290
views
Does the topological Varopoulos algebra consist of functions that are continuous and Varopoulos norm bounded?
Let $X_1,\dots,X_n$ be compact Hausdorff spaces. Let's define the Varopoulos algebra as the projective tensor product: $$V(X_1,\dots,X_n) := C(X_1) \hat{\otimes} \dots \hat{\otimes} C(X_n),$$ i.e. the ...
- 4,010
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 ...
- 1,879
0
votes
0
answers
97
views
Does $L^p$ contractivity imply $L^p$ dissipativity?
Does $L^p$ contractivity of an operator semigroup imply the $L^p$ dissipativity of the operator ?
Thank you in advance !
- 1
5
votes
1
answer
519
views
Hahn Banach type extension of a Lipschitz map
The problem that I posted was a much generalized form of what I had in my mind. All I want to know the literature of Hahn-Banach type extension of Lipschitz map. I know only about the result by ...
- 521
10
votes
0
answers
266
views
Are biduals of spaces of differentiable functions on hypercubes Grothendieck?
Consider the space $E_n = C^1([0,1]^n)$ of continuously differentiable functions with the usual norm
$$\max\{ \|f\|_\infty, \|f^\prime_{x_1}\|_\infty, \ldots, \|f^\prime_{x_n}\|_\infty\}.$$ making it ...
- 11.3k
5
votes
1
answer
197
views
The largest topological copy of a Hilbert space contained in $\ell^1$
Let us consider $\ell^1$, the space of absolutely summable sequences in the space of complex numbers. Clearly every finite dimensional Hilbert space is topologically embedded into $\ell^1$.
...
- 4,058
13
votes
1
answer
912
views
Are $L^\infty(\Bbb R)$ and $L^2(\Bbb R)$ homeomorphic?
It's easy to see that, for $1\le p,q< \infty$ the spaces $L^p(\Bbb R)$ and $L^q(\Bbb R)$ of $p$-th and $q$-th power integrable functions on the real line are homeomorphic as topological spaces. In ...
- 3,017
1
vote
1
answer
176
views
Reference on vector-valued convex conjugate
The following definition of convex conjugate is taken from Wiki:
Let $X$ be a real topological vector space, and let $X^*$ be the dual space to $X.$
Denote the dual pairing by
$$\langle \cdot ,...
- 623
1
vote
1
answer
791
views
$\ell_1$ and $\ell_\infty$ as complementary subspaces of Banach space
Let $X$ be a Banach space, and let $X'\subset X$ - its subspace. Then the following propositions are true:
$X'$ is closed, $X/X' \cong \ell_1 \Rightarrow X'$ is complementary;
$X' \cong \ell_\infty ...
- 51
2
votes
1
answer
230
views
Relation between the weak star topology and hereditary Lindelöfness
Let $X$ be a Banach space. Is the following implication valid?
$$ (X,w) \textrm{ is hereditarily Lindelöf}~ \Rightarrow X^*~ \textrm{is separable} $$
The converse is clearly true, since the ...
- 4,058
12
votes
2
answers
3k
views
Direct proof of injectivity of $L_\infty$
I would like to know a simple proof of isometric injectivity of $L_\infty$. The proof I've found in Topics in Banach space theory. F. Albiac, N. Kalton uses two deep result.
$L_\infty$ as ...
- 1,697
5
votes
0
answers
346
views
Weak to weak$^*$ continuity of the duality mapping
Let $X$ be a uniformly convex and uniformly smooth Banach space. We consider the duality mapping $J_p^X$ defined as the sub-gradient $\partial (\frac1p\|\cdot\|^p)$. Is there a characterisation of the ...
- 799
4
votes
4
answers
631
views
Continuity in Banach space for non-linear maps
I want to find an example of a Banach space $X$ and a continuous map $f:X\rightarrow X$ such that $f$ is not bounded on the unit ball. I do not doubt that such an example exists, but I cannot make it ...
- 16.2k