Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.41758

Hereditary Approximation under Hilbertian Extension

Gang Cai·Qingjin Cheng·Longfa Sun·Yinghua Sun
View original source ↗Read source document ↗Export metadata ↓

Abstract

In this paper, we prove that if a Banach space $X$ has the hereditary approximation property, then $X\oplus_2 H$ has the hereditary approximation property for every Hilbert space $H$. This answers a question of Johnson and Szankowski. In addition, if $X$ is also reflexive, then every closed subspace of $X\oplus_2H$ has the metric approximation property. The proof uses Grothendieck's characterization of the approximation property, a factorization of nuclear operators through quotients of $X$, and a nuclear perturbation of the coordinate projection on a closed graph.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Gang Cai, Qingjin Cheng, Longfa Sun, Yinghua Sun. 2026-10-30. Hereditary Approximation under Hilbertian Extension. https://arxiv.org/abs/2610.41758

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

O-segments on topological measure spaces

Let $μ$ be a finite non-atomic measure on a set $X$. A \emph{segment} for $μ$ is an increasing family $u(t)$, $t\in[0,1]$, of measurable sets with $u(0)=\emptyset$, $u(1)=X$ and $μ(u(t))=t\,μ(X)$; by a theorem of Fryszkowski, finitely many measures $f\,dμ$ admit a common segment. We study \emph{open segments}, i.e.\ segments consisting of open sets, when $X$ carries a topology. We show that weak outer regularity of $μ$ is equivalent to the approximability of measurable sets by open sets, and that it holds for every finite Borel measure on a metrizable space. Our main result states that if $μ$ is finite, non-atomic and weakly outer regular, then for all $f,g\in L^1(μ)$ with $(\int f\,dμ,\int g\,dμ)\neq(0,0)$ there is a common open segment for $f\,dμ$ and $g\,dμ$; in particular, for every $f\in L^1(μ)$ there is an open segment for $μ$ which is simultaneously a segment for $f\,dμ$. Relative versions allow one to prescribe an initial set. We also characterize open segments as upper semicontinuous functions with uniform distribution and show that on separable metrizable spaces a single measure admits such a function which is continuous.

math.FA↗
arXiv2026

A Note On Majorizing Norms on Majorized Spaces

We introduce a new type of norm for ordered vector spaces majorized by a proper (convex) cone that generalizes the notions of order unit norm and base norm. Then we give sufficient conditions to ensure its completeness. In the case of normed Riesz spaces, we also present necessary completeness conditions and describe the completed norm. Finally, we define a particular family of well-behaving sets. Spaces majorized by the cone generated by these sets display surprisingly interesting structural properties. In particular, we generalize two famous standard results in Banach lattice theory. Namely, every principal ideal in a Banach lattice is an AM-space and every Banach lattice having a generating cone with a compact base admits an equivalent L-norm.

math.FA↗
arXiv2026

The Cesàro Operator, Rhaly operators, and the Toeplitz Algebra

Barr\'ıa and Halmos [\emph{Trans. Amer. Math. Soc.} (1982), (10) Example] asked whether the Cesàro operator belongs to the Toeplitz algebra. We answer this question affirmatively and prove that the Cesàro operator is the product of a Toeplitz operator and a continuous function of a self-adjoint Toeplitz operator. Rhaly operators are a natural generalization of the Cesàro operator. We give necessary and sufficient conditions for a Rhaly operator to belong to the Toeplitz algebra or the Hankel algebra. The main approach is to use the Fejér kernels to get localized estimates for operators. This yields a necessary condition for an operator to belong to the Hankel algebra. As an application, we find a class of Rhaly operators that are asymptotic Toeplitz operators and essentially commute with the unilateral shift, but are not in the Hankel algebra. This answers (17) Question in the same paper.

math.FA↗