All Questions
1,222 questions
6
votes
1
answer
290
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,075
7
votes
0
answers
294
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 ...
- 175
7
votes
2
answers
345
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 ...
- 60.5k
2
votes
0
answers
88
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
201
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
76
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,...
- 115
5
votes
1
answer
188
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
55
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{\...
- 85
2
votes
1
answer
232
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,461
1
vote
0
answers
56
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} \...
- 85
2
votes
1
answer
213
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$ ...
- 843
2
votes
1
answer
154
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 ...
- 835
1
vote
1
answer
83
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,...
- 85
6
votes
2
answers
290
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 ...
- 3,477
4
votes
0
answers
73
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^\...
- 938
2
votes
1
answer
172
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, ...
- 85
4
votes
0
answers
116
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,605
4
votes
1
answer
175
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
899
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
78
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
4
votes
0
answers
149
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,605
7
votes
3
answers
909
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
1
vote
0
answers
80
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 ...
- 2,830
2
votes
1
answer
93
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
146
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 ...
- 307
1
vote
1
answer
295
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
260
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,461
0
votes
1
answer
242
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
94
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
115
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
343
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
145
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: ...
- 141
3
votes
1
answer
161
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,529
2
votes
0
answers
98
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
179
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
5
votes
1
answer
561
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 ...
- 79
1
vote
1
answer
133
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) ...
- 85
5
votes
1
answer
221
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 ...
- 6,406
2
votes
1
answer
225
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 ...
- 307
1
vote
1
answer
310
views
Weak convergence in $H^{1}$ implies different convergence in $L^{p}$?
Suppose I have a sequence $\{f_{n}\}_{n\in \mathbb{N}} \subset H^{1}(\mathbb{R}^{d})$ which converges weakly to $f$ in $H^{1}(\mathbb{R}^{d})$, in the sense that $\langle f_{n},\varphi \rangle_{L^{2}}+...
0
votes
0
answers
80
views
Continuity of linear map on tensor product spaces with different norm properties
I originally asked this question on StackExchange, but I think that it may be more suitable to here.
Let $V$ and $U$ be Banach spaces. I'm considering a linear map $\phi: V \rightarrow U$, and ...
- 177
3
votes
1
answer
298
views
Pointwise convergence and disjoint sequences in $C(K)$
Let $K$ be a Hausdorff compact space and let $C(K)$ be the space of continuous real-valued functions on $K$. A sequence $(h_n)$ in $C(K)$ is called almost disjoint if there is a sequence $(g_n)$ with ...
- 5,529
2
votes
0
answers
78
views
Analogy between quasi-injective modules & extensible Banach spaces
Let $X$ be a module. $X$ is said to be quasi-injective if every homomorphism $h:A\to X$ from any submodule $A\subseteq X$ has an extension to an endomorphism $\tilde{h}:X\to X$.
A module $X$ is quasi-...
- 2,605
0
votes
0
answers
137
views
Convexity of an equivalent norm
Let $X=l_2$ with usual norm $\|\cdot\|_2$. We define a subspace of $X$ as $D=conv (B_{l_2} \cup B),$ where $B = \{ (x_n) \in l_2 : \sum_{n=1}^\infty \frac{n}{2} x_n^2 \leq 1\}$, conv is the convex ...
- 85
0
votes
0
answers
56
views
Zero flux along lines
I am considering the $L^1$ ball in $\mathbb{R}^d$, and a conservative vector field $V$ on it, which arises as the gradient of a bounded, almost-everywhere Lipchitz-function. Denoting by $e_i$ as the i’...
- 232
2
votes
1
answer
151
views
Distance between convex hulls in a bounded closed convex set
Let $X$ be an infinite-dimensional Banach space and $C\subseteq X$ be a bounded closed convex subset. Let $\{z_i\}_{i\in\mathbb{N}}$ be a sequence of linearly independent points in $C$ and for each $n\...
- 307
4
votes
0
answers
145
views
Infinite dimensional homology theory for submanifolds of Hilbert and Banach spaces
Is there a version of homology theory for spaces for which explicitly infinite dimensional "cells" are allowed?
The spaces in question include e.g.
\begin{equation}
X = (x: x \in l_2: p_i(x) ...
- 593
1
vote
0
answers
73
views
Is $L^p_\text{loc} (Y)$ dense in $(L^0(Y), \hat \rho)$?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(Y, \...
- 657
1
vote
0
answers
50
views
Is there $r>0$ such that the norm $[f]_r:=\sup_{n \ge 1} \|1_{B(y_n, r)} f\|_{L^p}$ is equivalent to $\|f \|:=\sup_{y \in Y}\|1_{B(y,1)}f\|_{L^p}$?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(E, |\...
- 657
0
votes
0
answers
47
views
Is the embedding $i: (L^p_\text{loc} (Y), \| \cdot \|_{L^p_\text{loc}}) \to (L^0(Y), \hat \rho)$ continuous or Borel measurable?
Below we use Bochner measurability and Bochner integral. Let
$(Y, d)$ be a separable metric space,
$\mathcal B$ Borel $\sigma$-algebra of $Y$,
$\nu$ a $\sigma$-finite Borel measure on $Y$,
$(Y, \...
- 657