Relative uniform completion of a vector lattice

Eugene Bilokopytov; Vladimir G. Troitsky

arxiv: 2601.09015 · v2 · pith:NGRC757Cnew · submitted 2026-01-13 · 🧮 math.FA

Relative uniform completion of a vector lattice

Eugene Bilokopytov , Vladimir G. Troitsky This is my paper

Pith reviewed 2026-05-16 14:06 UTC · model grok-4.3

classification 🧮 math.FA

keywords vector latticeuniform completionrelative uniform completionpositive operatoruniform closureuniform adherencelattice homomorphismordered vector space

0 comments

The pith

The relative uniform completion of a vector lattice X inside a larger uniformly complete Z is the intersection of all uniformly complete sublattices of Z containing X.

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

The paper unifies several existing constructions of the relative uniform completion X^ru of a vector lattice X. When X sits as a sublattice inside some uniformly complete vector lattice Z, X^ru equals the intersection of every uniformly complete sublattice of Z that contains X. The same object arises from a transfinite process of taking uniform adherences and, when X majorizes Z, coincides with the uniform closure of X inside Z. X^ru satisfies a universal property: every positive operator defined on X and valued in any uniformly complete vector lattice extends uniquely to X^ru, and the same holds when positive operators are replaced by lattice homomorphisms or certain other classes. The work also gives conditions under which uniform adherence equals uniform closure and supplies a counter-example where they differ.

Core claim

If X is a sublattice of a uniformly complete vector lattice Z then X^ru equals the intersection of all uniformly complete sublattices of Z containing X. It can also be obtained by transfinite uniform adherences with regulators taken from previous stages. When X majorizes Z, X^ru is simply the uniform closure of X in Z. In addition, X^ru is characterized by the universal property that every positive operator from X into a uniformly complete vector lattice extends uniquely to an operator on X^ru, and the same unique-extension property holds for lattice homomorphisms and several other important classes of operators.

What carries the argument

The relative uniform completion X^ru, realized concretely as the intersection of all uniformly complete sublattices containing X and characterized by the unique-extension property for positive operators.

If this is right

All listed constructions of X^ru coincide.
When X majorizes Z, X^ru equals the uniform closure of X inside Z.
The unique-extension property holds for lattice homomorphisms as well as positive operators.
Uniform adherence equals uniform closure under explicit additional conditions on X and Z.
A concrete counter-example exists in which uniform adherence properly contains the uniform closure.

Where Pith is reading between the lines

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

The construction makes relative uniform completion functorial with respect to positive operators between vector lattices.
Properties preserved under intersection in Z transfer directly to X^ru without further verification.
The distinction between adherence and closure may appear in other order-theoretic completions and warrants systematic comparison.
The universal property suggests that X^ru is the free uniformly complete extension of X in the category of vector lattices with positive operators.

Load-bearing premise

X must be embeddable as a sublattice into some uniformly complete vector lattice Z.

What would settle it

Construct an embedding of a vector lattice X into a uniformly complete Z such that the intersection of all uniformly complete sublattices containing X does not admit unique extensions of positive operators defined on X.

read the original abstract

In the paper, we revisit several approaches to the concept of uniform completion $X^{\mathrm{ru}}$ of a vector lattice $X$. We show that many of these approaches yield the same result. In particular, if $X$ is a sublattice of a uniformly complete vector lattice $Z$ then $X^{\mathrm{ru}}$ may be viewed as the intersection of all uniformly complete sublattices of $Z$ containing $X$. $X^{\mathrm{ru}}$ may also be constructed via a transfinite process of taking uniform adherences in $Z$ with regulators coming from the previous adherences. If, in addition, $X$ is majorizing in $Z$ then $X^{\mathrm{ru}}$ may be viewed as the uniform closure of $X$ in $Z$. We show that $X^{\mathrm{ru}}$ may also be characterized via a universal property: every positive operator from $X$ to a uniformly complete vector lattice extends uniquely to $X^{\mathrm{ru}}$. Moreover, the class of positive operators here may be replaced with several other important classes of operators (e.g., lattice homomorphisms). We also discuss conditions when the uniform adherence of a sublattice equals its uniform closure, and present an example (based on a construction by R.N. Ball and A.W. Hager) where this fails.

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

The paper shows several prior constructions of relative uniform completion coincide and adds a clean universal property for operator extensions, but the advance is mostly organizational within Riesz space theory.

read the letter

This paper sorts out several ways people have defined the relative uniform completion of a vector lattice. The key result is that when X sits as a sublattice in a uniformly complete Z, X^ru is the intersection of all uniformly complete sublattices containing X. It also matches the transfinite process of taking uniform adherences, and equals the uniform closure if X majorizes Z. On top of that, it has a universal property: positive operators from X to any uniformly complete lattice extend uniquely to X^ru, and the same holds for lattice homomorphisms and a few other classes of maps. The counterexample drawn from Ball and Hager shows when adherence differs from closure in a concrete case. These equivalences and the universal property appear to be new in this exact form, and the arguments line up with standard definitions from the literature without circularity or extra parameters. The work is careful about the embedding hypothesis and the majorizing condition. The main limitation is that this is cleanup and unification rather than a new object or application that would change how people work outside this corner of vector lattice theory. The proofs use familiar transfinite and extension techniques, so the soundness looks solid on the surface, though the abstract alone leaves the details of the adherence steps unchecked. Specialists in Riesz spaces and positive operators will find this a handy reference for the equivalences. It deserves peer review because the clarification is precise and the universal property is worth recording, even if the overall impact stays narrow.

Referee Report

0 major / 3 minor

Summary. The paper revisits constructions of the relative uniform completion X^ru of a vector lattice X. When X embeds as a sublattice in a uniformly complete vector lattice Z, it shows X^ru coincides with the intersection of all uniformly complete sublattices of Z containing X, with a transfinite uniform-adherence process in Z, and (when X majorizes Z) with the uniform closure of X in Z. It proves a universal property: positive operators (and lattice homomorphisms) from X to any uniformly complete target extend uniquely to X^ru. The paper also gives conditions under which uniform adherence equals uniform closure and supplies a concrete counter-example (drawn from Ball-Hager) where they differ.

Significance. The results unify several standard constructions in Riesz-space theory and supply a clean universal-property characterization that aligns with existing completion theory. The explicit counter-example distinguishing adherence from closure is a concrete contribution that clarifies a subtle distinction in the literature.

minor comments (3)

§2 (definitions): the notation for the transfinite sequence of adherences (X_α) should include an explicit statement of the regulator sequence at successor ordinals to avoid ambiguity in the limit-step argument.
Theorem 4.3: the uniqueness part of the operator extension is stated only for positive operators; a brief remark on whether the same uniqueness holds for the lattice-homomorphism case would improve clarity.
The reference list omits the original Ball-Hager paper that supplies the counter-example; adding the precise citation would help readers locate the construction.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the careful and positive summary of the manuscript, the assessment of its significance, and the recommendation of minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper's central results equate several standard constructions of relative uniform completion (intersection of uniformly complete sublattices, transfinite adherence, uniform closure when majorizing) and establish a universal extension property for positive operators. These derivations rest on the definitions of vector lattices, uniform completeness, and positive operators drawn from prior literature, without any reduction of a claimed prediction or uniqueness statement to a fitted parameter, self-citation chain, or ansatz smuggled from the authors' own prior work. The counter-example is external (Ball-Hager). All load-bearing steps are self-contained proofs within the given embedding hypothesis.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The work relies entirely on the standard axiomatic framework of vector lattices and uniform completeness; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (2)

standard math A vector lattice is a real vector space equipped with a lattice order compatible with the vector operations.
Invoked throughout as the ambient category in which all constructions take place.
standard math Uniform completeness is defined via the existence of uniform limits with respect to regulators.
Central background notion used to define the target spaces Z and the completion X^ru.

pith-pipeline@v0.9.0 · 5539 in / 1419 out tokens · 29921 ms · 2026-05-16T14:06:01.427736+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/RealityFromDistinction reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

X^ru is the intersection of all uniformly complete sublattices of Z containing X; every positive operator from X to a uniformly complete target extends uniquely to X^ru
IndisputableMonolith/Cost/FunctionalEquation washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

transfinite process of taking uniform adherences with regulators from previous adherences; uniform closure when X majorizes Z

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.