Tagged Questions

A Banach space is a complete normed vector space: A vector space equipped with a norm such that every Cauchy sequence converges.

680 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 ...
2k 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$ ...
489 views

Isometric embeddings of finite subsets of $\ell_2$ into infinite-dimensional Banach spaces

Question: Does there exist a finite subset $F$ of $\ell_2$ and an infinite-dimensional Banach space $X$ such that $F$ does not admit an isometric embedding into $X$? There are some results of the ...
1k views

Approximating operators on Banach spaces by bounded operators on a proper dense subspace

While digging through old piles of notes and jottings, I came across a question I'd looked at several years ago. While I was able to get partial answers, it seemed even then that the answer should be ...
395 views

3k views

Absolute value inequality for complex numbers

I asked this question on stackexchange, but despite much effort on my part have been unsuccesful in finding a solution. Does the inequality $$2(|a|+|b|+|c|) \leq |a+b+c|+|a+b-c|+|a+c-b|+|b+c-a|$$ ...
2k 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 ...
2k views

507 views

577 views

B(H) as a direct sum of a closed two sided ideal and a subalgebra

Let $B(H)$ is the C*-algebra of all bounded linear operators on Hilbert space $H$. Are there a closed two-sided ideal $I$ and a subalgebra $A$ of $B(H)$ such that $B(H)=I \oplus A$ (direct sum I and ...
523 views

Quotients of l^infty

Let $M$ be a closed subspace of $l^\infty$. Suppose that the quotient $l^{\infty}/M$ is isomorphic to $l^\infty$. Is it true that $M$ is complemented in $l^\infty$?
611 views

Banach spaces $X$ with $\ell_2(X)$ not isomorphic to $L_2([0,1],X)$

Let $X$ be a Banach space. I think that some time ago I read somewhere that, in general, the space $\ell_2(X)$ of all sequences $(x_n)$ in $X$ with $\sum_{n=1}^\infty \|x_n\|^2<\infty$ is not ...
142 views

If $F(x,\bullet) \in {L^{\infty}}(G,B)$ for all $x \in G$, then is $x \mapsto F(x,\bullet)$ strongly measurable?

Let $(X,\Sigma,\mu)$ be a $\sigma$-finite measure space and $B$ a Banach space. A function $f: X \to B$ is said to be strongly $\mu$-measurable iff it is the almost-everywhere pointwise ...
349 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 ...
302 views

Almost isometric embeddability implies isometric embeddability

Consider the following situation: Suppose $X$ is a Banach space such that for each finite metric space $M$ and each $\epsilon > 0$ for which $M$ bi-lipschitz embeds into $X$ with Lipschitz constant ...
315 views

Invariant probability on a unit ball of a Banach space

Let $\Gamma$ be a discrete group acting on an infinite-dimensional Banach space $X$ by linear isometries. Is there a probability measure (non-atomic, not supported on a finite dimensional subspace) ...
249 views

series representation in injective tensor products

All books on tensor products of Banach spaces contain the well-known theorem of Grothendieck that every element of the completed projective tensor product $X \tilde{\otimes}_ \pi Y$ has a ...
288 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 ...
123 views

Existence of normal structure in strictly convex Banach spaces

Does there exists a strictly convex Banach space which is not uniformly convex and has normal structure ?
628 views

What (classes of) Banach spaces are known to have Schauder basis?

Motivation: I am trying to see for what class of Banach spaces the following result is true: There exists an increasing sequence of finite dimensional subspace {$V_n$} of a Banach space X (with ...
147 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 ...
395 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 ...
422 views

binary intersection property in finite dimension

I have recently discovered a survey article called "The Hahn-Banach Theorem: The Life and Times" by Narici and Beckenstein and I have read it with great amusement: I was particularly fascinated by ...
320 views

Banach-Mazur distance to complex $\ell^1$ of a space containing real $\ell^1$

Consider a complex Banach space $X$ with a real subspace isometric to $\ell^1_{\mathbb R}$. What is the best constant $c$ such that $X$ contains a complex subspace $c$-isometric to $\ell^1_{\mathbb C}$...
190 views

Finitely isometrically persistent metric spaces

The goal of this question is to develop further the discussion initiated in Under which conditions is it possible to find points with same distances under bi-Lipschitz map. The mentioned question was ...
277 views

Is $L(\ell_2,\ell_2)$ dense in $L(\ell_2,c_0)$?

Let $\ell_2:=\{ x:\mathbb{N} \to \mathbb{R}: \sum_{j=1}^\infty x_j^2<\infty\}$ and $c_0:=\{ x:\mathbb{N} \to \mathbb{R}: \lim_{j\to\infty}x_j=0,\, \sup_{j\in\mathbb{N}}|x_j|<\infty\}$ denote the ...