English

A study on state spaces in classical Banach spaces

Functional Analysis 2025-09-17 v1

Abstract

Let XX be a real or complex Banach space. Let S(X)S(X) denote the unit sphere of XX. For xS(X)x\in S(X), let Sx={xS(X):x(x)=1}S_{x}=\{x^*\in S(X^*):x^*(x)=1\}. A lot of Banach space geometry can be determined by the `quantum' of the state space SxS_{x}. In this paper, we mainly study the norm compactness and weak compactness of the state space in the space of Bochner integrable function and c0c_{0}-direct sums of Banach spaces. Suppose XX is such that XX^* is separable and let μ\mu be the Lebesgue measure on [0,1][0,1]. For fL1(μ,X)f\in L^1(\mu,X), we demonstrate that if SfS_{f} is norm compact, then ff is a smooth point. When μ\mu is the discrete measure, we show that if (xi)S(1(X)) (x_i) \in S(\ell^{1}(X)) and xi0 \|x_{i}\|\neq 0 for all iNi\in{\mathbb{N}}, then S(xi) S_{(x_i)} is weakly compact in (X) \ell^\infty(X^*) if and only if Sxixi S_{\frac{x_i}{\|x_i\|}} is weakly compact in XX^* for each iNi\in{\mathbb{N}} and diam(Sxixi)0\text{diam}\left(S_{\frac{x_i}{\|x_i\|}}\right) \to 0 . For discrete c0c_{0}-sums, we show that for (xi)c0(X)(x_{i})\in c_{0}(X), S(xi)S_{(x_{i})} is weakly compact if and only if for each i0Ni_{0}\in \mathbb{N} such that xi0=1\|x_{i_{0}}\|=1, the state space Sxi0S_{x_{i_{0}}} is weakly compact.

Keywords

Cite

@article{arxiv.2509.12780,
  title  = {A study on state spaces in classical Banach spaces},
  author = {Soumitra Daptari and Saurabh Dwivedi},
  journal= {arXiv preprint arXiv:2509.12780},
  year   = {2025}
}

Comments

To appear in Colloquium Mathematicum

R2 v1 2026-07-01T05:38:36.392Z