All Questions
1,222 questions
5
votes
0
answers
315
views
Schauder basis in the Arens-Eells space
Context
Arens-Eells space. Let $X$ be a separable pointed metric space with base point $e$. An elementary molecule is defined as follows (Nik Weaver, Lipschitz Algebras, 2nd ed.)
$$
m_{pq} := \delta_p ...
- 437
3
votes
1
answer
164
views
Must a Schauder basis for $W^{1,p}_0(\Omega)$ be oscillatory?
Suppose that $\Omega \subset \Bbb R^d$ is a sufficiently nice domain. From the examples of orthogonal bases in Hilbert space cases (or looking at a wavelets basis), it seems natural to me that one may ...
- 1,245
2
votes
1
answer
349
views
$K$-convex Banach spaces
Let $X$ be a Banach space. We say that $X$ contains $\ell_1^n$'s uniformly iff for all $n\in\mathbb N$ there exist subspaces $X_n\subseteq X$ with $d(X_n,\ell_1^n)\leq \lambda$ for some $\lambda\geq 1$...
- 1,879
14
votes
4
answers
550
views
About the existence of characters on $B(X)$
Let $X$ be a Banach space. Let $B(X)$ be the space of all bounded linear operators on $X$. Does $B(X)$ have an empty character space for any $X$?
I know the proof of the fact that $M_n(\mathbb{C})$ ...
- 355
2
votes
3
answers
3k
views
$c_0$ is not isometrically isomorphic to $c$
Let us consider the space of convergent sequences which is denoted by $c$. The space of all sequences $(x_n)\in c$ with $\lim x_n=0$ is also denoted by $c_0$. Clearly $c_0$ is a proper closed ...
- 4,058
1
vote
0
answers
316
views
Characterization of differentiability
For a normed space $(V, \lVert\cdot\rVert_V)$ let us define:
\begin{equation}
\forall x, y \in V \quad [0,1] \mapsto \gamma_x^y (t) = (1-t)x + ty.
\end{equation}
I would like to ask whether the ...
- 820
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\...
- 1,219
4
votes
1
answer
280
views
Reference request: Baire's theorem for operator ranges
Let $F$ be a Banach space. A vector subspace $U \subseteq F$ is called an operator range if there exists a Banach space $E$ and a bounded linear mapping $T: E \to F$ such that $TE=U$. By a quotient ...
- 12.6k
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 ...
- 1,073
1
vote
0
answers
61
views
When is the metric on a Fréchet space homogeneous
Let $(F,d)$ be a Fréchet space over $\mathbb{F}\in \{\mathbb{C},\mathbb{R}\}$. Are there conditions under which, there exists some $C,d>0$ such that: for every $f\in F$ and every $k\in \mathbb{F}$ ...
- 5,405
1
vote
0
answers
82
views
Extreme case of K-interpolation
Suppose $X_0$ and $X_1$ are Banach spaces living in a larger Banach space
$X$. The $K$-functional is defined for each $f\in X_0+X_1$ and $t>0$ as
$$K(f,t,X_0,X_1)=\inf\{\|f_0\|_{X_0}+t\|f_1\|_{X_1}:...
- 319
2
votes
3
answers
580
views
How do I apply Brouwer fixed-point theorem in this claim?
Let $\zeta:\mathbb{R}\to [0,+\infty)$ be a continuous non-negative function such that $\zeta(0)=0$ and $\tau\mapsto \zeta(\tau)\tau$ is a non-decreasing differentiable function whose derivative is ...
- 1,101
2
votes
1
answer
173
views
Semi-linear elliptic problem, energy functionals, Fréchet derivatives and the Newton method in Banach spaces
Suppose $\Omega\subset\mathbb{R}^n$ is a regular open set, $f\in L^2(\Omega)$ and consider the following elliptic problem.
$$-\Delta u + u=f'(u) , \;\;u_{|\partial \Omega}=0,$$
where $f'$ is the ...
- 597
5
votes
2
answers
247
views
Is there a topology that makes every basic sequence null?
Let $E$ be a Banach space. Let $F$ be the collection of all $f\in E^*$ such that $\left<f,e_n\right>\to 0$, for every normalized basic sequence $\{e_n\}$. It is easy to see that $F$ is a closed ...
- 5,529
7
votes
2
answers
276
views
Completeness of coefficient functionnals
My questions is about Schauder bases and more specifically about coefficient functionals.
Let $(x_n)$ be a Schauder basis of a Banach space $X$. Thus for all $x$ in $X$, $x = \sum f_n(x) x_n$. The $...
- 183
2
votes
0
answers
134
views
Fourier type of asymptotic-$\ell_{2}$ Banach spaces
A Banach space $X$ is said to have Fourier type $p\in[1,2]$ if the Fourier transform $\hat{f}(s):=\int_{\mathbb{R}}e^{-ist}f(t)dt$ defines a bounded linear operator from $L_{p}(\mathbb{R},X)$ to $L_{p'...
- 201
-1
votes
1
answer
120
views
Definition of a $\psi$-Banach space [closed]
Let $X$ be a Banach space. Let $\mathcal{F}$ be the family of all the bounded subsets of $X$. If $I$ is the identity map on $X$, we shall denote by $\operatorname{span}\{I\}$ the vector space ...
- 291
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 ...
- 617
28
votes
2
answers
1k
views
What is the Banach-Mazur distance between $\ell_\infty$ and $L_\infty$?
Given Banach spaces $X$ and $Y$, the Banach-Mazur distance between $X$ and $Y$ is defined as
$$ d(X,Y) = \inf\{ \|\varphi\|\|\varphi^{-1}\| : \varphi\colon X\to Y \text{ isomorphism} \}.
$$
We ...
- 3,497
2
votes
1
answer
280
views
Finite-dimensional subspaces of $c_{0}$
Let $M$ be a finite-dimensional subspace of $c_{0}$, and let $\varepsilon>0$.
Question. Does there exist a finite rank projection from $c_{0}$, of norm $\leq 1+\varepsilon$, onto a subspace $N$ of ...
- 3,343
6
votes
2
answers
240
views
Continuity of a differential of a Banach-valued holomorphic map
Originally posted on MSE.
Let $U$ be an open set in $\mathbb{C}^{n}$ let $F$ be a Banach space (in my case even a dual Banach space), and let $\varphi:U\to F$ be a holomorphic map. I seem to be able ...
- 5,529
8
votes
1
answer
894
views
Basis vs Schauder basis in normed spaces
Following the conventions from Heil: "A Basis Theory Primer" and Albiac, Kalton: "Topics in Banach Space Theory", we might define a basis of an (infinite-dimensional) normed space $V$ as a sequence $(...
- 259
0
votes
0
answers
103
views
A question on the Haar basis for $L_{1}[0,1]$
Let $(x_{n})_{n=1}^\infty$ be a basis for a Banach space $X$. It is important to know the exact expression of the norm of $\|\sum_{i=1}^{n}a_{i}x_{i}\|$ for all $n$ and all scalars $a_{1},a_{2},\ldots,...
- 3,343
1
vote
0
answers
94
views
Regularity of functions everywhere approximable by $n$-th degree polynomials
Let $(X, \lVert \cdot \rVert_X)$, $(Y, \lVert \cdot \rVert_Y)$ be two Banach spaces.
A function $P \colon X \to Y$ such that there exists $n \in \mathbb{N}$ such that for all $i \in \{ 0, \ldots, n \}$...
- 820
2
votes
1
answer
246
views
"Compactness in measure" in function spaces
In Chapter 4.9 of the book "Measures of noncompactness and condensing operators" (Vol. 55 of *Operator theory: advances and applications), the authors mention the property "compactness ...
- 163
1
vote
0
answers
133
views
‘Linear’ intersection property of separable Banach spaces
Let $X$ be a separable Banach space. Denote $W(f,\varepsilon) = \{z\in X\colon \lvert\langle f,z\rangle\rvert < \varepsilon\}$ for some $f\in X^*$ .
Suppose that $U$ is an open set in $X$ such that ...
- 43
3
votes
1
answer
285
views
Semi-norms on LCS inductive limit of Banach Spaces
Let $(E_n,i_n)_{n\in\mathbb{N}}$ be an direct system of Banach spaces in the category of locally convex spaces (LCSs) with continuous linear maps and let $E_{\infty}$ by their inductive limit. What ...
- 5,405
4
votes
1
answer
366
views
Example of empty projection in strictly convex Banach space
Let $X$ be a strictly convex Banach space, let $C\subseteq X$ be a nonempty closed convex set, and let $P_C$ be the set-valued metric projection
$$P_C(x) = \{y\in C : \|x-y\| = d(x,C)\} . $$
We know ...
- 267
4
votes
1
answer
378
views
Closure of the space of Fredholm operators
Let $X,Y$ be two Banach spaces.
A bounded operator $A$ is Fredholm if $\ker A$ and $\mathrm{coker} A$ are finite dimensional. Denote by $Fred(X,Y) \subset \mathcal{L}(X,Y)$ the space of Fredholm ...
- 2,533
12
votes
1
answer
908
views
Equivalence of σ-convex hull and closed convex hull
Let $X$ be a locally convex topological space, and let $K \subset X$ be a compact set. Recalling that the standard convex hull is defined as
$$\text{co}(K) = \Big\{ \sum_{i=1}^n a_i x_i : a_i \geq 0,\,...
- 123
3
votes
1
answer
261
views
norm estimates for Schatten class
Let $C
_p$ be the Schatten-p-classes on a separable Hilbert spaces, $p\ge 1$.
Let ${\rm Tr}$ be the standard trace.
Let $y\in C_p$ be a self-adjoint operator (or even a positive operator) and let $...
- 617
1
vote
1
answer
130
views
Quantifications of boundedly complete bases
Let $(x_{n})_{n=1}^\infty$ be a bounded sequence in a Banach space $X$. We set
$$\textrm{ca}((x_{n})_{n=1}^\infty)=\inf_{n}\sup_{k,l\geq n}\|x_{k}-x_{l}\|.$$
Then $(x_{n})_{n=1}^\infty$ is norm-Cauchy ...
- 3,343
6
votes
2
answers
282
views
The Calkin representation for Banach spaces
Let $X$ be an infinite dimensional Banach space. Let $\Lambda_{0}$ be the set of all finite dimensional subspaces of $X$ directed by the inclusion $\subseteq$. For each $\alpha\in \Lambda_{0}$, let $...
- 3,343
1
vote
0
answers
85
views
Interpolation between projective and injective spaces
Suppose $(\Omega,\mu)$ be a $\sigma$-finite measure space. Suppose $X$ is a Banach space and $L_p(\Omega;X)$ be the corresponding Bochner space for $0<p\leq\infty.$ Is it true that the complex ...
- 1,879
1
vote
0
answers
292
views
Closure of finite rank operators on $L^p$
It well-known that, an operator $T:H\to H$ on a Hilbert space, is compact if and only if T is limit of finite rank operators.
Besides this, the results by Per Enflo 1973 shows that this results is ...
- 1,101
0
votes
1
answer
128
views
Regarding an element being self adjoint
Let $A$ be a unital C*-algebra. Let $x,y\in A$ be self adjoint elements in $A$, with $x$ being invertible. Can we say that the spectrum of $x^{-1}y$ is a subset of the real line? I know this is true ...
- 149
3
votes
1
answer
339
views
Seminorm which is zero on dense subset
Let $X$ be a Banach space and let $\hat{X}$ be a dense subset of $X$. If $p$ is a seminorm on $X$ such that $p(x) =0 $ for all $x \in \hat{X}$, does $p(x) =0$ for all $x\in X$ (is $p$ the trivial ...
- 41
12
votes
0
answers
196
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 ...
- 408
1
vote
1
answer
176
views
Some estimates on tensor norms
Denote $M_n$ to be $n\times n$ matrix. For $X\in M_n$ define $\|X\|_1:=\max\limits_{1\leq j\leq n}\sum_{i=1}^n|x_{ij}|$ and $\|B\|_2:=\max\{|\sum_{i,j=1}^nb_{ij}x_iy_j|:|x_i|=|y_j|=1,\ 1\leq i,j\leq n\...
- 1,879
4
votes
1
answer
604
views
Weak convergence in a product space
Given a function $f: Y\longrightarrow Y$ ($Y$ is a Banach space). Assume that $f$ satisfies:
If $y_n \rightharpoonup y $, then $f(y_n)\rightharpoonup f(y) \text{ in } Y$;
$f$ is weakly compact;
...
- 299
11
votes
5
answers
5k
views
A criterion for the sum of two closed sets to be closed ?
Let $V$ and $I$ be two closed subsets of a Banach space $A$.
The set $V$ is a convex cone, and $I$ is a linear subspace of $A$. I also know that $V\cap I=\{0\}$.
I would like to know whether $I+V$ ...
- 452
4
votes
2
answers
231
views
Inclusion of infinite intersection
Let $E$ be a Banach space, $T:E\rightarrow E$ a continuous bounded nonlinear mapping., and $\{x_n\}_{n\in\mathbb N}$ such that $$x_{n+1}=T(x_n),\:\forall n\in \mathbb{N}:=\{0,1,\cdots\}.$$
Let $$X_n=\...
- 291
2
votes
1
answer
104
views
Operators "building" linear independant sets
Let $E$ be a separable Banach space and let $T\in L(E,E)$.
Is there a condition on $T$ ensuring that:
$$
\mbox{$\{x_n\}_{n=1}^N\subseteq E$ is linearly independent} \Rightarrow
\{T(x_n)\}_{n=1}^N\cup \...
- 93
4
votes
1
answer
330
views
Uniform boundedness principle for almost surely converging sequence of operators
I'd like to do the following: I consider a separable Banach space $X$ with a probability measure $\mu$ on the Borel $\sigma$-algebra $\mathcal B(X)$. Additionally, I have a sequence of measurable, ...
- 375
9
votes
1
answer
355
views
Scottish Book Problem 172
The problem is formulated using old terminology and I want to understand what it actually says.
The problem reads: "A space $E$ of type (B) has the property (a) if the weak closure of an ...
- 3,497
6
votes
2
answers
201
views
holomorphy in infinite dimensions (holomorphic families of operators)
Let $X$ be a Banach space (over $\mathbb C$), and let $\mathcal L(X)$ be its algebra of bounded linear operators.
Let $U\subset \mathbb C^N$ be an open subset, and $f:U\to \mathcal L(X)$ a function ...
- 43.2k
5
votes
0
answers
145
views
Second dual $X^{**}$ of ternary $C^*$-ring $X$ is again ternary $C^*$-ring?
Recall that a ternary $C^*$-ring is a complex Banach space $X$, equipped with a associative ternary product $[.,.,.]:X^3 \to X$ which is linear in outer variables and conjugate linear in middle ...
- 1,115
6
votes
1
answer
618
views
Whether Krein-Milman property implies Radon-Nikodym property
A Banach space is said to have Krein-Milman property (KMP in short) if every closed bounded convex set of it is a closed convex hull of its extreme points. Eg. Any reflexive space has KMP, $\ell_1$ ...
- 521
4
votes
1
answer
196
views
On the intersection of two Orlicz spaces
It is well-known that if $1\leq p\leq q\leq \infty $ then
$$ L^p(X)\cap L^q(X)\subset L^r(X)\quad\quad \text{whenever $r\in [p,q]$}\tag{I}\label{Eq}.$$
Indeed let $u\in L^p(X)\cap L^q(X)$. For some $...
- 1,101
4
votes
1
answer
406
views
Renorming of $C[0,1]$ for a strictly convex dual
Let $C[0,1]$ be the space of all Real valued continuous functions on $[0,1]$ with the usual supremum norm. Does there exist an equivalent renorming on $C[0,1]$ such that the corresponding dual norm is ...
- 521