Questions tagged [banach-spaces]
A Banach space is a complete normed vector space: A vector space equipped with a norm such that every Cauchy sequence converges.
1,591
questions
1
vote
1
answer
230
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 ...
- 647
7
votes
1
answer
223
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
1
answer
95
views
Differentiability of the fixed points of a family of contraction maps
Given a general Banach space $B$ and a one-parameter family of contractions $F_t:B\to B$ which is defined for all $t \in (a,b)$. $F_t$ depends continuously on $t$ (in the sense $\lim_{\varepsilon\to 0}...
- 121
2
votes
0
answers
52
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
161
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
64
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 ...
- 851
1
vote
1
answer
54
views
Are there some conditions on a metric space $X$ such that these two types of weak converge of finite signed Borel measures on $X$ are related?
Let
$X$ be a metric space,
$\mathcal M(X)$ the space of all finite signed Borel measures on $X$, and
$\mathcal C_b(X)$ be the space of real-valued bounded continuous functions on $X$.
Then $\mathcal ...
- 851
3
votes
1
answer
194
views
Riesz representation theorem for duals of spaces of continuously differentiable functions
Let $k$ be a positive integer. I am looking for a possibly exhaustive reference discussing representation of dual spaces of $C^k_b(\mathbb{R}^d)$, $C^k_0(\mathbb{R}^d)$, or at least $C^k(K)$ for ...
- 171
3
votes
3
answers
314
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
62
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
203
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)...
1
vote
0
answers
80
views
Holomorphic funtions in infinite dimensional Banach spaces
Let $f \in \mathcal{H}(U)$ a holomorphic function, where $U\subset X$ is an open balanced set in an infinite dimensional Banach space $X$, with power series around $0$
$$f=\sum_{n=0}^\infty P_n,$$
and ...
- 203
1
vote
0
answers
95
views
Seminorms ported by a compact
Let $X$ be a Banach space, and $U\subset X$ an open balanced set. A seminorm $\rho$ in $\mathcal{H}(U)$ is said to be ported by a compact $K\subset U$ if for all open set $V$ such as $K\subset V \...
- 203
4
votes
0
answers
67
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,301
2
votes
1
answer
157
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
159
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,301
13
votes
1
answer
387
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
276
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 $...
- 725
0
votes
1
answer
55
views
Get an estimate on $L^{2}(0,1)$ [closed]
Consider $f \in L^{2}(0,1)$ and $g \in L^{\infty}(0,1)$ such that
$ \text{lim} ~g(x) = 0 \ \ \text{when} \ \ x \to 0^{+};$
$g(x) > 0 \ \forall x \in (0,1)$;
$\text{lim}~\dfrac{g(x)}{x^{\alpha}} =...
1
vote
0
answers
65
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 ...
- 71
5
votes
1
answer
360
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
131
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 $...
- 312
1
vote
1
answer
185
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
1
vote
0
answers
75
views
Morphism in commutative square strict?
Let $G,H$ be topological groups and $f:G\rightarrow H$ a continuous group homomorphism.
Then $f$ is said to be strict if $G/\mathrm{Ker}(f) \cong \mathrm{Im}(f)$ is an isomorphism of topological ...
- 463
0
votes
1
answer
225
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
431
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
261
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,765
6
votes
1
answer
166
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,765
3
votes
0
answers
110
views
Isometric embeddings of $c_0$ into metric spaces
Are there any nice and useful criteria or theorems which assert when a given metric space $M$ contains an isometric (not necessarily linear) copy of the Banach space $c_0$ or its unit ball $B_{c_0}$? (...
- 1,153
2
votes
2
answers
269
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
2
votes
0
answers
80
views
The solid hull and weak*-closure in Banach lattices
Let $E$ be a Banach lattice. A subset $A$ of $E$ is called solid if $|x|\leq |y|$ for some $y\in A$ implies that $x\in A$. For a subset $A$ of $E$, the solid hull of $A$ is the smallest solid set ...
- 3,333
0
votes
1
answer
149
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 ...
7
votes
1
answer
920
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,174
0
votes
0
answers
245
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
73
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
55
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}$ ...
- 4,969
2
votes
0
answers
138
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 ...
- 71
1
vote
0
answers
98
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,263
5
votes
1
answer
154
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,063
1
vote
0
answers
73
views
Finite dimensional subspaces of L^p, entropy estimates
The following follows from Proposition 9.6 in Approximation of zonoids by zonotopes, Acta Math. 162 (1989), no. 1-2, 73–141, by Bourgain, J., Lindenstrauss, J., and Milman, V.
Let $X\subset L^1(\mu)$ ...
- 111
1
vote
0
answers
89
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). ...
- 4,969
2
votes
0
answers
38
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
3
votes
0
answers
75
views
Example of the bounded convolution operator when Sharpley's conditions does not hold
I am reading about Orlicz and Marcinkevich spaces, and wondering whether there is an example in which Sharpley's condition is not satisfied for a special bounded operator $T_k$ (see for reference ...
- 97
0
votes
3
answers
138
views
Weak*-null sequences in dual spaces
Let $(x_{n})_{n}$ be a sequence in a Banach space $X$. Assume that the set $\{x_{n}:n=1,2,\cdots\}$ is finite. Let $(f_{m})_{m}$ be a weak*-null sequence in $X^{*}$ satisfying the following conditions:...
- 3,333
0
votes
1
answer
303
views
Weakly null sequences in Banach spaces
Every weakly null sequence in a Banach space, as a subset, is clearly relatively weakly compact. To quantify the elementary fact, we need the following quantities:
$$\delta_{0}((x_{n})_{n}):=\sup_{x^{*...
- 3,333
4
votes
1
answer
228
views
Boundedly complete bases
Let us recall that a basis $(x_{n})_{n}$ for a Banach space $X$ is boundedly complete if for every scalar sequence $(a_{n})_{n}$ with $\sup\limits_{n}\|\sum\limits_{i=1}^{n}a_{i}x_{i}\|<\infty$, ...
- 3,333
0
votes
0
answers
36
views
Regarding significance of spectral variation under algebraic operations
I have been reading the paper Determining elements in $C^∗$-algebras through spectral properties.
The paper discusses about what would be the relation be between two elements $a$ and $b$ of a Banach ...
- 27
1
vote
0
answers
82
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,765
4
votes
1
answer
311
views
Why is it difficult to define a direct integral of Banach spaces or Banach algebras?
In the relevant Wikipedia entry, I can read about how to define a direct integral on Hilbert spaces and Von-Neumann algebras.
Suppose that I want to define a direct integral on either Banach spaces or ...
3
votes
0
answers
222
views
Complex Hölder space
I already posted this question on math.stackexchange, but got no response and was suggested to post it here.
I came across a space in an ergodic theory paper, which I am calling here a (complex) ...
- 118