Questions tagged [banach-spaces]

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

482 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
76 votes
0 answers
4k views

2, 3, and 4 (a possible fixed point result ?)

The question below is related to the classical Browder-Goehde-Kirk fixed point theorem. Let $K$ be the closed unit ball of $\ell^{2}$, and let $T:K\rightarrow K$ be a mapping such that $$\Vert Tx-Ty\...
Ady's user avatar
  • 4,030
32 votes
0 answers
906 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 ...
Mikhail Ostrovskii's user avatar
31 votes
0 answers
2k views

Do there exist infinite-dimensional Banach spaces in which every bounded linear operator attains its norm?

Let $X$ be a Banach space, $L(X)$ the space of all bounded linear operators on $X$. We say that $A ∈ L(X)$ attains its norm if there exists $x ∈ X$ such that $\|x\| = 1$ and $\|Ax\| = \|A\|$. The ...
Mikhail Ostrovskii's user avatar
17 votes
0 answers
474 views

Large almost equilateral sets in finite-dimensional Banach spaces

Question: Does there exist a function $C:~(0,1)\to (0,\infty)$ such that for each $\varepsilon\in(0,1)$ every Banach space $X$ of dimension $\ge C(\varepsilon)\log n$ contains an $n$-point set $\{x_i\...
Mikhail Ostrovskii's user avatar
17 votes
0 answers
1k views

Finite Rank Commutators

My former student Detelin Dosev and I are interested in classifying the commutators in $L(X)$, the bounded linear operators on the Banach space $X$ (see our joint paper on my home page or the ArXiv ...
Bill Johnson's user avatar
16 votes
0 answers
533 views

$C^*$-algebra generated by those operators that are bounded on every $\ell_p$

Suppose $T: c_{00} \to c_{00}$ is a linear map such that, when regarded as an infinite matrix, there is a uniform bound on the $\ell_1$-norms of its columns, and a uniform bound on the $\ell_1$-norms ...
Yemon Choi's user avatar
  • 25.5k
16 votes
0 answers
2k views

An open problem in convex geometry

Is it possible to find four norms $\| \cdot\|_k$ $( 1 \leq k \leq 4)$ on the plane such that a three-dimensional normed space containing four subspaces isometric to these normed planes does not exist? ...
alvarezpaiva's user avatar
  • 13.2k
16 votes
0 answers
751 views

Lipschitz Homeomorphisms Between Spheres of N-dimensional Spaces

Let $B_p^N$ be the unit ball of $\mathbb{R}^N$ under the $\ell_p^N$ norm. Question: Let $C_N$ be the infimum of all $C$ for which there is a homeomorphism $f_N$ from $B_\infty^N$ onto $B_2^N$ so ...
Bill Johnson's user avatar
16 votes
0 answers
642 views

Dual of the Ultraproduct of a Banach Space

Suppose we have a Banach space ultraproduct $(E_i)_U$. I can think of three natural objects which are "dual-like": $(E_i^*)_U$, the ultraproduct of the duals of the ground spaces. The space made up ...
Henry Towsner's user avatar
15 votes
0 answers
256 views

Spaces locally modelled on $L^2(\mathbb R)$

In this recent question, I learned that any two separable Banach spaces are homeomorphic. Based on some readings, I'm guessing that $L^2(\mathbb R)$ is homeomorphic to $\prod_{n=1}^{\infty} (0,1)$ (...
André Henriques's user avatar
14 votes
0 answers
201 views

Have there been further developments on this scheme for polytope approximations to the unit ball of $\ell_p^n$?

A long time ago I happened to look at, and save (on a floppy disk!) for future reading, a copy of the following article: W. T. Gowers, Polytope approximations of the unit ball of $l^n_p$. In Convex ...
Yemon Choi's user avatar
  • 25.5k
13 votes
0 answers
376 views

Converse to Riesz-Thorin Theorem

Let $T$ be an operator on simple functions on (say) $\mathbb{R}$. The Riesz-Thorin interpolation theorem, in one form, says that the Riesz type diagram of $T$ is a convex subset of $[0,1]\times[0,1]$....
Yonah Borns-Weil's user avatar
13 votes
0 answers
298 views

Banach spaces with $d(X,Y) = 1$

We recall that the Banach-Mazur distance between two isomorphic Banach spaces is given by $d(X,Y) = \inf \{ \|T\| \|T^{-1}\| : T$ is an isomorphism from $X$ to $Y\}$. It is a classical result that we ...
James Kilbane's user avatar
13 votes
0 answers
322 views

Kolmogorov width for cartesian products

For an operator $T:X\to Y$ between Banach spaces with unit balls $B_X$ and $B_Y$ the sequence of Kolmogorov widths is $$ \delta_n(T)=\inf\lbrace \delta>0: T(B_X)\subseteq \delta B_Y +L \text{ for ...
Jochen Wengenroth's user avatar
13 votes
0 answers
701 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 ...
Aleksei Lissitsin's user avatar
12 votes
0 answers
192 views

UMD constant of finite dimensional spaces

For a Banach space $B$, its one-sided Unconditional Martingale Difference (UMD) constant $C^-_p$ (for $p \in (1,\infty)$) is the smallest value such that for all $B$-valued martingale difference ...
Marco's user avatar
  • 408
12 votes
0 answers
313 views

For a Banach space $X$, when is $X$ homeomorphic to $X \setminus A$?

$\mathbb{R}^n\not\cong\mathbb{R}^n\setminus\{0\}$ are not homeomorphic is a triviality from Algebraic Topology. On the other hand, if $X$ is an infinite dimensional Banach space, then $X \cong X\...
T. Amdeberhan's user avatar
12 votes
0 answers
428 views

Uniform closure of subspaces of Baire class 1

Describe a uniformly closed linear subspace $A \subset C([0,1])$ such that the space $B_1(A)$ is not uniformly complete. Here $B_1(A)$ is the set of all bounded functions $f$ which are pointwise ...
Fred Dashiell's user avatar
11 votes
0 answers
243 views

Continuous representations of topological groups on Banach spaces

Let $G$ be a topological group and let $\rho:G\rightarrow\text{GL}(V)$ be a linear representation of $G$ on a Banach space $V$. The representation is called strongly continuous if the map $g\mapsto\...
Botwinnik's user avatar
11 votes
0 answers
249 views

Quantifier swap in Banach space theory

The uniform boundedness principle and its corollaries from a logical point of view are statements of when one can swap quantifiers in Banach spaces. Take for instance the principle of condensation of ...
Jason Zhao's user avatar
11 votes
0 answers
592 views

Outline of Generic Separable Banach Spaces don't have a Schauder Basis

So, I know P. Enflo showed that there is a separable Banach Space that doesn't satisfy the approximation property. My professor mentioned during class that in fact generic separable Banach Spaces don'...
Konrad Wrobel's user avatar
11 votes
0 answers
586 views

Subspaces and quotients in Banach space theory

In Banach space theory (closed) subspaces and quotient seem to play a symmetric role. However, since the behavior of subspaces is more intuitive, subspaces appear more frequently. E.g., the theory of ...
M.González's user avatar
  • 4,301
10 votes
0 answers
213 views

Extremal bases in finite-dimensional Banach spaces

Definition. A basis $e_1,\dots,e_n$ for a Banach space $X$ is called extremal if there exists a point $s$ in the unit sphere $S_X=\{x\in X:\|x\|=1\}$ such that for every $i\in\{1,\dots,n\}$ the ...
Lviv Scottish Book's user avatar
10 votes
0 answers
337 views

Von Neumann Inequality in Banach spaces

It is known that the only Banach space that satisfies the von-Neumann inequality is the Hilbert space: Theorem (see e.g. Pisier, "Similarity Problems and Completely Bounded Maps", p 27) For a Banach ...
erz's user avatar
  • 5,385
10 votes
0 answers
226 views

Norm-attaining operators with values in a 2-dimensional Hilbert space

Is the set $N\!A(X,\ell_2^2)$ of norm-attaining operators from a Banach space $X$ onto the $2$-dimensional Hilbert space $\ell^2_2$ dense in the Banach space $L(X,\ell_2^2)$ of all linear continuous ...
Lviv Scottish Book's user avatar
10 votes
0 answers
257 views

Are biduals of spaces of differentiable functions on hypercubes Grothendieck?

Consider the space $E_n = C^1([0,1]^n)$ of continuously differentiable functions with the usual norm $$\max\{ \|f\|_\infty, \|f^\prime_{x_1}\|_\infty, \ldots, \|f^\prime_{x_n}\|_\infty\}.$$ making it ...
Tomasz Kania's user avatar
  • 11.3k
10 votes
0 answers
248 views

Do sufficiently large Banach spaces admit non-compact operators with not too large range?

As in the title, does there exist a cardinal number $\lambda$ such that for every Banach space $X$ of density/cardinality at least $\lambda$ there exists a non-compact bounded, linear operator $T\...
Tomasz Kania's user avatar
  • 11.3k
10 votes
0 answers
196 views

Projective tensor squares of uniform algebras

In discussion with a colleague recently (Jan 2017), $\newcommand{\AD}{A({\bf D})}\newcommand{\CT}{C({\bf T})}$ I was reminded that if $A(D)$ denotes the disc algebra and $\iota: \AD\to \CT$ is the ...
Yemon Choi's user avatar
  • 25.5k
10 votes
0 answers
320 views

Can we find arbitrarily many elements of SU(2) generating a good copy of MAX($\ell_1^n$) inside VN(SU(2))?

In trying to prove that the answer to the title is "no", I was led to the following problem (which I think is equivalent to the question asked in the title, but can be stated independently). If ...
Yemon Choi's user avatar
  • 25.5k
10 votes
0 answers
603 views

Asymptotic non-distortion of the separable Hilbert space

By the work of E. Odell and Th. Schlumprecht, we know that the separable Hilbert space $\ell_2$ is arbitrarily distortable. But I don't know if an "asymptotic" version of their result is true. To ...
Pandelis Dodos's user avatar
9 votes
0 answers
880 views

Weak compactness in $\mathcal{F}(X)$

Let $(X,0)$ be a pointed metric space and let $\mathcal{F}(X)$ be the natural predual of ${\rm Lip}_0(X)$, the space of Lipschitz functions on $X$ that map $0$ to $0$; here $\mathcal{F}(X)$ is really ...
Tomasz Kania's user avatar
  • 11.3k
9 votes
0 answers
501 views

Why is spectral theory developed for $\mathbb C$

Spectral theory is a fundamental part of operator theory and the spectrum of many operators is investigated throughout the existing literature. And that is for a good reason: If $A$ is some closed ...
Yaddle's user avatar
  • 371
9 votes
0 answers
241 views

SVD-type decomposition for the tensor product of three Hilbert spaces?

(The questions How does the Schmidt decomposition generalize to tensor products of several finite-dimensional systems? and Is there a useful generalization of the Schmidt decomposition to the ...
Yemon Choi's user avatar
  • 25.5k
9 votes
0 answers
362 views

Is there Ultracoproduct-like construction for topological spaces in general?

In http://arxiv.org/pdf/math/9704205.pdf they define the ultracoproduct of a sequence of compact Hausdorff spaces, $\sum_\mathcal{U}X_i$ along an ultrafilter $\mathcal{U}$ as the Wallman-Frink ...
greg's user avatar
  • 191
9 votes
0 answers
867 views

Continuous projections in $\ell_1$ with norm $>1$

I was trying to find papers and articles about non-contractive continuous projections in $\ell_1(S)$ where $S$ is an arbitrary set. If it is not studied yet, I would like to know results for the case $...
Norbert's user avatar
  • 1,687
8 votes
0 answers
229 views

A question related to the separable quotient problem

I have the following question related to the previous posts Hereditarily indecomposable Banach spaces and Separable Quotient problem and Weak star separable and separable quotient problem Question....
S Argyros's user avatar
  • 771
8 votes
0 answers
183 views

History of the Lewis-Stegall theorem on factorization of representable operators

The following questions are about the history of a particular result in functional analysis, hence not "mathematical questions" per se; but I think they are relevant to the business of ...
Yemon Choi's user avatar
  • 25.5k
8 votes
0 answers
169 views

Distribution domination for sums of independent random variables in Banach spaces

Let $X$ be a Banach space and let $(\xi_n)$ and $(\eta_n)$ be independent mean-zero random variables with values in $X$ satisfying $$ \sum_n \mathbb P(\xi_n \in A) \leq \sum_n \mathbb P(\eta_n \in A), ...
Iv Yar's user avatar
  • 131
8 votes
0 answers
303 views

Complementability of finite dimensional subspaces

Suppose $X$ is a separable infinite dimensional Banach space, $E$ a finite dimensional subspace which is $c$-complemented in $X$. Is the following true? For any $\varepsilon>0$, one can find $x\...
Markus's user avatar
  • 1,361
8 votes
0 answers
157 views

Complemented subspaces of $C(\beta\mathbb N\times \beta\mathbb N)$

Problem. Is there any complemented subspace in the Banach space $C(\beta\mathbb N\times\beta\mathbb N)$, not isomorphic to $c_0$, $c_0\oplus C(\beta\mathbb N)$, $C(\beta\mathbb N)$, $c_0(C(\beta\...
Lviv Scottish Book's user avatar
8 votes
0 answers
162 views

A basis of the Banach space $L^p(\mathbb T^\omega)$ consisting of characters

Problem: For $1<p<\infty$, $p\ne 2$, has the complex Banach space $L^p(\mathbb T^\omega)$ got a Schauder basis consisting of characters of the compact topological group $\mathbb T^\omega$? (...
Lviv Scottish Book's user avatar
8 votes
0 answers
1k views

Maximum volume cross-section of a hypercube

This is surely well known, but: Q1. What is the $(d{-}1)$-dimensional polytope that realizes the maximum volume cross-section of a unit hypercube by a $(d{-}1)$-dimensional hyperplane? ...
Joseph O'Rourke's user avatar
8 votes
0 answers
380 views

What is the name for a Banach space property closed under ultraproducts?

In Banach space theory, a super-property is a property of a Banach space that is preserved under ultrapowers. (Update (2015-09-28): The property must also be closed under isometric embeddings.) (...
Jason Rute's user avatar
  • 6,237
8 votes
0 answers
391 views

Approximate singular value decomposition in Banach spaces

I am interested in generalisations to Banach spaces of the following construction, which relates to the singular value decomposition of a finite-dimensional linear map. If $V$, $W$ are finite-...
Ian Morris's user avatar
  • 6,176
8 votes
0 answers
988 views

On the classification of injective Banach spaces

A Banach space $E$ is injective when it is complemented in each Banach space $X$ that contains it as a closed subspace. The space $E$ is $1$-injective if the copy of $E$ in $X$ is the range of a norm-...
M.González's user avatar
  • 4,301
8 votes
0 answers
355 views

Ultrapowers of Banach spaces without the continuum hypothesis

Let $\mathcal{U}$ be a non-trivial ultrafilter on the set of integers $\mathbb{N}$, and let $C(K)$ denote the Banach space of continuous functions on a compact $K$. Under the continuum hypothesis CH, ...
M.González's user avatar
  • 4,301
8 votes
0 answers
421 views

Preduals of $\ell_1$

The space $\ell_1$ has loads of (isomorphic) predulas. They can be as weird as possible but I am interested in Banach lattices. Question: Let $X$ be a Banach lattice with dual isomorphic to $\ell_1$. ...
Jan Vardøen's user avatar
8 votes
0 answers
984 views

Strictly singular operators and their adjoints

This is a question I thought about a while back and figured I'd throw it out there to see if anyone has some insight that I am missing. Let $X$ and $Y$ be infinite dimensional separable Banach ...
Kevin Beanland's user avatar
8 votes
1 answer
192 views

Subspaces of $L_p([0,1])$ whose unit ball is compact for the topology of convergence in measure

Any information about the following questions would be welcome. I wonder whether there are (well-known or easy) closed and infinite dimensional subspaces of $L_p([0,1])$ ($1<p<\infty$) whose ...
user159631's user avatar
7 votes
0 answers
129 views

A geometric intuition about convexifiability

I've come up with the following conjecture about convexifiability being determined by "important" sets in Banach spaces. To me, the conjecture looks quite innocuous and intuitive, but I'm ...
user469053's user avatar

1
2 3 4 5
10