# Tagged Questions

**1**

vote

**2**answers

133 views

### relation between of uniformly rotund in every direction and uniformly rotund and locally uniformly rotund

The norm of a Banach space $X$ is said to be uniformly rotund in every direction if $$\lim_{n→∞}\|x_n−y_n\|=0$$ whenever $$x_n,y_n∈SX$$ are such that $$\lim_{n→∞}\|x_n+y_n\|=2$$ and there is a $z∈X$ ...

**2**

votes

**1**answer

213 views

### Differentiability: Partially Defined Functions

These ideas came to my mind while reading Lee's Introduction to Smooth Manifolds.
(Cf. discussion on p. 45.)
Definition
Let $E$ and $F$ be two Banach spaces together with a plain subset ...

**2**

votes

**1**answer

167 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 ...

**5**

votes

**3**answers

181 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 ...

**6**

votes

**2**answers

108 views

### How does one prove that $L_1(\mu)$ is weakly sequentially complete for any measure?

It is a theorem of Steinhaus that for any finite measure $\mu$, the Banach space $L_1(\mu)$ is weakly sequentially complete. Using the Radon-Nikodym theorem one can extend this easily to ...

**4**

votes

**0**answers

422 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 ...

**1**

vote

**1**answer

108 views

### Interpolation and embeddings for parabolic function spaces

I have a somewhat easy looking question on parabolic function spaces:
Let $B$ be a ball in $\mathbb R^n$ and let $T>0$. Denote $Q:=B \times [0,T]$. Assume $f \in L^2(Q) \cap L^\infty(0,T; L^q(B))$ ...

**8**

votes

**0**answers

246 views

### Closure of $L(\ell^2,\ell^2)$ in $L(\ell^2,\ell^\infty)$

Let $\ell^2$, $\ell^\infty$ denote the usual sequence spaces and let $L(\ell^2,\ell^2)$ the Banach space of bounded linear operators from $\ell^2$ to $\ell^2$ as well as $L(\ell^2,\ell^\infty)$ the ...

**1**

vote

**0**answers

71 views

### Example of a Banach lattice satisfying some conditions

Let a Banach lattice $E$ satisfying in the following conditions:
The lattice operations of the dual $E'$ are weak* sequentially continuous.
$E$ is not $σ$-Dedekind complete.
Is there such Banach ...

**3**

votes

**1**answer

220 views

### Characterization of $l_p$ up to a linear isometry

There is a science called "Geometry of Banach spaces". I wonder if they managed to give a geometric characterization of $\ell_p$ ($p\in[1,\infty]$) up to isometric isomorphism (among all Banach ...

**6**

votes

**2**answers

315 views

### $\|T\|_2 \le \sqrt{\|T\|_1\|T\|_\infty}$

Let $T$ be a linear operator acting on a finite-dimensional real or complex
vector space. As a direct consequence (or rather a particular case) of the
Riesz-Thorin theorem, we have
$$ \|T\|_2 \le ...

**30**

votes

**3**answers

2k views

### Absolute value inequality for complex numbers

I asked this question on stackexchange, but despite much effort on my part have been unsuccesful in finding a solution.
Does the inequality
$$2(|a|+|b|+|c|) \leq |a+b+c|+|a+b-c|+|a+c-b|+|b+c-a|$$
...

**1**

vote

**1**answer

100 views

### Operators from $\ell_\infty$

It is well-known that non-weakly compact operators from $\ell_\infty$ into any Banach space act as isomorphisms on some subspace of $\ell_\infty$ isomorphic to $\ell_\infty$. I have a question in this ...

**10**

votes

**1**answer

327 views

### Operator norms of circulant matrices

The definition and basic properties of circulant matrices can be found here: http://en.wikipedia.org/wiki/Circulant_matrix.
For complex numbers $a_1,\ldots,a_n$, I will use the notation
$$
...

**0**

votes

**0**answers

146 views

### Can I define Fredholm Index using $\dim \ker ST - \dim \ker TS$?

$X$, $Y$ are Banach spaces.
Let $S \in L(X, Y)$, $T \in L(Y, X)$, where $L(X, Y)$ denotes the Banach algebra of bounded linear operators from $X$ to $Y$. If we have that $Id_Y - ST \in \mathbb{K}(Y)$ ...

**-4**

votes

**1**answer

154 views

### Is there always a subspace of $L^p$ isomorphic to direct sums of $\ell^2,\ell^p$? [closed]

It is known that each $L^p$ (on a space with finite measure like $[0,1]$) $p>1$ space contains an isomorphic complemented copy of $\ell^2$ and $\ell^p$. I think this is the Kadets-Pelczynski ...

**2**

votes

**1**answer

137 views

### Nuclear vs Integral operators on Hilbert spaces

Consider the Hilbert space $L_2=L_2[0,1]$. Is it true that for each nuclear (trace-class) operator on $L_2$ there exists a function $K\in L_1(L_2)$ such that
$$Tf = \int\limits_0^1 K(s) f(s) ...

**2**

votes

**0**answers

165 views

### Banach space interpolation theory in terms of categories

I have recently learned a bit about higher category theory.
And there is a question I would like to ask. Can we enrich banach space interpolation theory by using higher category theory?
Is it ...

**3**

votes

**2**answers

218 views

### Structure of an intersection of $L^p$-spaces

In what follows, $L^p$ denotes the space of functions from $\mathbb{R}$ to $\mathbb{R}$ such that $\int_{\mathbb{R}} |f(x)|^p\mathrm{d}x < \infty$.
I am interested to understand the structure we ...

**6**

votes

**0**answers

419 views

### Products of spaces containing no copies of $\ell_2(\Gamma)$

Given an infinite set $\Gamma$, I would like to know if the class of Banach spaces containing no copies of $\ell_2(\Gamma)$ is stable under finite products.
When $\Gamma$ is countable the answer is ...

**1**

vote

**0**answers

56 views

### Is $\partial^\alpha$ a map $H^{s,p}(\mathbb R^N,F)\to H^{s-|\alpha|,p}(\mathbb R^N,F)$?

More precisely, the question is formulated as follows. Let $F$ be an arbitrary Banach space, especially not having the UMD−property. Let $N\in\mathbb N$ and $s\in\mathbb R$ and $1\le p\le +\infty$ . ...

**0**

votes

**0**answers

73 views

### What's the dual space of $c_{0}^{\mathcal {A}}(X)$?

Suppose that $X$ is a Banach space and $({\mathcal {A}},\alpha)$ is a Banach operator ideal. A sequence $(x_{n})_{n=1}^{\infty}$ in $X$ is said to be ${\mathcal {A}}-$convergent to zero if there exist ...

**1**

vote

**1**answer

171 views

### Final topology of surjective linear map on Banach space

Let $L:X\rightarrow Y$ be a surjective linear map from Banach space $(X,||\cdot||_X)$ to vector space $Y$ and denote with $\tau_L$ the final topology on $Y$ induced by $T$.
Is $\tau_L$ equivalent ...

**4**

votes

**0**answers

141 views

### Ultrapowers and complemented subspaces

Let $Y$ be a closed subspace of a Banach space $X$, and let $\mathcal{U}$ be a nontrivial ultrafilter on the set $\mathbb{N}$ of all integer numbers.
It is not difficult to see that if $Y$ is ...

**5**

votes

**1**answer

169 views

### Introducing a dual space structure

Suppose that we have a Banach space $X$ together with some locally convex Hausdorff topology on $X$, weaker than the one given by the norm, which makes the unit ball of $X$ compact. Is $X$ ...

**3**

votes

**1**answer

163 views

### A differentiable version of the Michael selection theorem

Assume that $X$ and $Y$ are Banach spaces and $T:X\to Y$ is a bounded surjective linear map.
Is there a Gateaux differentiable function $g:Y\to X$ such that $T\circ g=Id_{Y}$?

**1**

vote

**0**answers

94 views

### Mixed Tsirelson Norm

A couple of days ago I posted this question on Mathematics Stack Exchange. Surprisingly, so far, I haven't received any answers or comments about it (besides my own possible answer). Maybe I can get ...

**3**

votes

**4**answers

426 views

### Understanding reasons for best constants in inequalities

Why, in functional analysis, is so important to calculate best constant in an embedding inequality?
Cross-posted from ...

**3**

votes

**1**answer

238 views

### A (non trivial) continuous map on a Banach space which is nowhere Frechet differentiable

Assume that $X$ is a Banach space. Is there a continuous map $f:X\to X$ such that $f$ is nowhere Frechet differentiable, but its restriction to every finite dimensional subspace is every where Frechet ...

**3**

votes

**1**answer

321 views

### A useful criterion in vector integration

I would like to know the proof of the following theorem:
Consider two Banach spaces $X\hookrightarrow Y$ and $1<p,q\leq\infty$. Let $(f_n)_{n\geq 0}$ be a bounded sequence in $L^q(I,Y)$ and let ...

**5**

votes

**1**answer

168 views

### Complemented subspaces of ultrapowers

It's a famous result of Maurey that a Banach space $E$ is finitely representable in $X$ if and only if it is a subspace of some ultrapower of $X$. Is there an analogous result for complemented ...

**5**

votes

**1**answer

189 views

### Banach spaces with no reflexive complemented subspaces

If $X$ is a Banach space with the Dunford Pettis Property (DPP), then no infinite reflexive subspace can be complemented. Suppose now that the Banach space has the property, that no infinite reflexive ...

**0**

votes

**1**answer

63 views

### Non-strictly singular quotients

Every separable subspace, in particular, $\ell_p$ for $p\in (1,\infty)$ is a quotient of $\ell_1$. However, every map from $\ell_1$ to $\ell_p$ is strictly singular (as $\ell_1$ is self-saturated). ...

**3**

votes

**1**answer

207 views

### Separable Banach spaces which are absolute Lipschitz retracts

A subset $F$ of a metric space $M$ is called a Lipschitz retract of $M$ if there is a Lipschitz map from $M$ onto $F$ which coincides with the identity on $F$. A metric space which is a Lipschitz ...

**0**

votes

**0**answers

141 views

### On ultrafilters

Let $\mathcal{U}$ be a free ultrafilter of $\mathbb{N}$. Is true or false what $(C([0,1],\ell_p)^*)_{\mathcal{U}} = L_1(\mu, \ell_q)$, where $\mu$ is a measure, $C([0,1],\ell_p)^*$ is the dual of ...

**0**

votes

**0**answers

100 views

### On the existence of embeddings of $\ell_r$ into $L_1([0,1], \ell_p)$ for $r<p$

If $2<r<p$, is it true or false that $\ell_r \not \!\hookrightarrow L_1([0,1], \ell_p)$ ? In other words, if $r< p$, is it true or false that $L_1([0,1], \ell_p)$ contains a copy of $\ell_r$ ...

**2**

votes

**0**answers

85 views

### Birkhoff orthogonal of a Banach space in its bidual

Let $X$ be a Banach space embedded in $X^{**}$ in the usual way.
We consider the set
$$
O_X := \{ x^{**}\in X^{**} : \|x^{**}-x\|\geq \|x\| \textrm{ for all }x\in X\}.
$$
I think this is the ...

**7**

votes

**1**answer

325 views

### Existence of injective operators with dense range

Given two separable (infinite dimensional) Banach spaces $X$ and $Y$, it is not difficult to show that there exists an injective (bounded linear) operator $T:X\to Y$ with range dense in $Y$. See S. ...

**1**

vote

**1**answer

104 views

### Contractively complemented subspaces without contractively complemented complement

Can someone give me an example of a Banach space $X$ and contractive projection $P\in\mathcal{B}(X)$ such that $\ker P$ is not a range of any contractive projection $Q\in\mathcal{B}(X)$?

**6**

votes

**1**answer

247 views

### Morita equivalence for operator algebras and tensor products, question about proof

This is a bit of a dumb question I know, but I was reading "Morita equivalence for C*-algebras and W*-algebras" by Rieffel, in this section about Morita equivalences and how they relate to forming ...

**3**

votes

**1**answer

181 views

### tensorial product with Lp

Let us consider E a finite-dimensional normed space on $\mathbb{R}$ and a real number $p\geq 1$.
Is it true that the projective tensorial product $E \widehat{\otimes}_\pi L^p(\mathbb{R},\mathbb{R})$ ...

**3**

votes

**1**answer

203 views

### When is the bound in Riesz-Thorin Interpolation Theorem attained?

Let me recall the statement of Riesz-Thorin theorem (see also http://en.wikipedia.org/wiki/Riesz%E2%80%93Thorin_theorem).
Theorem (Riesz-Thorin): Let $(X,\mu)$ and $(Y,\nu)$ be $\sigma$-finite ...

**4**

votes

**2**answers

247 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 ...

**2**

votes

**0**answers

169 views

### Centralizers and containment of $c_0$

I have this question also in MSE (see: http://math.stackexchange.com/questions/666053/centralizers-and-containment-of-c-0), but I have not got an answer there. So I thought I try my luck here.
Let ...

**2**

votes

**1**answer

173 views

### On sequences which converge to zero with respect to an operator ideal

Let $X$ be a Banach space and $\mathcal{A}$ be an operator ideal. A sequence $(x_{n})_{n=1}^{\infty}$ in $X$ is called $\mathcal{A}$-convergent to zero if there exist an operator $S\in ...

**5**

votes

**0**answers

192 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 ...

**0**

votes

**0**answers

65 views

### Open ideally convex sets

Background
Recall that a subset $A \subseteq X$ of a Banach$^{1}$ space $X$ is said to be ideally convex if, for every bounded sequence $(x_n)_{n \in {\mathbb N}}$ in $A$ and every sequence ...

**7**

votes

**3**answers

310 views

### Rosenthal like inequality for weak $\mathbb L^p$-norms

Let $p$ be a real number greater than $1$. It is well known (see Hall and Heyde's Martingale limit theory and its applications, Theorem 2.10) that there exists a constant $C_p$ such that if ...

**0**

votes

**1**answer

181 views

### Constructing a continuous matrix valued function

Given $d<k$. Let ${\cal M}_{d\times k}(\mathbb{R})$ denotes the set of all $d\times k$ real matrices and suppose that $H:\mathbb{R}^k\rightarrow {\cal M}_{d\times k}(\mathbb{R})$ is a continuous ...

**9**

votes

**1**answer

248 views

### Grothendieck spaces and total subspaces of the dual

There is probably an embarrassingly simple counter-example to my question but I couldn't figure it out myself. Let me give it a try here.
A Banach space $X$ is Grothendieck if weak*-convergent ...