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.

Filter by
Sorted by
Tagged with
2 votes
1 answer
185 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 ...
15 votes
2 answers
671 views

On sums of independent random variables in Banach spaces

Let $(\xi_n)_{n\ge 1}$, $(\eta_n)_{n\ge 1}$ be independent mean-zero random variables with values in a Banach space $X$ such that $$\sum_n\mathbb P(\xi_n\in A)\le\sum_n\mathbb P(\eta_n\in A)$$for any ...
7 votes
2 answers
277 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 ...
2 votes
0 answers
64 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$ ...
-3 votes
1 answer
60 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,...
5 votes
1 answer
174 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 ...
3 votes
2 answers
900 views

Extensions of Urysohn's inequality

A version of Urysohn's inequality states that for a symmetric convex body $K \subset \mathbb{R}^n$, one has $$ \left(\frac{\text{vol}(K)}{\text{vol}(B_2)} \right)^{1/n} \le \frac{1}{\sqrt{n}} E \; \| ...
5 votes
1 answer
663 views

Is any order bounded continuous linear functionals a difference of positive continuous functionals?

Let $B$ be a Banach space and $K$ a closed proper cone in $B$ such that the induced partial order makes $B$ a vector lattice. Let $K'=\{x^*\in B':\langle x^*, x\rangle\geq 0\ \forall x\in K\}$ the ...
0 votes
0 answers
46 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{\...
2 votes
1 answer
382 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^*$ ...
2 votes
1 answer
210 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
209 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 ...
2 votes
1 answer
130 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$ ...
5 votes
0 answers
821 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,\...
1 vote
0 answers
53 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} \...
2 votes
1 answer
145 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 ...
6 votes
2 answers
249 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 ...
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,...
4 votes
0 answers
58 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^\...
4 votes
1 answer
167 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$ ...
4 votes
0 answers
104 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 votes
1 answer
158 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, ...
2 votes
2 answers
139 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 ...
6 votes
2 answers
212 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
139 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 votes
0 answers
75 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, $(...
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 ...
2 votes
1 answer
232 views

"Compactness in measure" in function spaces

In Chapter 4.9 of the book "Measures of noncompactness and condensing operators" (Vol. 55 of *Operator theory: advances and applications), the authors mention the property "compactness ...
7 votes
1 answer
483 views

Reference Request: Arzelà-Ascoli for Hölder norm

I'm studying the Banach Space of Hölder continuous functions $f:[0,1]\to\mathbb{R}^{+}$ with a parameter $\alpha$. In this space, I consider the usual Hölder norm $\|\cdot\|_\alpha$ and I'm looking ...
7 votes
3 answers
869 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 ...
9 votes
1 answer
457 views

Uniqueness up to isometric isomorphism of predual of $(\sum_{\lambda\in\Lambda} H_\lambda)_{l_\infty}$ where $H_\lambda$ are Hilbert spaces

This fact is an easy consequence of results of the paper Classes of Banach spaces with unique isometric preduals. by Leon Brown and Takashi Ito, but it looks like an overkill. Does anyone know a ...
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!
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 ...
4 votes
1 answer
197 views

Reference for Chebyshev centers

Today, I came across the concept of Chebyshev center twice. In particular, it is the key tool in the very elegant paper "A fixed point theorem for $L^1$ spaces" by Bader, Gelander and Monod. ...
9 votes
4 answers
3k views

Is the space of Radon measures a Polish space or at least separable?

Background: I work on a SPDE problem where in order to apply Prokhorov's theorem I need that some measure space is Polish space. And additionaly it would be good if that space is Banach space. Earlier ...
11 votes
0 answers
243 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\...
0 votes
1 answer
156 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 ...
1 vote
1 answer
819 views

Does weak-* convergence in $W^{1,\infty}$ imply weak-* convergence in $L^\infty$?

Let $\Omega \subset \mathbb{R}^n$ be open and bounded. What does weak-* convergence for a sequence of functions $\{f_k\}_{k \in \mathbb{N}}$ in $W^{1,\infty}(\Omega)$ mean? It seems to me that there ...
2 votes
2 answers
266 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?
0 votes
0 answers
135 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 ...
2 votes
1 answer
86 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 ...
1 vote
1 answer
248 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 ...
4 votes
0 answers
248 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 ...
0 votes
1 answer
113 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 ...
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)$ ...
1 vote
1 answer
158 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 ...
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) ...
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} \...
1 vote
1 answer
182 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 ...
0 votes
0 answers
130 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: ...

1
2 3 4 5
32