Unbounded $\sigma$-order-to-norm continuous and $un$-continuous operators

Kazem Haghnejad Azar; Mina Matin; Razi Alavizadeh

REVIEW 2 major objections 5 minor 16 references

Unbounded $\sigma$-order-to-norm continuous and $un$-continuous operators

T0 review · 2 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper establishes stability and rigidity theorems for operators that preserve unbounded order or norm convergence on vector lattices.

desk verdict A competent extension note on two new operator classes in Banach lattice theory; the main results are plausible and the proofs mostly check out, but the paper leans heavily on external theorems and has a few citation gaps. read the letter →

arxiv 1908.03192 v1 pith:KIAU3GQK submitted 2019-08-08 math.FA

Mina Matin , Kazem Haghnejad Azar , Razi Alavizadeh This is my paper · ORCID

classification math.FA MSC 47B6546B4046B42

keywords unboundedorderconvergencenormσ-uon-continuousoperatorsun-continuousun-compactmodulusofKB-spaceDunford-Pettis

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper introduces two operator classes between vector lattices: $\sigma$-uon-continuous operators, which send unbounded order convergent sequences to norm convergent sequences, and un-continuous operators, which send unbounded norm convergent nets to unbounded norm convergent nets. It aims to show that these classes inherit standard structural properties of classical operator classes: under atomicity and completeness assumptions, the modulus of an order-bounded $\sigma$-uon-continuous operator exists and is again $\sigma$-uon-continuous, and the class forms a band in the order bounded operators. It also establishes a rigidity result: if every operator from a Banach lattice $E$ with order continuous norm into a Dedekind $\sigma$-complete Banach lattice with non-order-continuous norm is un-continuous, then $E$ must be a KB-space. A sympathetic reader would care because this connects recently developed unbounded convergence notions to Dunford-Pettis operators, weak compactness, and the KB-space classification of Banach lattices.

What carries the argument

The central objects are the two convergence notions: $x_\alpha \xrightarrow{uo} 0$ means $|x_\alpha|\wedge u \xrightarrow{o} 0$ for every $u\in E_+$, while $x_\alpha \xrightarrow{un} 0$ means $\lVert |x_\alpha|\wedge u\rVert\to 0$ for every $u\in E_+$. The operator classes $L^\sigma_{uon}(E,F)$ and $L_{un}(E,F)$ are defined by requiring these convergences to be preserved into the target space, with norm convergence for the first class and un-convergence for the second. The load-bearing mechanism is a translation theorem: in a laterally $\sigma$-complete vector lattice, a uo-null sequence is order bounded, so unbounded convergence collapses to ordinary order convergence and classical order-continuity arguments apply. For the un-continuous part, the paper works with the topology of un-convergence, including the metrizability criterion for quasi-interior points and the multiplier criterion for un-boundedness, to connect un-continuity with un-compactness and with the KB-space structure used in Theorem 4.

What would settle it

Settle Theorem 1(1) by searching for an order-bounded $\sigma$-uon-continuous operator $T:E\to F$ with $E$ Dedekind $\sigma$-complete and laterally $\sigma$-complete and $F$ atomic with order continuous norm, whose modulus $|T|$ is not $\sigma$-uon-continuous; the theorem says none exists. For Theorem 4, take a non-KB Banach lattice $E$ with order continuous norm, form the operator $S:E\to \ell_\infty$ from a b-order-bounded disjoint sequence via biorthogonal functionals, and test whether $S$ is un-continuous; the theorem predicts it never is, so an example where it is un-continuous would refute the claim.

Watch

Extended reading notes

Core claim

The paper proves that, when $E$ is Dedekind $\sigma$-complete and laterally $\sigma$-complete and $F$ is atomic with order continuous norm, or when the operator preserves disjointness, every order bounded $\sigma$-uon-continuous operator $T:E\to F$ has a modulus $|T|$ that is again $\sigma$-uon-continuous; in the first case this yields the equivalence between $\sigma$-order continuity and $\sigma$-uon-continuity for order bounded operators. On AL-spaces, positive $\sigma$-uon-continuous operators are shown to be $M$-weakly compact, hence Dunford-Pettis, and therefore they send relatively weakly compact weakly null nets, and even relatively weakly compact uo-null nets, to norm null nets. The final structural theorem states that if every operator $T:E\to F$ is un-continuous, where $E$ has order continuous norm and $F$ is Dedekind $\sigma$-complete with non-order-continuous norm, then $E$ is a KB-space; the proof runs by constructing a non-un-continuous operator into $\ell_\infty$ from a b-order-bounded disjoint sequence in any non-KB space and composing with the canonical copy of $\ell_\infty$ in $F$.

Load-bearing premise

The central proofs assume that the cited theorem that every unbounded order convergent sequence in a Dedekind $\sigma$-complete and laterally $\sigma$-complete vector lattice is order bounded applies exactly as stated; if this external fact is wrong at that level of generality, the modulus theorem and its corollaries lose their main support.

Editorial extensions

If this is right

Under condition (1) of Theorem 1, an order-bounded operator $T:E\to F$ is $\sigma$-order continuous if and only if it is $\sigma$-uon-continuous, so $L^\sigma_{uon}(E,F)\cap L_b(E,F)$ is a band in $L_b(E,F)$.
If $F$ is perfect and condition (1) holds, then $L^\sigma_{uon}(E,F)\cap L_b(E,F)$ is a perfect vector lattice.
On any AL-space, every positive $\sigma$-uon-continuous operator is $M$-weakly compact and hence Dunford-Pettis; in particular it maps relatively weakly compact uo-null nets to norm null nets.
Every surjective lattice homomorphism between Banach lattices is un-continuous, so the class $L_{un}(E,F)$ contains all such maps.
If $E$ has order continuous norm and $F$ is Dedekind $\sigma$-complete with non-order-continuous norm, then universal un-continuity of operators $E\to F$ forces $E$ to be a KB-space.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The implication chain in Theorem 2 is one-directional; a natural test is whether the converse holds, for instance whether every positive Dunford-Pettis operator on an AL-space is $\sigma$-uon-continuous.
Theorem 4 can be read as a rigidity statement: universal un-continuity prohibits the domain from containing b-order-bounded disjoint sequences of the kind that build non-un-continuous maps into $\ell_\infty$; one could ask whether the same conclusion holds under weaker assumptions on the codomain norm.
Because un-convergence is topological, $L_{un}(E,F)$ is naturally the set of operators continuous between un-topologies; this suggests investigating automatic continuity or closed-graph behavior for the class.
The paper defines $\sigma$-uon-continuity only for sequences; a net version of the same class could be defined, and the modulus theorem might then be tested without the lateral $\sigma$-completeness hypothesis.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Colleague,

Quick take: this is a solid extension-style paper, not a breakthrough. The authors define two operator classes—σ-uon-continuous and un-continuous—and prove the expected structural results: a modulus theorem under completeness/atomicity or disjointness preservation, a Dunford-Pettis implication in AL-spaces, and a KB-space characterization via un-continuity. The definitions are natural and the results are new statements, even if the machinery is mostly borrowed from prior work by Haghnejad Azar and the un-topology literature.

What the paper does well: the main theorems are plausible and the proofs are largely coherent. Theorem 1's two alternatives—lateral completeness plus atomic range, or disjointness preservation—are sensible routes to the modulus. Theorem 2's chain (1)⇒(2)⇒(3)⇒(4) is clean, and the use of Proposition 3.9 of Gao–Xanthos for reducing uo-null relatively weakly compact nets to weak null is appropriate. Theorem 4's ℓ∞-copy argument is standard but correctly applied. The authors are honest about citing external classification theorems rather than re-deriving them.

Soft spots, in proportion: the biggest one is the heavy reliance on Kaplan's Theorem 3.2 and Gao–Xanthos' Proposition 3.9. These are standard results, so this is verification debt rather than a discovered flaw, but it means the central claims inherit the exact hypotheses of those theorems. Proposition 5 cites Proposition 4 for the forward direction, which is wrong—Proposition 4 concerns un-continuous operators, not σ-un-continuous. The argument is reconstructible directly from Lemma 2 and the definition, so it's a minor error but should be fixed. Theorem 3 invokes without proof the claim that every surjective Riesz homomorphism is un-continuous; this is true (one can show it via T(|x_α| ∧ u) = |T x_α| ∧ T u), but it needs a one-line proof or a reference. Example 1 is a bit sloppy at p=0, since L^0 is not a normed lattice in the usual sense.

The citation pattern is fine; [10] is a co-author's earlier paper, but it is used as a benchmark, not as a load-bearing input. No fitting, no circularity.

Who this is for: specialists in Banach lattice theory who care about operator class taxonomies. It doesn't open a new technique or solve an open problem, but it fills a gap in the literature. I'd send it to a referee if the authors clean up the small inaccuracies; the core mathematics appears sound.

Recommendation: engage with it, but request a revision that fixes Proposition 5's citation, adds the missing justification in Theorem 3, and tightens Example 1. It deserves peer review, not desk rejection.

Referee Report

2 major / 5 minor

Summary. The paper introduces and studies two classes of operators on Banach lattices: unbounded sigma-order-to-norm continuous (sigma-uon-continuous) operators, which send uo-convergent sequences to norm-null sequences, and unbounded norm continuous (un-continuous) operators, which send un-convergent nets to un-convergent nets. The main results are: Theorem 1, giving conditions under which the modulus of an order bounded sigma-uon-continuous operator exists and remains in the same class; Theorem 2, relating sigma-uon-continuity to Dunford-Pettis operators and to weak-to-norm continuity for operators on AL-spaces; Theorem 3, characterizing certain surjective Riesz homomorphisms as un-continuous; Proposition 5, relating un-boundedness and sigma-un-continuity; and Theorem 4, showing that if every operator from E into a Dedekind sigma-complete Banach lattice with non-order-continuous norm is un-continuous, then E is a KB-space. The paper also discusses un-compact and un-bounded operators and gives examples illustrating the classes.

Significance. If the results hold, they provide a coherent lattice-theoretic description of two new operator classes and connect them to established classes such as Dunford-Pettis, M-weakly compact, and order-to-norm continuous operators. Theorem 1 and Theorem 4 are the most substantial contributions. The paper is concise and relies heavily on standard external results, which are used appropriately in most places. The main theorems are plausible and the proofs are largely correct modulo the two gaps discussed below.

major comments (2)

[§3, Proposition 5] The forward implication (sigma-un-continuous implies un-bounded) is claimed to follow from Proposition 4, but Proposition 4(1) applies only to fully un-continuous operators, not to the sigma version. As written, this is a non sequitur. The gap is local and can be repaired by a direct argument using Lemma 2: if A is un-bounded and (x_n) is a sequence in A with alpha_n to 0, then alpha_n x_n un-converges to 0 by Lemma 2; sigma-un-continuity of T gives alpha_n T x_n un-converges to 0; applying Lemma 2 again yields that T(A) is un-bounded. Please replace the citation to Proposition 4 with this argument.
[§3, Theorem 3] The final step of the proof asserts without proof or citation that every surjective Riesz homomorphism is un-continuous. This fact is true, but it is not immediate and should be justified. A short proof can be supplied: for v in F_+, surjectivity and positivity of the Riesz homomorphism T give u in E_+ with Tu = v; then |T x_alpha| and v = T(|x_alpha| and u), and the boundedness of T implies || |T x_alpha| and v ||_F -> 0 whenever || |x_alpha| and u ||_E -> 0. Adding this argument would make the proof self-contained.

minor comments (5)

[Abstract and §1] The paper uses both 'unbounded norm continuous' in the abstract and 'un-continuous' in the body; please make the terminology consistent and define the abbreviation at first use.
[Example 1] The introductory sentence says 'for 0 <= p <= +infinity', but the example only treats 0 <= p < infinity and p = 0 separately. Either extend the argument to p = infinity or correct the stated range.
[Proof of Proposition 4(2)] The notation x_{alpha_beta} for the subnet is confusing; reindex with a single parameter, e.g., (x_gamma) for the subnet.
[Proof of Corollary 1(2)] The word 'Similarly' is misleading: the conclusion follows from the lemma about bands of perfect vector lattices just proved, applied to the band L^sigma_uon(E,F) intersect L_b(E,F) inside the perfect space L_b(E,F). Please state this explicitly.
[Proof of Theorem 2] In the step 'by passing to the subnet (T x_{beta(alpha)})', the operator T should not appear inside the parentheses; it should read 'by passing to the subnet (x_{beta(alpha)})'.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity found: the main proofs reduce to external theorems and standard operator-lattice results, not to their own conclusions.

full rationale

The derivation chain for each central claim is externally grounded rather than self-referential. Theorem 1 converts uo-null sequences into o-null sequences via Kaplan's Theorem 3.2 of [12] under the explicitly stated lateral completeness hypotheses, then obtains the modulus from standard results in [2] and [5]; the conclusion is not assumed in the proof. Theorem 2's implication (3)⇒(4) uses Proposition 3.9 of [9] for relatively weakly compact uo-null nets, which is an independent external fact, and the remaining implications are standard weak-compactness/Dunford-Pettis arguments from [2]. Theorem 4 uses a known characterization of non-KB spaces from [3] and the standard ℓ∞-embedding result from [13]; no fitted parameter or constructed equivalence is renamed as a prediction. The only self-citation is [10], a co-author's earlier paper introducing σ-order-to-norm continuous operators; it appears in a background remark and is not used as evidence for any theorem, so it does not affect circularity. A minor internal citation defect occurs in Proposition 5, where 'Proposition 4' is cited for the σ-un-continuous-to-un-bounded implication even though Proposition 4 states the un-continuous case; the implication is directly reconstructible from Lemma 2 and the surrounding argument, so this is a proof-presentation issue rather than a circular step. No equation in the paper reduces to an input by construction, and no claimed prediction is fitted from data.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No numerical fitting appears; the paper's claims rest on a stack of standard theorems in Banach lattice theory and on the definitions of the new classes. No new entity is introduced. The ledger records the main external results invoked as axioms.

assumptions (7)

standard math Standard theory of vector lattices, bands, Riesz homomorphisms, and positive operators from [2].
Used throughout; includes Theorem 1.56, 2.40, 2.15, and other background facts.
standard math Kaplan's Theorem 3.2 [12]: every uo-null sequence in a Dedekind sigma-complete, laterally sigma-complete vector lattice is order bounded.
Used in the paragraph before Theorem 1, in Theorem 1, and in Corollary 1 to convert uo-convergence into o-convergence.
standard math Wickstead's Theorem [16]: in a Banach lattice whose linear span of minimal ideals is order dense, weak convergence implies uo-convergence.
Used in Proposition 1 to conclude T x_n uo-converges to 0 from T x_n weakly converging to 0.
standard math Lemma 5.1 of [5]: norm convergence implies order convergence in Banach lattices with order continuous norm.
Used in Theorem 1 proof to infer T x_n o-converges to 0 from T x_n norm-converging to 0.
standard math Proposition 3.9 of [9]: relatively weakly compact uo-null nets in order-continuous Banach lattices are weakly null.
Used in Theorem 2 to get |x_alpha| weakly converging to 0 from x_alpha uo-converging to 0.
standard math Meyer-Nieberg Corollary 2.4.3 [13]: a Dedekind sigma-complete Banach lattice with non-order-continuous norm contains a complemented copy of ell-infinity.
Used in Theorem 4 to construct a non-un-continuous operator.
ad hoc to paper Every surjective Riesz homomorphism between Banach lattices is un-continuous.
Invoked at the end of Theorem 3 without proof or citation; the statement is plausible but effectively assumed in the paper.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Unbounded $\sigma$-order-to-norm continuous and $un$-continuous operators." pith.science (2026). https://pith.science/paper/KIAU3GQK

@misc{pith2026190803192,
  author       = {Pith},
  title        = {Pith review of: Unbounded $\sigma$-order-to-norm continuous and $un$-continuous operators},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KIAU3GQK}},
  note         = {Machine review of arXiv:1908.03192}
}

abstract

An operator $T $ from a vector lattice $E$ into a normed lattice $F$ is called unbounded $\sigma$-order-to-norm continuous whenever $x_{n}\xrightarrow{uo}0$ implies $\| Tx_{n}\|\rightarrow 0$, for each sequence $(x_{n})_n\subseteq E$. For a net $(x_{\alpha})_{\alpha}\subseteq E$, if $x_{\alpha}\xrightarrow{un}0$ implies $Tx_{\alpha}\xrightarrow{un}0$, then $T$ is called an unbounded norm continuous operator. In this manuscript, we study some properties of these classes of operators and their relationships with the other classes of operators.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

[10]

Order-to-topology continuous operators

K. Haghnejad Azar: Order-to-norm continuous operators , arXiv:1905.10577v1[math. F A]

work page Pith review arXiv 1905
[1]

D., Burkinshaw, O.: Locally Solid Riesz Sp aces with Applications to Eco- nomics, Math Surveys and Monographs, Volume 105, American M ath

Aliprantis, C. D., Burkinshaw, O.: Locally Solid Riesz Sp aces with Applications to Eco- nomics, Math Surveys and Monographs, Volume 105, American M ath. Society, (2003). MR 2005b:46010

work page 2003
[2]

D., Burkinshaw, O.: Positive Operators, S pringer, Berlin (2006)

Aliprantis, C. D., Burkinshaw, O.: Positive Operators, S pringer, Berlin (2006). Zbl 1098.47001, MR2262133

work page arXiv 2006
[3]

Positivity

Aqzzouz, B., Elbour, A., Hmichane, J.: The duality proble m for the class of b-weakly compact operators. Positivity. (4) 13, 683–692 (2009). Zbl 1191.47024, MR2538515

work page arXiv 2009
[4]

DeMarr, R.: Partially ordered linear spaces and locally c onvex linear topological spaces, Illinois J. Math. 8, 601–606 (1964). Zbl 0132.09302, MR0171157

work page arXiv 1964
[5]

G.: Unbounded norm conv ergence in Banach lattices, Positivity

Deng, Y., OBrien, M., Troitsky, V. G.: Unbounded norm conv ergence in Banach lattices, Positivity. 21, 963–974 (2017). Zbl 06816280, MR3688941. Unbounded σ -order-to-norm continuous and un-continuous operators 11

work page 2017
[6]

Zbl 0981.46001, MR1831176

Fabian, M., Habala, P., Hajek, P., Montesions Santalucia , V., Pelant, J., Zizler, V.: Functional analysis and inﬁnite-dimensional geometry, CM S Books in Mathemat- ics/Ouvrages de Mathematiques de la SMC, 8, Springer-verla g, New York, (2001). Zbl 0981.46001, MR1831176

work page arXiv 2001
[7]

Gao, N.: Unbounded order convergence in dual spaces, J. Ma th. Anal. Appl. 419, 347– 354 (2014). Zbl 1316.46019, MR3217153

work page arXiv 2014

Show all 16 references

[8]

Gao, N., Troitsky, V.G., Xanthos, F.: Uo-convergence and its applications to Cesro means in Banach lattices. Isr. J. Math. 220, 649-689 (2017). Zbl 1395.46017, MR3666441

2017
[9]

Gao, N., Xanthos, F.: Unbounded order convergence and app lication to martingales without probability. J. Math. Anal. Appl. 415, 931–947 (2014). Zbl 1351.60053, MR3178299

2014
[11]

Kandic, M., Marabeh, M. A. A., Troitsky, V. G.: Unbounded norm topology in Banach lattices, J. Math. Anal. Appl. 451, 259–279 (2017). Zbl 1373.46011, MR3619237

2017
[12]

E xchange

Kaplan, S.: On unbounded order convergence, Real Anal. E xchange. 23, 175–184 (1997). Zbl 0945.46002, MR1609834

1997
[13]

Zbl 0743.46015, MR1128093

Meyer-Nieberg, P.: Banach lattices, Springer-verlag, Berlin, (1991). Zbl 0743.46015, MR1128093

1991
[14]

Nakano, H.: Ergodic theorems in semi-ordered linear spa ces, Am. of Math. (2) 49, 538– 556 (1948). Zbl 0032.35901, MR0029112

1948
[15]

Intern ational Series in Pure and Applied Mathematics

Rudin, W.: Functional analysis, Second edition. Intern ational Series in Pure and Applied Mathematics. McGraw-Hill, Inc., New York, (1991). MR1157815

1991
[16]

W.: W eak and unbounded order convergence i n Banach lattices, J

Wickstead, A. W.: W eak and unbounded order convergence i n Banach lattices, J. Aus- tral. Math. Soc. Ser. A, 24, 312–319 (1977). Zbl 0374.46007, MR0482060

1977

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.

[1] [10]

Order-to-topology continuous operators

K. Haghnejad Azar: Order-to-norm continuous operators , arXiv:1905.10577v1[math. F A]

work page Pith review arXiv 1905

[2] [1]

D., Burkinshaw, O.: Locally Solid Riesz Sp aces with Applications to Eco- nomics, Math Surveys and Monographs, Volume 105, American M ath

Aliprantis, C. D., Burkinshaw, O.: Locally Solid Riesz Sp aces with Applications to Eco- nomics, Math Surveys and Monographs, Volume 105, American M ath. Society, (2003). MR 2005b:46010

work page 2003

[3] [2]

D., Burkinshaw, O.: Positive Operators, S pringer, Berlin (2006)

Aliprantis, C. D., Burkinshaw, O.: Positive Operators, S pringer, Berlin (2006). Zbl 1098.47001, MR2262133

work page arXiv 2006

[4] [3]

Positivity

Aqzzouz, B., Elbour, A., Hmichane, J.: The duality proble m for the class of b-weakly compact operators. Positivity. (4) 13, 683–692 (2009). Zbl 1191.47024, MR2538515

work page arXiv 2009

[5] [4]

DeMarr, R.: Partially ordered linear spaces and locally c onvex linear topological spaces, Illinois J. Math. 8, 601–606 (1964). Zbl 0132.09302, MR0171157

work page arXiv 1964

[6] [5]

G.: Unbounded norm conv ergence in Banach lattices, Positivity

Deng, Y., OBrien, M., Troitsky, V. G.: Unbounded norm conv ergence in Banach lattices, Positivity. 21, 963–974 (2017). Zbl 06816280, MR3688941. Unbounded σ -order-to-norm continuous and un-continuous operators 11

work page 2017

[7] [6]

Zbl 0981.46001, MR1831176

Fabian, M., Habala, P., Hajek, P., Montesions Santalucia , V., Pelant, J., Zizler, V.: Functional analysis and inﬁnite-dimensional geometry, CM S Books in Mathemat- ics/Ouvrages de Mathematiques de la SMC, 8, Springer-verla g, New York, (2001). Zbl 0981.46001, MR1831176

work page arXiv 2001

[8] [7]

Gao, N.: Unbounded order convergence in dual spaces, J. Ma th. Anal. Appl. 419, 347– 354 (2014). Zbl 1316.46019, MR3217153

work page arXiv 2014