All Questions
1,222 questions
9
votes
1
answer
355
views
Scottish Book Problem 172
The problem is formulated using old terminology and I want to understand what it actually says.
The problem reads: "A space $E$ of type (B) has the property (a) if the weak closure of an ...
- 3,497
9
votes
1
answer
2k
views
Dual or pre-dual of BV
Was there any relevant work to determine the dual (or more likely the predual) of the space of bounded variation functions $BV(\mathbb{R}^n)$ (I recall the definition : a function in $L^1(\mathbb{R}^n)...
- 1,616
9
votes
1
answer
977
views
Completed tensor product is exact
In the beginning of the 7th chapter of the book "Spectral theory and analytic geometry over non-Archimedean fields" by Vladimir Berkovich one can find the phrase "...tensor product functor is exact on ...
- 332
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
9
votes
0
answers
163
views
Moore-Penrose partial isometries and hermitian elements
Let $A$ be a unital Banach algebra. An element $a \in A$ is hermitian if $\|\mathrm{exp}(ita)\|=1$ for every $t \in \mathbb{R}$. An element $a \in A$ is Moore-Penrose invertible if there exists $b \in ...
- 3,497
9
votes
0
answers
1k
views
Weak compactness in $\mathcal{F}(X)$
Let $(X,0)$ be a pointed metric space and let $\mathcal{F}(X)$ be the natural predual of ${\rm Lip}_0(X)$, the space of Lipschitz functions on $X$ that map $0$ to $0$; here $\mathcal{F}(X)$ is really ...
- 11.3k
9
votes
0
answers
540
views
Why is spectral theory developed for $\mathbb C$
Spectral theory is a fundamental part of operator theory and the spectrum of many operators is investigated throughout the existing literature. And that is for a good reason: If $A$ is some closed ...
- 381
9
votes
0
answers
261
views
SVD-type decomposition for the tensor product of three Hilbert spaces?
(The questions How does the Schmidt decomposition generalize to tensor products of several finite-dimensional systems? and Is there a useful generalization of the Schmidt decomposition to the ...
- 25.8k
9
votes
0
answers
885
views
Continuous projections in $\ell_1$ with norm $>1$
I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case $...
- 1,697
8
votes
2
answers
488
views
If the cardinality of $B(X)$, the space of operators on $X$, is continuum, must $X$ be separable?
Does there exits any non-separable Banach space $X$ such that the size (cardinal number) of $B(X)$, bdd linear operators on $X$, is just of the continuum?
- 4,058
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
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
8
votes
1
answer
262
views
On $C(K)$ spaces embeddable into the Banach space $c_0$
Problem 1. Characterize compact Hausdorff spaces $K$ for which the Banach space $C(K)$ of continuous real-valued functions embeds into the Banach space $c_0$.
Since $c_0$ has separable dual, such $K$ ...
- 41.9k
8
votes
1
answer
305
views
Subspaces isomorphic with quotients
Suppose $X$ is a Banach space not isomorphic to a Hilbert space. Can we always find a subspace of $X$ that is not isomorphic to a quotient of $X$?
- 1,361
8
votes
1
answer
361
views
What is the smallest Lipschitz constant of a Lipschitz retraction of $\ell_\infty([0,1])$ onto $C[0,1]$?
By Theorem 1.6 in the book "Geometric Nonlinear Functional Analysis" by Benyamini and Lindenstrauss, the Banach space $C[0,1]$ is a Lipschitz retract of the Banach space $\ell_\infty[0,1]$. ...
- 41.9k
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 (...
- 148k
8
votes
1
answer
747
views
Strongly continuous semigroups that cannot be contractions
Let $X$ be a Banach space, and $(P_t)_{t \ge 0}$ a strongly continuous semigroup of bounded operators on $X$. Using the uniform boundedness principle, it's simple to prove that there are constants $M,...
- 29.8k
8
votes
3
answers
1k
views
Counterexample of non-negative sequence weakly converging in $\mathscr{M}^1$ but not $L^1$
Consider a a sequence of non-negative functions $(f_n)_n$, bounded in $L^1([-1,1])$ and weakly$-\star$ converging in $\mathscr{M}^1([-1,1])$ to some $f\in L^1([-1,1])$. What I mean by this convergence ...
- 3,425
8
votes
1
answer
1k
views
Compactness of the unit ball of a Banach space for topologies finer than the weak* topology
Let $(\mathcal{X} , \|\cdot \|_\mathcal{X})$ be a Banach space and $\mathcal{X}'$ its topological dual. We denote by $\| \cdot \|_{\mathcal{X}'}$ the dual norm and define also the topological dual $\...
- 2,306
8
votes
2
answers
601
views
If $E\oplus_\phi E \cong E\oplus_\psi E,$ does it imply that $\phi= \psi$?
Let $E\neq \{0\}$ be a Banach space.
For each $p\in[1,\infty), $ we define
$$E\oplus_p E = \{(x,y): x\in E, y\in E, \|(x,y)\| = \sqrt[p]{\|x\|^p + \|y\|^p}\}.$$
Let $F$ be another Banach space.
By $E\...
- 623
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 ...
- 355
8
votes
2
answers
1k
views
When is the norm of all positive operators on an ordered Banach space determined by their values on the positive cone?
I'm trying to investigate the interplay between the norm and cone of positive elements in ordered Banach spaces. In particular, I would like a nice characterization of when the norm of a positive ...
8
votes
1
answer
894
views
Basis vs Schauder basis in normed spaces
Following the conventions from Heil: "A Basis Theory Primer" and Albiac, Kalton: "Topics in Banach Space Theory", we might define a basis of an (infinite-dimensional) normed space $V$ as a sequence $(...
- 259
8
votes
2
answers
368
views
$l^1$ versus $l^2$
Is there an elementary proof of this Banach space fact?
If the Banach space $V$ is linearly isomorphic to $l^1$, then it does not isometrically contain euclidean spaces of arbitrarily large finite ...
- 42.8k
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 ...
- 724
8
votes
1
answer
314
views
What algebras are quotients of $\ell_1(\mathbf{N})$?
Every separable Banach space is a linear quotient of $\ell_1$, however not every separable Banach algebra is a Banach-algebra quotient of $\ell_1(G)$ for some group $G$ (these are the so called ...
- 331
8
votes
1
answer
687
views
When does the dual to the space $K(X)$ of compact operators consist of nuclear functionals?
Let $X$ be a Banach space and $B(X)$ be its space of all (bounded) operators. A nuclear functional on $B(X)$ is a linear functional $u:B(X)\to{\mathbb C}$ that can be represented in the form
$$
u(A)=\...
- 7,426
8
votes
1
answer
232
views
Lipschitz right inverses of Banach space quotients
Let $X$ be a Banach space and $Y$ a closed subspace of $X$. I am interested in quotients $q:X\to X/Y$ that do not have Lipschitz right inverses (not necessarily linear).
Of course, if $Y$ is ...
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)$ ...
- 724
8
votes
1
answer
162
views
closed ideals in L(L_1)
Denote $L_1=L_1[0,1]$ The lattice of closed ideals in $\mathcal{L}(L_1)$ includes the chain
$$
\{0\}\subsetneq\mathcal{K}(L_1)\subsetneq\mathcal{FS}(L_1)
\subsetneq\mathcal{J}_{\ell_1}(L_1)\subsetneq\...
- 1,591
8
votes
1
answer
713
views
Factoring operators $L_\infty \longrightarrow L_2$ as the composition of $n$ strictly singular operators, $n\in \mathbb{N}$
Motivation and background This question is motivated by the problem of classifying the (two-sided) closed ideals of the Banach algebra $\mathcal{B}(L_\infty)$ of all (bounded, linear) operators on $L_\...
- 2,378
8
votes
1
answer
642
views
Reference Request: Arzelà-Ascoli for Hölder norm
I'm studying the Banach Space of Hölder continuous functions $f:[0,1]\to\mathbb{R}^{+}$ with a parameter $\alpha$. In this space, I consider the usual Hölder norm $\|\cdot\|_\alpha$ and I'm looking ...
- 81
8
votes
1
answer
434
views
Self-dual finite-dimensional complex normed spaces
Suppose $X$ is a complex normed space of dimension 2 or 3 and $X$ is isometrically isomorphic to its dual. Is $X$ a Hilbert space?
Remarks: There are easy counterexamples in the real case, and in ...
- 11.4k
8
votes
1
answer
446
views
Parallelogram law for vectors of equal length
Does the parallelogram law for vectors of equal length imply the full parallelogram law? That is,
if for all norm one vectors $x$ and $y$ in a Banach space $X$ it holds that $\lVert x-y\rVert^2+\lVert ...
- 1,361
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
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
8
votes
0
answers
135
views
A geometric intuition about convexifiability
I've come up with the following conjecture about convexifiability being determined by "important" sets in Banach spaces. To me, the conjecture looks quite innocuous and intuitive, but I'm ...
- 81
8
votes
0
answers
246
views
A question related to the separable quotient problem
I have the following question related to the previous posts Hereditarily indecomposable Banach spaces and Separable Quotient problem and Weak star separable and separable quotient problem
Question....
- 986
8
votes
0
answers
196
views
History of the Lewis-Stegall theorem on factorization of representable operators
The following questions are about the history of a particular result in functional analysis, hence not "mathematical questions" per se; but I think they are relevant to the business of ...
- 25.8k
8
votes
0
answers
182
views
Distribution domination for sums of independent random variables in Banach spaces
Let $X$ be a Banach space and let $(\xi_n)$ and $(\eta_n)$ be independent mean-zero random variables with values in $X$ satisfying
$$
\sum_n \mathbb P(\xi_n \in A) \leq \sum_n \mathbb P(\eta_n \in A),
...
- 131
8
votes
0
answers
330
views
Complementability of finite dimensional subspaces
Suppose $X$ is a separable infinite dimensional Banach space, $E$ a finite dimensional subspace which is $c$-complemented in $X$. Is the following true?
For any $\varepsilon>0$, one can find $x\...
- 1,361
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
8
votes
0
answers
384
views
What is the name for a Banach space property closed under ultraproducts?
In Banach space theory, a super-property is a property of a Banach space that is preserved under ultrapowers. (Update (2015-09-28): The property must also be closed under isometric embeddings.) (...
- 6,287
8
votes
0
answers
421
views
Approximate singular value decomposition in Banach spaces
I am interested in generalisations to Banach spaces of the following construction, which relates to the singular value decomposition of a finite-dimensional linear map. If $V$, $W$ are finite-...
- 6,206
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
8
votes
0
answers
357
views
Ultrapowers of Banach spaces without the continuum hypothesis
Let $\mathcal{U}$ be a non-trivial ultrafilter on the set of integers $\mathbb{N}$, and let $C(K)$ denote the Banach space of continuous functions on a compact $K$. Under the continuum hypothesis CH, ...
- 4,461
8
votes
0
answers
452
views
Preduals of $\ell_1$
The space $\ell_1$ has loads of (isomorphic) predulas. They can be as weird as possible but I am interested in Banach lattices.
Question: Let $X$ be a Banach lattice with dual isomorphic to $\ell_1$. ...
- 191
8
votes
0
answers
1k
views
Strictly singular operators and their adjoints
This is a question I thought about a while back and figured I'd throw it out there to see if anyone has some insight that I am missing.
Let $X$ and $Y$ be infinite dimensional separable Banach ...
- 1,073
8
votes
1
answer
207
views
Subspaces of $L_p([0,1])$ whose unit ball is compact for the topology of convergence in measure
Any information about the following questions would be welcome.
I wonder whether there are (well-known or easy) closed and infinite dimensional subspaces of $L_p([0,1])$ ($1<p<\infty$) whose ...
- 81
7
votes
1
answer
556
views
Non continuous Linear form on $E=C([0,1],\mathbb{R})$ without AC
Let's note $E=C([0,1],\mathbb{R})$ the Banach space of real continuous funtions from the [0,1] interval with the uniform norm.
Is it possible to show a non-continuous linear form on $E$ exists ...
- 1,355