All Questions
1,222 questions
3
votes
0
answers
109
views
Is the Banach space $C(K)$ a $1$-Lipschitz comp-extensor?
Given a real number $c\ge 1$ let us say that a metric space $X$ is a $c$-Lipschitz comp-extensor if each Lipschitz self-map $f:K\to K$ of a compact subset $K\subset X$ extends to a Lipschitz self-map $...
- 42k
8
votes
1
answer
325
views
Why $S$ cannot be homeomorphic to the $1$-sphere of $\ell^2$?
Consider the $\ell^2$ complex Hilbert space.
Let $m\in \mathbb{N}^*$ be a fixed number, and set
$$
S=\left\{ x=(x_n)_n\subset \ell^2\ :\ \sum_{n=1}^m \frac{|x_n|^2}{n^2}=1\right\}.$$
I want to ...
- 25.3k
2
votes
1
answer
96
views
A Question about an irreducible ultra-power II,
Let $E$ be an irreducible Banach $A$-module, for a Banach algebra $A$. One can easily show that for an ultra filter $\mathcal U$, $(E)_\mathcal U$ is a Banach $(A)_\mathcal U$-module. Is it possible ...
- 18.7k
7
votes
0
answers
200
views
Equivalent strictly convex norms in spaces of small density
Can one construct in ZFC a Banach space of density character $\omega_1$ that does not have an equivalent strictly convex norm?
Maybe one may apply some kind of a Löwenheim–Skolem-type argument to a ...
- 11.3k
8
votes
1
answer
268
views
Two questions about basic sequences
Suppose $(x_n)$ and $(y_n)$ are two basic sequences in a separable Banach space $X$ such that $\overline{span}\{(x_n), (y_n)\}=X$. Can we always pass to subsequences $(x_{n_k})$ and $(y_{n_k})$ such ...
- 26.3k
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
14
votes
4
answers
550
views
About the existence of characters on $B(X)$
Let $X$ be a Banach space. Let $B(X)$ be the space of all bounded linear operators on $X$. Does $B(X)$ have an empty character space for any $X$?
I know the proof of the fact that $M_n(\mathbb{C})$ ...
- 111
2
votes
0
answers
124
views
Logarithm of $L^p$ space
I encountered the following space as a natural space for setting up a certain problem:
$$
S_m^p = \{f \colon I \to \mathbb{R} \text{ measurable }; m^{f} \in L^p(I)\}
$$
Here, $I$ is an open bounded ...
- 648
2
votes
1
answer
387
views
The closure of span of a linearly independent and convergent sequence in $\ell^2$ [closed]
Let $\{v_n\}_{n \in \mathbb{N}} \subset \ell^2$ be a sequence in $\ell^2$ over $\mathbb{C}$ such that $\{v_n\}_{n \in \mathbb{N}}$ is linearly independent and $v_n \to v_0$.
I would like to know if ...
- 433
0
votes
0
answers
70
views
A question about an irreducible ultra-power
Let $A$ be a Banach algebra and $E$ be an irreducible Banach $A$-module. Is there a countably incomplete ultra filter $\mathcal U$ on $\mathbb N$, the set of natural numbers, such that the ultra power ...
- 2,118
2
votes
0
answers
199
views
Uniformly convex, uniformly smooth Banach space which is not convex of power type
It is well known that every uniformly convex Banach space $X$ admits an equivalent norm which such that it is convex of power type, i.e. the modulus of convexity with respect to the new norm satisfies ...
- 799
4
votes
0
answers
211
views
Inclusion of Hardy spaces
It is well-known that any convergence in $L^p$ for $p \in [1,\infty]$ implies convergence in $L^1_{\text{loc}}$ by Hölder's inequality.
It is also known that for $p>1$ it holds that $L^p(\mathbb R)...
7
votes
2
answers
573
views
Existence of spectral gap
I would like to start by saying that any comment or idea is highly appreciated.
Let us observe that for Hilbert-Schmidt operators $H_1,H_2$ on an infinite-dimensional separable complex Hilbert space $...
- 5,005
7
votes
1
answer
305
views
Reflexive subspaces of bidual Banach spaces
The answer to the question is almost surely negative (as almost always in Banach space theory) but I cannot find a relevant example.
Is there an example of an infinite-dimensional Banach space $X$ ...
- 75
-1
votes
1
answer
132
views
About a property in a reflexive Banach space
Let $E$ be a reflexive Banach space. Let $\{x_n\}_n$ be a bounded sequence of linearly independent elements of $E$. Does there exist a sequence $\{\phi_n\}_n$ of elements of $E^*$ (the dual of $E$) ...
- 2,118
5
votes
0
answers
134
views
Banach space properties defined by compact operators, strictly singular operators and strictly cosingular operators
Let $X,Y$ be Banach spaces. We denote by $\mathcal{L}(X,Y)$ the space of all operators from $X$ into $Y$, $\mathcal{K}(X,Y)$ by the space of all the compact operators from $X$ into $Y$, $S(X,Y)$ by ...
- 366
10
votes
0
answers
251
views
Do sufficiently large Banach spaces admit non-compact operators with not too large range?
As in the title,
does there exist a cardinal number $\lambda$ such that for every Banach space $X$ of density/cardinality at least $\lambda$ there exists a non-compact bounded, linear operator $T\...
- 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^...
- 18.7k
0
votes
0
answers
55
views
Continuity of a composite function
Let $n=2$ or 3 and let $\Omega$ be a bounded domain of $\mathbb{R}^n$. Let $T>0$ and $f \in L^2([0,T],H^1(\mathbb{R}^n))$.
Is the mapping
\begin{equation}
\begin{array}{rcl}
C^0([0,T],C^1(\bar{\...
- 143
4
votes
2
answers
807
views
Completion of $\mathcal{S}(\mathbb{R})$ for a given norm
Assume that $\lVert \cdot \rVert$ is a norm on the space of rapidly decaying functions $\mathcal{S}(\mathbb{R})$. Under which conditions on the norm can we say that the completion $\mathcal{X}$ for ...
- 3,085
5
votes
1
answer
1k
views
Reference request: The resolvent is analytic in the resolvent set
I am busy reading through Taylor's paper Spectral Theory of Closed Distributive Operators.
On page 192, he defines the resolvent and spectrum of $T$:
Later on in the paragraph, he then proceeds by ...
- 12.6k
1
vote
1
answer
229
views
Which norms on vectors can be consistently decomposed?
I need to know which permutation-invariant norms can be consistently decomposed in the sense that for any vector $v = (a,b,c)$ we have that
$$\|(a,b,c)\| = \|(\|(a,b)\|,c)\|.$$
More precisely, let $v ...
- 702
2
votes
0
answers
150
views
Non-separable asymptotic $\ell_1$ space
The Figiel-Johnson Tsirelson space is an example of an asymptotic $\ell_1$ Banach space not containing $\ell_1$. The notion of asymptotic $\ell_1$ is with respect to some basis, but a coordinate free ...
CommunityBot
- 1
12
votes
1
answer
191
views
Spectra on different spaces
This is a method request: I am looking for techniques that allow me to investigate problems like this:
Let $T_1: \ell^1 \rightarrow \ell^1$ be a bounded operator with $\Re(\sigma(T_1)) \subset (-\...
- 778
3
votes
0
answers
149
views
Classical subspaces of non-atomic Banach lattices
Tsirelson's space was the first example of a Banach space which does not have a subspace isomoprhic to any of the classical spaces $\ell_p$, $1\leqslant p<\infty$, or $c_0$. As this space has a $...
CommunityBot
- 1
13
votes
1
answer
725
views
Trace-class operator satisfies $\sum |\lambda_n|<\infty$?
Here's an "exercise" which I thought should be easy, but which I find myself unable to do.
Let $V$ be a Banach space.
Recall that an operator $f:V\to V$ is trace-class if it is in the image of the ...
- 31.5k
7
votes
4
answers
946
views
On operator ranges in Hilbert & Banach spaces
Lemma 1 from Anderson & Trapp's Shorted Operators, II isLet $A$ and $B$ be bounded operators on the Hilbert space $\mathcal H$. The following statements are equivalent:
(1) ran($A$) $\subset$ ...
- 5,407
6
votes
1
answer
212
views
Nice S¹-action implies existence of unconditional basis?
Let $V$ be a Banach space equipped with a continuous linear action of $S^1$ (meaning, the map $S^1\times V\to V$ is continuous). Assume that all the eigenspaces of the $S^1$-action are finite ...
- 43.2k
2
votes
0
answers
93
views
Open problems concerning Araujo's biseparating maps
Araujo stated the following four open questions at the end of his paper, page $518$ and $519.$
Question $1:$ Assume that there exists a biseparating map $T:A^n(\Omega:E)\to A^m(\Omega',F)$ which is ...
- 623
8
votes
1
answer
523
views
Are the following subsets of a Hilbert space always homeomorphic?
Let $F$ be a infinite-dimensional complex Hilbert space, with inner product $\langle\cdot\;| \;\cdot\rangle$, the norm $\|\cdot\|$, the 1-sphere $S(0,1)=\{x\in F;\;\|x\|=1\}$ and let $\mathcal{B}(F)$ ...
CommunityBot
- 1
13
votes
2
answers
653
views
The geometry of $\mathbb{R}^n$
Let $X,Y$ be finite-dimensional real normed spaces. Consider the set of linear operators $L(X,Y)$ between the two spaces.
Then we define the set of equivalence classes
$$G(X,Y):=\left\{[T]; T,S \in ...
- 12.6k
6
votes
0
answers
484
views
Square and cube?
Gowers and Maurey proved in their remarkable paper(s), that there is a Banach space $X$ such that $X$ is isomorphic to its cube $X\oplus X\oplus X$ but not to isomorphic to its square $X\oplus X$. ...
- 11.3k
5
votes
1
answer
506
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$ ...
- 1,027
3
votes
1
answer
269
views
What is a standard name for this kind of unconditional bases in Banach spaces?
I am looking for a standard name (if it exists) for the following property of a Schauder basis $(e_i)_{i=1}^\infty$ in a Banach space $X$:
$$\|\sum_{i\in F}x_ie_i\|\le\|x\|$$for any $x=\sum_{i=1}^\...
- 4,713
0
votes
1
answer
328
views
Find the trace for some elements in group algebra
Let $K=\langle b,c,d\mid b^{2}=c^{2}=d^{2}=bcd=1\rangle $. Now we consider $$D=K*\mathbb Z/2\mathbb Z=\left\{a,b,c,d\mid a^{2}=b^{2}=c^{2}=d^{2}=bcd=1\right\}$$ where $*$ is the free product. Then we ...
- 7,817
5
votes
0
answers
245
views
Examples of Banach lattices with positive Schur property but without Schur property
A Banach lattice $E$ has the
$(1)$ Schur property provided that any weakly null sequence in $E$ is norm null in $E$, and
$(2)$ positive Schur property provided that any weakly null sequence of ...
CommunityBot
- 1
3
votes
1
answer
233
views
Extending linear isometries from subspaces of $\ell_p^n$
Take $p\in (1,\infty)\setminus \{2\}$. Let $X$ be a subspace of $\ell_p^n$ and let $U\colon X\to \ell_p^m$ ($m\geqslant n$) be a linear isometry. Is it possible to extend $U$ to a (non-surjective) ...
- 42.8k
5
votes
2
answers
263
views
How can we show that $E\:\hat\otimes_\pi\:E$ is isomorphic to a subspace of $\left(E'\:\hat\otimes_\pi\:E'\right)'$?
Let
$E$ be a $\mathbb R$-Banach space
$E\:\hat\otimes_\pi\:E$ denote the projective tensor product
How can we show that $E\:\hat\otimes_\pi\:E$ is isomorphic to a subspace of $\left(E'\:\hat\...
- 18.7k
9
votes
2
answers
338
views
Does $End(V)$ remember $V$, where $V$ is a locally convex space?
Let $V$ be a locally convex topological vector space over $\mathbb C$, and let $A=\mathrm{End}(V)$ be its algebra of continuous linear endomorphisms (viewed just as a $\mathbb{C}$-algebra, not as a ...
- 126
0
votes
1
answer
221
views
A weakly open subset of the unit ball of the Read's space $R$ (an infinite-dimensional Banach space) is unbounded
We know every weakly open subset of an infinite-dimensional Banach vector space X is unbounded.
Now, Read's space $R$ (an infinite-dimensional Banach space) has the property:
there is $ρ >0$ such ...
- 125
3
votes
0
answers
89
views
Discrete Lions Peetre interpolation
In S. Heinrich's "Closed operator ideals and interpolation," Heinrich describes two equivalent descriptions of Lions-Peetre interpolation space $(X,Y)_{\theta, p}$ for $0<\theta<1$ and $1\...
CommunityBot
- 1
4
votes
1
answer
957
views
Compact embedding for Sobolev space involving time
Let $d \in \mathbb{N}$ and $\Omega$ be a bounded domain of $\mathbb{R}^d$.
Consider $m,n,p,q \in \mathbb{N}$ and $T>0$.
Is the space $W^{m,p}([0,T],W^{n,q}(\Omega))$ compactly embedded in any ...
- 2,670
4
votes
1
answer
277
views
In Banach spaces is $X \cap Y = Z \Rightarrow \overline{{span} X} \cap \overline{{span} Y} = \overline{{span} Z}$
Let $V$ be a separable infinite dimensional Banach space over $\mathbb{C}$
Let $B \subset V$ be a subset of $V$ such that:
1) $B$ is linearly independent and closed
2) $\overline{\operatorname{span}...
- 4,713
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 ...
- 25.8k
0
votes
1
answer
136
views
When are Weighted $\mathcal{L}^p$-Spaces Topologically Isomorphic?
Let $X$ be a topological space and $\mu$ be the Borel measure on $X$. Suppose $W_1$ and $W_2$ are continuous, non-negative functions from $X$ into the real numbers such that, for all integers $p > ...
- 17k
0
votes
0
answers
57
views
A question on order unbounded sequences in Banach lattices
Let $E$ be a Banach lattice. It is well-known that every norm convergent sequence in $E$ admits an order convergent subsequence and hence admits an order bounded subsequence. But it seems that a norm ...
- 4,713
1
vote
0
answers
127
views
A point in Ion Suciu's paper on semigroups of isometric operators
My question is concerned a point in this 1968 paper by Ion Suciu which is given in Theorem 2. In the last paragraph of page 104, it is claimed that $N$ (given in the formula 2.5) is a wandering ...
- 63.9k
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 ...
- 31.5k
4
votes
2
answers
258
views
Duals of ideals of operators between Banach spaces
Given an operator ideal $\mathfrak{I}$, $\mathfrak{I}^\text{dual}$ is the class of all operators $A:X\to Y$ between Banach spaces $X$ and $Y$ such that $A^*\in \mathfrak{I}$. Given an operator ideal $\...
- 4,461
1
vote
1
answer
232
views
A double sequence in a Banach space
Let $V$ be a infinite dimensional Banach space over $\mathbb{C}$
Let $\{a_{m,n} \cdot v_{m,n}\}_{m,n \in \mathbb{N}}$ be a double sequence with $a_{m,n} \in \mathbb{C}$ and $v_{m,n} \in V$ such that:
...
- 4,878