All Questions
369 questions with no upvoted or accepted answers
4
votes
0
answers
146
views
Infinite dimensional homology theory for submanifolds of Hilbert and Banach spaces
Is there a version of homology theory for spaces for which explicitly infinite dimensional "cells" are allowed?
The spaces in question include e.g.
\begin{equation}
X = (x: x \in l_2: p_i(x) ...
4
votes
0
answers
73
views
The embedding of a Banach lattice in an ultrapower
Given a Banach space $X$ and a non-trivial ultrafilter $\mathcal{U}$ on a set $I$, the ultrapower $X_\mathcal{U}$ is defined as the quotient of $\ell_\infty(I,X)$ by the closed subspace $N_\mathcal{U}(...
4
votes
0
answers
212
views
"Cyclic vector" of sequence of operators
I recently encountered the following somewhat random-looking problem in my research. At first I thought that should not be too hard, but now, the more I think about it, the more interesting it seems.
...
4
votes
0
answers
132
views
$L_1$-subspace of the predual of a von Neumann algebra
If $M$ is a type $II$ von Neumann algebra, then the predual has a complemented subspace isometric to $L_1(0,1)$. It follows from the existence of expectation. However, I don't know whether such a ...
4
votes
0
answers
184
views
Weak* HI Banach spaces
The following question is inspired by Bill's nice unpublished result that the dual of a non separable Banach space is decomposable. (See the previous posts Decomposable Banach Spaces, Hereditarily ...
4
votes
0
answers
145
views
Hamel basis with all coordinate functionals discontinuous
If $X$ is an infinite dimensional (separable) Banach space, can one find a Hamel basis $(x_\alpha)_{\alpha\in\Lambda}$ such that all coordinate functionals $x_\alpha^*(x_\beta)=\delta_{\alpha,\beta}$ ...
4
votes
0
answers
179
views
Condition on kernel convolution operator
I am studying O'Neil's convolution inequality. Let $\Phi_1$ and $\Phi_2$ be $N$-functions, with
$$
\Phi_i(2t)\approx \Phi_i(t), \quad i=1,2
$$ with $t\gg 1$ and let $k \in M_+(\mathbf R^n)$ is the ...
4
votes
0
answers
146
views
When does an operator from $\ell_1$ to itself factor through $\ell_p$?
I would like to know whether a given operator from $\ell_1$ to itself, given by a matrix $A$, factors through $\ell_p$, for $p>1$.Does anyone know any references/results on this topic? I am ...
4
votes
0
answers
75
views
What are the complemented subspaces of $(\bigoplus\ell_q^n)_p$?
Bourgain/Casazza/Lindenstrauss/Tzafriri proved in their unconditional basis UTAP book (1985) that $\ell_1$ is the only nontrivial complemented subspace of $(\bigoplus\ell_2^n)_1$, and hence by duality ...
4
votes
0
answers
2k
views
Eigenvalues and spectrum of the adjoint
In a finite-dimensional Hilbert space, the eigenvalues of the adjoint $A^*$ of an operator $A$ are the complex conjugates of the eigenvalues of $A$.
But in infinite dimensions this need no longer be ...
4
votes
0
answers
117
views
Korovkin subset of $C(\mathbb{T})$
Let $K$ be a compact Hausdorff space and $A$ be a subset of $C(K)$. $A$ is said to be a Korovkin set if for every sequence $(T_n)$ of positive linear operators on $C(K)$, the condition $\|T_n(f)- f\|_\...
4
votes
0
answers
147
views
A characterization of nuclear functionals in terms of continuity with respect to some special topologies on $B(X)$?
I think, nuclear functionals on the space of operators $B(X)$ (on a Banach space $X$) must have a characterization in terms of some special continuity. I would be grateful if somebody could help me ...
4
votes
0
answers
84
views
Almost Dunford-Pettis operators
Recall that an operator $T$ from a Banach space $E$ to a Banach space $F$ is called completely continuous (also called Dunford-Pettis) if $\|Tx_{n}\|\rightarrow 0$ for every weakly null sequence $(x_{...
4
votes
0
answers
115
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 ...
4
votes
0
answers
166
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(\...
4
votes
0
answers
211
views
Inclusion of Hardy spaces
It is well-known that any convergence in $L^p$ for $p \in [1,\infty]$ implies convergence in $L^1_{\text{loc}}$ by Hölder's inequality.
It is also known that for $p>1$ it holds that $L^p(\mathbb R)...
4
votes
0
answers
144
views
Embedding of $\ell_2$ in $L^p([0,1])$
Let $(g_n)_{n\geq 1}$ be a sequence of i.i.d. complex Gaussian random variables on $[0,1].$ Then it is easy to see that the map $j:\ell_2\to L^p([0,1])$ defined as $je_n=[E(g_n^p)]^{\frac{1}{p}}g_n,n\...
4
votes
0
answers
92
views
Simultaneous representations of elements of projective tensor products
Let $E,F$ be Banach spaces and consider the projective tensor product $E \widehat\otimes F$. If $\tau \in E \widehat\otimes F$ with $\|\tau\|<1$ then by definition we can find $(x_n)\subseteq E$ ...
4
votes
0
answers
110
views
Banach space admitting a unique subsymmetric basis but not a symmetric one
I have two quick questions:
It can be shown without too much trouble (using methods from Altshuler/Casazza/Lin, 1973) that any Lorentz sequence space admits a unique (up to equivalence) subsymmetric ...
4
votes
0
answers
609
views
Does every separable Banach space have a Markushevich–Auerbach basis?
Let $X$ be a separable Banach space and $X^*$ be its dual, let $\{x_i\}$ be a sequence in $X$ with dense linear span and such that there exists a sequence $\{x_i^*\}$ in $X^*$ satisfying $x_i^*(x_j)=\...
4
votes
0
answers
171
views
quasi-nilpotent part of a dual operator
Definitions and notation.
Let $X$ be a complex Banach space and $T\in\mathcal{L}(X)$ a continuous linear operator on $X$. We define the quasi-nilpotent part of $T$ as
\begin{equation*}H_0(T):=\left\{...
4
votes
0
answers
508
views
Good reference for noncommutative $L^p$ spaces
I'm looking for good references to learn about $L^p$ spaces associated with von Neumann algebras. I already know about Uffe Haagerup's paper "$L^p$-spaces associated with an arbitrary von Neumann ...
4
votes
0
answers
209
views
On the weakly sequential completeness of the dual of the James space $J$
Let me first introduce some definitions. Let $1\leq p\leq \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 ...
4
votes
0
answers
114
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 $...
4
votes
0
answers
534
views
$L_\infty(\mu)$ spaces non-isomorphic to a dual space
Given a measurable space $(\Omega,\mu)$ such that $L_\infty(\mu)$ is isomorphic to a dual space, $L_\infty(\mu)$ is an injective Banach space. Indeed, given a subspace $Y$ of $X$ and a norm-one ...
4
votes
0
answers
242
views
SubGROUPs of Banach spaces, when are they dense in a vector subspace?
It’s relatively easy to show that if $J$ is a closed subgroup of a finite-dimensional real Banach space, $B$, then it is a vector subspace iff for all bounded linear functionals $\sigma$ of $B$, $\...
4
votes
0
answers
693
views
On the projective tensor product of $c_{0}$ by $c_{0}$
Let $E$ be the projective tensor product of $c_{0}$ by $c_{0}$. Does it follow that $E$ is isomorphic to no subspace of $C(K)$, where $K$ is countable compact metric space?
When $C(K)$ is isomorphic ...
4
votes
0
answers
90
views
$x\in Ext(B_X)$ has the Kadec property, implies that the slices form a neighborhood base of the norm topology
This is question 3.87 from Fabian's Functional Analysis and Infinite-Dimensional Geometry. The result is credited to Lin and Troyanski. Where on the net can I read a proof of this lemma? Any help ...
3
votes
0
answers
158
views
Gowers' dichotomy for quotients
Gowers' dichotomy establishes that every infinite dimensional Banach space contains a closed infinite dimensional subspace that has an unconditional basis or it is hereditarily indecomposable.
A ...
3
votes
0
answers
165
views
$S^{n}(V)$ is "approximately" $V$ when $n$ goes to infinity (in the setting of normed space)
Let $B$ be a (separable) Banach space. $(v_{i})_{i}, i\in\mathbb{N}$ being a family of linear independent vectors. $V$ being the span of $v_{i}$. I try to prove that $V$ is dense in $B$. I define a ...
3
votes
0
answers
152
views
Weak*-separability of the unit ball of $X’$ and density characters and cardinalities of $X$ and $X’$
(This question has also been asked on Math StackExchange.)
Let $X$ be a Banach space, $X’$ be its continuous dual such that its unit ball is weak*-separable. I’ve been wondering what can be said about ...
3
votes
0
answers
60
views
Automatic complete boundedness for bilinear and multilinear maps
$\newcommand{\cb}{\mathrm{cb}}$Let $T : X \rightarrow Y$ be a bounded linear map between Banach spaces. We have the following results concerning automatic complete boundedness:
$\|T : X \rightarrow \...
3
votes
0
answers
295
views
Dunford-Pettis like properties for Banach spaces of operators
Let $E$ be a Banach space and $A\subseteq B(E)$ be a Banach subspace of operators on $E$.
Suppose $A$ satisfies the property (RCC) given below:
$$
\left.\begin{array}{l}
(x_n)\subseteq A \textrm{ ...
3
votes
0
answers
82
views
Making a space UMD via interpolation
Recall that a Banach space $B$ has Unconditional Martingale Difference (UMD-$p$) if there is a constant $C_p$ such that for every $B$-valued martingale difference sequences $(d_n)_n$ and choice of $\...
3
votes
0
answers
81
views
Example of the bounded convolution operator when Sharpley's conditions does not hold
I am reading about Orlicz and Marcinkevich spaces, and wondering whether there is an example in which Sharpley's condition is not satisfied for a special bounded operator $T_k$ (see for reference ...
3
votes
0
answers
257
views
Complex Hölder space
I already posted this question on math.stackexchange, but got no response and was suggested to post it here.
I came across a space in an ergodic theory paper, which I am calling here a (complex) ...
3
votes
0
answers
278
views
Radon-Nikodym derivative of vector-valued measure with respect to another vector-valued measure
Let $(X, | \cdot |)$ be a Banach space.
I am interested in whether one can extend the definition of the Kullback-Leibler divergence
$$
\text{KL}(\mu \ \Vert \ \nu)
:= \int_{\Omega} \ln\left(\frac{\...
3
votes
0
answers
92
views
Asymptotic uniform convexity conditions for subsets of the $B_X$
The following question is relatively straightforward and almost looks like an exercise from a textbook but I have no idea how to handle it. The problem is related to spaces with asymptotically ...
3
votes
0
answers
61
views
Dual space of Carleman functions
Let $X$ be the space of all weakly measurable functions $\gamma:\mathbb{R}^n \to L^2(\mathbb{R}^n)$ (modulo functions that are 0 almost everywhere) for which
$$\|\gamma\|_X^2 := \sup_{\|g\|_{L^2}=1} \...
3
votes
0
answers
108
views
$ f,g\in \mathrm{VMO} $ but $ f\cdot g\notin \mathrm{VMO} $
We say a function $ f\in L^1_{\mathrm{loc}}(\mathbb{R}) $ is in $\mathrm{BMO}(\mathbb{R})$ if
$$\|f\|_{\mathrm{BMO}}=\sup_{I}\frac{1}{|I|}\int\limits_I |f(y)-f_I|\, dy<\infty$$ for all intervals $I\...
3
votes
0
answers
282
views
Left ideals of $\ell^{\infty}(A)$ containing all weakly null sequences in a Banach algebra $A$
Let $A$ be a Banach algebra. $\ell^{\infty}(A)$, the space of all bounded sequences in $A$, is a Banach algebra with pointwise operations.
Let $w_0(A)$ be the subspace of all weakly null sequences in $...
3
votes
0
answers
274
views
Density of signed measures in dual space
Let $B$ be a Banach space of functions on a Radon space $X$. By the Hahn-Banach theorem, we know that the canonical evaluation map is isometric. That is, for every $f \in B$, we have
$$\|f\| = \sup_{\...
3
votes
0
answers
138
views
Property $(V_1)$ for Banach spaces
This aim of this note is to record a problem that still seems to be open.
Räbiger, in his doctoral thesis, defined property $(V_1)$ as follows: A Banach space $X$ has property $(V_1)$ if every ...
3
votes
0
answers
246
views
Regularity of the dependence of the flow on the vector field definining it
Let $M$ be a smooth compact manifold and $k \geqslant 1$.
Define $\mathfrak{X}^k(M,TM)$ to be the set of vector fields $M \rightarrow TM$ of class $C^k$. As $M$ is compact, endowing $\mathfrak{X}^k(M,...
3
votes
0
answers
145
views
Non uniqueness of center of the Banach-Mazur compactum
In "The Banach-Mazur distance to the cube and the Dvoretzky-Rogers factorization" Szarek and Bourgain prove a proportional Dvoretzky-Rogers factorization :
Given $1>\delta>0$ , there ...
3
votes
0
answers
133
views
Lower bound on the intersection of $\ell_1$ $n$-balls
Let $B_1$ and $B_2$ be two balls in $\mathbb{R}^n$ in $\ell_1$ norm, with distance $d$ and radius $R$.
Is there a lower bound on the volume of the intersection between the two n-balls? (assuming the ...
3
votes
0
answers
173
views
A Caratheodory-like result for infinite-dimensional simplices
Let $K$ be a compact metric space; $\Delta K$ be the set of Borel probability measures on $K$ endowed with the weak* topology; $X$ be a closed subset of $\Delta K$; and $x_0 \in \overline{\text{co}} X$...
3
votes
0
answers
103
views
"Hoelder conjugate" version of the Johnson-Lindenstrauss transform
A variation of the well-known Johnson-Lindenstrauss transform (JLT) asserts that for $x_1,\ldots,x_m\in\mathbb{R}^n$ there exists a linear transformation $A:\mathbb{R}^n\to\mathbb{R}^k$ with $k=\...
3
votes
0
answers
168
views
Dual Lorentz spaces
MO seems the perfect place to ask for the following question. Denote the Lorentz spaces on an arbitrary measure space $(E,\mu)$ by $L^{p,q}=L^{p,q}(E,\mu)$, and by $p'$ the conjugate index of $p$.
...
3
votes
0
answers
109
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 $...