Skip to main content

All Questions

Filter by
Sorted by
Tagged with
19 votes
1 answer
3k views

Infinite convex combinations in a Banach space

Let's say that a subset $C$ of a Banach space $X$ is $\sigma$-convex if the following property holds: For any sequence $(x_k)_{k\ge0}$ in $C$, and for any sequence of non-negative real numbers $(\...
Pietro Majer's user avatar
  • 60.5k
18 votes
1 answer
564 views

Is the space of Hankel operators complemented in B(H)?

Let $H$ be $\ell^2({\mathbb N})$ and let $S:H\to H$ be the unilateral forward shift, so that $S^*S=I\neq SS^*$. Then a bounded operator $T:H\to H$ is Hankel if and only if it satisfies $TS=S^*T$. Let ...
Yemon Choi's user avatar
  • 25.8k
15 votes
5 answers
2k views

Between Tietze's and Dugundji's extension theorems

The celebrated Tietze extension theorem asserts that any continuous real-valued function defined on a closed subset of a normal space, can be extended to a continuous function on the whole space. Seen ...
Pietro Majer's user avatar
  • 60.5k
12 votes
3 answers
1k 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 ...
M.González's user avatar
  • 4,461
12 votes
1 answer
1k 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 ...
András Bátkai's user avatar
11 votes
2 answers
1k views

Do non-stable Banach spaces exist?

Let $K$ be $\mathbb{R}$ or $\mathbb{C}$. A Banach space $X$ over $K$ is stable if $X\cong X\times K$. I encountered the following question in some papers in the sixties: Is every infinite ...
Thomas Rot's user avatar
  • 7,583
11 votes
1 answer
441 views

Example of Banach spaces with non-unique uniform structures

While it is known that compact Hausdorff spaces admit unique uniform structures, it is further shown by Johson and Lindenstrauss's result that Banach spaces are characterized by their uniform ...
Henry.L's user avatar
  • 8,071
11 votes
1 answer
654 views

Nonseparable Hilbert spaces as quotients of spaces of bounded functions

Is the following result true: the Hilbert space $\ell^{2}\left(2^{\Gamma}\right)$ is a quotient of $\ell^{\infty}\left(\Gamma\right)$ for any uncountable $\Gamma$ ? [I think it is, but cannot remember ...
Ady's user avatar
  • 4,060
11 votes
1 answer
336 views

Notions in the literature capturing the "symmetric" or "homogeneous" flavour of $L_p$?

This post/question is admittedly vague, but I hope that with some feedback in comments it could be made more precise. For $E$ a Banach space, $K(E)$ and $B(E)$ will denote the Banach algebras of ...
Yemon Choi's user avatar
  • 25.8k
10 votes
2 answers
489 views

Surjective linear isometries on $\ell_\infty(\mathbb{N})$

In Volume 1 of "Classical Banach Spaces" Lindenstrauss and Tzafriri note that all surjective linear isometries on $\ell_\infty$ are of the from $(a_i) \mapsto (\varepsilon_i a_{\pi(i)})$ ...
Kevin Beanland's user avatar
10 votes
1 answer
203 views

Verbal description, or terminology, for the ${\mathcal L}_p$-spaces of Lindenstrauss and Pelczynski

This question is intended for Banach-space specialists and so I will not repeat all the definitions here. My aim is to find out how the Banach space community refers to such spaces in discussions, and ...
Yemon Choi's user avatar
  • 25.8k
9 votes
4 answers
4k views

Is the space of Radon measures a Polish space or at least separable?

Background: I work on a SPDE problem where in order to apply Prokhorov's theorem I need that some measure space is Polish space. And additionaly it would be good if that space is Banach space. Earlier ...
Mark's user avatar
  • 657
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 $...
Norbert's user avatar
  • 1,697
8 votes
2 answers
366 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 ...
Nik Weaver's user avatar
  • 42.8k
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 ...
Miek Messerschmidt's user avatar
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 ...
NewGuy23's user avatar
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-...
Ian Morris's user avatar
  • 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-...
M.González's user avatar
  • 4,461
7 votes
3 answers
814 views

Preduals of B(E)

For a Hilbert space $H$ it is well known that the algebra $B(H)$ has a unique predual; the Banach space of trace class operators. If $E$ is a Banach space then is it known whether $B(E)$ is always a ...
Ollie's user avatar
  • 1,411
7 votes
3 answers
1k views

Non-Borel subspace of Banach space

Let $X$ be a separable Banach space, $M \subset X$ a linear subspace. Must $M$ be a Borel set in $X$? I believe the answer is "no," since I have seen authors who are careful to talk about "Borel ...
Nate Eldredge's user avatar
7 votes
1 answer
469 views

Embedding of real trees into $\ell_1(\Gamma)$

It seems plausible that any real tree or ${\mathbb{R}}$-tree in the sense of the definition in https://en.wikipedia.org/wiki/Real_tree admits an isometric embedding into the Banach space $\ell_1(\...
Mikhail Ostrovskii's user avatar
7 votes
1 answer
423 views

Best constant in comparison between Rademacher and gaussian averages?

Let $(g_k)$ be a sequence of independent standard gaussians variables on a fixed probability space $\Omega$. Let $(\epsilon_k)$ be a sequence of independent rademacher variables. What is the best ...
BigBill's user avatar
  • 1,222
7 votes
1 answer
415 views

Is there a “Closure-of-Range Theorem” for Banach spaces?

The classic Closed Range theorem states that for a linear bounded operator $T:X\to Y$ between Banach spaces, and its transpose $T^*:Y^*\to X^*$, the four conditions: $T(X)$ is $s$-closed; $T(X)$ is $...
Pietro Majer's user avatar
  • 60.5k
7 votes
0 answers
327 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 ...
Idonknow's user avatar
  • 623
6 votes
3 answers
852 views

Are nuclear operators closed under extensions?

Given $X_i, Y_i$ Banach spaces, $f_j, g_j, T_i$ bounded linear operators for $i=1,2,3$ and $j=1,2$. We have the following diagram $\require{AMScd}$ \begin{CD} 0 @>>> X_1 @>f_1>> X_2 ...
santker heboln's user avatar
6 votes
1 answer
270 views

Approximation property counterexamples? (Also: relation to tensor products)

I remember reading somewhere (but unfortunately, I've forgotten where it was) that the canonical map from the (completed) projective tensor product of two Banach spaces to the (completed) injective ...
Jeff Egger's user avatar
6 votes
2 answers
240 views

Continuity of a differential of a Banach-valued holomorphic map

Originally posted on MSE. Let $U$ be an open set in $\mathbb{C}^{n}$ let $F$ be a Banach space (in my case even a dual Banach space), and let $\varphi:U\to F$ be a holomorphic map. I seem to be able ...
erz's user avatar
  • 5,529
6 votes
1 answer
773 views

When do Borel $\sigma$-algebras generated by the total variation norm and the weak* topology coincide?

I am almost certain that I read somewhere that the following is true, but I cannot seem to locate the reference. I would be most appreciative if someone could point me to a reference. The result was ...
user avatar
6 votes
1 answer
453 views

The typical size of a random element in a Banach space

Let $X$ be a separable Banach space, and let $\mathbb P$ be a Radon probability measure on $X$ with zero mean and covariance operator $K : X^* \to X$. Let $x$ be an $X$-valued random variable with ...
Tom LaGatta's user avatar
  • 8,512
6 votes
1 answer
290 views

Analytic maps on Banach spaces: analyticity upgrade

Consider the following problem. Let $E,F,G$ be real or complex Banach spaces, such that $F\subset G$ with continuous embedding. Let $U\subset E$ an open set and $$ f:U\to G $$ an analytic map, such ...
Lorenzo Pompili's user avatar
6 votes
1 answer
240 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. ...
Ian Morris's user avatar
  • 6,206
6 votes
0 answers
99 views

Is every separable Banach space with the MAP 1-complemented in a space with a monotone basis?

The question, already phrased in the title, looks like a classical problem from Banach space theory from the 1970s. Hence, my question is more of a reference request in its nature. Can every ...
Tomasz Kania's user avatar
  • 11.3k
5 votes
1 answer
244 views

Dual Banach space $X^*$ complemented in $\mathrm{Lip}_0(X)$?

$\DeclareMathOperator\Lip{Lip}$Let $X$ be a real Banach space. The dual $X^*$ is a closed subspace of $\Lip_0(X)$. ($\Lip_0(X)$ denotes the space of real-valued Lipschitz functions $f:X\to\mathbb{R}$ ...
Miek Messerschmidt's user avatar
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 ...
user860374's user avatar
5 votes
2 answers
296 views

Well-complemented copies of $\ell_p^n$

This must be surely known but I couldn't locate this problem in the literature. It popped out in a priori unrelated approximation problem but if true, would help me greatly. Let $p\in (1,\infty)$. ...
Tomasz Kania's user avatar
  • 11.3k
5 votes
1 answer
224 views

reference request: unbounded operators on normed spaces

I'm looking for books where the theory (basic properties, adjoints etc.) of unbounded linear operators between locally convex spaces or at least Banach spaces is developed. In Brezis' functional ...
F. Carbon's user avatar
  • 105
5 votes
1 answer
158 views

What is a name for co-Sobczyk Banach spaces?

Definition. Let us define a Banach space $X$ to be co-Sobczyk if every linear bounded operator $T:Z\to c_0$ defined on a separable subspace $Z$ of $X$ extends to a bounded operator $\bar T:X\to c_0$. ...
Taras Banakh's user avatar
  • 41.9k
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 ...
user avatar
4 votes
1 answer
221 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 ...
Kevin Beanland's user avatar
4 votes
3 answers
3k views

Examples of Banach spaces and their duals

There are many representation theorems which state that the dual space of a Banach space $X$ has a particularly concrete form. For example, if $X = C([0,1],\mathbb R)$ is the space of real-valued ...
Tom LaGatta's user avatar
  • 8,512
4 votes
1 answer
281 views

Does property (V) imply the Grothendieck property for dual Banach spaces?

A Banach space $X$ has property (V) whenever for each Banach space $Y$, every unconditionally converging operator $T:X\to Y$ is weakly compact; equivalently, every non-weakly compact operator $T:X\to ...
M.González's user avatar
  • 4,461
4 votes
2 answers
428 views

Are sequences in $\ell^1(\mathbb N_0)$ converging uniformly on convex weakly compact subsets of $c_0(\mathbb N_0)$ norm convergent?

I think the question as expressed in the title should be clear. I do not know whether there is a known "characterization" of the weakly compact convex sets in $c_0(\mathbb N_0)$ but testing ...
TaQ's user avatar
  • 3,584
4 votes
2 answers
611 views

A useful criterion in vector integration

I would like to know the proof of the following theorem: Consider two Banach spaces $X\hookrightarrow Y$ and $1<p,q\leq\infty$. Let $(f_n)_{n\geq 0}$ be a bounded sequence in $L^q(I,Y)$ and let $...
Felice Iandoli's user avatar
4 votes
1 answer
615 views

Isometric embeddings of $\ell_q^m$ into $\ell_p$ and $L_p$ for $p,q\in[1,+\infty]$

I'm looking for articles describing or proving nonexistence of isometric embeddings of $m$-dimensional space $\ell_q^m$ into $L_p$ and $\ell_p$ for $q,p\in[1,+\infty]$. Since $\ell_q^m$ is finite ...
Norbert's user avatar
  • 1,697
4 votes
1 answer
279 views

Reference request: Baire's theorem for operator ranges

Let $F$ be a Banach space. A vector subspace $U \subseteq F$ is called an operator range if there exists a Banach space $E$ and a bounded linear mapping $T: E \to F$ such that $TE=U$. By a quotient ...
Jochen Glueck's user avatar
4 votes
1 answer
352 views

Minimality properties of James' space

I am interested in the following question about James' quasi-reflexive Banach space $\mathcal{J}$: Does there exists a non-Hilbertian subspace $X$ of $\mathcal{J}$ such that $X$ isomorphically ...
N. de Rancourt's user avatar
4 votes
1 answer
189 views

Intrinsic volumes of non-polyconvex, non-compact sets

I am reposting this question I asked and bountied on Math SE, which has been upvoted but not answered or commented on. The intrinsic volumes (AKA Minkowski Functionals or, with different ...
Joe Previdi's user avatar
4 votes
1 answer
498 views

Generator of a $C_0$-semigroup restricted to a subspace

Suppose we have a decreasing filtration of Banach spaces $(E_t)_{t\geq0}$, inclusions $V_{s+t,t}:E_{s+t}\to E_t$ and projections $P_{t,s+t}:E_t\to E_{s+t}$ such that $P_{t,s+t}V_{s+t,t}=I_{E_{s+t}}$. ...
Ollie's user avatar
  • 1,411
4 votes
1 answer
136 views

Defining a topology by sequences

Suppose we have a Banach space $X$ and have chosen a set $\Sigma$ consisting of some sequences whose members are in $X$. We can then say that $(x_n)_{n=1}^\infty\in X^\mathbb{N}$ is $\Sigma$-...
user avatar
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 ...
Rombaldo Meniscus's user avatar