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
2
votes
1
answer
74
views
Subspaces of $C_0$ on which $p$-norm are equivalent?
I have a question concerning the generalization of the following fact.
Let $E = C^0([0,1],\mathbb{R})$ endowed with the $\|.\|_\infty$ norm. One can show that if $F$ is a subspace of $E$ for which ...
- 63
6
votes
1
answer
198
views
Analytic maps on Banach spaces: analyticity upgrade
Consider the following problem.
Let $E,F,G$ be real or complex Banach spaces, such that $F\subset G$ with continuous embedding. Let $U\subset E$ an open set and
$$ f:U\to G $$
an analytic map, such ...
- 1,055
2
votes
1
answer
191
views
Trying to undertand the proof of Pelczynski decomposition
I am following Albiac and Kalton's book Topics in Banach Space Theory. Theorem 2.2.3 is Pelczynski Decomposition: let $X$ and $Y$ be Banach spaces. Suppose that $X$ is isomorphic to a complemented ...
- 515
6
votes
0
answers
241
views
Applications of Banach space homology
There is a well-developed theory of Banach space homology. What are some of its useful applications to Banach space theory and which important questions can one answer using it? In other words, how ...
- 249
7
votes
2
answers
300
views
Integral means vs infinite convex combinations
Let $(X,\mathcal A, \mu)$ be a probability space, $\mathbb E$ a Banach space, and $f:X\to\mathbb E$ a Bochner integrable function.
Does there exist a sequence $(x_k)_{k\ge 1} $ in $X$, and a ...
- 56.6k
2
votes
0
answers
70
views
An example of an $\mathcal{L}_\infty$ Banach space with property p-(V) and without property (V)
Here are the definitions for property $p$-$(V)$ and property $(V)$.
A Banach space $X$ has property $(V)$ if and only if every unconditionally converging operator $T$ from $X$ to any Banach space $Y$ ...
2
votes
1
answer
193
views
Combination of simple tensors - II
This is a follow-up question to Combination of simple tensors.
I am interested in devising an alternative norm (I mean, other than the usual $\pi$ or $\epsilon$ norms) in the tensor product of two ...
-3
votes
1
answer
63
views
Minimal norm problem with linear combination of translation operator to be estimated
Follow up question from this one
Suppose $X = L^2(G)$, where $G$ is some locally compact group. Let $x, y \in G$ I for fixed $n$ I am seeking for an operator $H \in B(X)$ of the form
$$
H = H(\alpha_1,...
- 103
5
votes
1
answer
181
views
On a property for normed spaces
I asked this question on Math Stackexchange, but I didn't get an answer:
https://math.stackexchange.com/questions/4881155/on-a-property-for-normed-spaces?noredirect=1#comment10410489_4881155
I came ...
- 1,361
0
votes
0
answers
47
views
Strong sub-differentiability of an equivalent strictly convex norm
First, we define the notion of strong sub-differentiability(SSD) of a norm on a Banach space $X$. The norm $\Vert \cdot \Vert$ of $X$ is said to be SSD if the one-sided limit $$\lim_{t \to 0+} \frac{\...
- 75
2
votes
1
answer
216
views
Combination of simple tensors
I aksed this question on Math Stack Exchange 6 days ago, with no answer: https://math.stackexchange.com/q/4875445/1297919
Let $X$ and $Y$ two Banach spaces and let $X\otimes Y$ their tensor product. ...
2
votes
1
answer
212
views
Banach spaces locally having a basis
The $\mathcal{L}_p$-spaces ($1\leq p \leq \infty$) are Banach spaces $X$ such that there exists a constant $\lambda$ so that every finite dimensional subspace $E$ of $X$ is contained in another ...
- 4,301
1
vote
0
answers
54
views
Convergence of slice in an equivalent renorming
Let us consider $\ell_2$ space with $\Vert \cdot \Vert_2$ norm. Let us define a new norm equivalent to $\Vert \cdot \Vert_2$ norm as follows:
$$
\Vert x \Vert_0 = \max \{ \Vert x \Vert_2, \sqrt{2} \...
- 75
2
votes
1
answer
136
views
Are projective tensor products left-exact if one considers only maps of norm at most 1?
Consider the category $\mathrm{Ban}$ of Banach spaces and bounded linear maps and the category $\mathrm{Ban}_1$ of Banach spaces and bounded linear maps of operator norm at most 1. Let $\otimes_\pi$ ...
- 833
2
votes
1
answer
146
views
Are these two norms on localized versions of $L^p_q$ equivalent?
$\newcommand{\RR}{\mathbb R}\newcommand{\diff}{\, \mathrm d}$ We fix $T \in (0, \infty)$ and $p, q \in [1, \infty)$. Let $\mathbb T$ be the interval $[0, T]$.
Let $E$ be the space of all real-valued ...
- 851
1
vote
1
answer
74
views
Convexity property of an equivalent norm on $\ell_2$
Let us consider the space $\ell_2$ with an equivalent norm defined by
$$
\Vert x \Vert = \max \{ \Vert x^{'} \Vert_2, \Vert x^{''} \Vert_2 \},
$$
where $x^{'}=(0, x_2, x_3, \cdots)$, $x^{''} = (x_1, 0,...
- 75
6
votes
2
answers
251
views
If a Banach / Fréchet manifold $M$ happens to be a topological vector space, is $M$ just a Banach / Fréchet space?
In finite dimensions, if $M$ is a smooth manifold that happens to be a vector space, then it is indeed just the Euclidean space.
I wonder if the same result holds valid in infinite dimensions. More ...
- 2,749
4
votes
0
answers
60
views
Find reasonable definition for endpoint Lorentz function spaces $L^{\infty,q}$ via the idea from endpoint Triebel-Lizorkin ${\scr F}_{\infty,q}^s$
On a measure space $(X,\mu)$, for $0<p,q<\infty$ the Lorentz space $L^{p,q}(\mu)$ is defined by $$\|f\|_{L^{p,q}(\mu)}:=p^\frac1q\|t\mu(|f|>t)^\frac1p\|_{L^q(\mathbb R_+,\frac{dt}t)}=p^\...
- 896
2
votes
1
answer
160
views
Does there exists an example of a Banach space that is compactly LUR; but not LUR
We know that a Banach space $X$ is locally uniformly rotund(LUR) if for $x, x_n \in S_X$ with $\Vert x+x_n \Vert \to 2$, we have $x_n \to x$. In the same case, if $(x_n)$ has a convergent subsequence, ...
- 75
4
votes
0
answers
106
views
Weakly null sequences in projective tensor products II
The question in this post is the question below from an article by Rodriguez & Rueda Zoca [1].
Below is a complimentary salad/side dish that accompanies the main course.
Let $B^2(X,Y)$ denote ...
- 2,263
4
votes
1
answer
168
views
Large JN-sets in Banach spaces
For every infinite-dimensional Banach space $X$ there is a weak*-null sequence in the unit sphere of $X^\ast$. Does this extend under suitable circumstances to the non-separable setting?
Say that $X$ ...
- 41
5
votes
0
answers
824
views
Is such a Banach space $X$ isometrically isomorphic to a Hilbert space or not?
Let $X$ be a real or complex Banach space. $X$ satisfies:There exists real or complex series $\{a_k\}_{k=1}^n,\{b_k\}_{k=1}^n$ (which satisfies that:$\begin{cases}
a_k,b_k\in \mathbb{R}\ \forall k=1,\...
- 181
2
votes
0
answers
76
views
Array-determined operator ideals
For a Banach space $X$, we, of course, know what it means for a sequence to be weakly null (to converge to zero in the weak topology).
An array in the Banach space $X$ is a sequence of sequences, $(...
- 121
1
vote
0
answers
143
views
Reconstructing the manifold from space of functions in quantum mechanics
Due to Banach–Mazur, every separable Banach space is isomorphic to a subspace of $C([0,1])$.
But some spaces, like $C([0,1]^n)$ and generally $C(M)$ for $M$ a manifold, allow one to reason about the ...
- 493
6
votes
2
answers
223
views
Taylor expansion theorem for Gateaux differentiable functions
I am having a hard time studying Gateaux derivatives (see https://en.wikipedia.org/wiki/Gateaux_derivative), it seems that every author mentions the concept but only as a cliffhanger to study Fréchet ...
4
votes
0
answers
141
views
Isomorphic copies of $c_0$ in the projective tensor products
There exist Banach spaces $X$ such that the projective tensor product $X\mathbin{\hat{\otimes}}_\pi X$ contains an isomorphic copy of $c_0$ [BourgainPisier1983]. Moreover, $X$ is an $\mathcal{L}_\...
- 2,263
7
votes
3
answers
873
views
Using the Stone-Weierstrass theorem to solve an integral limit
The following question was posted on math stack exchange here but it got no answers
Let $c\in (1, +\infty)$ and $f \colon [0, c] \to \mathbb{R}$ be a continuous and monotonically increasing function ...
- 331
0
votes
1
answer
164
views
Density of the set of convex polygons in the Banach-Mazur distance
Is the set of convex polygons dense in the set of convex domains in $\mathbb{R}^2$, for the Banach-Mazur distance?
Any insight for a negative or positive answer is very much welcome!
- 181
1
vote
0
answers
75
views
Weak$^\ast$ closure of a countably complete sublattice of the unit ball of $L^\infty(\Omega, \mu)$
This is a reframing of my previous question from a Banach lattice perspective: Does weak $L^2$ approximation implies $L^2$ approximation under a condition similar to convexity? The previous question ...
- 1,262
0
votes
1
answer
158
views
Differentiation of a norm
I am interested in determining whether the function $F:L^{\infty}(0,\infty;L^{\infty}(0,1)) \to \mathbb R$ defined by
$$u \mapsto F(u)=\int_0^\infty \int_0^1 u(x,t)^2 \ \mathrm dx \, \mathrm dt $$
is ...
- 55
2
votes
1
answer
88
views
Why do distributional isomorphisms preserve joint distribution?
Let $(\Omega,\mathcal{A},\mu)$ and $(\Omega',\mathcal{A}',\mu')$ be probability spaces and
$$f_1,\ldots,f_n:\Omega\to\mathbb R,\; f_1',\cdots, f_n':\Omega'\to\mathbb{R}$$
be integrable random ...
0
votes
0
answers
136
views
Non-degenerate representation of a Banach algebra
Let $\mathcal{A}$ be a non-reflexive Banach algebra. For the definition of Arens product, please refer to this link. Here we let $\square$ denote the first Arens product and $\diamond$ denote the ...
- 235
1
vote
1
answer
257
views
An example of non-invertible operator $F$ such that $P_nF$ is invertible on $\operatorname{Im}P_n$ or proving that It is impossible
Given:
$X$ - any Banach space
$F : X \to X$ (linear bounded and non-invertible)
$P_n$, which is projector that strongly converges to the identity operator $I$ as $n \to\infty$
Can you help me come ...
- 11
4
votes
0
answers
249
views
On the predual of the James tree space $\mathit{JT}$
$\newcommand\JT{\mathit{JT}}$The James tree space $\JT$ was the first example of a separable Banach space containing no copies of $\ell_1$ such that its dual space is non-separable. Since $\JT$ admits ...
- 4,301
0
votes
1
answer
123
views
When do the weak-star and compact convergence (compact-open) topology coincide on the dual of a Banach space?
In Measures Which Agree on Balls by Hoffmann-Jørgenson, it is claimed on page 323 that for an arbitrary Banach space $E$, if $\pi$ is the topology on $E^*$ of uniform convergence on compact subsets of ...
- 297
0
votes
0
answers
85
views
When can an affine functional on the dual be represented as an element of a Banach space?
In Measures Which Agree on Balls by Hoffmann-Jørgenson, we are given a functional $\varphi: T(x_0)\to (-\infty, \infty]$, which is a lower semicontinuous, affine, Baire function on a subspace $T(x_0)$ ...
- 297
1
vote
2
answers
111
views
Computation of tangent functional
In Measures Which Agree on Balls by Hoffmann-Jørgenson, the tangent functional is defined as follows.
If $x \in S$, we define the tangent functional $\tau(x,\cdot)$ at $x$ as
\begin{equation}
\...
- 297
1
vote
1
answer
188
views
Gateaux differentiability of the norm in Banach spaces
I'm struggling to understand a particular implication in the proof of Corollary 5 of this paper involving Gateaux differentiability of the norm. The claim is that Gateaux differentiability of the norm ...
- 297
0
votes
0
answers
131
views
$L_\infty([0,1], \mathbb{C})$ is it isomorphic to $\ell_\infty(\mathbb{N}, \mathbb{C})$?
By a result of Pełczyński, $L_\infty([0,1], \mathbb{R})$ is isomorphic to $\ell_\infty(\mathbb{N}, \mathbb{R})$. That is the case of real valued functions and sequences.
A natural question then is: ...
- 131
1
vote
1
answer
82
views
Potentially elementary question on affine functions on Banach spaces
In Measures Which Agree On Balls by Hoffmann-Jørgensen, it is claimed that the function defined on $T(x)$, the set of normals to the unit sphere at $x$, given by
$ \varphi(x^*) = \left\{
\begin{array}{...
- 297
3
votes
1
answer
156
views
Approximating continuous functions from $K\times L$ into $[0,1]$
Let $K$ and $L$ be compact Hausdorff spaces, let $f:K\times L\to [0,1]$ be continuous and let $\varepsilon>0$. Can we find continuous $g_{1},...,g_{n}:K\to[0,+\infty)$ and $h_{1},...,h_{n}:L\to[0,+\...
- 5,385
2
votes
0
answers
94
views
Geometric interpretation of uniform convexity condition
I first want to recall the moduli of uniform smoothness (US), uniform convexity (UC), asymptotic uniform smoothness (AUS), and asymptotic uniform convexity (AUC). Throughout, let $X$ be an infinite ...
- 41
1
vote
1
answer
159
views
Definition and properties of tangent functional
I am reading Measures Which Agree on Balls by Hoffmann-Jørgensen and I am somewhat confused. Here, $E$ is a Banach space, $S$ is the unit sphere, and $x \in S$.
We let $\tau(x, \cdot)$ denote the ...
- 297
13
votes
2
answers
706
views
Smooth Urysohn's lemma on Fréchet spaces
Let $V$ be a Fréchet topological vector space.
Let $K_0$ and $K_1$ be two closed subsets which are disjoint.
I wish to show the existence of a Fréchet-smooth function $f:V\to [0,1]$
whose restriction ...
- 42.5k
11
votes
0
answers
249
views
Continuous representations of topological groups on Banach spaces
Let $G$ be a topological group and let $\rho:G\rightarrow\text{GL}(V)$ be
a linear representation of $G$ on a Banach space $V$. The representation
is called strongly continuous if the map $g\mapsto\...
- 61
2
votes
1
answer
293
views
interiors of positive cones in ordered Banach spaces
I have a couple of questions about ordered Banach spaces and interiors of their positive cones. I would appreciate your insights and any recommended references.
I want to know several examples of ...
- 49
1
vote
1
answer
125
views
Smoothness of an equivalent norm
For an arbitrary set $\Gamma$, Day's norm on $c_0(\Gamma)$ is defined by
$$ \Vert x \Vert = \sup \bigg \{ \bigg ( \sum_{k=1}^n 4^{-k} x^2(\gamma_k) \bigg )^{\frac{1}{2}} : (\gamma_1, \cdots, \gamma_n) ...
- 75
5
votes
1
answer
182
views
Arens regularity of $\mathrm{BV}(\mathbb{R})$
$\DeclareMathOperator\BV{BV}$A Banach algebra $A$ is called Arens regular if the two canonical multiplications on the double dual $A^{**}$ coincide. Let $\BV(\mathbb{R})$ denote the Banach algebra of ...
- 5,795
1
vote
0
answers
176
views
Trans-universality for finite-dimensional Banach space
In addition to a specific problem Trans-universality for finitely generated groups, I posted also its general form. It should not hurt to provide another special case:
QUESTION: does there exist a ...
- 4,686
2
votes
1
answer
222
views
Boundary points in $\overline{\operatorname{conv}\{z_i\}_{i\in I}}$
Let $X$ be an infinitely-dimensional Banach space and $\{z_i\}_{i\in I}$ be a set of linearly independent points in $X_{\leq 1}$, the closed unit ball of $X$. $I$ the index set is not necessarily ...
- 235