All Questions
1,222 questions
4
votes
1
answer
104
views
Two locally convex topologies on $B(X)$.
Let $X$ be a non-reflexive Banach space. It is supposed to compare two locally convex topologies on $B(X)$:
Let $w$ be the topology on $B(X)$ implemented by all seminorms given by
$$B(X)\to [0,\...
- 4,058
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
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
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
8
votes
0
answers
167
views
A basis of the Banach space $L^p(\mathbb T^\omega)$ consisting of characters
Problem: For $1<p<\infty$, $p\ne 2$, has the complex Banach space $L^p(\mathbb T^\omega)$ got a Schauder basis consisting of characters of the compact topological group $\mathbb T^\omega$?
(...
- 4,535
1
vote
1
answer
200
views
The intersection of closure of span of infinite, linearly independent, closed, bounded, separated subsets of $\ell^2$
Let $X$ and $Y$ be two subsets of $\ell^2$ space over $\mathbb{C}$ such that: $X \cup Y$ is linearly independent, $X \cap Y = \emptyset$ and $\inf_{x \in X, y \in Y} \| x-y \|>0$ and such that each ...
- 433
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
7
votes
0
answers
328
views
Status of two Banach space theory open problems posted by Pełczyński
In the book 'Open Problems in the Geometry and Analysis of Banach Spaces', I am interested in the following two problems.
Problem $1$: Let $X$ be a separable infinite-dimensional Banach space that is ...
- 623
11
votes
4
answers
1k
views
Example of noncomplete quotient of complete lcs mod closed subspace
The following statement is well-known: for a Fréchet space $V$ and a closed subspace $W \subseteq V$ the quotient $V / W$ is again complete and hence a Fréchet space. For the particular case of a ...
- 8,098
4
votes
1
answer
158
views
Norm of "tensoring" with the identity
Consider a Banach space $E$ and a discrete set $X$. For an operator $T$ on $\ell^2(X)$ I can consider and induced operator $T'$ on the Bochner-Lebesgue space $\ell^2(X;E)$ of $E$-valued square-...
- 165
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}...
- 433
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
1
vote
1
answer
976
views
Annihilators and pre-annihilators
I asked this question on Math StackExchange first, but it was not answered.
If $X$ is a Banach space and $Z$ is a subset of $X^*$, consider the annihilator of $Z$ in $X^{**}$:
$$
Z^{\perp}=\{x^{**}...
- 1,361
1
vote
0
answers
95
views
Interpolation theory: equivalence of norms
Consider the interpolation space $Z=(X,Y)_{\theta,p}$. In the case $Y\subseteq X$ do we have that, for all $a>0$ the following norm:
$$N_a:x\mapsto\left(\int_{0}^{a} \vert t^{-\theta}k(t,x)\vert^p \...
2
votes
2
answers
406
views
"Generalisation" of one-parameter semigroups
Let $(Y,\left\|\cdot\right\|_Y)$ be a Banach space and $A:D(A)\subset Y \to Y$ a closed operator. Studying dynamical systems of the form
\begin{equation}
u'=Au
\end{equation}
quickly leads to the ...
- 1,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:
...
- 433
0
votes
0
answers
115
views
If two spheres are isometric, does there exist a bijective isometry $T:S\to S$ with $\|Tu-\alpha Tv\|_Y \leq \|u-\alpha v\|_X$ for all $\alpha>0?$
Let
$$(S,\|\cdot\|) = \{(x,y)\in \mathbb{R}^2: \|(x,y)\| =1\},$$
that is, $S$ is the collection of all norm one vectors in $\mathbb{R}^2$ with respect to the norm $\|\cdot\|.$
Question: Let $\|\...
- 623
5
votes
2
answers
516
views
Biorthogonal functionals
If $X$ is a separable Banach space and $(x_n)$ is a basic sequence, then we can define biorthogonal functionals $(x^{*}_n)$ in $X^{*}$ such that $x^{*}_n(x_k)=\delta_{nk}$.
What about conversely? If ...
- 1,361
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
9
votes
1
answer
1k
views
Counterintuitive consequences of the Hahn-Banach theorem
The axiom of choice has many counterintuitive consequences like the Banach-Tarski paradox.
The Hahn-Banach theorem is a consequence of the axiom of choice, but it is weaker.
I would like to know ...
- 4,461
17
votes
4
answers
2k
views
Banach-Mazur applied to a Hilbert space
The Banach-Mazur theorem says that every separable Banach space is isometric to a subspace of $C^0([0;1],R)$, the space of continuous real valued functions on the interval $[0;1]$, with the sup norm.
...
- 6,924
7
votes
2
answers
446
views
Non strictly-singular operators and complemented subspaces
If $T$ is a bounded operator which is not strictly singular, acting on a separable Banach space $X$, can one always find an infinite dimensional, closed and complemented, subspace $Y$ such that $T$ ...
- 1,361
1
vote
1
answer
112
views
Orthogonal complement vector space
Let $X$ be a vector space contained in $H^{1}(\mathbb R^d),$ then we can study
$X^{\perp_{L^2}}:=\left\{ \xi \in L^2; \langle \xi, x \rangle_{L^2} =0 \ \forall x \in X \right\}$
and
$X^{\perp_{H^{-...
- 13
4
votes
0
answers
84
views
Almost Dunford-Pettis operators
Recall that an operator $T$ from a Banach space $E$ to a Banach space $F$ is called completely continuous (also called Dunford-Pettis) if $\|Tx_{n}\|\rightarrow 0$ for every weakly null sequence $(x_{...
- 3,343
1
vote
1
answer
124
views
Compactness of operators and norming sets
Originally asked on MSE.
Let $T$ be a linear map from a normed space $E$ into a Banach space $F$.
Let $D\subset \overline{B}_{F^{\ast}}$ be norming, i.e., there is $r>0$ such that $\sup\limits_{v\...
- 5,529
4
votes
1
answer
412
views
Abstract Definition of a Reproducing Kernel Hilbert Space
This is a very basic question about the definition of a reproducing kernel Hilbert space (RKHS).
It seems the standard definition of a RKHS is as a Hilbert space $H$ of functions on some set $X$ ...
- 1,307
7
votes
1
answer
548
views
Spectrum of unitary elements of a Banach algebra
Unitary elements of a Banach space have been defined in this paper as follows:
Let $A$ be a Banach space and $a\in A, \|a\|=1$. Let $S_{a}=\{f\in A':\|f\|=1=f(a)\}$. Then $a$ is said to be (...
- 173
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
6
votes
0
answers
113
views
Interpolation of some Sobolev spaces
Let $X_0=L^2(0,1)$, $X_1=H^4(0,1)$, $X_2=H^4(0,1)\cap H^2_0(0,1)$. We know the interpolation space $$(X_0,X_1)_{1/2,2}=H^2(0,1).$$
I am wondering what is
$$(X_0,X_2)_{1/2,2}=?$$
Would it be $H^2_0(0,...
- 395
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
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$ ...
- 8,512
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 ...
- 407
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 ...
- 366
1
vote
2
answers
873
views
$C[0,1]$ is Banach-space isomorphic to $c_0(C[0,1])$
$c_0(C[0,1])$ is the $c_0$-direct sum of countably many $C[0,1]$.How to prove
$C[0,1]$ is Banach-space isomorphic to $c_0(C[0,1])$.
Here,Banach-space isomorphism means a bounded invertible operator ...
- 185
1
vote
0
answers
110
views
On functions obtained from Gaussian Quadrature integration
Fix an integer $n \ge 2$. Let $x_1,...,x_n$ s and $w_1,...,w_n$ s be the Gauss Quadrature nodes and weights respectively in the interval $[0,1]$ (https://en.wikipedia.org/wiki/Gaussian_quadrature) . ...
- 1,209
34
votes
1
answer
3k
views
tr(ab)=tr(ba), part 2.
This is a Banach space version of Andre Henriques' question
Trace Question
for Hilbert spaces. Let $a:X\to Y$ and $b:Y\to X$ be bounded linear operators between Banach spaces s.t. $ba$ and $ab$ ...
- 31.5k
1
vote
0
answers
217
views
Status of an open problem in isometric aspect of Banach space theory
The following open problem is taken from the book Open Problems in the Geometry and Analysis of Banach Spaces, page $40.$
Problem $84:$ Assume that $X$ is an infinite-dimensional separable Banach ...
- 623
18
votes
3
answers
2k
views
What are the right categories of finite-dimensional Banach spaces?
This is inspired partly by this question, especially Tom Leinster's answer.
Let me start with some background. I apologize that this will be rather long, since I'm hoping for input from people who ...
- 11.4k
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
8
votes
3
answers
1k
views
Dual Banach space of $B(X,Y)$ when $X$ is finite dimensional
Denote $B(X,Y)$ the Banach space of bounded operators between Banach spaces $X$ and $Y$.
When $X$ and $Y$ are both finite dimensional, it follows from the formula
$$\|u\|_{B(X,Y)} = \sup_{\|x\|_X <...
- 9,486
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
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 ...
- 93
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,993
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
0
votes
1
answer
115
views
Does there exists an extreme point $(a_1^*,...,a_n^*)$ of $B_{\mu^*}$ such that $a_i^*\neq 0$ for all $1\leq i\leq n$ and $\sum_{I=1}^n a_i^*a_i=1?$
Fix a natural number $n\geq 1.$
Let $\mu$ be a norm on $\mathbb{R}^n$ satisfying
$$\mu(0,...,0,\stackrel{i}{1},0,...,0) = 1 \quad\text{for all }1\leq i\leq n.$$
Let
$$B_{\mu} = \{(a_1,...,a_n)\in \...
- 623
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
0
votes
0
answers
59
views
Nests on Banach spaces and their duals
Let $X$ be a Banach space and $\mathcal{E}$ a nest on $X$.
Take $f\in X^{*}$ and suppose:
$N \in\mathcal{E}$ is the largest element of the nest so that $f \in N^\bot$
$N=\bigcap_{M>N}M$
Is there ...
4
votes
0
answers
167
views
Is this property an isomorphic characterization of $\ell_1(\Gamma)$?
Let $\Gamma$ be an infinite set. Then every $(x_i)_{i\in\Gamma}\in \ell_1(\Gamma)$ has at most a countable number of components $x_i\neq 0$.
As a consequence, every separable subspace $M$ of $\ell_1(\...
- 4,461
6
votes
1
answer
241
views
The approximation property for some spaces of holomorphic functions
I am reading a circle of papers which use arguments based on Fredholm determinants of nuclear operators to compute numerical quantities associated to real-analytic and holomorphic dynamical systems. ...
- 6,206
2
votes
1
answer
138
views
Some questions on parabolic function spaces
I remember I read those problems some place, but I cannot find it. Does anyone have any idea where I can find it?
If $X$ is a Banach space, then $(L^1(a,b;X))^*\cong L^\infty(a,b;X^*)$?
$X, Y$ are ...
- 423