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

12
votes
2answers
331 views

ODE properties true in finite dimension but not in Banach spaces of infinite dimension

Some properties of Ordinary Differential Equations - ODE are true in finite dimension spaces but not in Banach spaces of infinite dimension. The first one I know is the Peano existence theorem. I ...
10
votes
0answers
83 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 ...
2
votes
0answers
42 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 ...
8
votes
0answers
434 views

Second duals of Grothendieck spaces

The classical example of a Grothendieck space is $\ell_\infty$. It is also known that its even duals $\ell_\infty^{**}$, $\ell_\infty^{(4)}$, $\dots$ are Grothendieck spaces. (See, e.g., this note ...
4
votes
0answers
63 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
183 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
85 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
108 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)$ ...
1
vote
1answer
87 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 ...
8
votes
3answers
286 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 ...
8
votes
1answer
337 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 ...
0
votes
1answer
92 views

Can sum of two (co)type $p$ subspaces fail to have the same (co)type?

Type and cotype are very pleasant invariants of Banach spaces. However answer to the following question seems to be missing from the literature. Let $X$ be a Banach space and suppose that $Y,Z$ are ...
6
votes
1answer
289 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 ...
14
votes
1answer
1k 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 ...
2
votes
2answers
4k views

Dual space of $\ell^\infty$

Why can the elements of the dual space of $\ell^\infty(\mathbb N)$ be represented as sums of elements of $\ell^1(\mathbb N)$ and Null$(c_0)$? EDIT: As confirmed in the comments, the OP intended to ...
1
vote
1answer
212 views

Elements of Minimal Norm on an affine subset of a Banach Space

Let $v_1$ and $v_2$ be two elements of a real Banach space $(X,\lVert\;\rVert)$, each of unit norm. Consider the one-dimensional affine subspace $v_1+tv_2$ for real $t$. Is there a general formula for ...
1
vote
1answer
101 views

Transferring locally uniformly convex norm by bounded linear operator from one Banach space to another

I'm trying to find a simple proof this theorem Let $Y$ be a locally uniformly convex Banach space and $X$ be a Banach space and let $T$ be a bunded linear operator from $X$ into $Y$ such that for ...
1
vote
1answer
188 views

does every compact convex set in c0 have but countably many extreme points

This seems plausible, given the properties of the unit ball of $c_0$. I have a compact set in a complex Banach space $X$ whose closed convex hull has uncountably many extreme points. It would be ...
2
votes
1answer
114 views

Form of finite dimensional contractive projection in $L_p$

Let $P$ be a finite dimensional contractive (norm 1) projection in $L_p$, $1 < p < \infty$. Then $P$ is of the following form: $Pf = \sum_{k=1}^n g_k \int h_kf$ Where $\|g_k\|_p = \|h_k\|_q = ...
4
votes
1answer
105 views

Non-reflexive Orlicz spaces

I am looking for a good reference on Orlicz spaces; I would appreciate any books treating this topic from the Banach-space perspective. For example, I would like to find a reference to the following ...
1
vote
0answers
67 views

On compact operators with domain $c_{0}$

Let $X$ be a Banach space and $T$ be a compact operator from $c_{0}$ into $X^{*}$. Let $\epsilon>0$. Is there a compact operator $S$ from $X$ into $l_{1}$ such that $S^{*}|_{c_{0}}=T$ and ...
1
vote
1answer
119 views

An operator factoring through a Banach space containing no copy of $l_{1}$

Is there an operator $T:X\rightarrow Y$ that factors through a Banach space $Z$ containing no complemented copy of $l_{1}$, but does not factor through any Banach space $W$ containg no copy of ...
1
vote
1answer
136 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 ...
9
votes
0answers
162 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 ...
3
votes
1answer
670 views

If $H$ is a separable Hilbert space, is its dual dense in $L^2(H)$?

Let $H$ be an infinite-dimensional, separable Hilbert space, and let $\gamma$ be a Radon probability measure on $H$ with mean zero and covariance operator the identity $I$. Let $H^*$ denote the space ...
0
votes
1answer
144 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 ...
1
vote
1answer
137 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 ...
1
vote
2answers
127 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$ ...
4
votes
2answers
855 views

Dense inclusions of Banach spaces and their duals

This seems like a really simple question, but I'm struggling with it. Let $X$ be a separable Banach space, $H$ be a separable Hilbert space, and suppose $i : H \hookrightarrow X$ is a dense, ...
4
votes
1answer
121 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
45 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}) = ...
3
votes
1answer
261 views

On injectivity of the Banach space $C_0(X)$

Let $X$ be a locally compact Hausdorff space, such that $C_0(X)$ is an injective Banach space, i.e. a $\mathfrak{P}_\lambda$ space for some $\lambda\geq 1$. Is it true that $X$ is compact? If ...
4
votes
1answer
141 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 ...
7
votes
1answer
251 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$ ...
0
votes
1answer
51 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 ...
4
votes
2answers
175 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 ...
8
votes
0answers
196 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 ...
4
votes
1answer
197 views

A question on $p$-approximation property

We say that a subset $K$ of a Banach space $X$ is relatively $p$-compact ($1\leq p<\infty$) if there exists a $p$-summable sequence $(x_n)_{n=1}^{\infty}$ in $X$ such that $$ K\subseteq ...
6
votes
1answer
283 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 ...
1
vote
1answer
125 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 ...
10
votes
3answers
565 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 ...
8
votes
0answers
189 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
46 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 ...
1
vote
1answer
104 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 ...
8
votes
3answers
360 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 ...
0
votes
0answers
33 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
122 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, ...
24
votes
0answers
400 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 ...
5
votes
1answer
243 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 ...
0
votes
1answer
73 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 ...