Skip to main content

All Questions

369 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
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) ...
0x11111's user avatar
  • 593
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}(...
M.González's user avatar
  • 4,461
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. ...
Matthias Ludewig's user avatar
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 ...
user92646's user avatar
  • 617
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 ...
S Argyros's user avatar
  • 986
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}$ ...
Markus's user avatar
  • 1,361
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 ...
Forbs's user avatar
  • 101
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 ...
Gamabunto's user avatar
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 ...
Ben W's user avatar
  • 1,591
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 ...
Arnold Neumaier's user avatar
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\|_\...
Tanmoy Paul's user avatar
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 ...
Sergei Akbarov's user avatar
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_{...
Dongyang Chen's user avatar
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 ...
ABB's user avatar
  • 4,058
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(\...
M.González's user avatar
  • 4,461
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)...
Heins Siedentopf's user avatar
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\...
Mathbuff's user avatar
  • 455
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$ ...
Matthew Daws's user avatar
  • 18.7k
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 ...
Ben W's user avatar
  • 1,591
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)=\...
August Cleaner's user avatar
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\{...
Ben W's user avatar
  • 1,591
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 ...
Screwdriver's user avatar
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 ...
Dongyang Chen's user avatar
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 $...
Hannes Thiel's user avatar
  • 3,497
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 ...
M.González's user avatar
  • 4,461
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$, $\...
David Handelman's user avatar
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 ...
user49882's user avatar
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 ...
superAnnoyingUser's user avatar
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 ...
M.González's user avatar
  • 4,461
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 ...
Ken.Wong's user avatar
  • 523
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 ...
David Gao's user avatar
  • 2,830
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 \...
Seven9's user avatar
  • 565
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{ ...
Onur Oktay's user avatar
  • 2,605
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 $\...
Marco's user avatar
  • 408
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 ...
volond's user avatar
  • 97
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) ...
Mrcrg's user avatar
  • 136
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{\...
ViktorStein's user avatar
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 ...
Kevin Beanland's user avatar
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} \...
Janik's user avatar
  • 141
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\...
Luis Yanka Annalisc's user avatar
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 $...
Onur Oktay's user avatar
  • 2,605
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_{\...
sbnietert's user avatar
  • 103
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 ...
Onur Oktay's user avatar
  • 2,605
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,...
Thibaut Mazuir's user avatar
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 ...
Gericault's user avatar
  • 245
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 ...
GWB's user avatar
  • 301
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$...
e.lipnowski's user avatar
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=\...
user134977's user avatar
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$. ...
Piero D'Ancona's user avatar
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 $...
Taras Banakh's user avatar
  • 41.9k

1 2
3
4 5
8