**2**

votes

**1**answer

142 views

### Completion of $C_0^{\infty}(\mathbb{R}^N)$ with norm $\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, \mathrm{d}x \Bigg)^{\frac{1}{2}}. $

I have a question that I could not find it any where.
Is the completion of $C_0^{\infty}(\mathbb{R}^N)$ with the respect to norm
$$\|u\|= \Bigg(\int_{{\mathbb{R}}^N} |\Delta u |^2 \, ...

**4**

votes

**2**answers

227 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)$.
...

**5**

votes

**1**answer

176 views

### Is the space of vectorial functions that are Dunford integrable complete?

Let $X$ a Banach Space and $(\Omega, \Sigma, \mu)$ a measure space. A function $F:\Omega\rightarrow X$ is Dunford integrable if $x^\ast\circ F$ is $\mu$-integrable for every $x^\ast\in X^\ast$. The ...

**3**

votes

**2**answers

142 views

### On the Lorentz sequence space $d(w,1)$

I am interested in examples of dual Banach spaces $X$ with the Schur property (weakly convergent sequences in $X$ are norm convergent) like $\ell_1$.
The Lorentz spaces $d(w,1)$ [Lindenstrauss and ...

**6**

votes

**0**answers

123 views

### Is there a quotient of $c_0$ without the approximation property?

The famous example of Enflo of a Banach space without the approximation property is actually a subspace of $c_0$. Is there a quotient of $c_0$ without the approximation property?
This would follow if ...

**6**

votes

**2**answers

286 views

### Non strictly-singular operators and complemented subspaces

If $T$ is a bounded operator which is not strictly singular, acting on a separable Banach space $X$, can one always find an infinite dimensional, closed and complemented, subspace $Y$ such that $T$ ...

**5**

votes

**1**answer

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

**1**

vote

**1**answer

170 views

### Noncommutative analogs of classical Banach geometric properties

The scale of Schatten-von Neumann classes is noncommutatitve analog of classical $\ell_p$-spaces. A lot of researchers devoted their lives to study Banach geometric structure of these spaces. ...

**4**

votes

**0**answers

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

**0**

votes

**0**answers

102 views

### Unitarizability of group representations

Let $G$ be a Lie (or more general) group. Consider its continuous representation in a Banach space by isometries, i.e. preserving the Banach norm. Under what conditions this representation is ...

**4**

votes

**2**answers

363 views

### Is a specific sequentially closed subset of $M([0,1])$ closed?

Let $M([0,1])$ be the set of finite signed measures on $[0,1]$
(with the topology generated by the sets $\left\{ \mu \in M([0,1]) : \left| \int f(x) \mu(dx)- a\right| \leq \delta\right\}$ for all ...

**4**

votes

**1**answer

132 views

### A differential equation with continuous coefficient and no solution in a reflexive Banach space?

Is there a reflexive Banach space $B$ and a continuous map $f:B\to B$ such that the differential equation
$$ \frac{d x (t)}{dt} = f(x(t)) $$
with some initial condition $x(0)=x_0$ has no solution?

**-1**

votes

**1**answer

70 views

### Infinitesimal generator is bounded [closed]

Consider a strongly continuous semigroup of bounded linear operators $S(t):X\to X$. The infinitesimal generator of $S(t)$ is the linear operator $A:D(A)\subseteq X \to X$ defined by
...

**2**

votes

**1**answer

140 views

### Besov and Triebel-Lizorkin spaces

Let me start with a couple of notational reminders. For $\xi\in \mathbb R^n$,
$$
1=\varphi_{0}(\xi)+\sum_{\nu \ge 1}\varphi_{\nu}(\xi),\quad \varphi_{0}\in C^\infty_c(\mathbb R^{n}),\quad ...

**3**

votes

**0**answers

89 views

### Approximating the norm of a finite dimensional representation on a Banach space by irreducible representations

Let $G$ be a compact group, let $X$ be a Banach space and let $\pi$ be a linear and isometric representation of $G$ on $X$ that is continuous with respect to the strong operator norm. For $v \in X$, ...

**4**

votes

**2**answers

239 views

### Almost isometric embeddability implies isometric embeddability

Consider the following situation: Suppose $X$ is a Banach space such that for each finite metric space $M$ and each $\epsilon > 0$ for which $M$ bi-lipschitz embeds into $X$ with Lipschitz constant ...

**1**

vote

**0**answers

66 views

### Quadratic Variation of a Martingale in Hlibert Spaces

I'm looking at a Martingale (actually a Martingale difference sequence),
$$
M_n = \sum \delta M_n,
$$
and I'd like to prove something about convergence. If Martingale is Hilbert space valued ...

**4**

votes

**1**answer

131 views

### Operator on a Banach space

Let $T$ be a continuous operator on a Banach space $V$. Assume there exist $T$-stable finite-dimensional subspaces $V_i$ such that $\bigoplus_{i=1}^\infty V_i$ is dense in $V$, on $V_i$ the operator ...

**9**

votes

**0**answers

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

**6**

votes

**0**answers

85 views

### Real interpolation space between the Wiener algebra and $L^2$

The Wiener algebra $W_n$ is the image by the Fourier transform of $L^1(\mathbb R^n)$. What is the (complex) interpolation space between $W_n$ and $L^2(\mathbb R^n)$? It is probably not true that for ...

**2**

votes

**0**answers

46 views

### Dual cone of 'positive' Bochner integrable functions

If we consider the space of integrable functions $L^1([0,1];\mathbb{R})$, it can be ordered by the convex cone of positive integrable functions $L^1([0,1];\mathbb{R}_+)$. It is known that the ...

**1**

vote

**1**answer

88 views

### A nullspace identity for operator exponentials

Let $X$ be a complex Banach space. Does validity of
$$
\mbox{ker}\left(e^{2\pi \imath \, T} - 1\right) = \overline{\sum\nolimits_{k\in \mathbb{Z}} \mbox{ker} (T-k) }\quad \forall \, T \in B(X,X)
$$
...

**0**

votes

**0**answers

58 views

### interpolation between Bochner spaces

Is there a reference for the interpolation result stating the existence of an embedding
\begin{equation}
L^2(I;W^{2,p}(\Omega)) \cap H^1(I;L^p(\Omega)) \hookrightarrow ...

**3**

votes

**0**answers

87 views

### independent symmetric 3-valued random variables in Lp

Consider the following excerpt from this paper:
Given $1<p<2$, $0<w\leq 1$ and $n\in\mathbb{N}$, we fix once and for all a sequence $f_j^{(n)}=f_{p,w,j}^{(n)}$, $1\leq j\leq n$, of ...

**1**

vote

**0**answers

115 views

### What is the trace of this operator in $L^\infty$ (if this question make sense)?

Let $\Omega$ be a closed domain in $\mathbb{R}^N$, and $\lambda$ the corresponding Lebesgue measure. We define in $(L^\infty(\Omega), \Vert \cdot \Vert_\infty)$ the following operator :
...

**2**

votes

**1**answer

107 views

### Rearrangments of Fourier series

Suppose one has a schauder basis $\{f_n\}_{n\in\mathbb{N}}$ for $L^p([0,1])$ and we wish to expand a function $f \in L^p([0,1])$ in our basis to get the expression
$$f(y)=\sum_{n=0}^{\infty} a_n ...

**2**

votes

**1**answer

116 views

### A question on p-summing operators

Let $(x_{n})_{n}$ be a $p$-summable sequence in a Banach space $X$. Define an operator $T$ from $l_{q}$(where $q=p/(p-1)$) to $X$ by $Te_{n}=x_{n}(n=1,2...)$. Is $T$ a $p$-summing operator?

**2**

votes

**1**answer

144 views

### When do Borel $\sigma$-algebras generated by the total variation norm and the weak* topology coincide?

I am almost certain that I read somewhere that the following is true, but I cannot seem to locate the reference. I would be most appreciative if someone could point me to a reference. The result was ...

**3**

votes

**1**answer

120 views

### Banach-Stone Theorem in Lipschitz-free spaces

If $T$ is a nonlinear surjective isometry from Lipschitz-free space $\mathcal{F}(M)$ to $\mathcal{F}(N)$($M,N$ are metric spaces), is $M$ homeomorphic to $N$?

**4**

votes

**1**answer

254 views

### Open problems in Banach spaces, universality

I have gathered a list of universality problems in Banach spaces which have been solved:
1.The non existence of a separable reflexive space universal for the class of separable reflexive spaces.
...

**4**

votes

**0**answers

123 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$, ...

**1**

vote

**0**answers

137 views

### Matrix norm on $L^p$ operator algebras

I have a question about the framework of $L^p$ operator algebras ($1<p<\infty$), i.e. norm-closed subalgebras of $B(L^p(X,\mu))$ for some measure space $(X,\mu)$ (see e.g. ...

**3**

votes

**1**answer

137 views

### Characterizations of Wiener algebra

The Wiener algebra $\mathcal W$ is defined as $\text{Fourier}(L^1(\mathbb R))$, i.e. the image by the Fourier transform of $L^1(\mathbb R)$. Riemann-Lebesgue's lemma ensures that
$$
\mathcal W\subset ...

**5**

votes

**1**answer

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

**13**

votes

**1**answer

639 views

### Are “most” operators on an infinite-dimensional complex Banach space “diagonalizable”?

This is true for finite-dimensional spaces: the diagonal operators on a finite dimensional complex vector space form contain a dense open set and the nondiagonalizable operators have measure 0.
To be ...

**1**

vote

**0**answers

107 views

### Estimates of entropy of functional spaces

Let $M^n$ be a compact $n$-dimensional manifold. For $k\geq 0$ let us denote by $C^k(M)$ the Banach space of $k$ times continuously differentiable functions, and $B_{C^k}$ denote the unit ball of it.
...

**3**

votes

**2**answers

180 views

### Basis equivalent with a monotone basis

Given a basis in a Banach space $X$, can one find, for every $\varepsilon>0$, an equivalent basis with basis constant at most $1+\varepsilon$?
In $L_p[0,1]$ with $1<p<\infty$ any monotone ...

**9**

votes

**4**answers

485 views

### Between Tietze's and Dugundji's Extension Theorems

The celebrated Tietze Extension Theorem asserts that any continuous real-valued function defined on a closed subset of a normal space, can be extended to a continuous function on the whole space. Seen ...

**5**

votes

**3**answers

620 views

### reflexive banach space

I want to ask this non-expert question:
What does it mean geometrically for a Banach space to be reflexive?
Well, we could say a Banach space is reflexive iff unit ball is weakly compact. Or some ...

**3**

votes

**1**answer

208 views

### A question in Banach space

Given $A\in\Bbb R^{m\times n}$, define $$\gamma_2(A)=\min_{XY=A}\max_{i,j}\|x_i\|_{\ell_2}\|y_j\|_{\ell_2}$$ where rows of $X$,columns of $Y$ given by $\{x_i\}_{i=1}^m,\{y_j\}_{j=1}^n$ respectively.
...

**7**

votes

**0**answers

217 views

### Lipschitz-free spaces of $\mathbb R^n$

We define
$$
\text{Lip}_0(\mathbb R^n)=\{f:\mathbb R^n\rightarrow \mathbb R, \text{such that $f(0)=0$ and }
\sup_{x\not=y}\frac{\vert f(x)-f(y)\vert}{\vert x-y\vert}<+\infty.
\}
$$
It is well-known ...

**2**

votes

**2**answers

128 views

### Infinite direct sum of $l_2^{(n_k)}$ contains a complemented isometric copy of $l_2$

How do I show that for any increasing sequence $(n_k) \subseteq \mathbb{N}$, the space $\left( \oplus _{k=1} ^\infty l_2 ^{(n_k)} \right) _\infty$ contains a complemented isometric copy of $l_2$?

**0**

votes

**1**answer

144 views

### Banach space dual to $L^\infty(I,H^1(M))$

What is the dual to $L^\infty (I,H^1(M))$?, where $I$ is an interval in the real line; $H^1(M)$ is Sobolev space of degree 1, and $M$ is a compact manifold like the torus.
Any references that show ...

**2**

votes

**1**answer

131 views

### Predual of a subspace

Let $E$ be a Banach space, let $d\ge 1$ be an integer. Let $\mathcal G$ be a weakly closed subspace of
$(E^*)^d$ with finite codimension.
I would like know if the space $\mathcal G$ is a dual space ...

**1**

vote

**0**answers

161 views

### Inductive/Projective Limits of Topological Algebras

It is common to form inductive/projective limits of Banach/Frechet spaces in order to come up with natural topologies for common vector spaces. For instance,
For $k \ge 0$ and $K_n$ compact ...

**15**

votes

**2**answers

460 views

### Ultraweak topology on B(X): Is the map X\otimes X* -> B(X)* isometric?

Let $X$ be a Banach space. Consider the map
$$
\alpha\colon X\hat{\otimes} X^* \to B(X)^*,
$$
defined one simple tensors as
$$
\alpha(\xi\otimes\eta)(a) = \eta(a(\xi)).\quad (\xi\in X, \eta\in X^*, ...

**2**

votes

**1**answer

168 views

### Is this structure a Banach bundle?

Let $X$ be a Banach space. Put $Y=\{ \phi\in X^{*}\mid\;\; \parallel \phi \parallel\leq 1\;\; \&\;\; \phi \neq 0\}$ which is a locally compact Hausdorf space with the weak star topology.
...

**3**

votes

**0**answers

100 views

### A question on metric characterization of approximation property

My question is: a Banach space $X$ has the approximation property if and only if for every $\epsilon>0$ and every compact subset $K\subset X$, there exists a Lipschitz map $T: X\rightarrow X$ with ...

**3**

votes

**4**answers

802 views

### Non-separable Banach space

The vector space $C_b(\mathbb R)$ of bounded continuous functions on $\mathbb R$ is non-separable: it is possible to produce a direct proof of this fact, mimicking the standard proof for the ...

**6**

votes

**1**answer

458 views

### Are $L^\infty(\Bbb R)$ and $L^2(\Bbb R)$ homeomorphic?

It's easy to see that, for $1\le p,q< \infty$ the spaces $L^p(\Bbb R)$ and $L^q(\Bbb R)$ of $p$-th and $q$-th power integrable functions on the real line are homeomorphic as topological spaces. In ...