On weak convergence in K\"{o}the-Bochner function spaces

Jos\'e Rodr\'iguez

arxiv: 2605.13240 · v1 · pith:AHIMJFC2new · submitted 2026-05-13 · 🧮 math.FA

On weak convergence in K\"{o}the-Bochner function spaces

Jos\'e Rodr\'iguez This is my paper

Pith reviewed 2026-05-14 19:10 UTC · model grok-4.3

classification 🧮 math.FA

keywords Köthe-Bochner function spacesRadon-Nikodým propertyJames boundaryweak convergenceorder continuous Banach spacesvector-valued function spaces

0 comments

The pith

If X* lacks the Radon-Nikodým property, the closed unit ball of E(X) is not a James boundary for E(X).

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

The paper establishes that for an order continuous Köthe function space E over a non-atomic probability measure, if the dual X* of a Banach space X fails to have the Radon-Nikodým property, then E(X) contains a bounded sequence that avoids weak nullness yet pairs to zero with all functionals from the embedded dual E*(X*). This shows that the unit ball of E*(X*) cannot serve as a James boundary. The finding generalizes an earlier result for L1 spaces and settles an open question from recent work on these spaces.

Core claim

If X^* fails the Radon-Nikodým property, then there is a bounded, non weakly null sequence (f_n) in E(X) such that ⟨ϕ,f_n⟩→0 for every ϕ∈E^*(X^*); in particular, the closed unit ball of E^*(X^*) is not a James boundary for E(X).

What carries the argument

The subspace embedding of E^*(X^*) into the dual of E(X), combined with sequences constructed from the failure of the Radon-Nikodým property in X^*.

If this is right

The unit ball of E^*(X^*) fails to be a James boundary whenever X^* lacks the Radon-Nikodým property.
Weak null sequences in E(X) require checking against a larger dual than just E^*(X^*).
This negative result applies to all such Köthe spaces E, not just L1.

Where Pith is reading between the lines

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

Similar constructions might apply to other vector-valued function spaces beyond Köthe-Bochner.
Testing the result on concrete spaces like Orlicz or Lorentz function spaces could reveal specific examples.
One could explore whether adding the Radon-Nikodým property to X restores the James boundary property.

Load-bearing premise

E is an order continuous Köthe function space over a non purely atomic probability measure.

What would settle it

Constructing an explicit bounded non-weakly-null sequence in E(X) for some X* without RNP where at least one functional from E*(X*) does not tend to zero in the pairing.

read the original abstract

Let $E$ be an order continuous K\"{o}the function space over a non purely atomic probability measure $\mu$ and let $X$ be a Banach space, with topological duals $E^*$ and $X^*$, respectively. Let $E(X)$ and $E^*(X^*)$ be the corresponding K\"{o}the-Bochner function spaces and consider $E^*(X^*)$ as a subspace of $E(X)^*$. We prove that if $X^*$ fails the Radon-Nikod\'{y}m property, then there is a bounded, non weakly null sequence $(f_n)$ in $E(X)$ such that $\langle \varphi,f_n\rangle \to 0$ for every $\varphi\in E^*(X^*)$; in particular, the closed unit ball of $E^*(X^*)$ is not a James boundary for $E(X)$. This extends a result by B. Cascales and A.J. Pallar\'{e}s [Collect. Math. 45 (1994), 263--270] on the case $E=L_1(\mu)$ and allows us to answer a question posed recently by S. Dwivedi [Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. RACSAM 120 (2026), 71].

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.

Desk Editor's Note private letter to a colleague

Rodríguez extends Cascales-Pallarés from L1 to general order-continuous Köthe spaces and answers Dwivedi, though the James-boundary step rests on a construction that needs checking for the uniform control.

read the letter

This paper settles Dwivedi's question by generalizing the Cascales-Pallarés theorem from the L1 case to arbitrary order-continuous Köthe function spaces over non-atomic measures. When X* fails the Radon-Nikodým property, it produces a bounded sequence in E(X) that is not weakly null but satisfies pointwise convergence to zero against every functional in E*(X*).

The construction uses the order continuity of E and the non-atomicity of μ to build the sequence in a standard way, without extra parameters or self-referential steps. That part reads cleanly and directly extends the earlier result while keeping the hypotheses minimal.

The soft spot is the jump to the claim that the unit ball of E*(X*) fails to be a James boundary. Pointwise annihilation on E*(X*) does not automatically force the sup over the unit ball to be strictly smaller than the norm of some vector in E(X). The sequence could have ||f_n|| bounded away from zero while the attaining functionals vary with n, so the seminorm induced by E*(X*) might not drop. The abstract does not spell out how the construction rules this out, and the stress-test note correctly flags the missing link. If the full argument uses the non-atomic measure to produce a single f where the sup is controlled, the claim holds; otherwise the boundary conclusion is weaker than stated.

This is incremental work aimed at people who already care about weak topologies in vector-valued Köthe spaces or James boundaries. A reader working on RNP-related questions in function spaces will get a direct answer to an open point. The citations are appropriate and the logic is not circular.

I would send it to peer review. The existence result is worth referee time even if the boundary phrasing needs a small fix.

Referee Report

1 major / 1 minor

Summary. The manuscript proves that if X^* fails the Radon-Nikodým property, then for an order continuous Köthe function space E over a non-purely atomic probability measure μ, there exists a bounded sequence (f_n) in the Köthe-Bochner space E(X) that fails to be weakly null, yet satisfies ⟨ϕ, f_n⟩ → 0 for every ϕ ∈ E^*(X^*) (viewed as a subspace of E(X)^*). In particular, the closed unit ball of E^*(X^*) is not a James boundary for E(X). The result extends the L_1(μ) case of Cascales-Pallarés and answers a question of Dwivedi.

Significance. If the central existence result and its consequences are fully established, the paper makes a substantive contribution by linking the failure of the Radon-Nikodým property in X^* to the failure of E^*(X^*) to serve as a James boundary for E(X). This generalizes a known L_1 result and resolves an explicit open question, with potential implications for the geometry of vector-valued Köthe spaces and weak topologies in Bochner spaces.

major comments (1)

[Abstract (main theorem statement)] Abstract (main theorem statement): the transition from the existence of a bounded non-weakly-null sequence (f_n) with ⟨ϕ, f_n⟩ → 0 for every fixed ϕ ∈ E^*(X^*) to the conclusion that the closed unit ball of E^*(X^*) is not a James boundary requires that sup_{||ϕ|| ≤ 1, ϕ ∈ E^*(X^*)} |⟨ϕ, f_n⟩| → 0. Pointwise convergence on E^*(X^*) does not automatically imply convergence of this supremum, since the nearly norm-attaining functionals may vary with n. The manuscript does not supply an additional argument (e.g., via reflexivity of E(X), weak compactness, or explicit control on the induced seminorm) that would close this gap while preserving ||f_n|| bounded away from zero. This step is load-bearing for the 'in particular' claim.

minor comments (1)

[Abstract] The opening sentence of the abstract and the hypotheses on E should be cross-referenced explicitly in the statement of the main theorem to avoid any ambiguity about the standing assumptions on μ and order continuity.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying the need for an explicit justification of the transition from pointwise convergence to the vanishing of the supremum in the main result. We address the comment below and will revise the paper to close the gap.

read point-by-point responses

Referee: Abstract (main theorem statement): the transition from the existence of a bounded non-weakly-null sequence (f_n) with ⟨ϕ, f_n⟩ → 0 for every fixed ϕ ∈ E^*(X^*) to the conclusion that the closed unit ball of E^*(X^*) is not a James boundary requires that sup_{||ϕ|| ≤ 1, ϕ ∈ E^*(X^*)} |⟨ϕ, f_n⟩| → 0. Pointwise convergence on E^*(X^*) does not automatically imply convergence of this supremum, since the nearly norm-attaining functionals may vary with n. The manuscript does not supply an additional argument (e.g., via reflexivity of E(X), weak compactness, or explicit control on the induced seminorm) that would close this gap while preserving ||f_n|| bounded away from zero. This step is load-bearing for the 'in particular' claim.

Authors: We agree that the current manuscript establishes the pointwise convergence ⟨ϕ, f_n⟩ → 0 but does not explicitly prove that the supremum over the unit ball of E^*(X^*) tends to zero. The construction in the proof of the main theorem (which lifts a sequence witnessing the failure of the Radon-Nikodým property in X^* to E(X) via the non-purely-atomic measure) can be used to obtain the stronger uniform control, but this step is not written out. In the revised version we will insert a short additional argument (or lemma) immediately after the construction, showing directly that lim sup_{||ϕ||≤1} |⟨ϕ, f_n⟩| = 0 while ||f_n|| remains bounded away from zero; this will be done by exploiting the order continuity of E together with the specific choice of the sequence and will not change the statement or the rest of the proof. revision: yes

Circularity Check

0 steps flagged

No circularity: direct existence proof independent of inputs

full rationale

The paper constructs a bounded non-weakly-null sequence in E(X) with pointwise annihilation by E*(X*) when X* lacks RNP, using order continuity of E and non-atomicity of μ. This does not reduce to self-definition or fitted predictions. It extends external results by Cascales-Pallarés without load-bearing self-citations. The derivation chain is self-contained against external benchmarks like RNP properties.

Axiom & Free-Parameter Ledger

0 free parameters · 3 axioms · 0 invented entities

The argument relies only on standard definitions and properties already established in Banach space theory; no new free parameters, ad-hoc constants, or postulated entities are introduced.

axioms (3)

domain assumption E is an order continuous Köthe function space
Invoked in the first sentence to guarantee the necessary lattice and continuity properties for the construction.
domain assumption μ is a non-purely-atomic probability measure
Required to produce the non-weakly-null sequence via non-atomicity.
standard math Standard definition and implications of the Radon-Nikodým property
Used to translate the failure of RNP into the existence of the desired sequence.

pith-pipeline@v0.9.0 · 5543 in / 1530 out tokens · 143119 ms · 2026-05-14T19:10:50.231645+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

[1]

P. A. H. Brooker,Non-Asplund Banach spaces and operators, J. Funct. Anal.273(2017), no. 12, 3831–3858

work page 2017
[2]

Cascales and A

B. Cascales and A. J. Pallar´ es,La propiedad de Radon-Nikodym en espacios de Banach duales, Collect. Math.45(1994), no. 3, 263–270

work page 1994
[3]

Diestel and J

J. Diestel and J. J. Uhl, Jr.,Vector measures, Mathematical Surveys, No. 15, American Mathematical Society, Providence, R.I., 1977

work page 1977
[4]

Dwivedi,Weak ∗-weak points of continuity on the state spaces, Rev

S. Dwivedi,Weak ∗-weak points of continuity on the state spaces, Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. RACSAM120(2026), no. 3, paper no. 71

work page 2026
[5]

G. A. Edgar,Asplund operators and a.e. convergence, J. Multivariate Anal.10(1980), no. 3, 460–466

work page 1980
[6]

Fabian, P

M. Fabian, P. Habala, P. H´ ajek, V. Montesinos, and V. Zizler,Banach space theory. The basis for linear and nonlinear analysis, CMS Books in Mathematics/Ouvrages de Math´ ematiques de la SMC, Springer, New York, 2011

work page 2011
[7]

D. H. Fremlin,Measure algebras, Handbook of Boolean algebras, Vol. 3, North-Holland, Amsterdam, 1989, pp. 877–980

work page 1989
[8]

D. H. Fremlin,Measure theory. Vol. 2. Broad foundations, Torres Fremlin, Colchester, 2003

work page 2003
[9]

Ghoussoub and P

N. Ghoussoub and P. Saab,Weak compactness in spaces of Bochner integrable functions and the Radon-Nikod´ ym property, Pacific J. Math.110(1984), no. 1, 65–70

work page 1984
[10]

H. E. Lacey,The isometric theory of classical Banach spaces, Die Grundlehren der mathe- matischen Wissenschaften, Band 208, Springer-Verlag, New York, 1974

work page 1974
[11]

Lin,K¨ othe-Bochner function spaces, Birkh¨ auser Boston Inc., Boston, MA, 2004

P.-K. Lin,K¨ othe-Bochner function spaces, Birkh¨ auser Boston Inc., Boston, MA, 2004

work page 2004
[12]

Lindenstrauss and L

J. Lindenstrauss and L. Tzafriri,Classical Banach spaces II. Function spaces, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 97, Springer-Verlag, Berlin, 1979

work page 1979
[13]

Nygaard,A remark on Rainwater’s theorem, Ann

O. Nygaard,A remark on Rainwater’s theorem, Ann. Math. Inform.32(2005), 125–127

work page 2005
[14]

Okada, W

S. Okada, W. J. Ricker, and E. A. S´ anchez P´ erez,Optimal domain and integral extension of operators. Acting in function spaces, Operator Theory: Advances and Applications, vol. 180, Birkh¨ auser Verlag, Basel, 2008

work page 2008
[15]

Rainwater,Weak convergence of bounded sequences, Proc

J. Rainwater,Weak convergence of bounded sequences, Proc. Amer. Math. Soc.14(1963), 999

work page 1963
[16]

Simons,A convergence theorem with boundary, Pacific J

S. Simons,A convergence theorem with boundary, Pacific J. Math.40(1972), 703–708. 10 JOS ´E RODR´IGUEZ

work page 1972
[17]

Stegall,The Radon-Nikodym property in conjugate Banach spaces, Trans

C. Stegall,The Radon-Nikodym property in conjugate Banach spaces, Trans. Amer. Math. Soc.206(1975), 213–223. Dpto. de Matem ´aticas, E.T.S. de Ingenier ´ıa Agron ´omica y de Montes y Biotec- nolog´ıa, Universidad de Castilla-La Mancha, 02071 Albacete, Spain Email address:jose.rodriguezruiz@uclm.es

work page 1975

[1] [1]

P. A. H. Brooker,Non-Asplund Banach spaces and operators, J. Funct. Anal.273(2017), no. 12, 3831–3858

work page 2017

[2] [2]

Cascales and A

B. Cascales and A. J. Pallar´ es,La propiedad de Radon-Nikodym en espacios de Banach duales, Collect. Math.45(1994), no. 3, 263–270

work page 1994

[3] [3]

Diestel and J

J. Diestel and J. J. Uhl, Jr.,Vector measures, Mathematical Surveys, No. 15, American Mathematical Society, Providence, R.I., 1977

work page 1977

[4] [4]

Dwivedi,Weak ∗-weak points of continuity on the state spaces, Rev

S. Dwivedi,Weak ∗-weak points of continuity on the state spaces, Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. RACSAM120(2026), no. 3, paper no. 71

work page 2026

[5] [5]

G. A. Edgar,Asplund operators and a.e. convergence, J. Multivariate Anal.10(1980), no. 3, 460–466

work page 1980

[6] [6]

Fabian, P

M. Fabian, P. Habala, P. H´ ajek, V. Montesinos, and V. Zizler,Banach space theory. The basis for linear and nonlinear analysis, CMS Books in Mathematics/Ouvrages de Math´ ematiques de la SMC, Springer, New York, 2011

work page 2011

[7] [7]

D. H. Fremlin,Measure algebras, Handbook of Boolean algebras, Vol. 3, North-Holland, Amsterdam, 1989, pp. 877–980

work page 1989

[8] [8]

D. H. Fremlin,Measure theory. Vol. 2. Broad foundations, Torres Fremlin, Colchester, 2003

work page 2003

[9] [9]

Ghoussoub and P

N. Ghoussoub and P. Saab,Weak compactness in spaces of Bochner integrable functions and the Radon-Nikod´ ym property, Pacific J. Math.110(1984), no. 1, 65–70

work page 1984

[10] [10]

H. E. Lacey,The isometric theory of classical Banach spaces, Die Grundlehren der mathe- matischen Wissenschaften, Band 208, Springer-Verlag, New York, 1974

work page 1974

[11] [11]

Lin,K¨ othe-Bochner function spaces, Birkh¨ auser Boston Inc., Boston, MA, 2004

P.-K. Lin,K¨ othe-Bochner function spaces, Birkh¨ auser Boston Inc., Boston, MA, 2004

work page 2004

[12] [12]

Lindenstrauss and L

J. Lindenstrauss and L. Tzafriri,Classical Banach spaces II. Function spaces, Ergebnisse der Mathematik und ihrer Grenzgebiete, vol. 97, Springer-Verlag, Berlin, 1979

work page 1979

[13] [13]

Nygaard,A remark on Rainwater’s theorem, Ann

O. Nygaard,A remark on Rainwater’s theorem, Ann. Math. Inform.32(2005), 125–127

work page 2005

[14] [14]

Okada, W

S. Okada, W. J. Ricker, and E. A. S´ anchez P´ erez,Optimal domain and integral extension of operators. Acting in function spaces, Operator Theory: Advances and Applications, vol. 180, Birkh¨ auser Verlag, Basel, 2008

work page 2008

[15] [15]

Rainwater,Weak convergence of bounded sequences, Proc

J. Rainwater,Weak convergence of bounded sequences, Proc. Amer. Math. Soc.14(1963), 999

work page 1963

[16] [16]

Simons,A convergence theorem with boundary, Pacific J

S. Simons,A convergence theorem with boundary, Pacific J. Math.40(1972), 703–708. 10 JOS ´E RODR´IGUEZ

work page 1972

[17] [17]

Stegall,The Radon-Nikodym property in conjugate Banach spaces, Trans

C. Stegall,The Radon-Nikodym property in conjugate Banach spaces, Trans. Amer. Math. Soc.206(1975), 213–223. Dpto. de Matem ´aticas, E.T.S. de Ingenier ´ıa Agron ´omica y de Montes y Biotec- nolog´ıa, Universidad de Castilla-La Mancha, 02071 Albacete, Spain Email address:jose.rodriguezruiz@uclm.es

work page 1975