Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange
Join us in building a kind, collaborative learning community via our updated Code of Conduct.

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

2
votes
1answer
81 views

Closure of tensor product /tensor product semigroup

In this reference the following claim is made in Remark 2 Let $A,B$ be closable operators on Banach spaces $X,Y$, then $A \otimes 1$ and $1 \otimes B$ are closable operators on the Banach space $X \...
1
vote
0answers
55 views

Nonlinear maps in Riesz Thorin theorem

The Riesz Thorin theorem allows us to interpolate between $L^p$ spaces and the usual assumption is that the map $T$ is linear. What I was wondering about is whether this is because otherwise you do ...
0
votes
0answers
44 views

Why ker(1) is a semi M-ideal in $\ell_1$?

A subspace $Y$ of $X$ is said to be semi M-ideal if $\exists$ a projection $P$ (not necessarily linear) from $X^*$ to $Y^\perp$ such that $\|x^*\|=\|Px^*\|+\|x^*-Px^*\|$. And also, $P(\lambda x^*+Py^*)...
7
votes
1answer
457 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\...
0
votes
1answer
94 views

Does there exists an extreme point $(a_1^*,…,a_n^*)$ of $B_{\mu^*}$ such that $a_i^*\neq 0$ for all $1\leq i\leq n$ and $\sum_{I=1}^n a_i^*a_i=1?$

Fix a natural number $n\geq 1.$ Let $\mu$ be a norm on $\mathbb{R}^n$ satisfying $$\mu(0,...,0,\stackrel{i}{1},0,...,0) = 1 \quad\text{for all }1\leq i\leq n.$$ Let $$B_{\mu} = \{(a_1,...,a_n)\in \...
0
votes
1answer
100 views

Do functions exist and are they dense? Or does it depend on the basis?

Consider an orthonormal basis $(\varphi_n)_{n \in \mathbb N}$ of $L^2(\mathbb R).$ We consider the functionals $\Phi_n$ given by $$ C^b(\mathbb R) \ni f \mapsto \left\langle \varphi_n, f \varphi_{n+1}...
3
votes
0answers
36 views

The dual relationships between strictly singular operators and strictly cosingular operators

Recall that an operator $T:X\rightarrow Y$ between Banach spaces is called strictly singular if if it is not an isomorphism when restricted to any infinite-dimensional closed subspace of $X$. An ...
4
votes
1answer
130 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 ...
1
vote
1answer
85 views

A formula for vector valued measurable functions

Let $B_{\infty}(\Omega)$ be the space of bounded measurable functions on the measurable space $\Omega$. For a given Banach space $X$, let us denote $B_{\infty}(\Omega,X)$ by the set of all bounded ...
1
vote
1answer
97 views

Compactness of operators and norming sets

Originally asked on MSE. Let $T$ be a linear map from a normed space $E$ into a Banach space $F$. Let $D\subset \overline{B}_{F^{\ast}}$ be norming, i.e., there is $r>0$ such that $\sup\limits_{v\...
1
vote
1answer
42 views

Infinitely many independent functions that are only frequency localized?

A function $f \in L^2(\mathbb R^d)$ will be called $K$-frequency localized if the following inequality holds $$\int_{\mathbb R^d} \lvert \widehat{f}(x) \rvert^2 x^2 \ dx \le K \int_{\mathbb R^d} \...
0
votes
1answer
107 views

Central limit theorem in Banach space in scheme of series

I wonder whether Theorem 2 from the paper J. Zinn, Annals of Probability, 1977, vol. 5, 283-286 can be extended to the CLT for a scheme of series. (The paper is available in the web.) Let $G$ be ...
3
votes
1answer
142 views

Does Bishop-Phelps Theorem hold for extreme points (slightly different version)?

Recall the Bishop-Phelps Theorem. Bishop-Phelps Theorem: Let $B\subseteq E$ be a bounded, closed, convex subset of a real Banach space $E.$ Then the set $$\{e^*\in E^*: e^* \text{ attains its ...
3
votes
3answers
125 views

Preannihilators of subspaces of separable duals

If $Y\subset X^*$ is a closed subspace (where $X$ is a separable Banach space), the preannihilator of $Y$ in $X$ is $Y_{\perp}:=\{x\in X : y^*(x)=0, \forall y^*\in Y \}$. If $Y$ is a proper subspace ...
3
votes
1answer
122 views

Does separability of the strong operator topology imply separability of the underlying space?

Let $X$ be a Banach space and $B(X)$ be the space of bounded operators on $X$. Suppose that the strong operator topology on $B(X)$ is separable and that the cardinal number of $B(X)$ is continuum. ...
7
votes
2answers
268 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?
3
votes
1answer
72 views

Norming functionals for vectors in intersections

Suppose that $(X, \|\cdot\|_X)$, $(Y, \|\cdot\|_Y)$ are two Banach spaces such that $X\subset Y$ and $\|x\|_Y\leq \|x\|_X$ for all $x\in X$ and $X$ is dense in $(Y, \|\cdot\|_Y)$. Every functional $...
2
votes
1answer
144 views

Relation between the weak star topology and hereditary Lindelöfness

Let $X$ be a Banach space. Is the following implication valid? $$ (X,w) \textrm{ is hereditarily Lindelöf}~ \Rightarrow X^*~ \textrm{is separable} $$ The converse is clearly true, since the ...
8
votes
1answer
112 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 ...
4
votes
2answers
177 views

pointwise convergence to the identity

Let $X$ be a separable topological vector space with size (cardinal number) no larger than $\mathfrak{c}$. Does there exist any sequence of finite rank linear maps $\phi_n:X\to X$ pointwise converging ...
3
votes
0answers
73 views

point-wise approximation of the identity in hereditary Lindelof spaces

Let $X$ be a topological vector space. Assume that there exists a sequence of finite range measurable functions $\phi_n:X\to X$ with $\lim\phi_n(x)=x$. Q. Can we concluded that $X$ is hereditery ...
7
votes
1answer
183 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$?
4
votes
0answers
126 views

Is this property an isomorphic characterization of $\ell_1(\Gamma)$?

Let $\Gamma$ be an infinite set. Then every $(x_i)_{i\in\Gamma}\in \ell_1(\Gamma)$ has at most a countable number of components $x_i\neq 0$. As a consequence, every separable subspace $M$ of $\ell_1(\...
10
votes
1answer
293 views

Are all compact subsets of Banach spaces small in a measure-theoretic sense?

Definition. A subset $K$ of a topological group $X$ is called measure-continuous if there exists a $\sigma$-additive Borel probability measure $\mu$ on $X$ such that for every compact subset $C\subset ...
1
vote
0answers
126 views

Status of an open problem in isometric aspect of Banach space theory

The following open problem is taken from the book Open Problems in the Geometry and Analysis of Banach Spaces, page $40.$ Problem $84:$ Assume that $X$ is an infinite-dimensional separable Banach ...
1
vote
3answers
431 views

$c_0$ is not isometrically isomorphic to $c$

Let us consider the space of convergent sequences which is denoted by $c$. The space of all sequences $(x_n)\in c$ with $\lim x_n=0$ is also denoted by $c_0$. Clearly $c_0$ is a proper closed ...
1
vote
1answer
127 views

A particular separation example

Q1. Does there exist a separable Banach space $X$ satisfying in the following property? 1- $X^*$ is non separable. 2- For every countable subset $F\subset X^*$ there exists $0\neq x_F\in X$ ...
4
votes
1answer
143 views

The largest topological copy of a Hilbert space contained in $\ell^1$

Let us consider $\ell^1$, the space of absolutely summable sequences in the space of complex numbers. Clearly every finite dimensional Hilbert space is topologically embedded into $\ell^1$. ...
9
votes
1answer
270 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 \...
5
votes
3answers
357 views

Point-wise limit of finite valued functions

Let $X$ be a second countable topological vector space. Does there exist any sequence of finite valued functions $f_n\colon X\to X$ converging point-wise to the identity mapping on $X$?
4
votes
1answer
286 views

Dual of the space of all bounded holomorphic functions

Let $\mathbb{B}$ be the open unit ball in $\mathbb{C}^n, n\geq 1$ and let $H^\infty (\mathbb{B})$ be the space of all bounded holomorphic functions on $\mathbb{B}$. It is well known that $H^\infty (\...
3
votes
1answer
188 views

Separable Lindelöf locally convex spaces that are not second-countable

A Lindelöf space is a topological space in which every open cover has a countable subcover. Does there exists a Lindelöf locally convex space which is not second countable? I am also looking for a ...
2
votes
1answer
157 views

A particular example of topological vector spaces

I am looking for a topological vector space $(X,\tau)$ enjoying the following conditions: 1- $(X,\tau)$ is not locally convex. 2- There exists a metric $d$ on $X$ and a sequence $\{X_n\}$ of ...
7
votes
2answers
667 views

Is the strong operator topology metrizable?

Let $X$ be a separable Banach space. Is the strong operator topology metrizable on $B(X)$, the space of all bounded operators on $X$? SOT-$\lim T_i=0~$ if and only if $~\lim \|T_ix\|=0$ for every $x\...
7
votes
0answers
233 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 ...
0
votes
0answers
71 views

Topologies corresponding to norm, SOT and WOT under duality

This is a question from MSE which has not received any attention so far. Let $X$ be a Banach space with norm dual $X'$. (I am mostly interested in the case $X = \ell^1$.) For a linear mapping $T : X \...
6
votes
1answer
182 views

Embedding the $\ 2^n+1$-point metric 1-space

A metric space $\ (S\ d)\ $ is said to be a 1-space $\ \Leftarrow:\Rightarrow\ \forall_{x\ y\in S}\ (x\ne y\ \Rightarrow\ d(x\ y)=1).$ Question:   Do there exist a non-negative integer $n,\ $ ...
5
votes
1answer
191 views

Is each compact metric space a subset of a compact absolute 1-Lipschitz retract?

A metric space $X$ is called an absolute $L$-Lipschitz retract if for any metric space $Y$ containing $X$ there exists a Lipschitz retraction $r:Y\to X$ with Lipschitz constant $Lip(r)\le L$. ...
3
votes
0answers
83 views

Is the Banach space $C(K)$ a $1$-Lipschitz comp-extensor?

Given a real number $c\ge 1$ let us say that a metric space $X$ is a $c$-Lipschitz comp-extensor if each Lipschitz self-map $f:K\to K$ of a compact subset $K\subset X$ extends to a Lipschitz self-map $...
7
votes
1answer
128 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]$. ...
1
vote
2answers
117 views

For what points in $\mathbb R^2$ does the triangular condition fail for a 1/2-metric?

It is known that for $p<1$, $d_p(x,y)=\big(\sum_{i=1}^n |y_i-x_i|^p\big)^{1/p}$ is not a metric. In the case of 2 dimensions and $p=1/2$ it seems rather hard to find a counterexample where the ...
8
votes
1answer
297 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 ...
7
votes
0answers
135 views

Equivalent strictly convex norms in spaces of small density

Can one construct in ZFC a Banach space of density character $\omega_1$ that does not have an equivalent strictly convex norm? Maybe one may apply some kind of a Löwenheim–Skolem-type argument to a ...
2
votes
1answer
87 views

A Question about an irreducible ultra-power II,

Let $E$ be an irreducible Banach $A$-module, for a Banach algebra $A$. One can easily show that for an ultra filter $\mathcal U$, $(E)_\mathcal U$ is a Banach $(A)_\mathcal U$-module. Is it possible ...
1
vote
0answers
74 views

Weak$^*$ topology on Bochner $L^p$-spaces

Assume that $X$ is a Banach space such that the dual $X'$ has the Radon-Nikodym property. Moreover let $(\Omega,\Sigma,\mu)$ a say finite measure space. Then we know that for $1\leq p<\infty$ holds ...
8
votes
1answer
177 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 ...
0
votes
0answers
101 views

Weak convergence can imply strong convergence [duplicate]

In $\ell^1(\mathbb N)$, weak convergence implies strong convergence. Is there a classification of infinite-dimensional Banach spaces for which such a property holds true ?
2
votes
1answer
95 views

Duality of Bochner $L^{\infty}$ space

Let's have a look to the unit interval $[0,1]$ and a Banach space $X$ and then to the space $$ E:=L^{\infty}([0,1],X), $$ i.e. all essentially bounded Banach-valued functions $f:[0,1]\rightarrow X$. ...
1
vote
0answers
43 views

Projection semigroup of an isolated eigenvalue

I'm currently working with a paper and I don't get something there. Let $A$ be a closed operator on a Banach space $X$ and $\lambda \in \sigma(A)$ an isolated eigenvalue, i.e. there is a $r > 0$ ...
2
votes
0answers
62 views

Logarithm of $L^p$ space

I encountered the following space as a natural space for setting up a certain problem: $$ S_m^p = \{f \colon I \to \mathbb{R} \text{ measurable }; m^{f} \in L^p(I)\} $$ Here, $I$ is an open bounded ...