On the Transfer of Completeness and Projection Properties in Truncated Vector Lattices

Hamza Hafsi; Mohamed Habibi

REVIEW 3 major objections 6 minor 8 references

On the Transfer of Completeness and Projection Properties in Truncated Vector Lattices

T0 review · 3 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read This paper characterizes exactly when the Alexandroff unitization of a truncated Riesz space inherits Archimedeanness, Dedekind completeness, lateral completeness, universal completeness, and the projection property.

desk verdict Useful examples and a clean program, but the main Dedekind completeness proof is broken by a false monotonicity claim, and later theorems inherit the gap. read the letter →

arxiv 2505.24484 v1 pith:JHTDHO6S submitted 2025-05-30 math.FA

Mohamed Habibi , Hamza Hafsi This is my paper

classification math.FA MSC 00A9908A4006E30

keywords truncatedRieszspaceAlexandroffunitizationArchimedeanpropertyDedekindcompletenesslateraluniversalprojectionfixedpointsofatruncation

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

Truncated Riesz spaces are vector lattices with a distinguished cut-off operation, and adjoining a unit to such a space is a standard way to compactify it. This paper asks which order-completeness properties survive that adjunction and answers with a set of equivalence theorems for the Alexandroff unitization $E\oplus\mathbb{R}$. Archimedeanness of $E\oplus\mathbb{R}$ is shown to be equivalent to $E$ being Archimedean and the truncation satisfying the Archimedean axiom $(\tau_3)$; Dedekind completeness is shown to be equivalent to $E$ being Dedekind complete together with a supremum condition on the fixed-point set $\bar E$; lateral completeness and universal completeness transfer under matching conditions; and the projection property transfers in the unital case. These theorems give a unified dictionary for when compactifying a vector lattice changes its completeness.

What carries the argument

The carrying object is the Alexandroff unitization $E\oplus\mathbb{R}$: the unital vector lattice obtained from $E$ by adjoining a unit, whose positive cone is defined via $\bar E$ and whose truncation is cut by the new unit $1$. The companion object is the fixed-point set $\bar E=\{x\in E: |\overline{x}|=|x|\}$, which determines the truncation and controls which extra elements appear after unitization. The proofs rely on the Riesz decomposition property for increasing nets (Lemma 5.2), the identity $\sup_\alpha(x_\alpha+y_\alpha)=\sup_\alpha x_\alpha+\sup_\alpha y_\alpha$ for increasing nets (Lemma 5.3), and the projection-band characterization stated as Theorem 8.1.

What would settle it

Take $E=c_{00}$ with truncation $\bar x=x\wedge 1$ and compute the supremum of the two elements $0$ and $1-e_1$ in $E\oplus\mathbb{R}$. The scalar parts increase from $0$ to $1$ while the $E$-parts decrease from $0$ to $-e_1$, so if the sum-of-suprema formula for increasing nets fails in this non-unital setting, the decomposition step in the proof of Theorem 5.5 is invalid; a full counterexample to the theorem would be a Dedekind complete $E$ satisfying $(\ast)$ for which $E\oplus\mathbb{R}$ is not Dedekind complete.

Watch

Extended reading notes

Core claim

The paper's central claim is that the Alexandroff unitization $E\oplus\mathbb{R}$ is the correct setting for studying completeness transfer, with each classical completeness notion governed by a condition on $E$ and its fixed-point set $\bar E=\{x\in E: |\overline{x}|=|x|\}$. Theorem 3.1 states that $E\oplus\mathbb{R}$ is Archimedean if and only if $E$ is Archimedean and the truncation satisfies $(\tau_3)$. Theorem 5.5 states that $E\oplus\mathbb{R}$ is Dedekind complete if and only if $E$ is Dedekind complete and every bounded subset of $\bar E$ has a supremum in $E\oplus\mathbb{R}$. Theorem 6.2 shows lateral completeness passes from $E$ to $E\oplus\mathbb{R}$ and, when $E\oplus\mathbb{R}$ is Archimedean, back exactly when $E$ is unital; Theorem 7.2 gives the analogous statement for universal completeness; Theorem 8.2 shows the projection property passes from the unitization to $E$, and from a unital $E$ to the unitization.

Load-bearing premise

The load-bearing premise is that every increasing bounded net in $E\oplus\mathbb{R}$ decomposes into an increasing net in $E$ and an increasing net in $\mathbb{R}$, so that $\sup(x_\alpha+y_\alpha)=\sup x_\alpha+\sup y_\alpha$; this can fail when $E$ is not unital, as in $c_{00}$ with truncation by the constant 1, where $0\le 1-e_1$ but the $E$-component decreases from $0$ to $-e_1$.

Editorial extensions

If this is right

For every truncated Riesz space $E$, $E\oplus\mathbb{R}$ is Archimedean if and only if $E$ is Archimedean and the truncation obeys $(\tau_3)$; for unital $E$ the condition is automatic.
Dedekind completeness of $E\oplus\mathbb{R}$ is equivalent to Dedekind completeness of $E$ plus existence of suprema in $E\oplus\mathbb{R}$ for all bounded subsets of $\bar E$; for unital $E$ this reduces to Dedekind completeness of $E$.
Lateral completeness always passes from $E$ to $E\oplus\mathbb{R}$, and in the Archimedean case the converse holds exactly when $E$ is unital.
Universal completeness transfers: if $E$ is universally complete, $E\oplus\mathbb{R}$ is universally complete exactly when $(\tau_3)$ holds; if $E\oplus\mathbb{R}$ is universally complete, $E$ is universally complete exactly when $E$ is unital.
The projection property passes from $E\oplus\mathbb{R}$ down to $E$ without extra assumptions, and from a unital $E$ up to $E\oplus\mathbb{R}$.

Reading between the lines

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

In the space $c_{00}$ with truncation by the constant 1, the pair $0\le 1-e_1$ has scalar part increasing but $E$-part decreasing, which suggests the decomposition step in the proof of Theorem 5.5 is not automatic for non-unital $E$; if it cannot be repaired, the stated Dedekind criterion may need reformulation.
A natural testable extension is to replace property $(\ast)$ by a condition on increasing nets in $E\oplus\mathbb{R}$ whose scalar parts lie in $[0,1]$, and check whether Dedekind completeness then transfers for non-unital $E$.
For $E=C_0(X)$ with a locally compact non-compact $X$, the unitization corresponds to the one-point compactification, so these theorems predict exactly which completeness and projection properties of $C_0(X)$ survive in $C_0(X)\oplus\mathbb{R}$; the paper does not draw this connection explicitly.
A further question left implicit is whether the unital decomposition $E\oplus\mathbb{R}=E\oplus\mathbb{R}(1-u)$ allows the projection-property transfer to be characterized solely in terms of the fixed-point set $\bar E$.

Share X Bluesky LinkedIn Reddit HN

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

Here's my read. The paper has a good topic and several genuinely useful pieces, but its central theorem is not proved.

What it does well: it assembles transfer questions for truncation, and gives a clean characterization for the Archimedean case (Theorem 3.1) that looks correct. The c_00 example in Section 4 is a concrete, instructive counterexample showing relative uniform completeness does not survive unitization. The paper also isolates property (*) for the fixed-point set, and the unital/non-unital dichotomy is an interesting organizing idea.

The problem: Theorem 5.5, the Dedekind completeness transfer, has a false step. In the sufficiency proof, after decomposing the net via Lemma 5.2, the authors write each b_i = c_i + γ_i and claim both (c_i) and (γ_i) are increasing. In E⊕R order is not the product order. In c_00 with truncation by 1, take b_1=0 and b_2=1−e_1; then 0 ≤ b_1 ≤ b_2 ≤ 1, the scalar parts increase (0 to 1), but the E-components decrease (0 to −e_1). So the claim fails, Lemma 5.3 is inapplicable, and the constructed supremum is not established. Because Corollary 5.6 and Theorem 7.2 lean on Theorem 5.5, those results are unsupported too.

There are other soft spots. Theorem 6.2(1) invokes E's lateral completeness for a family of E-elements without showing the family is bounded in E. Theorem 8.2(1) asserts without proof that a band in E lifts to a band in E⊕R; in general E is only an ideal and is dense when non-unital, so that lifting is not automatic.

None of these are typos; they are load-bearing. The characterizations may be repairable, and the counterexamples and the emphasis on property (*) are worth salvaging. But as written, the paper does not support its central claims.

Who should read it: specialists in truncated Riesz spaces and order theory. A graduate student should be careful not to cite Theorem 5.5 as proved.

Recommendation: I would not reject it out of hand. The program is credible and the examples are useful; it deserves a serious referee, but only with a clear expectation of major revision to fix the proofs.

Referee Report

3 major / 6 minor

Summary. The paper studies transfer of completeness and projection properties between a truncated Riesz space E and its Alexandroff unitization E⊕R, as constructed in [7]. It claims characterizations for the Archimedean property (§3), relatively uniform completeness (§4), Dedekind completeness (§5), lateral completeness (§6), universal completeness (§7), and the projection property (§8), together with counterexamples showing the independence of some notions. The main tools are the fixed-point set Ē, the ideal structure of E inside E⊕R, and decomposition arguments for nets and bands.

Significance. If valid, the results would give a unified account of which order-theoretic completeness properties survive the Alexandroff unitization, a natural question in the theory of truncated Riesz spaces. The paper is clearly structured and includes concrete examples, notably the c_00 example in Example 4.3. However, the proofs of several central theorems contain substantive gaps, including a false monotonicity assertion in the main Dedekind-completeness transfer, so the claims are not established as they stand.

major comments (3)

[§5, proof of Theorem 5.5 (sufficiency)] After applying Lemma 5.2, the proof writes each b_i as c_i + γ_i with c_i ∈ E and γ_i ∈ R, and asserts that both nets (c_i) and (γ_i) are increasing. The scalar parts are indeed increasing, but the E-components need not be, because the order in E⊕R is not the product order. For E = c_00 with truncation x̄ = x∧1, take b_1 = 0 = 0+0 and b_2 = 1 − e_1 = (−e_1)+1. Then 0 ≤ b_1 ≤ b_2 ≤ 1 in E⊕R, yet c_1 = 0 > −e_1 = c_2. Lemma 5.3, which the proof uses to compute sup b_i as sup c_i + sup γ_i, requires both component nets to be increasing. The sufficiency direction of Theorem 5.5 is therefore not proved; since Corollary 5.6 and Theorem 7.2(1) rely on it, this is a load-bearing gap in the central Dedekind-completeness claim.
[§6, Theorem 6.2(1), Case 2] To form the supremum x = sup(x_i : i ∈ I \ {i_0}) in E, the family (x_i) must be bounded above in E. The proof only knows that the original disjoint family is bounded above in E⊕R by some upper bound w + β; if β > 0, this does not imply an E-upper bound for the x_i. For example, in E = c_00, the family (e_n) is disjoint and bounded above by 1 in E⊕R, but has no upper bound in E. The proof silently assumes such an E-bound exists, so the lateral completeness of E⊕R is not established.
[§8, Theorem 8.2(1)] The proof begins by asserting that a band B in E is also a band in E⊕R. This is false in general. In E = c_00, let B = {x ∈ E : x_1 = 0}; this is a band in E. The increasing net x_n = e_2 + ... + e_n lies in B and is bounded above by 1 in E⊕R, but its supremum in E⊕R is 1, which is not in B. Hence B is not a band in E⊕R, and the subsequent orthogonal decomposition E⊕R = B ⊕ B^d is unjustified. The projection-property transfer therefore lacks a valid proof; even if the conclusion is true, a different argument is needed.

minor comments (6)

[§1, page 3] The sentence 'the truncation on E⊕R is defined by met of 1' should read 'meet with 1'.
[§2, Proposition 2.2(6)] The word 'standart' is a typo for 'standard', and the displayed proof of the Birkhoff inequality skips the justification of the first equality; it should explain that x̄ = x̄ ∧ (x∨y) since x̄ ≤ x ≤ x∨y.
[§3, Theorem 3.3] The statement 'sup{ȳ : y ∈ E, 0 ≤ y ≤ x} = x̄' is ambiguous because the supremum is taken in E⊕R while x ∈ E⊕R; in the proof, the line '0 < 2ū = ū + ū ≤ x̄ − z + z' appears garbled and should be rewritten.
[§4, Example 4.3(2)] The definition of u_n starts the index k at 0 but the surrounding text uses k as a coordinate index starting at 1; there are also missing truncation bars in several displayed inequalities, and the role of n_0 in the final contradiction should be stated explicitly.
[§8, Theorem 8.2(2)] In the bullet list defining a_1, a_2, b_1, b_2, the displayed index sets are inconsistent: a_2 and b_2 should be suprema over E^d, while b_1 should be a supremum over E and belong to E; the current text swaps the index sets and codomains.
[References] Reference [6] contains the typo 'Balll-truncated groups'; also, the MSC codes listed (00A99, 08A40, 06E30) do not reflect the functional-analysis content of the paper and should be replaced with appropriate codes such as 06A06, 46A40, or 46B42.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the unitization construction is correctly cited as prior external work, and the transfer theorems are proved from the stated hypotheses rather than assumed.

full rationale

The paper's claimed derivations do not reduce to their inputs. The construction of E⊕R and its basic properties (Theorem 1.1) are quoted from Boulabiar–Hafsi–Mounir [7]; although [7] shares an author with the present paper, it is an external, parameter-free prior theorem whose assumptions do not include any of the target completeness or projection properties, so this is ordinary citation rather than load-bearing circularity. Theorems 3.1, 5.5, 6.2, 7.2, and 8.2 are each proved from the definitions of truncation, the fixed-point set ar E, the unitization E⊕R, and standard Riesz-space facts (Lemmas 5.1–5.4, Theorem 6.1, Theorem 8.1), with no fitted parameter renamed as a prediction. A separate correctness concern exists in the proof of Theorem 5.5: after writing each b_i as c_i+γ_i, the text asserts without proof that both nets are increasing, a claim that is false in examples such as c_00⊕R; however, this is a mathematical gap in the proof, not a circular reduction of the theorem to its assumptions.

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

No free parameters or invented entities appear. The framework already exists: the unitization construction and its basic properties are taken from [7], and the remaining axioms are standard Riesz space results. The main burden on the reader is accepting the unproven monotonicity and band-lifting steps, which are red-flagged.

assumptions (6)

domain assumption The Alexandroff unitization E⊕R and its order structure, including E as a maximal ideal and density iff non-unital, are taken from Theorem 1.1 of [7].
Invoked throughout the paper; the unitization construction is not reproved here.
domain assumption E is order dense in E⊕R when E is not unital.
Used in Theorems 3.3 and 6.2(2); follows from [7, Theorem 1.1(5)] but is treated as an input.
standard math Riesz decomposition property and Birkhoff inequality for Riesz spaces.
Used in Proposition 2.2(6), Lemma 5.2, and Proposition 4.2.
standard math If an order-dense Riesz subspace E of an Archimedean space M is laterally complete, then E majorizes M.
Used in the proof of Theorem 6.2(2), quoted from [2, Theorem 7.15].
standard math Any Archimedean truncation on a universally complete vector lattice is unital.
Used in both directions of Theorem 7.2; quoted from [5] without proof.
standard math A band B of a Riesz space is a projection band iff E=B⊕B^d.
Used in Theorem 8.2; from [1, Theorem 1.41].

how reviews work

0 comments

Cite this review

Pith. "Pith review of On the Transfer of Completeness and Projection Properties in Truncated Vector Lattices." pith.science (2026). https://pith.science/paper/JHTDHO6S

@misc{pith2026250524484,
  author       = {Pith},
  title        = {Pith review of: On the Transfer of Completeness and Projection Properties in Truncated Vector Lattices},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JHTDHO6S}},
  note         = {Machine review of arXiv:2505.24484}
}

read the original abstract

In this work we investigate the transfer of fundamental order and completeness properties between truncated Riesz spaces and their unitizations. Specifically, we provide characterizations and equivalences for several notions of completeness: the Archimedean property, relatively uniform completeness, Dedekind completeness, lateral completeness, universal completeness, and the projection property. Counterexamples are presented to illustrate the necessity of assumptions and the independence of various completeness notions.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

8 extracted references · 7 canonical work pages

[7]

Algebra universalis79, 48 (2018)

Boulabiar, K., Hafsi, H., Mounir, M.: Alexandroff unitization of a truncated vector lattice. Algebra universalis79, 48 (2018). DOI 10.1007/s00012-018-0532-x

work page doi:10.1007/s00012-018-0532-x 2018
[1]

Springer-Verlag, Berlin, Heidelberg (2006)

Aliprantis, C.D., Burkinshaw, O.: Positive Operators. Springer-Verlag, Berlin, Heidelberg (2006)

work page 2006
[2]

Aliprantis, C.D., Burkinshaw, O., Aliprantis, C.D.: Locally solid Riesz spaces with applications to economics, 2nd ed. edn. American Mathematical Society, Providence, R. I (2003)

work page 2003
[3]

Topology and its Applications162(2013)

Ball, R.: Truncated abelian lattice-ordered groups I: The pointed (yosida) repre- sentation. Topology and its Applications162(2013). DOI 10.1016/j.topol.2013. 11.007

work page doi:10.1016/j.topol.2013 2013
[4]

Topology and its Applications178(2014)

Ball, R.: Truncated abelian lattice-ordered groups II: the pointfree (madden) representation. Topology and its Applications178(2014). DOI 10.1016/j.topol. 2014.08.031

doi:10.1016/j.topol 2014
[5]

Algebra universalis85(2024)

Boulabiar, K.: A structure theorem for truncations on an archimedean vector lattice. Algebra universalis85(2024). DOI 10.1007/s00012-024-00858-4

work page doi:10.1007/s00012-024-00858-4 2024
[6]

Algebra Uni- versalis78, 1–12 (2017)

Boulabiar, K., Adeb, C.: Unitization of balll-truncated groups. Algebra Uni- versalis78, 1–12 (2017). DOI 10.1007/s00012-017-0444-1

work page doi:10.1007/s00012-017-0444-1 2017
[8]

Luxemburg, W., Zaanen, A.: Riesz Spaces. No. vol. 1 in Mathematical studies. North-Holland (1971) Mohamed Habibi∗ Preparatory Institute for Scientific and Technical Studies Carthage University 2075 Tunis Tunisia e-mail:mohamed.habibi@ipest.ucar.tn 16 M. Habibi and H. Hafsi Hamza Hafsi Preparatory Institute for Engineering Studies of Tunis University of Tu...

work page 1971

Pith tools

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

[1] [7]

Algebra universalis79, 48 (2018)

Boulabiar, K., Hafsi, H., Mounir, M.: Alexandroff unitization of a truncated vector lattice. Algebra universalis79, 48 (2018). DOI 10.1007/s00012-018-0532-x

work page doi:10.1007/s00012-018-0532-x 2018

[2] [1]

Springer-Verlag, Berlin, Heidelberg (2006)

Aliprantis, C.D., Burkinshaw, O.: Positive Operators. Springer-Verlag, Berlin, Heidelberg (2006)

work page 2006

[3] [2]

Aliprantis, C.D., Burkinshaw, O., Aliprantis, C.D.: Locally solid Riesz spaces with applications to economics, 2nd ed. edn. American Mathematical Society, Providence, R. I (2003)

work page 2003

[4] [3]

Topology and its Applications162(2013)

Ball, R.: Truncated abelian lattice-ordered groups I: The pointed (yosida) repre- sentation. Topology and its Applications162(2013). DOI 10.1016/j.topol.2013. 11.007

work page doi:10.1016/j.topol.2013 2013

[5] [4]

Topology and its Applications178(2014)

Ball, R.: Truncated abelian lattice-ordered groups II: the pointfree (madden) representation. Topology and its Applications178(2014). DOI 10.1016/j.topol. 2014.08.031

doi:10.1016/j.topol 2014

[6] [5]

Algebra universalis85(2024)

Boulabiar, K.: A structure theorem for truncations on an archimedean vector lattice. Algebra universalis85(2024). DOI 10.1007/s00012-024-00858-4

work page doi:10.1007/s00012-024-00858-4 2024

[7] [6]

Algebra Uni- versalis78, 1–12 (2017)

Boulabiar, K., Adeb, C.: Unitization of balll-truncated groups. Algebra Uni- versalis78, 1–12 (2017). DOI 10.1007/s00012-017-0444-1

work page doi:10.1007/s00012-017-0444-1 2017

[8] [8]

Luxemburg, W., Zaanen, A.: Riesz Spaces. No. vol. 1 in Mathematical studies. North-Holland (1971) Mohamed Habibi∗ Preparatory Institute for Scientific and Technical Studies Carthage University 2075 Tunis Tunisia e-mail:mohamed.habibi@ipest.ucar.tn 16 M. Habibi and H. Hafsi Hamza Hafsi Preparatory Institute for Engineering Studies of Tunis University of Tu...

work page 1971