pith. sign in

arxiv: 2604.14068 · v1 · submitted 2026-04-15 · 🧮 math.FA

A study on coreflexive Banach Spaces

S. Dwivedi This is my paper

Pith reviewed 2026-05-10 11:57 UTC · model grok-4.3

classification 🧮 math.FA
keywords coreflexive Banach spacesseparable subspacesweak-star sequential densitybidual quotientBochner integrable functionsquasi-reflexive spacesell-p sums
0
0 comments X

The pith

A Banach space is coreflexive precisely when every separable subspace is coreflexive, provided the space is weak-star sequentially dense in its bidual.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper studies coreflexive Banach spaces, which are non-reflexive spaces where the quotient of the bidual by the space is reflexive. It shows that under weak-star sequential density in the bidual, the coreflexive property holds for the entire space exactly when it holds for every separable subspace. The work further establishes that coreflexive spaces are stable under ell-p direct sums for 1 less than p less than infinity and that Bochner p-integrable function spaces over such spaces remain coreflexive when the quotient is separable. An alternative proof is supplied for the persistence of weak pointwise continuity properties of the unit ball through higher even-order duals in quasi-reflexive spaces. A sympathetic reader would care because the characterization reduces verification of the property to the separable case, which is often more tractable.

Core claim

Coreflexive spaces are the non-reflexive Banach spaces X for which the quotient X**/X is reflexive. The main result states that if X is w*-sequentially dense in X**, then X is coreflexive if and only if every separable subspace Y of X is coreflexive. Coreflexive spaces are stable under ell^p-sums for 1 less than p less than infinity. When X is coreflexive and X**/X is separable, the Bochner space L^p(mu, X) is coreflexive for 1 less than p less than infinity. In a quasi-reflexive space X the weak pointwise continuity properties of the unit ball X_1 persist in the unit balls of all higher even-order duals.

What carries the argument

Coreflexive Banach space, the property that the quotient X**/X is reflexive for non-reflexive X, which is shown equivalent to the same property on all separable subspaces when X is w*-sequentially dense in X**.

If this is right

  • If X is w*-sequentially dense in X** and some separable subspace fails to be coreflexive, then X itself is not coreflexive.
  • ell^p direct sums of coreflexive spaces remain coreflexive when 1 less than p less than infinity.
  • If X is coreflexive with separable X**/X then L^p(mu, X) is coreflexive for 1 less than p less than infinity.
  • Weak pointwise continuity properties of the unit ball persist from a quasi-reflexive space into the unit balls of its even-order duals.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The equivalence reduces the task of checking coreflexiveness in non-separable spaces to their separable subspaces under the density condition.
  • Stability under ell-p sums and passage to Bochner spaces supplies a route to constructing new coreflexive spaces from known separable examples.
  • The alternative proof for persistence in higher duals of quasi-reflexive spaces provides an independent route to arguments involving iterated dual balls.

Load-bearing premise

The space X must be weak-star sequentially dense in its bidual X** for the coreflexive property to be equivalent to the same property holding on every separable subspace.

What would settle it

A Banach space X that is weak-star sequentially dense in its bidual X**, is coreflexive, yet contains a separable subspace that fails to be coreflexive would disprove the claimed equivalence.

read the original abstract

In this paper, we study non-reflexive Banach spaces $X$ for which the quotient space $X^{**}/X$ is reflexive. Such spaces were first introduced by James R.~Clark, where they were called coreflexive spaces. We show that a space $X$ is coreflexive if and only if every separable subspace $Y\subseteq X$ is coreflexive, provided that $X$ is w$^*$-sequently dense in its bidual $X^{**}$. We show that coreflexive spaces are stable under $\ell^{p}$-sum for $1<p<\infty$. We show that if $X$ is a coreflexive space such that $X^{**}/X$ is separable, then the space of Bochner $p$-integrable functions, $L^{p}(\mu,X)$ is coreflexive for $1<p<\infty$. We conclude by providing an alternative proof of the fact, in a quasi-reflexive space $X$, w-PC's of the unit ball $X_{1}$ continue to have the same property in all the higher even-order dual unit balls of $X$.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper studies coreflexive Banach spaces, i.e., non-reflexive spaces X such that the quotient X**/X is reflexive (following Clark). It proves that, when X is w*-sequentially dense in X**, X is coreflexive if and only if every separable subspace Y of X is coreflexive. Further results establish stability of coreflexivity under ℓ^p-direct sums (1 < p < ∞), inheritance by Bochner spaces L^p(μ, X) when X**/X is separable (1 < p < ∞), and an alternative proof that weakly precompact subsets of the unit ball remain weakly precompact in all higher even-order dual unit balls for quasi-reflexive X.

Significance. If the arguments are correct, the work supplies a separable-subspace characterization of coreflexivity under a natural density hypothesis, together with standard but useful preservation results under ℓ^p-sums and Bochner integration. The alternative argument for the quasi-reflexive w-PC property may streamline existing proofs. These contributions clarify the position of coreflexive spaces within the hierarchy of Banach spaces between reflexive and non-reflexive ones.

minor comments (3)
  1. Abstract, line 3: 'w$^*$-sequently dense' is evidently a typographical error and should read 'w*-sequentially dense' (the same phrase recurs in the main text).
  2. The manuscript would benefit from an explicit statement, early in the introduction or §2, of whether reflexive spaces are regarded as coreflexive or excluded by definition; the equivalence theorem should then note how the density hypothesis interacts with the reflexive case.
  3. The stability theorems for ℓ^p-sums and Bochner spaces are stated for 1 < p < ∞; a brief remark on the failure (or open status) of the p = 1 and p = ∞ cases would clarify the scope.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful summary of our work on coreflexive Banach spaces and for recommending minor revision. We are pleased that the referee views the separable-subspace characterization, stability results, and alternative proof as useful clarifications within the hierarchy of Banach spaces.

Circularity Check

0 steps flagged

No significant circularity; derivations follow from standard definitions and assumptions

full rationale

The paper defines coreflexive spaces via the reflexivity of X**/X and proves a conditional equivalence (X coreflexive iff every separable subspace is, under w*-sequential density in X**) whose 'only if' direction is immediate from the definition while the 'if' direction explicitly invokes the given density hypothesis without reducing it to a fitted parameter or self-referential construction. Stability under ℓ^p-sums, Bochner-space inheritance when X**/X is separable, and the quasi-reflexive w-PC preservation are standard preservation arguments that follow once the definition and hypothesis are fixed; no self-citations are load-bearing, no ansatzes are smuggled, and no renaming of known results occurs. The derivation chain is self-contained against external benchmarks in Banach space theory.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Relies entirely on classical axioms of Banach space theory (completeness, dual pairings, quotient norms) without introducing free parameters, new entities, or ad-hoc assumptions beyond the stated w*-density condition.

axioms (1)
  • standard math Standard axioms of normed spaces, duals, and quotients including the canonical embedding into the bidual.
    Invoked throughout for definitions of reflexivity, coreflexivity, and separability.

pith-pipeline@v0.9.0 · 5494 in / 1220 out tokens · 35530 ms · 2026-05-10T11:57:32.977974+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [1]

    Coreflexive and somewhat reflexive Banach spaces.” Proceed- ings of the American Mathematical Society 36.2 (1972): 421-427

    Clark, James R. Coreflexive and somewhat reflexive Banach spaces.” Proceed- ings of the American Mathematical Society 36.2 (1972): 421-427

    work page 1972

  2. [2]

    J. M. F. Castillo and M. Gonz´ alez,Three-space Problems in Banach Space Theory, Springer, Berlin, 1997

    work page 1997

  3. [3]

    Civin and B

    P. Civin and B. Yood, Quasi-reflexive spaces,Proc. Amer. Math. Soc.8(1957), 906–911

    work page 1957

  4. [4]

    Daptari, V

    S. Daptari, V. Montesinos and T. S. S. R. K. Rao, A study of weak∗-weak points of continuity in the unit ball of dual spaces,Rev. R. Acad. Cienc. Exactas F´ ıs. Nat. Ser. A Mat.119(2025), 82

    work page 2025

  5. [5]

    W. J. Davis, T. Figiel, W. B. Johnson and A. Pe lczy´ nski, Factoring weakly compact operators,J. Funct. Anal.17(1974), 311–327

    work page 1974

  6. [6]

    Diestel and J

    J. Diestel and J. J. Uhl Jr.,Vector Measures, Math. Surveys15, Amer. Math. Soc., Providence, RI, 1977

    work page 1977

  7. [7]

    R. B. Holmes,Geometric Functional Analysis and Its Applications, Grad. Texts in Math.24, Springer, New York-Heidelberg, 1975

    work page 1975

  8. [8]

    Hu and B.-L

    Z. Hu and B.-L. Lin, RNP and CPCP in Lebesgue-Bochner function spaces, Illinois J. Math.37(1993), 329–347

    work page 1993

  9. [9]

    Rudin,Functional Analysis, 2nd ed., Int

    W. Rudin,Functional Analysis, 2nd ed., Int. Ser. Pure Appl. Math., McGraw- Hill, New York, 1991

    work page 1991

  10. [10]

    Daptari, T

    S. Daptari, T. Paul and T. S. S. R. K. Rao, Stability of unique Hahn–Banach extensions and associated linear projections,Linear Multilinear Algebra(2021)

    work page 2021

  11. [11]

    S. M. Srivastava,A Course on Borel Sets, Grad. Texts in Math.180, Springer, New York, 1998

    work page 1998

  12. [12]

    Valdivia, On a class of Banach spaces,Studia Math.60(1977), 11–13

    M. Valdivia, On a class of Banach spaces,Studia Math.60(1977), 11–13. Shiv Nadar Institution of Eminence. Gautam Buddha Nagar Delhi NCR, Uttar Pradesh-201314, India Email address:sd605@snu.edu.in, saurabhdewedi876@gmail.com

    work page 1977