All Questions
1,222 questions
0
votes
0
answers
161
views
When does a positive operator preserve invertibility
Let $\Omega_1,\Omega_2$ be compact Hausdorff spaces and let $P:C(\Omega_1)\longrightarrow C(\Omega_2)$ be a unital positive operator. I wanted to know if there is a necessary and sufficient condition ...
- 175
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
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
4
votes
0
answers
145
views
Hamel basis with all coordinate functionals discontinuous
If $X$ is an infinite dimensional (separable) Banach space, can one find a Hamel basis $(x_\alpha)_{\alpha\in\Lambda}$ such that all coordinate functionals $x_\alpha^*(x_\beta)=\delta_{\alpha,\beta}$ ...
- 1,361
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
2
votes
1
answer
189
views
Biorthogonal weakly null basic sequences
Let $E$ be a Banach space, let $e_{n}\in E$ and $g_{n}\in E^{*}$ be biorthogonal basic sequences (i.e. $\left<e_n,g_m\right>=\delta_{mn}$ ). Moreover, both of these sequences are weakly null. (...
- 5,529
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
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
3
votes
1
answer
105
views
G.L. l. u. st. for subspaces of Banach spaces with an unconditional basis
A Banach space $X$ has Gordon-Lewis local unconditional structure (G.L. l. u. st.) if for every finite dimensional subspace $E$ of $X$, the inclusion operator $i:E\to X$ factors through a finite ...
- 4,461
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
23
votes
9
answers
2k
views
Nonseparable counterexamples in analysis
When asking for uncountable counterexamples in algebra I noted that in functional analysis there are many examples of things that “go wrong” in the nonseparable setting. But most of the examples I'm ...
1
vote
0
answers
124
views
For which Banach spaces is the self composition operator Lipschitz?
Let $X\subseteq \{f|f:D\rightarrow \mathbb{R}^n\}$ be a Banach space, with at least all polynomials on $D$ contained in $X$, where $D\subseteq \mathbb{R}^n$ is open and bounded.
Let $U\subseteq X\cap \...
- 183
2
votes
0
answers
89
views
Another question about asymptotic models in Banach spaces
The array $(x_{i}^{k})_{i=1,k\in\mathbb{N}}^{\infty}$ of normalized $M$-basic sequences in a Banach space $X$ is itself called $M$-basic if, for every $k\leq i_{1}<i_{2}<\ldots$, the diagonal ...
- 201
3
votes
0
answers
274
views
Density of signed measures in dual space
Let $B$ be a Banach space of functions on a Radon space $X$. By the Hahn-Banach theorem, we know that the canonical evaluation map is isometric. That is, for every $f \in B$, we have
$$\|f\| = \sup_{\...
- 103
0
votes
0
answers
67
views
Dual of isometric copies into dual Banach spaces
Let $X$ be a Banach space and $X_1\xrightarrow{}X$ isometrically. Under some assumption can we guarantee that $X^*$ contains an isometric copy of $X_1^*$. I am also interested to know if this happens ...
- 1,879
0
votes
0
answers
129
views
Certain decompositions of decomposable Banach spaces
Let $\mathcal{X}$ be a decomposable Banach space (i.e. a topological direct sum of infinite-dimensional subspaces, say $\mathcal{X}=\mathcal{A}\oplus\mathcal{B}$). Can one always obtain another ...
- 1,453
3
votes
0
answers
138
views
Property $(V_1)$ for Banach spaces
This aim of this note is to record a problem that still seems to be open.
Räbiger, in his doctoral thesis, defined property $(V_1)$ as follows: A Banach space $X$ has property $(V_1)$ if every ...
- 2,605
3
votes
3
answers
776
views
Radon-Nikodym property for space of signed measures
Given a measurable space, the vector space of signed measures is a Banach space. Does it have the Radon-Nikodym property? What if the space is of a special type, such as a nice topological space with ...
- 2,247
2
votes
1
answer
431
views
Density of $w^*$-support points
I am looking for a simple proof of the following theorem — wasn't able to come up with one myself. Should be a use of the Bishop–Phelps theorem, in some way:
Let $X$ be a Banach space, $D \subset X^*$ ...
- 165
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
396
views
Closedness of the image of the unit ball
Let $X$ be a Banach space and let $P$ be a bounded, linear projection on $X$. Is $P[B_X]$ closed in $X$? Here $B_X$ is the closed unit ball of $X$.
This is trivial if $X$ is reflexive, but otherwise ...
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
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
3
votes
1
answer
451
views
Uniform smoothness and twice-differentiability of norms
To get to the simplest case, consider a norm $\|\cdot\|$ over $R^n$ that is uniformly smooth of power-type 2, that is, there is a constant $C$ such that $$\frac{\|x+y\| + \|x - y\|}{2} \le 1 + C \|y\|^...
- 408
10
votes
0
answers
226
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 ...
- 4,535
6
votes
0
answers
132
views
Mazur-Ulam bases in finite-dimensional Banach spaces
Definition. A basis $e_1,\dots,e_n$ of a finite-dimensional Banach space $X$ is called Mazur-Ulam if all vectors $e_1,\dots,e_n$ have norm one and every self-isometry $f:S_X\to S_X$ of the unit sphere ...
- 4,535
1
vote
1
answer
130
views
Both $\ell_\infty$ and $L_\infty$ belong to $\mathcal{B}_1$ [duplicate]
I am looking for a resource or some hints on why the two normed spaces $\ell_\infty$ and $L_\infty$ belong to the family $\mathcal{B}_1$, that is,
they are of the family of Banach spaces $X$ such that ...
- 141
1
vote
0
answers
68
views
Inequality of exponentials of Banach operators
(I have moved this question from Stackexchange).
Given the operators $\{A_j\}$ in a Banach algebra and a positive integer $p$, let
\begin{equation}
g=\exp\left(\frac{1}{n}\sum_{j=1}^p A_j\right)\quad\...
- 111
2
votes
1
answer
143
views
How to characterize the order convergence in Bochner-integrable functions space?
Let $(\Omega,\Sigma,\mu)$ a finite measure space. We want to characterize the order convergence (for sequences) in Bochner integrable functions space $L^1(\mu,X)$, $X$ Banach lattice.
In $L^p$ we have:...
- 21
2
votes
0
answers
57
views
Is this Beppo-Levi curl space a Banach space?
Let us define the quotient space:
$$ V = \{ \mathbf{u} \in L^2_{loc}(\mathbb{R}^3; \mathbb{R}^3) : \operatorname{curl} \mathbf u \in L^2(\mathbb{R}^3; \mathbb{R}^3) \} / \nabla H^1_{loc}(\mathbb{R}^3)....
- 163
5
votes
1
answer
724
views
Embedding of a Banach space into a Hilbert space
Let $\mathbb H$ be a Hilbert space and let $\mathbb B$ be a Banach space continuously embedded in $\mathbb H$ and distinct from $\mathbb H$. Is it true in general that $\mathbb B$ is an $F_\sigma$ of ...
- 16.2k
3
votes
1
answer
178
views
Banach Mazur distance between the cube and the cross-polytope in the dimensions for which a Hadamard matrix exists
The Banach-Mazur distance between two centrally symmetric convex bodies $K,L\in\mathbb{R}^n$ can be defined as
$$ d(K,L) = \inf \{ r : \exists T\colon \mathbb{R}^n \to \mathbb{R}^n \text{ linear such ...
- 183
3
votes
1
answer
128
views
The weak*-convergence of the summing basis of $c_{0}$
Suppose that $(x_{n})_{n}$ is a sequence in a Banach space $X$. We let $\textrm{clust}_{X^{**}}((x_{n})_{n})$ be collection of all the weak*-limit points of $(x_{n})_{n}$ in $X^{**}$.
Let $(e_{n})_{n}$...
- 3,343
1
vote
1
answer
144
views
What's the size of non standard monad for weak topology?
There have been several works characterizing weak topology by nonstandard analysis, which give rise to the following monad ($X$ is a Hilbert space):
$$\mu(0) = \{y\in{}^{*}X: \forall x\in X ~~ \...
- 75
2
votes
1
answer
247
views
Is the union of good equivalence relations on a compact space good?
Let $X$, $Y_1$ and $Y_2$ be a compact Hausdorff spaces and let $\varphi_i:X\to Y_i$ be a continuous surjection (and so a quotient map).
Let $\sim$ be the minimal closed equivalence relation on $X$ ...
- 5,529
10
votes
1
answer
509
views
A quantity measuring the separability of Banach spaces
Let $X$ be a Banach space. It is natural for us to introduce a quantity measuring the separability of sets as follows: for a subset $A$ of $X$, we set
$\textrm{sep}(A)=\inf\{\epsilon>0: A\subseteq ...
- 3,343
30
votes
1
answer
1k
views
Functional-analytic proof of the existence of non-symmetric random variables with vanishing odd moments
It is known that a random variable $X$ which is symmetric about $0$ (i.e $X$ and $-X$ have the same distribution) must have all its odd moments (when they exist!) equal to zero. The converse is a ...
- 6,853
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
1
vote
1
answer
171
views
$l_{1}$-block basic sequences in Banach spaces with an unconditional basis
Let $X$ be a Banach space with an unconditional basis $(x_{n})_{n}$.
Question. If $X$ contains a subspace isomorphic to $l_{1}$, does $(x_{n})_{n}$ admit a block basic sequence equivalent to the unit ...
- 3,343
4
votes
1
answer
566
views
Fréchet vs. Carathéodory differentiability on Banach spaces
It is well-known that in the finite-dimensional case one can use the notion of Fréchet differentiability and Carathéodory differentiability interchangeably. See for example the 194 AMM article Frechet ...
- 548
3
votes
0
answers
245
views
Regularity of the dependence of the flow on the vector field definining it
Let $M$ be a smooth compact manifold and $k \geqslant 1$.
Define $\mathfrak{X}^k(M,TM)$ to be the set of vector fields $M \rightarrow TM$ of class $C^k$. As $M$ is compact, endowing $\mathfrak{X}^k(M,...
0
votes
0
answers
168
views
Sequence of functions tending to zero in L^2
Let us consider a sequence of functions $f_n : (0,1)\times (0,1) \to \mathbb{R}$ in $L^2((0,1)\times (0,1))$ satisfying the following condition:
$$
\lim_{n \rightarrow \infty}\int_{1/j}^{1 - 1/j}\...
- 29
2
votes
0
answers
62
views
Decomposition of the Orlicz norm into sequential norm
I am bearing seeking for a sequential decomposition of the norm in Orlicz space.
Let me state what is known in the particular case of Lebesgue space $L^p(\Bbb R^d)$.
Given $u\in L^p(\Bbb R^d)$ let
$$n\...
- 1,101
2
votes
1
answer
133
views
Control on dimension of image
Let $f:E\rightarrow F$ be a map between Banach spaces E and F; E finite dimensional (>0) and F infinite dimensional. Let $F$ be equipped with its weak topology and suppose that $f$ is strong-weak ...
- 5,405
3
votes
1
answer
951
views
Specific criterion for the sum of two closed sets to be closed
Let $Y$ and $Z$ be two closed subspaces of a Banach space $X$ with $Y\cap Z=\{0\}$.
I know that $Y+Z$ is a closed subspace of $X$ $\iff \exists \alpha > 0:\quad \lVert y\rVert \le \alpha\lVert y+z\...
- 33
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
0
votes
0
answers
302
views
Convergence of characteristic functions vs. weak convergence of measures and the Ito-Nisio theorem
In section 2.6 of Linde's Probability in Banach Spaces: Stable and Infinitely Divisible Distributions the author is pointing out that in infinite-dimensional Banach spaces the convergence of ...
- 167
4
votes
2
answers
419
views
$C[0,1]$ is not a Grothendieck space
A Banach space $X$ is called a Grothendieck space if $\text{weak}^{*}$-null sequences in $X^{*}$ are weakly null. Some of the classical Grothendieck spaces are the $C(\Omega)$ spaces if $\Omega$ is ...
- 3,343
0
votes
1
answer
137
views
Lower semi-continuity of induced function on sequences
Let $f:X\rightarrow [0,\infty)$ be (resp. weakly) lower semi-continuous on the reflexive Banach space $X$. Let $\ell^p(X)$ denote the space of $p$-summable sequences in $X$, i.e.: $\sum_{n=1}^{\infty}...
- 5,405
12
votes
1
answer
467
views
Subtracting the weak limit reduces the norm in the limit
Question
Let $X$ be some reflexive Banach space. Suppose $x_n$ is some sequence in $X$ that weak converges to some $y \neq 0$. Is it the case that
$$ \limsup \|x_n - y\| < \limsup \|x_n\| ?$$
...
- 39k