**3**

votes

**1**answer

97 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?

**0**

votes

**0**answers

14 views

### Dense subsets in tensor products of Banach spaces [migrated]

Assume $B_1$ and $B_2$ are Banach spaces of univariate functions. Moreover, assume that the sets $D_1 \subset B_1$ and $D_2 \subset B_2$ are dense with respect to the respective norms ...

**-1**

votes

**1**answer

56 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

72 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

73 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

168 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

46 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

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

**8**

votes

**0**answers

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

**5**

votes

**0**answers

77 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

38 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

81 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

39 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

77 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

85 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

104 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

106 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

112 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

89 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

209 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

113 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

114 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

119 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

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

**12**

votes

**1**answer

542 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

102 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

163 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

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

**4**

votes

**3**answers

565 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

195 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

198 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

111 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

135 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

120 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

127 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

441 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

150 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

93 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

664 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

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

**1**

vote

**1**answer

113 views

### Approximation Property: Decomposition

This thread originated from MSE: Approximation Property: Decomposition
Given a Banach space $E$.
Consider a finite rank operator $F\in\mathcal{F}(X,E)$.
Introduce a basis on the finite dimensional ...

**0**

votes

**0**answers

75 views

### Approximation Property: Characterization

Problem
Given a Banach space $E$. Denote compact sets by $\mathcal{C}$, compact operators by $\mathcal{C}(X,Y)$, and finite rank operators by $\mathcal{F}(X,Y)$.
Suppose it has the approximation ...

**0**

votes

**0**answers

76 views

### Compact Approximation

This thread originated from MSE: Compact Approximation
This is meant as lemma for: Approximation Property
Given a Banach space $E$.
Denote compact domains by $\mathcal{C}$.
Denote compact ...

**5**

votes

**1**answer

320 views

### Non-reflexive Banach space s.t. X,X*,X**,… are separable

Is there an infinite-dimensional Banach space $X$, which is not reflexive, such that all the spaces $X,X^{\ast},X^{\ast\ast}, X^{\ast\ast\ast},\dots$ are separable?

**0**

votes

**0**answers

86 views

### Can we conclude that $\varphi(L_xf_0)\neq0$ for every $x\in G$?

Let $H$ be a compact subgroup of locally compact topological group $G$ and $A=\{f\in L^1(G); R_hf=f(a,e)\forall h\in H\}$ as a subalgebra of $L^1(G)$ by convolution of $L^1(G)$. If $\varphi \in ...

**7**

votes

**1**answer

157 views

### Dual of Banach-valued $L^p$ [duplicate]

Let $X$ be an infinite-dimensional Banach space and let $p\in(1,+\infty)$. We may define $L^p(\mathbb R;X)$. Is it always true that the topological dual of $L^p(\mathbb R;X)$ is $L^{p'}(\mathbb ...

**0**

votes

**0**answers

51 views

### Completeness of spaces $\Lambda(\varphi, p)$

Definition 1. Let $f$ be measurable function on a mesurable subset $E\subset \mathbb R^n$. Non-increasing rearrangement of $f$ is a function $f^\ast(x)=\inf\{s>0: \operatorname{mes} E[|f| > s] ...

**7**

votes

**0**answers

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

**1**

vote

**0**answers

72 views

### A reasonable framework to study properties of operator $A \mapsto KAK$ on Banach space

Let $K$ be a continuous linear operator on $C[0,1]$ (more, precisely, it is a linear integral operator). Then $K$ defines a continous linear operator $\widehat K$ on $\mathcal L(C[0,1])$ by the rule
...

**2**

votes

**1**answer

211 views

### Integration in C^* algebra

Let $\mathfrak{A}$ be a C${}^*$ algebra and $\mathbb{R}\ni s \mapsto \alpha_s$ a continuous family of its automorphisms. Is it true that
$$
\int d s \, f(s)\, \alpha_s(A)
$$
is well defined as a ...