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

learn more… | top users | synonyms

1
vote
3answers
100 views

Classification of subsymmetric basic sequences

I just encountered the following statement: any subsymmetric basic sequence is either weakly null or equivalent to the unit vector basis of $\ell_1$. It's the first time I realize that. I do see the ...
0
votes
0answers
43 views

A question on measuring weak non-compactness in $L_{1}(\mu)$ spaces

Let me first fix some notations. Let $X=L_{1}(\mu)$, where $\mu$ is a finite positive measure. Let $A$ be a bounded subset of $X$. Set $\omega(A)=\inf\{\widehat{d}(A,K):\emptyset\neq K\subset X$ is ...
1
vote
2answers
159 views

Where can I find some articles and lecture notes in renorming theory in Banach spaces? [closed]

I am really into renorming theory in Banach spaces especially, renorming in non-reflexive Banach spaces such that they have nice property, for example they have fixed point property,locally uniformly ...
0
votes
0answers
62 views

Existence of strictly convex Banach space without weak normal structure

This is a complementary question to the following at Existence of normal structure in strictly convex Banach spaces Does there exist a strictly convex Banach space without the weak normal structure ...
4
votes
1answer
155 views

Is the topological dual of a Banach space weakly* closed in its algebraic dual?

The question is completely contained in the title :) I can only add, that it is not difficult to give a counterexample for normed spaces, and also Banach-Steinhaus theorem implies the sequential ...
12
votes
0answers
271 views

Kolmogorov width for cartesian products

For an operator $T:X\to Y$ between Banach spaces with unit balls $B_X$ and $B_Y$ the sequence of Kolmogorov widths is $$ \delta_n(T)=\inf\lbrace \delta>0: T(B_X)\subseteq \delta B_Y +L \text{ for ...
0
votes
1answer
98 views

Spectrum of compact operator between different Banach spaces

Let $X, Y$ be two different Banach spaces, and let $T: X \to Y$ be a compact linear operator. Suppose the identity $I : X \to Y$ is well-defined. (For example, we could have $X = L^2([0,1])$ and $Y = ...
23
votes
0answers
521 views

Do there exist infinite-dimensional Banach spaces in which every bounded linear operator attains its norm?

Let $X$ be a Banach space, $L(X)$ the space of all bounded linear operators on $X$. We say that $A ∈ L(X)$ attains its norm if there exists $x ∈ X$ such that $||x|| = 1$ and $||Ax|| = ||A||$. The ...
1
vote
2answers
252 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 ...
1
vote
0answers
48 views

weak compactness in $(\sum_{n=1}^{\infty}\oplus X_{n})_{p}(1<p<\infty)$

The following result is well-known: Let $(X_{n})_{n}$ be a sequence of Banach spaces and let $X=(\sum_{n=1}^{\infty}\oplus X_{n})_{p}(1<p<\infty)$. Then a bounded subset $A$ of $X$ is ...
11
votes
1answer
182 views

Weak*-closure of finite rank operators on dual space

Given a Banach space $X$, we consider the space $B(X^*)$ of bounded, linear operators on $X^*$ with the weak*-topology from its canonical predual $B(X^*)_*=X^*\hat{\otimes}X$. What is $\overline{F(X^*)...
2
votes
0answers
53 views

A quantitative version of Pełczyński's property ($V^{*}$)

Let me first fix some notations. Let $A$ be a bounded subset of a Banach space $X$. Set $$wk_{X}(A)=\widehat{d}(\overline{A}^{w^{*}},X)=\sup\{d(x^{**},X):x^{**}\in \overline{A}^{w^{*}}\},$$ where $\...
4
votes
0answers
85 views

Weakenings of the Bounded Approximation Property

Let $X$ be a Banach space, and let $F(X)$ be the finite-rank operators on $X$. Then $X$ has the $\lambda$-BAP if there exists a net $(S_i)_i$ in $F(X)$ with $\sup_i\|S_i\|\leq\lambda$ such that $...
10
votes
1answer
238 views

Nonseparable Hilbert spaces

Being nonseparable Banach space is in fact nothing special: one meets the first examples in the standard functional analysis course, when one learns about $\ell^p$ or $L^p[0,1]$ spaces-these spaces ...
1
vote
0answers
109 views

A quantity measuring weak compactness

Let us fix some notations. If $A$ and $B$ are nonempty subsets of a Banach space $X$, we set $d(A,B)=\inf\{\|a-b\|\mid a\in A,b\in B\},\widehat{d}(A,B)=\sup\{d(a,B)\mid a\in A\}.$ Let $A$ be a ...
0
votes
1answer
208 views

Normed space between $H^{0+}$ and $L^2$

In the space $\in L^2(\mathbb{R}^3)$, consider the following condition. $$\int_{\mathbb{R}^3}\frac{|\widehat{f}(x)|}{1+|x|^{3/2}}dx<+\infty\qquad\mbox{(*)}$$ Of course if $f\in H^s(\mathbb{R}^3)$ ...
0
votes
1answer
130 views

p-summable sequence

Let Y be a closed linear subspace of X and suppose that Y does not have copy of l1 .Does each weakly p-summable sequence in X/Y has a subsequence that's the image of a weakly p-summable sequence in X ...
10
votes
3answers
328 views

Description of $\big(\ell^\infty(\mathbb N)\big)^{\!*}$ via ultrafilters

Let $\beta\mathbb N$ is the set of ultrafilters on $\mathbb N$ and $\mathscr F\in\beta\mathbb N$. Assume that $l_{\mathscr F}\in\big(\ell^\infty(\mathbb N)\big)^{\!*}$ is the functional which assigns ...
1
vote
1answer
157 views

Dense subspaces of $L^p(0,T;X)$

Given a Banach space $X$ and $1\leq p<\infty$, let's define the space $L^p(0,T;X)$ as the set of all strongly measurable functions $f:(0,T)\mapsto X$ such that $$\int_0^T\Vert f\Vert_{X}^pdt<\...
11
votes
1answer
287 views

Complemented subspaces in the dual of James' space $J$

James' space $J$ is subprojective; i.e., every infinite dimensional (closed) subspace of $J$ contains an infinite dimensional subspace which is complemented in $J$. This fact can be found in Corollary ...
1
vote
1answer
146 views

Hermitian Projections on $C[0,1]$

If $X$ is a normed linear space and $S(X)$ its unit sphere, $X′$ its dual space and $Π=\{(x,f)∈S(X)×S(X′) \ | \ f(x)=1\}$, then for an operator $T$ on $X$, the numerical range $V(T)$ is defined by $V(...
1
vote
2answers
136 views

Antiproximanal subspace of $L_1[0,1]$

Could someone give a reference or construct an example of closed subspace of $Y\subset L_1[0,1]$ such that $\operatorname{dist}(x,Y)$ is not attained of for any $x\notin Y$. I read somewhere that $Y$ ...
5
votes
1answer
154 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 (...
1
vote
0answers
47 views

Coersivity of a bilinear form [closed]

I need to proof the coersivity of the following bilinear form. a,b and c are scalars, u is the velocity vector field and p is the pressure. Any help is much appreciated! $$ B(\textbf{u},\textbf{v}) = ...
4
votes
1answer
146 views

A quantity measuring weak non-compactness

Let $A$ be a bounded subset of a Banach space $X$. Set: $wk_{X}(A)=\inf\{\epsilon>0:\overline{A}^{w^{*}}\subset X+\epsilon B_{X^{**}}\}$, where $\overline{A}^{w^{*}}$ denotes the $weak^{*}$ closure ...
0
votes
1answer
59 views

The completeness of locally convex space generated by relatively weakly $p$-compact sets

Let $X$ be a Banach space and $1\leq p<\infty$. A bounded subset $K$ of $X$ is relatively weakly $p$-compact if $K$ is contained in $S(B_{l_{p^{*}}})$for some operator $S$ from $l_{p^{*}}$ into $X$....
4
votes
2answers
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 ...
7
votes
1answer
270 views

A Hilbert space characterization via retractions--a conjecture

Given a Banach space $X$ and a functional $f:X\rightarrow \mathbb R$, let $$ X_f := \{x\in X : f(x)\ge 0\} $$ ("functional" means "non-zero linear functional"). Also, given a topological space $E$ ...
9
votes
0answers
223 views

Is $\ell_p$ $(1<p<\infty)$ finitely isometrically distortable?

Let $Y$ be a Banach space isomorphic to $\ell_p$, $1<p<\infty$. Is it true that any finite subset of $\ell_p$ is isometric to some finite subset of $Y$? It seems to me that it is an interesting ...
6
votes
1answer
298 views

Is $L_q(X^*)$ complemented in $(L_p(X))^*$?

Let $X$ be a Banach space and let $p\in (1,\infty)$. If $q$ denotes the conjugate exponent to $p$, then $L_q(X^*)$ is easily seen to be isometric to a subspace of $(L_p(X))^*$ via the map $$f\mapsto \...
6
votes
1answer
293 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(\...
0
votes
1answer
78 views

When do two quasi-Banach spaces with identical dual spaces have equivalent norms?

Let $X$ and $Y$ be two quasi-Banach spaces such that the dual spaces satisfy $X^*=Y^*$. I want to know if there are some conditions that imply $X=Y$ (in the sense of equivalent norms).
1
vote
1answer
148 views

Under what conditions can we put a complete norm on a linear subspace of a separable Banach space?

Question 1 Let $X$ a separable Banach Space and $Y\subset X$ linear subspace. When can we put a norm on $Y$ in such a way so that $Y$ is a Banach space? Clearly if $Y$ is closed in the norm topology ...
14
votes
1answer
391 views

Generalizing the Mazur-Ulam theorem to convex sets with empty interior in Banach spaces

The Mazur-Ulam theorem (1932) states that any isometry of a normed linear space is affine. See Nica (Expo. Math. 30 (2012), 397-398; arXiv:1306.2380) for a very elegant proof. Question: Let $M$ be a ...
0
votes
0answers
55 views

A question on weakly $p$-convergent sequences

Let $1<p<\infty$. A sequence $(x_{n})_{n}$ in a Banach space $X$ is said to be weakly $p$-convergent to $x\in X$ if the sequence $(x_{n}-x)_{n}$ is weakly $p$-summable in $X$. We say that a ...
2
votes
1answer
129 views

example of an $\ell_1$-saturated Banach space without an unconditional basis

Giorgos Petsoulas, in his paper "A class of $\ell^p$ saturated Banach spaces," has constructed for each $1<p<\infty$ a space $\mathfrak{X}_p$ which is complementably $\ell_p$-saturated but ...
10
votes
3answers
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 ...
0
votes
0answers
41 views

A weak topology generated by weakly $p$-summable sequences

Let $1\leq p<\infty$ and $X$ be a Banach space. $N_{p}(X)$ is to denote the subspace $\{x^{**}\in X^{**}:$ there exists a weakly $p$-summable sequence $(x_{n})_{n}$ in $X$ such that the sequence $(\...
2
votes
0answers
148 views

Structure of $C^k$ ($k<\infty$)Riemannian metrics on a manifold

$M$ is a smooth manifold. It's known that if $M$ is compact, then the space of smooth Riemannian metrics has a Frechet manifold structure. For the space of $C^k$($k<\infty$) Riemannian metrics, ...
5
votes
1answer
268 views

Which Banach spaces are realcompact?

I have a question about the topological space underlying a Banach space. A topological space $X$ is realcompact iff it is homeomorphic to a closed subset of an infinite product of the form $\mathbb R^...
0
votes
1answer
79 views

On a theorem by Mooney and Khavin on the weak sequential completeness of the predual of $H^\infty(\mathbb{D})$

There is a theorem by Mooney http://msp.org/pjm/1972/43-2/pjm-v43-n2-p.pdf#page=185 and independently proved by Havin which says that the predual of $H^{\infty}(\mathbb{D}),$ $L^{1}/H^{1}_{0}$ is ...
12
votes
2answers
372 views

When is the closed unit ball in a smaller Banach space closed in a larger Banach space?

Recently I saw an interesting lemma: For any $s>0$, the closed unit ball in $H^s$ is also closed in the $L^2$ norm. That is, suppose $u_j\in H^s$ and $\|u_j\|_{H^s}\le 1$. Suppose $u_j\to u$ in $L^...
0
votes
0answers
94 views

On the operators from $l_{p}$ into Tsirelson's space $T$

Let $1<p<2$. My question is: Is any operator from $l_{p}$ into Tsirelson's space $T$ compact? Thank you.
8
votes
3answers
383 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 $...
1
vote
0answers
34 views

On the normalized weakly $p$-summable sequences in Banach spaces

Let $X$ be a Banach space and $1\leq p<\infty$. My question is: Are the following two statements equivalent: (1). Every normalized weakly $p$-summable sequence in $X$ contains a basic subsequence $...
1
vote
1answer
91 views

A characterization of relatively weakly $p$-compact sets

Let $X$ be a separable Banach space and $1<p<\infty$. We say that a sequence $(x_{n})_{n}$ in $X$ is weakly $p$-convergent to $x\in X$ if the sequence $(x_{n}-x)_{n}$ is weakly $p$-summable. A ...
0
votes
1answer
148 views

Subspaces of $H^{\infty}(\mathbb{D})$ which contains a nontrivial weak* closed subalgebra

Let $H^{\infty}(\mathbb{D})$ denotes the Banach space of bounded holomorphic functions in the unit disc. Consider the weak* topology on $L^{\infty}(\mathbb{T})$ that it inherits as the dual of $L^{1}(\...
1
vote
1answer
68 views

On the normalized block basic sequences in $c_{0}\widehat{\otimes}_{\pi} c_{0}$

Let $c_{0}\widehat{\otimes}_{\pi} c_{0}$ be the projective tensor product of $c_{0}$ and $c_{0}$. Let $(e_{n})_{n}$ be the unit vector basis of $c_{0}$. For each $n$, define $z_{n}=e_{n}\otimes\sum_{j=...
2
votes
1answer
173 views

Equivalent definitions of $\mathscr{L}_p$-spaces

Let $p\in [1,\infty]$ and let $X$ be a separable Banach space. Then $X$ is said to be a $\mathscr{L}_p$-space if there exists an increasing union of finite dimensional Banach spaces $F_n\subset F_{n+1}...
0
votes
1answer
50 views

On the unconditional basis on the Hardy space $H^{1}$ and the Lorentz function space $L_{w,1}$

Question 1. Does the Hardy space $H^{1}$ have an unconditional basis? This problem appeared in S.Kwapien and A.Pelczynski's paper: Some linear topological properties of the hardy spaces $H^{p}$, ...