All Questions
1,222 questions
0
votes
0
answers
92
views
Finding set of best approximations from a point in $c_0$ to its subspace
Given $X$=$c_0$, null sequence space with sup norm. Consider a subspace $Y$ of $c_0$ consisting of elements of $c_0$ as, $Y=\{x\in c_0 : x_{2i}=i.x_{2i-1}, i \geq 1\}$. I need to find the set of best ...
- 85
2
votes
2
answers
160
views
Schauder bases in Banach spaces with a symmetric $k$-FDD
The Kalton-Peck Banach space $Z_2$ (see Section 6 in this paper) does not admit an unconditional basis, but it admits an unconditional, even symmetric, FDD (finite dimensional decomposition) into ...
- 4,461
5
votes
0
answers
265
views
Automorphic Banach spaces
A Banach space $X$ is called automorphic if for every closed subspace $Y\subseteq X$ with $\dim X/Y=\infty$, every automorphism (= linear continuous isomorphism) of $Y$ can be extended to an ...
- 4,535
16
votes
6
answers
2k
views
Finding closed subspaces whose sum isn't closed
Let $V_0$ be a closed infinite-dimensional subspace of a Banach space $V$ such that the quotient $V/V_0$ is also infinite-dimensional. Is it always possible to find a closed subspace of $V$ whose sum ...
- 42.8k
5
votes
0
answers
204
views
Given a totally ordered system of Banach spaces, can we we always change the norms to get isometric embeddings?
Given a real vector space $V$ which is the union of a totally ordered family of vector subspaces $V=\bigcup_{i\in I} V_i$. By that I mean that we assume that $(I,\leq)$ is a totally ordered set and ...
- 609
2
votes
1
answer
296
views
An abstract characterisation of weak* topologies
Is there a way of endowing the unit ball $B_X$ of a Banach space $X$ (we may assume that $X$ is an AL space, if that helps) with a topology $\tau$, so that $\tau=\sigma(Y^*,Y)$ (the weak* topology) if ...
- 153
3
votes
0
answers
82
views
Making a space UMD via interpolation
Recall that a Banach space $B$ has Unconditional Martingale Difference (UMD-$p$) if there is a constant $C_p$ such that for every $B$-valued martingale difference sequences $(d_n)_n$ and choice of $\...
- 408
1
vote
1
answer
89
views
Does an isometric automorphism of $L_p (X,\mu, E)$ preserve pointwise convergence?
Let $(X, \mathcal A, \mu)$ be a $\sigma$-finite measure space and $(E, |\cdot|)$ a Banach space. Here we use the Bochner integral. Let $p \in [1, \infty)$ and $q \in (1, \infty]$ such that $p^{-1}+q^{-...
- 835
1
vote
0
answers
71
views
Lipschitz isomorphisms of $C(\omega^\omega+)$
Let $C(\omega^\omega+)$ denote the Banach space of continuous, scalar-valued functions defined on $\omega^\omega+=[0,\omega^\omega]$. Suppose that $X$ is a Banach space and $U:C(\omega^\omega+)\to X$ ...
- 81
8
votes
0
answers
135
views
A geometric intuition about convexifiability
I've come up with the following conjecture about convexifiability being determined by "important" sets in Banach spaces. To me, the conjecture looks quite innocuous and intuitive, but I'm ...
- 81
1
vote
1
answer
89
views
Representing an $L^2$-functional by a non-$L^2$-function on a dense subspace - Part II
This is a follow-up to this previous question, but under stronger assumptions.
Let $(X, \mu)$ be a (say, $\sigma$-finite) measure space, let $g \in L^2$ (say, over the real
scalar field). Let $\tilde ...
- 12.6k
0
votes
1
answer
124
views
If $H \in L_{q} (\mu, X^*)$ such that $\int \langle H, f \rangle \mathrm d \mu = 0$ for all $f \in L_{p}(\mu, X)$, then $H=0$ $\mu$-a.e
I'm reading Theorem 1 at page 98 of Vector Measures by Joseph Diestel, John Jerry Uhl. Here we use the Bochner integral.
Theorem 1 Let $(\Omega, \Sigma, \mu)$ be a $\sigma$-finite measure space, $1 \...
- 835
1
vote
1
answer
259
views
Finding the set of best approximation
Given $X$=$l^1$ and its dual space $X^*=l^\infty$. Now take $f=(1, 1/2, 2/3, 3/4,...) \in X^*$. Then clearly $\|f\|_\infty = 1$. I have found that $H=\ker f$ is a proximinal hyperplane in $X$.
Note: A ...
- 85
9
votes
1
answer
851
views
Banach space with uncountable basis
We know that an infinite dimensional Banach space has an uncountable Hamel basis. Now if $X$ is a vector space with an uncountable Hamel basis, does there exist a norm on $X$ for which $X$ is a Banach ...
- 585
7
votes
1
answer
737
views
Converse of closed graph theorem
Suppose $X$ is a normed linear space. If for every Banach space $Y$ and for every linear operator $T:X\to Y$, graph of $T$ is closed implies $T$ is continuous, then can we prove that $X$ is a Banach ...
- 585
0
votes
1
answer
292
views
Does $L_{p}(\mu, X)^*=L_{q} (\mu, X^*)$ hold for $\sigma$-finite measure spaces?
I'm reading Theorem 1 at page 98 of Vector Measures by Joseph Diestel, John Jerry Uhl.
THEOREM 1. Let $(\Omega, \Sigma, \mu)$ be a finite measure space, $1 \leq p<\infty$, and $X$ be a Banach ...
- 835
1
vote
1
answer
189
views
Complemented subspaces in a dual Banach space
Let $Y$ be a complemented subspace in a dual Banach space $X$. Is it true that $Y$ is itself isomorphic to a dual?
This is the case of a $w^*$-closed subspace $Y$, but a complemented subspace of $X^*...
- 60.5k
0
votes
1
answer
232
views
A generalization about the density of $\mathcal C_c(X, E)$ in $\mathcal L_p (X, \mu, E)$ when $E$ is a Banach space
Let $X$ be a metric space, $\mu$ a $\sigma$-finite non-negative Borel measure on $X$, and $(E, |\cdot|)$ a Banach space. Let $\mathcal L_p := \mathcal L_p (X, \mu, E)$ and $\|\cdot\|_{\mathcal L_p}$ ...
- 657
1
vote
1
answer
262
views
Is $L_p(X, \mu, E)$ uniformly convex for $p \in (1, \infty)$ if $E$ is a uniformly convex Banach space?
Let $(X, \Sigma, \mu)$ be a $\sigma$-finite complete measure space, $(E, |\cdot|)$ a Banach space, and $p \in (1, \infty)$. Let $L_p := L_p(X, \mu, E)$ be the Bochner space of all $\mu$-integrable ...
- 657
7
votes
1
answer
283
views
A characterization of Hilbert spaces by norm one projections
Suppose a (separable) Banach space $X$ has the following property: If $P:X\to X$ is a bounded projection different from $I$ such that $\|P\|=1$, then $\|I-P\|=1$. Does this imply that $X$ is a Hilbert ...
- 1,361
2
votes
0
answers
55
views
The initial sigma-algebra on the dual of a Banach lattice
Let $E$ be an AL space (i.e. a Banach lattice whose norm is additive on the positive cone $E_+$) that satisfies Mazur's condition (every sequentially weak$^*$-continuous functional on $E'$ is weak$^*$-...
- 153
3
votes
1
answer
181
views
General form of bounded linear functionals on Banach spaces
It is a famous result due to Riesz that every bounded linear functional $f$ on a Hilbert space $\mathcal{H}$ is of the form $f(x)=\langle x,z \rangle$ for a unique $z\in H$.
On p.188 of Introductory ...
- 709
0
votes
0
answers
65
views
Let $E$ be Banach, $\mu_n\to\mu$ weakly on a locally compact $X$, and $f \in C_b(X, E)$. Does $\int f\mathrm d\mu_n\to\int f\mathrm d\mu$ in norm?
Let
$X$ be a metric space,
$(E, |\cdot|)$ a Banach space
$\mathcal M(X)$ the space of all finite signed Borel measures on $X$,
$\mathcal C_b(X)$ be the space of real-valued bounded continuous ...
- 835
3
votes
3
answers
319
views
Do these properties characterize Hilbert spaces?
Suppose $X$ is a Banach space with the following property: For any $x\in X$ there exists a two dimensional subspace $E$ isometric with $l_2^2$ such that $x\in E$. Does this property characterize a (...
- 1,361
1
vote
1
answer
68
views
Is the Lorentz space $L_{W,1}(0,1)$ isomorphic to $L_1(0,1)$?
Let $W$ be a positive non-increasing continuous function on $(0,1]$ so
that $\lim_{t \rightarrow 0} W(t)=\infty$, $W(1)=1$ and $\int_0^1 W(t) dt =1$.
For $1 \leq p <\infty$, the Lorentz function ...
2
votes
1
answer
244
views
Can a weighted $\ell^p$ norm be bounded by an unweighted $\ell^q$ norm?
For any sequence $\omega\in[1, \infty)^{\mathbb{N}}$, define the weighted $\ell^p_\omega$-norm of the sequence $v$ by
$$\Vert v\Vert_{\ell^p_\omega} := \left(\sum_{k=1}^\infty \omega_k^p |v|_k^p\right)...
4
votes
0
answers
73
views
The embedding of a Banach lattice in an ultrapower
Given a Banach space $X$ and a non-trivial ultrafilter $\mathcal{U}$ on a set $I$, the ultrapower $X_\mathcal{U}$ is defined as the quotient of $\ell_\infty(I,X)$ by the closed subspace $N_\mathcal{U}(...
- 4,461
2
votes
1
answer
184
views
Example of a compact operator that is not uniformly continuous
I want to find a Banach space $E$ and a compact operator $K:[0,1]\times E \rightarrow E$ (that is, $K$ maps every bounded sequence onto a sequence that converges up to a subsequence) satisfying the ...
4
votes
1
answer
169
views
The complement of $L_1(0,1)$ in $L_1(0,1)^{**}$
Let $\mu$ be a finite measure, like the Lebesgue measure in $(0,1)$. It is well-known that $L_1(\mu)$ and its second dual $L_1(\mu)^{**}$ are Banach lattices, $L_1(\mu)$ is a projection band in $L_1(\...
- 4,461
13
votes
1
answer
401
views
Is there a reflexive Banach space whose ball is not the convex hull of its extreme points?
Let $X$ be a reflexive Banach space. Then the convex hull of the extreme points of the unit ball is weakly dense by the Krein-Milman theorem and Kakutani's theorem. My question is, if there is an ...
- 633
5
votes
1
answer
364
views
Isomorphic embedding of $l^n_{\infty}$ into $l_1^m$?
Given $n$, is there a $C(n)$-isomorphic embedding of $l^n_{\infty}$ into $l^m_1$ for sufficiently large $m$ and $C(n)<<\log(n)$?
For $n=2$ this can done with $m=2$. There are some results about $...
- 745
1
vote
0
answers
74
views
Multiple steps of the Gorelik principle
The following result is one of several non-linear Banach space theory results known as The Gorelik Principle. I am stating it here in a weaker form than what is in the literature, but the statement ...
- 81
5
votes
1
answer
386
views
Contact points for John's ellipsoid
Suppose $K$ is a centrally symmetric convex body in $\mathbb{R}^n$ and $E$ is the John's ellipsoid, the ellipsoid of maximal volume inside $K$.
If $E$ and $K$ have exactly $2n$ contact points, say $(\...
- 1,361
4
votes
1
answer
133
views
A $C^*$ algebraic analogy of the concept of complemented subspace in the particular case of $\ell^\infty$
Let $A$ be a $C^*$ algebra. A $C^*$ subalgebra $C\subset A$ is said to be $C^*$ algebraic complemented of $A$ if there exist a $C^*$ subalgebra $D\subset A$ with $A=C\oplus D$ and the obvios mapping $...
- 356
1
vote
1
answer
197
views
About the constructions of Tsirelson space
Let $T'$ be the Tsirelson space dual in the Figiel-Johson construction, and $B_{T'}$ the unit closed ball. Then, $B_{T'}$ satisfies the next properties:
(i) $B_{T'}\subset B_{l^\infty}.$ Each vector ...
- 203
0
votes
1
answer
278
views
A reproducing kernel Hilbert space
A functional Hilbert space $\mathscr H=\mathscr H(\Omega)$ is a Hilbert space of complex valued functions on a (nonempty) set $\Omega$, which has the property that point evaluations are continuous i.e....
- 1,154
8
votes
1
answer
446
views
Parallelogram law for vectors of equal length
Does the parallelogram law for vectors of equal length imply the full parallelogram law? That is,
if for all norm one vectors $x$ and $y$ in a Banach space $X$ it holds that $\lVert x-y\rVert^2+\lVert ...
- 1,361
4
votes
2
answers
339
views
A space isometric to $\ell_\infty^2$
Consider a norm on $\mathbb C^2$ as $\|(z_1,z_2)\|:=\max\{|z_1|,|z_2|,\frac{1}{\sqrt{2}}|z_1+iz_2|\}.$
Question. Is $(\mathbb C^2,\|.\|)$ linearly isometric to $(\mathbb C^2,\|.\|_{\infty})$ where $\|(...
- 1,879
7
votes
2
answers
248
views
Subspaces of $\ell_\infty^3$
Let $a,b\in\mathbb C$ be suc that $\max\{|a+b|,|a-b|\}\leq 1$ but $|a|+|b|>1.$ According to this paper by Arias, Figiel, Johnson and Schechtman https://www.jstor.org/stable/2155206?origin=crossref#...
- 1,879
2
votes
2
answers
297
views
When a quasinilpotent is nilpotent?
In the case of an infinite-dimensional complex banach space $X$,
under what conditions can a quasinilpotent operator $T\in B(X)$ be determined to be nilpotent?
- 65
0
votes
1
answer
269
views
Determine if an integral expression is in $L^2(\mathbb{R})$
Note: This is a simplified version of the following question. I did not get a full response and realized can make it simpler to have my main interrogation answered. I decided to write it as a ...
8
votes
1
answer
1k
views
Compactness of the unit ball of a Banach space for topologies finer than the weak* topology
Let $(\mathcal{X} , \|\cdot \|_\mathcal{X})$ be a Banach space and $\mathcal{X}'$ its topological dual. We denote by $\| \cdot \|_{\mathcal{X}'}$ the dual norm and define also the topological dual $\...
- 2,306
0
votes
0
answers
303
views
Is Baire's theorem stronger than needed for functional analysis?
Many classic theorems in functional analysis involve using Baire's theorem to prove facts about topology that relate to maps between Banach spaces (or, more generally, F-spaces). The application ...
- 109
2
votes
0
answers
76
views
Fractional integration in Orlicz spaces
I am reading the paper "Fractional integration in Orlicz spaces" by R. Sharpley.
And I would like to understand one question:
Let $A,B, C$ are Young's functions. The spaces $L_A, L_B$ are ...
- 343
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
2
votes
0
answers
140
views
Extracting block sequences from $\ell_p^n$-like sequences in isomorphic copies of $\ell_p$
One of the characterizing properties of the canonical bases of the $\ell_p/c_0$ spaces is their perfect homogeneity (Zippin), so that every normalized block sequence in these spaces behaves like the ...
- 81
1
vote
0
answers
99
views
Module homomorphisms modulo compact operators
Let $A$ be a Banach algebra. Let $L_a,R_a:A\to A$ denote the left/right multiplication operators $$L_ax = ax, \hspace{5mm} R_ax = xa$$ for all $a,x\in A$. Assume that no nonzero $L_a$ and $R_a$ is a ...
- 2,605
5
votes
1
answer
164
views
Quotients of $c_0$ that are complemented in $c_0$
Suppose $X$ is a closed subspace of $c_0$ with an unconditional basis and suppose also that it is a quotient of $c_0$. Is $X$ also a complemented subspace of $c_0$?
An affirmative answer implies that $...
- 1,073
1
vote
0
answers
97
views
Are Hölder functions between Banach spaces residual in the compact-open topology?
Let $X$ and $Y$ be Banach spaces and let $C(X,Y)$ be the set of continuous functions from $X$ to $Y$ equipped with the topology of uniform convergence on compact sets (i.e. the compact-open topology). ...
- 5,405
2
votes
0
answers
39
views
Example when Lorentz-Shimogaki condition satisfied with a specific Young's function
Let $\Psi(t)=\int_0^t\psi(s)$ be a Young's function. Then, $\Psi$ satisfies the Lorentz-Shimogaki condition if
$$
\int_0^{\infty}\frac{\Psi(st)}{v(t)^2}\psi(t)dt< \infty.
$$
Denote $\rho_{\Psi}=\...
- 343