All Questions
1,222 questions
4
votes
2
answers
310
views
Geometric implications of $\beta(B_X) = 2$
Let $X$ be an infinite-dimensional Banach space and $\beta$ denote Istrățescu's spreading measure of noncompactness, i.e. $$\beta(M) = \sup \{ \varepsilon > 0 \colon \exists_{(x_n)^{\mathbb N} \in ...
- 446
31
votes
2
answers
3k
views
Is a normed space which is homeomorphic to a Banach space complete?
I have a normed space $(E,||\cdot||)$ which is homeomorphic (as a topological space) to a Banach space $F$.
Does this imply that $(E,||\cdot||)$ is also a Banach space?
I think I read something ...
- 495
5
votes
1
answer
109
views
Simultaneous near-best approximation with respect to two norms
Suppose that $M$ is a closed infinite dimensional subspace of $L_4(0,1)$ which is also a closed subspace of $L_1(0,1)$. Hence $M$ is isomorphic to $\ell_2$ as a subspace of $L_p(0,1)$ for $1\leq p\leq ...
- 4,461
2
votes
0
answers
141
views
Quotients in complex interpolation of Banach spaces
Let $(X_0,X_1)$ be an admissible pair of complex Banach spaces with $X_0$ continuously embedded in $X_1$. For $0<\theta<1$, let us denote by $X_\theta =(X_0,X_1)_\theta$ the complex ...
- 4,461
7
votes
2
answers
689
views
Which C*-algebras are complemented in their bidual?
Every von Neumann algebra is 1-complemented in its bidual, and so is every injective C*-algebra. Also, if $C_0(X)$ is infinite-dimensional and separable then it is not complemented in its bidual, and $...
- 3,816
2
votes
0
answers
111
views
proving that $\mathcal{A}_\infty(X)$ is or is not norm-closed in $\mathcal{L}(X)$ for each Banach space $X$
Fix any $1\leq p\leq\infty$. If $X$ is a Banach space and $C\in(0,\infty)$, we say that $T\in\mathcal{A}_C(X)$ whenever, for each $(x_n)_{n=1}^\infty\subset B_X$ (where $B_X$ is the closed unit ball ...
- 1,591
2
votes
2
answers
252
views
A question on strictly cosingular operators
Let $T:X\rightarrow Y$ be an operator satisfying that $Q_{N}T$ is not surjective for every finite-dimensional subspace $N$ of $Y$, where $Q_{N}:Y\rightarrow Y/N$ is the canonical quotient map. My ...
- 3,343
5
votes
1
answer
494
views
Is X+X finitely representable in X?
I wonder if the following assertion in true:
Conjecture. Let $X,Y,Z$ be infinite-dimensional Banach spaces such that both $Y$ and $Z$ are crudely finitely representable (c.f.r. for short) in $X$. ...
- 51
4
votes
1
answer
427
views
Reference Request: Calculus of Variations in Hilbert Space
I'm looking for a good reference to a book on calculus of variations in the setting of Banach Spaces.
If it helps, I'm working with a particular functional acting on Fr\'{e}chet-differentiable ...
2
votes
1
answer
197
views
Explicit description of the closure of a given set
Let $C$ be the subset of $C_b(\mathbb{R})$ given by
$$C:=\{f\in C_b(\mathbb{R}):\ \exists f'\in C_b(\mathbb{R})\}$$
Now I want to take the closure of this set with respect to the supremum norm on $...
1
vote
1
answer
158
views
When do we have $B_Y\subset T(B_X)$ if and only if $\overline{B_Y}\subset T(\overline{B_X})$?
Let $X$,$Y$ be normed spaces, $T:X\to Y$ be a bounded linear operator. Denote the open and closed unit balls by
$$
B_X:=\{ x\in X\ |\ \|x\|<1\} \\
\overline{B_X}:=\{ x\in X\ |\ \|x\|\le1\}
$$
and ...
- 1,245
24
votes
2
answers
2k
views
Unique predual of a Banach space
Suppose $E$ is a dual Banach space whose predual is unique, and $E_0$ is a codimension 1 weak* closed subspace of $E$. Is the predual of $E_0$ necessarily unique?
Okay, I will reveal the motivation. ...
- 42.8k
2
votes
1
answer
238
views
Hilbert-irreducible Banach space
A Banach space $X$ is called Hilbert-irreducible if it satisfies the following condition:
If a subspace $Y\subset X$ satisfies the parallelogram equality, then $Y$ is necessarilly a one ...
- 356
3
votes
1
answer
154
views
Uncomplemented copies of $\ell_2$ in $L_p(0,1)$ for $2-\varepsilon<p<2$
It was proved in [Bennett, G.; Dor, L.E.; Goodman, V.; Johnson, W.B.; Newman, C.M. On uncomplemented subspaces of $L_p$, $1<p<2$. Israel J. Math. 26 (1977), 178–187]
that, for $1 <p < 2$, ...
- 4,461
5
votes
2
answers
299
views
Banach space with an unconditional basis but not a quasi-greedy one?
A few years ago, Schechtman showed that $\ell_p(\ell_q)$ fails to admit a greedy basis whenever $1\leq p\neq q<\infty$. This furnishes an example of a Banach space with an unconditional basis but ...
- 1,591
4
votes
0
answers
110
views
Banach space admitting a unique subsymmetric basis but not a symmetric one
I have two quick questions:
It can be shown without too much trouble (using methods from Altshuler/Casazza/Lin, 1973) that any Lorentz sequence space admits a unique (up to equivalence) subsymmetric ...
- 1,591
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
6
votes
2
answers
3k
views
Closed convex bounded sets are weakly compact for which spaces?
It is known that for all reflexive Banach spaces, closed convex bounded sets are weakly compact (compact for the weak topology).
What is the general class of topological vector spaces for which this ...
- 549
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
4
votes
1
answer
222
views
If $K$ is a countable compact metric space is the set of extreme point of $Ba(C(K))$ countable?
The question is the title. The set $Ba(C(K))$ is the unit ball of $C(K)$. This has to be known, but I can't find the answer explicitly in the literature. There is some literature about polyhedral ...
- 1,073
1
vote
1
answer
221
views
Kernel of a convex combination of projections
Assume that we have finitely many projections $P_1,\dots, P_n$ on a Banach space $X$ (take an explicit case of $X=L_p(\mu)$ if a concrete examples is better). Consider their convex combination $P=\...
- 11
2
votes
0
answers
111
views
Ultrapowers of $c_0(\ell_1)$ and $\ell_1(c_0)$
I would like to know if there exist an explicit decription of ultrapowers of $c_0(\ell_1)$ and $\ell_1(c_0)$. The best option would be -- "they are complemented subspaces of $C(K, L_1(\mu))$ and $L_1(\...
- 1,697
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
2
votes
0
answers
184
views
Properties of the optimal decomposition for the $K$-functional between $\ell_1$ and $\ell_2$
Background: For any fixed $t> 0$, the $K$-functional defines a norm on the space $\ell_1+\ell_2$:
$$
\lVert a\rVert_{K(t)} = \inf\{\lVert a'\rVert_1+ t\lVert a''\rVert_2 : a'\in\ell_1,\ a''\in\...
- 1,372
2
votes
1
answer
292
views
Fixed point theorem for a nonconvex set in a Banach space
Generally speaking, I am looking for a generalization of the Schauder fixed point theorem, which applies to the situation described briefly below.
All references I read (e.g. E. Zeider 'Nonlinear ...
- 161
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
3
votes
1
answer
438
views
Separable subspaces in dual spaces
Let $X$ be a Banach space and $Y$ be a separable closed subspace of $X^{*}$. Is there a separable closed subspace $Z$ of $X$ such that $Y$ is isomorphic to a subspace of $Z^{*}$? Thank you!
- 3,343
0
votes
0
answers
59
views
Restriction to Basis of Cadlag function
If $f \in L^2([0,T])$ then it can be written as
$$
f(t) \triangleq \sum_{i \in \mathbb{N}} c_i e_i(t),
$$
for some sequence $\{c_i\}$ of real numbers and a Schauder basis $\{e_i(t)\}$ of $L^2([0,T])$ ...
- 5,405
5
votes
1
answer
242
views
Corson-Lindenstrauss : Weakly compact sets as intersection of finite unions of cells
A theorem of Corson and Lindenstrauss in:
Corson, H. H. and Lindenstrauss, J. “On weakly compact subsets of Banach spaces”. In: Proceedings of the American Mathematical Society 17.2 (1966), pp. 407–...
- 128
3
votes
1
answer
153
views
Example of a strictly cosingular operator whose dual is not strictly singular?
The short version of my question: Suppose $T\in\mathcal{L}(X,Y)$ is strictly cosingular. Must $T^*$ be strictly singular?
The long version.
Let $X$ and $Y$ be Banach spaces, and denote by $\mathcal{...
- 1,591
0
votes
2
answers
230
views
Basic sequences in $ L_{p}$
Let $(x_{n})_{n}$ be a normalized basic sequence in $X=L_{p}$, with $1<p<2$.
Does there exist a subsequence $(x_{k_{n}})_{n}$ of $(x_{n})_{n}$ and a weakly null sequence $(x^{*}_{n})_{n}$ in $X^...
- 3,343
2
votes
0
answers
106
views
Type-cotype inequalities for arbitrary orthonormal systems
Let $X$ be a B-convex Banach space and let $v^1 = (v^1_1,…,v^1_n), …, v^n = (v^n_1,…,v^n_n)$ be an orthonormal basis of $\mathbb{R}^n$. My question is what one can say about $\left( \sum_i \Vert \...
- 1,163
4
votes
0
answers
609
views
Does every separable Banach space have a Markushevich–Auerbach basis?
Let $X$ be a separable Banach space and $X^*$ be its dual, let $\{x_i\}$ be a sequence in $X$ with dense linear span and such that there exists a sequence $\{x_i^*\}$ in $X^*$ satisfying $x_i^*(x_j)=\...
- 902
5
votes
0
answers
138
views
Banach spaces complemented in their ultrapowers
By the principle of local reflexivity, the second dual $X^{**}$ of a Banach space $X$ is complemented in some ultrapower $X^U$ of $X$. Even when $X$ is separable, the index set of $U$ cannot be ...
- 11.3k
5
votes
0
answers
186
views
Norm of projection onto functions of mean zero
Let $X$ be a finite set and consider the space $\ell^2(X;Y)$ of functions $\zeta:X\to Y$, where $Y$ is a fixed Banach space. It decomposes into a direct sum of constant function and its complement $\...
- 51
8
votes
2
answers
630
views
Extracting subsequences in Banach spaces, along an ultrafilter?
There are various principles in Banach space theory that allow one to pass from a given sequence of vectors $(x_n)$, to a subsequence $(x_{n_k})$ with some desired property. I'm thinking here, in ...
- 3,115
11
votes
2
answers
6k
views
Is the $L^1$-space dual to a Banach space
Let $(\Omega,\mu)$ be a measure space. It is well known that for $1<p\leq \infty$ one has the duality
$$L^p=(L^{p*})^*,$$
where $1/p+1/p^*=1$.
Question. Is it known that the Banach space $L^1$ is ...
- 21.8k
2
votes
1
answer
108
views
Sequences in $L_{p}(1<p<\infty)$ that is equivalent to the unit vector basis of $l_{p}$ or $l_{2}$
Let $1<p<\infty$. Johnson and Schechtman (Multiplication operators on $L(L_{p})$ and $l_{p}$-strictly singular operators, 2008, DOI: 10.4171/JEMS/141, eudml, arxiv) observed that if $(x_{n})_{n}$...
- 3,343
3
votes
0
answers
243
views
A universal operator between separable Banach spaces
The Banach space $C[0,1]$ is universal for all separable Banach spaces in the sense that for a separable Banach space $X$ there is an isometric isomorphism from $X$ into $C[0,1]$. My question is ...
- 1,073
3
votes
1
answer
141
views
Subspaces of $L_{p}(2<p<\infty)$
Let $p>2$ and $X$ a subspace of $L_{p}$.
Then Kadec and Pelczynski proved that either $X$ is isomorphic to $l_{2}$ or $X$ contains a subspace isomorphic to $l_{p}$.
Question: if $X$ is ...
- 3,343
5
votes
1
answer
219
views
Equivalence of questions regarding restrictions of pure states
In Davidson and Szarek's article "Local Operator Theory, Random Matrices and Banach Spaces" in the Handbook of the Geometry of Banach Spaces, the authors discuss the (now solved) Kadison-Singer ...
- 3,115
5
votes
1
answer
400
views
Renorming a Banach space to make projections contractive
Let $X$ be a Banach space and $P$ be a projection in $B(X)$. Then $X$ can be renormed so that $P$ has norm $1$.
Can the same be done for a family of projections? That is, given finitely many ...
- 63
6
votes
1
answer
583
views
Set of w*-continuous operators closed for the weak* topology or not?
Let $X$ be a dual Banach space, i.e. $X=(X_*)^*$ for some Banach space $X_*$. Consider the weak* topology of $B(X)$, i.e. the topology of pointwise convergence on $X$ endowed with the $\sigma(X,X_*)$-...
user64615
10
votes
1
answer
439
views
Interpolation between $L_1^0$ and $L_2^0$
Let $L_p^0$ be the mean zero functions in $L_p(G)$, where, say, $G$ is an infinite compact group endowed with normalized Haar measure. Suppose that $T$ is a bounded linear operator on $L_1$ that maps $...
- 31.5k
4
votes
0
answers
171
views
quasi-nilpotent part of a dual operator
Definitions and notation.
Let $X$ be a complex Banach space and $T\in\mathcal{L}(X)$ a continuous linear operator on $X$. We define the quasi-nilpotent part of $T$ as
\begin{equation*}H_0(T):=\left\{...
- 1,591
2
votes
1
answer
746
views
A unital algebra with norm and continuous multiplication is a Banach algebra
In my research in functional analysis, I came across this rather simple result:
For a normed algebra A over $ \mathbb{C} $ with unit, in which multiplication , right and left are both continuous w....
- 221
2
votes
1
answer
5k
views
Smooth Approximation of Indicator Function of Convex Sets in $\mathbb{R}^n$
Let $( \mathbb{R}^n, \| \cdot \|_P)$ be the $n$-dimensional Euclidean space equipped with $\ell_p$-norm $\| \cdot \|_p$ for some $p\in [1, + \infty]$. Let $A$ be a convex set in $\mathbb{R}^n$ and ...
- 1,127
4
votes
1
answer
215
views
almost invariant half space for a dual of a restricted operator
Let $X$ be an infinite-dimensional Banach space and $T\in\mathcal{L}(X)$ a continuous linear operator acting on $X$. A closed subspace $Y$ of $X$ is said to be an almost-invariant halfspace (...
- 1,591
28
votes
2
answers
1k
views
What is the Banach-Mazur distance between $\ell_\infty$ and $L_\infty$?
Given Banach spaces $X$ and $Y$, the Banach-Mazur distance between $X$ and $Y$ is defined as
$$ d(X,Y) = \inf\{ \|\varphi\|\|\varphi^{-1}\| : \varphi\colon X\to Y \text{ isomorphism} \}.
$$
We ...
- 3,497
7
votes
1
answer
509
views
Davis, Figiel, Johnson and Pełczyński factorization through spaces with a bases
Davis, Figiel, Johnson and Pełczyński's Factorization Theorem states that each weakly compact operator $T:X \to Y$ between Banach spaces $X$ and $Y$ factors through a reflexive Banach space $Z$. In ...
- 1,073