All Questions
Tagged with banach-spaces fa.functional-analysis
1,222 questions
5
votes
2
answers
404
views
Do (Banach) ultrapowers carry some sort of 'elementary equivalence'?
The (model-theoretic) ultrapowers had been used for studying elementary equivalnce of first-order structures. Then, they have been adapted to Banach spaces, which are, let me say, second-order ...
- 181
5
votes
1
answer
1k
views
Wildly discontinuous linear functionals
Let $X$ be a Banach space, $H\subseteq X$ be a dense hyperplane, and $f$ be a continuous linear functional defined on $H$. Then $f$ is uniformly continuous and hence it admits a unique continuous ...
- 483
5
votes
1
answer
504
views
Compact non-nuclear operators
I am not sure if this question makes sense, or if it is trivial, but does there exists an infinite dimensional Banach space (necessarily without the approximation property) such that no compact, non-...
- 1,361
5
votes
1
answer
519
views
Hahn Banach type extension of a Lipschitz map
The problem that I posted was a much generalized form of what I had in my mind. All I want to know the literature of Hahn-Banach type extension of Lipschitz map. I know only about the result by ...
- 521
5
votes
4
answers
1k
views
Is any continuous linear operator from a dual Banach space to a separable Hilbert space the strong-operator limit of a net of adjoint operators of less or equal norm ?
Let $E$ be an arbitrary Banach space and let $T:E^{*}\rightarrow\ell^{2}$
be a linear continuous operator. Is it true that $T$ must be the
$so$-limit (i.e., limit w.r.t. the strong operator topology) ...
- 4,060
5
votes
1
answer
164
views
Quotients of $c_0$ that are complemented in $c_0$
Suppose $X$ is a closed subspace of $c_0$ with an unconditional basis and suppose also that it is a quotient of $c_0$. Is $X$ also a complemented subspace of $c_0$?
An affirmative answer implies that $...
- 1,073
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}$ ...
5
votes
1
answer
951
views
Comparison of two versions of fractional Sobolev spaces: do we have $W^{s,p}(\mathbb{R}^{n})=H^{s,p}(\mathbb{R}^{n})$?
There are two versions of fractional Sobolev spaces.
Definition 1: (Via Gagliardo semi-norm) Let $1\leq p\leq +\infty$, $0<s<1$ and let $\Omega\subseteq \mathbb{R}^n$ be an open set. The ...
- 1,101
5
votes
1
answer
364
views
Isomorphic embedding of $l^n_{\infty}$ into $l_1^m$?
Given $n$, is there a $C(n)$-isomorphic embedding of $l^n_{\infty}$ into $l^m_1$ for sufficiently large $m$ and $C(n)<<\log(n)$?
For $n=2$ this can done with $m=2$. There are some results about $...
- 745
5
votes
1
answer
386
views
Contact points for John's ellipsoid
Suppose $K$ is a centrally symmetric convex body in $\mathbb{R}^n$ and $E$ is the John's ellipsoid, the ellipsoid of maximal volume inside $K$.
If $E$ and $K$ have exactly $2n$ contact points, say $(\...
- 1,361
5
votes
1
answer
724
views
Embedding of a Banach space into a Hilbert space
Let $\mathbb H$ be a Hilbert space and let $\mathbb B$ be a Banach space continuously embedded in $\mathbb H$ and distinct from $\mathbb H$. Is it true in general that $\mathbb B$ is an $F_\sigma$ of ...
- 16.2k
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 ...
- 289
5
votes
1
answer
1k
views
Space of compact operators defined on separable Hilbert space
Let $X$ be a separable Banach space and consider $\mathcal{K}(X)$ the space of compact operators $K\colon X \rightarrow X$. Is it true that the space $\mathcal{K}(X)$ is separable? If yes, why? If no, ...
- 51
5
votes
2
answers
1k
views
Are bounded sets always weakly metrizable in reflexive separable spaces?
It is known that if a Banach space is reflexive and separable, its unit ball is weakly metrizable.
My question is about the generalization of this property :
1) Is it true that for all reflexive ...
- 549
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)$.
...
- 11.3k
5
votes
1
answer
220
views
How big is the class of all closed range bounded linear operator?
Let $X$ and $Y$ be Banach spaces and let $CR(X,Y)$ denote the set $B(X,Y)$ of all bounded linear maps from $X$ to $Y$ with $T(X)$ closed in $Y$. Certainly $CR(X,Y)$ is not open in $B(X,Y)$ as given ...
- 585
5
votes
1
answer
177
views
An extremal property of points on the unit sphere of a 2-dimensional Banach space
Let $(X,\|\cdot\|)$ be a 2-dimensional real Banach space and $S=\{x\in X:\|x\|=1\}$ be its unit sphere. Assume that $S$ is smooth in the sense that for any $y\in S$ there exists a unique functional $y^...
- 41.8k
5
votes
2
answers
353
views
Contractively complemented subspaces of $c_0(I)$
Does every contractively complemented subspace of $c_0(I)$ is isometric to $c_0(J)$ for some $J\subseteq I$?
May be someone has a counterexample?
- 1,697
5
votes
1
answer
396
views
What Approximation Property does the space of Schatten-p class operators have?
Background
This is a follow-up question to:
What (classes of) Banach spaces are known to have Schauder basis?
In the previous question, I asked about what spaces are known to have Schauder basis. It ...
- 365
5
votes
2
answers
765
views
Can we distinguish the algebraic and continuous duals of a Banach space without choice (or HBT)?
The algebraic dual of a normed vector space is the space of all linear functionals to the ground field (either $\mathbb{R}$ or $\mathbb{C}$ for this question). The continuous dual is the subspace of ...
- 26.8k
5
votes
1
answer
188
views
Large ideally convex sets
Let $E$ be a Banach space. A set $C \subseteq E$ is called ideally convex if for every bounded sequence $(x_n)$ in $C$ and for every sequence $(\lambda_n)$ in $[0,1]$ that sums up to $1$ the vector $\...
- 12.6k
5
votes
1
answer
465
views
Quasinilpotent , non-compact operators
If $X$ is a separable Banach space and $(\epsilon_n)\downarrow 0$, can we find a quasinilpotent, non-compact operator on $X$ such that $||T^n||^{1/n}<\epsilon_n$ for all $n$? I suspect the answer ...
- 1,361
5
votes
2
answers
263
views
How can we show that $E\:\hat\otimes_\pi\:E$ is isomorphic to a subspace of $\left(E'\:\hat\otimes_\pi\:E'\right)'$?
Let
$E$ be a $\mathbb R$-Banach space
$E\:\hat\otimes_\pi\:E$ denote the projective tensor product
How can we show that $E\:\hat\otimes_\pi\:E$ is isomorphic to a subspace of $\left(E'\:\hat\...
- 167
5
votes
1
answer
456
views
The Bochner integral about a semigroup of bounded linear operators on a Banach space
Let $T(t)$ be a semigroup of bounded linear operators on a Banach space $X$. When does the following hold
$$
\int_0^t T(s)x ds = \Big(\int_0^t T(s) ds\Big)x, \quad x \in X \, ,
$$
where $ t \in (0,1)$?...
- 51
5
votes
2
answers
216
views
On the coincidence (or non-coincidence) of two norms defined on the quotient of a given Hilbert $ C^{\ast} $-module by a certain linear subspace
Let $ A $ be a $ C^{\ast} $-algebra, $ I $ a closed two-sided ideal of $ A $, and $ \mathcal{E} $ a Hilbert $ A $-module. Let
$$
\mathcal{E}_{I}
\stackrel{\text{df}}{=}
\{ x \in \mathcal{E} \mid \...
- 1,396
5
votes
1
answer
494
views
Is X+X finitely representable in X?
I wonder if the following assertion in true:
Conjecture. Let $X,Y,Z$ be infinite-dimensional Banach spaces such that both $Y$ and $Z$ are crudely finitely representable (c.f.r. for short) in $X$. ...
- 51
5
votes
2
answers
516
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 ...
- 1,361
5
votes
1
answer
586
views
Infinite dimensional subspaces of $L^1$
Suppose that $X$ is an infinite dimensional subspace of $L^{1}$. In some cases it is true that $X$ contains an isomorphic copy of an infinite dimensional Hilbert space. However, it is not the case ...
- 5,005
5
votes
1
answer
508
views
Projections which are not completely bounded
There are 'canonical' examples of maps on operator spaces which are not completely bounded. Nevertheless, I couldn't produce any examples of bounded projections on relatively easy to understand ...
- 181
5
votes
1
answer
3k
views
Weak convergence implying norm convergence
A surprising (to me) consequence of Hahn-Banach is that when a sequence converges weakly then there is another sequence made of (finite) convex combination which converges in norm (to the same element)...
- 4,432
5
votes
1
answer
216
views
Bounds on dimension of a subspace
Let $I=(0,1)$ and let $C>1$ be a constant. Let $L^2(I)$ and $H^1(I)$ be the standard Sobolev spaces on $I$. Suppose that $U$ is a subspace of $H^1(I)$ with the additional property that:
$$ \| u\|_{...
- 4,135
5
votes
1
answer
205
views
Existence of a Gelfand triple involving the Arens–Eells space (aka Lipschitz free space)
$\DeclareMathOperator\Lip{Lip}\DeclareMathOperator\AE{AE}$Background
Gelfand triples. Let $\mathcal B$ be a Banach space, $\mathcal B^*$ its dual space, and $\mathcal H$ a Hilbert space. The triple $(\...
- 437
5
votes
2
answers
177
views
Subprojective Orlicz sequence spaces
A Banach space $X$ is subprojective if every infinite dimensional closed subspace $Y$ of $X$ contains an infinite dimensional subspace $Z$ which is complemented in $X$.
I am interested in conditions ...
- 4,461
5
votes
1
answer
699
views
Can $L^1_{loc}$ be represented as colimit?
Let $L^1_{loc}$ denote the set of all functions from $\mathbb{R}$ to itself which are locally integrable. For every infinite compact subset $K\subseteq \mathbb{R}$, let $L^1_{m_K}$ denote the space ...
- 5,405
5
votes
1
answer
189
views
Subsequences of an orthonormal basis generating a strongly embedded subspace in $L_2(0,1)$
A closed subspace $M$ of $L_2(0,1)$ is said to be strongly embedded if the norms $\|\cdot\|_2$ and $\|\cdot\|_1$ are equivalent on $M$.
Let $(f_n)_{n\in \mathbb N}$ be a orthonormal basis of $L_2(...
- 4,461
5
votes
1
answer
265
views
Complemented subspaces of Lorentz sequence spaces?
Let $d(\textbf{w},p)$, $1\leq p<\infty$, denote the Lorentz sequence space, where $\textbf{w}=(w_n)_{n=1}^\infty\in c_0\setminus\ell_1$ is a normalized decreasing weight.
Is there very much known ...
- 1,591
5
votes
1
answer
344
views
Location of a Banach Space inside its bidual
Let $X$ be a Banach Space and let $Y$ be a closed subspace of $X^{**}$ such that $X\bigcap Y=0$. Let $P$ be the quotient map from $X^{**}$ onto $X^{**}/ Y$. I need to prove or refute that $P\left|_{X}\...
- 5,529
5
votes
1
answer
378
views
Is $H^\infty$ a second dual space?
Let $H^\infty$ denote the Banach space of all bounded analytic functions on the open disc $\mathbb{D}$. It is easy to see that $H^\infty$ is a dual space. However, is there a Banach sapce $Y$ such ...
- 53
5
votes
2
answers
606
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}$...
- 9,486
5
votes
1
answer
696
views
Is any order bounded continuous linear functionals a difference of positive continuous functionals?
Let $B$ be a Banach space and $K$ a closed proper cone in $B$ such that the induced partial order makes $B$ a vector lattice. Let $K'=\{x^*\in B':\langle x^*, x\rangle\geq 0\ \forall x\in K\}$ the ...
- 111
5
votes
1
answer
206
views
Compactness in trace class operators space
Let $H$ be a separable Hilbert space. Let $L_1$ denote the space of trace class operators on $H$ with the trace-class norm $\|\cdot\|_1$, i.e. $\|K\|_1=Tr|K|$ for all $K\in L_1$.
Are there easy ...
- 59
5
votes
1
answer
188
views
On a property for normed spaces
I asked this question on Math Stackexchange, but I didn't get an answer:
https://math.stackexchange.com/questions/4881155/on-a-property-for-normed-spaces?noredirect=1#comment10410489_4881155
I came ...
- 1,361
5
votes
1
answer
221
views
Arens regularity of $\mathrm{BV}(\mathbb{R})$
$\DeclareMathOperator\BV{BV}$A Banach algebra $A$ is called Arens regular if the two canonical multiplications on the double dual $A^{**}$ coincide. Let $\BV(\mathbb{R})$ denote the Banach algebra of ...
- 6,406
5
votes
1
answer
247
views
How complex is the orbit equivalence relation of $\mathrm{Iso}_0(X)\curvearrowright S_X$ for $X=L^p([0,1])$?
For a Banach space $X$ let $S_X$ denote its unit sphere and let $\mathrm{Iso}_0(X)$ denote the group of rotations of $X$, that is isometries fixing the origin. There is a natural continuous action $\...
- 3,011
5
votes
2
answers
247
views
Is there a topology that makes every basic sequence null?
Let $E$ be a Banach space. Let $F$ be the collection of all $f\in E^*$ such that $\left<f,e_n\right>\to 0$, for every normalized basic sequence $\{e_n\}$. It is easy to see that $F$ is a closed ...
- 5,529
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 ...
- 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$.
...
- 41.8k
5
votes
2
answers
852
views
Covering compactness in the weak sequential topology
Let $X$ be a real Banach space. Apart from the norm topology, we can consider the following weak topologies on $X$:
the weak toplogy, defined as the initial topology with respect to $X^*$. In other ...
- 171
5
votes
1
answer
669
views
Compact operators on $\ell^1$
Let $T$ be a compact symmetric operator on $\ell^2$ and $T\vert_{\ell^1}$ be bounded on $\ell^1$. Are there any non-trivial conditions that $T\vert_{\ell^1}$ is compact as well (for example would $T$ ...
- 329
5
votes
3
answers
1k
views
Sequential closure of a set: standard terminology, notation, and properties
Let $X$ be a topological vector space (or, perhaps, more generally uniform space). Let $A\subset X$ be a subset. Let $A^s$ denote the set of limits of all convergent sequences (I guess $A^s$ is called ...
- 21.8k