Archimedean Completion Operator

• The Archimedean Completion Operator is a canonical map that embeds an Archimedean vector lattice into its Dedekind or ru-completion, ensuring order-denseness.
• It facilitates the extension of one-parameter operator semigroups by preserving order continuity and enabling rigorous analytical methods.
• Its universality and functorial properties allow unique extension of lattice homomorphisms, making it fundamental in the study of operator theory on vector lattices.

The Archimedean completion operator is a canonical embedding mapping an Archimedean vector lattice $E$ into a completion $\widehat E$, where $\widehat E$ denotes either its Dedekind (order) completion $E^o$ or its relatively uniform (ru) completion $E''$. These completion processes are central to the extension of linear structures, such as one-parameter operator semigroups, from non-complete vector lattices to fully complete ones, where analytical tools become more robust. The existence, uniqueness, and properties of these completions—particularly in the context of positive semigroups—are central topics in operator theory on vector lattices, as systematically developed by Emelyanov (Emelyanov, 2024).

1. Preliminaries: Vector Lattices and Embeddings

An Archimedean vector lattice (Riesz space) $E$ over $\mathbb{R}$ is a partially ordered vector space where the lattice (supremum/infimum) operations and vector space structure are compatible. A lattice embedding $J \colon E \to F$ between vector lattices is an injective linear map preserving finite joins and meets: $$J(x \vee y) = Jx \vee Jy,\qquad J(x \wedge y) = Jx \wedge Jy,\qquad x, y \in E.$$ Such embeddings allow $E$ to be viewed as an order-dense subset of its completion.

2. Order-Completion and ru-Completion: Construction and Universality

2.1 Order-Completion (Dedekind Completion)

The order-completion $(E^o, j)$ is characterized by:

• $E^o$ is a Dedekind complete vector lattice.
• $j \colon E \to E^o$ is a lattice embedding with order-dense range: every nonzero positive $y \in E^o$ dominates some $j(x)$ for $x \in E$.
• Universality: For every Dedekind complete lattice $F$ and every order-continuous lattice homomorphism $T \colon E \to F$ there is a unique order-continuous $\widehat T \colon E^o \to F$ extending $T$.

The MacNeille construction realizes $E^o$ as the set of all cuts (pairs of compatible subsets) in $E$, or as the closure of $j(E)$ under arbitrary suprema and infima within a suitable ambient Dedekind complete lattice.

2.2 Relatively Uniform Completion (ru-Completion)

A net $(x_\alpha) \subseteq E$ is relatively uniformly Cauchy (ru-Cauchy) if there exists $u \in E_+$ (a regulator) such that for every $\varepsilon>0$, there exists $\alpha_0$ with $|x_\alpha - x_\beta| \leq \varepsilon u$ for all $\alpha, \beta \geq \alpha_0$. If some $x \in E$ satisfies $|x_\alpha - x| \leq \varepsilon u$ eventually, then $x_\alpha \ru \to x$.

The ru-completion $(E'', k)$ is characterized by:

• $E''$ is ru-complete in itself.
• $k \colon E \to E''$ is a lattice embedding.
• Universality: For every ru-complete lattice $F$ and lattice homomorphism $T \colon E \to F$, there is a unique homomorphism $\widetilde{T} \colon E'' \to F$ such that $\widetilde{T} \circ k = T$.

Construction can proceed by intersection of all ru-complete sublattices in the Dedekind completion containing $j(E)$, or, more concretely, via transfinite induction: $E_0 = E$, for each successor ordinal $\alpha+1$ adjoin all ru-limits of sequences in $E_\alpha$, and at limit ordinals set $E_\lambda = \bigcup_{\gamma < \lambda} E_\gamma$. At countable infinity ($\alpha = \omega_1$), the result stabilizes at ru-complete $E''$.

3. Canonical Embedding (Completion) Operators

• Order-completion embedding: The canonical map $j \colon E \to E^o$ identifies each $x \in E$ with the cut

$(\{a \in E: a \leq x\},\, \{b \in E: b \geq x\}).$

$j$ is a lattice homomorphism with order-dense range in $E^o$.

• ru-completion embedding: The canonical map $k \colon E \to E''$ realizes $E''$ as

$E'' = \bigcup_{\alpha \leq \omega_1} E_\alpha,$

with each $E_\alpha$ constructed as above. Every lattice homomorphism $T \colon E \to F$ to an ru-complete $F$ extends uniquely to $\widetilde{T}\colon E'' \to F$.

Key Properties:

• Both maps are functorial: lattice homomorphisms extend uniquely along the completion embeddings.
• $k(E)$ is ru-dense in $E''$: every element is the ru-limit of a net from $k(E)$ (Emelyanov, 2024).

4. Extension of One-Parameter Operator Semigroups

A one-parameter semigroup $(T(t))_{t \geq 0}$ on $E$ is a family of linear operators satisfying $T(0) = \mathrm{Id}_E$ and $T(s+t) = T(s) T(t)$ for all $s, t \geq 0$. Four “continuity at zero” conditions for such semigroups are considered:

• oc: order continuity in parameter at zero,
• OCo: order continuity for each $x$ as $t \downarrow 0$,
• ruc: relatively uniform continuity in parameter at zero,
• ruco: ru-convergence to the identity at zero.

Extension Theorems:

Semigroup	Completion Target	Hypotheses	Extension Property
Arbitrary semigroup	$E^o$	order-continuity	Unique order-continuous extension
Positive semigroup	$E''$	positivity	Unique positive extension, no extra continuity required

If $(T(t))$ has any continuity-at-zero property, the extension $(\widehat{T}(t))$ to $E^o$ preserves it in the order sense. For ru-completion, positivity alone is sufficient for the extension at each transfinite step (Emelyanov, 2024).

5. Semigroups and Lattices with Property (R)

Property (R), or Vulikh’s o-property, for an Archimedean vector lattice $E$ requires that for every sequence $(y_n) \subseteq E$, there exist $(\alpha_n) \subset \mathbb{R} \setminus \{0\}$ and $y \in E$ with $|\alpha_n y_n| \leq y$ for all $n \in \mathbb{N}$. This condition is equivalent to every countably generated order ideal being contained in a principal ideal and to the existence of a common regulator for any countable family of ru-convergent sequences.

For positive semigroups $(T(t))_{t \geq 0}$ satisfying $\lim_{h \downarrow 0} T(h)x \ru \to x$ for every $x \in E$ (i.e., $(T(t)) \in \mathrm{ruco}$), their positive ru-continuous extension $(T''(t))$ on $E''$ is also relatively uniformly continuous in parameter at zero: $\lim_{h \downarrow 0} T''(h) y \ru \to y,\quad \forall\, y \in E''.$ The extension process is proved by transfinite induction along the construction of $E''$, utilizing the common-regulator implication of property (R) and the order-boundedness preserved by positivity at each stage.

6. Universality and Functorial Aspects

Both the Dedekind and ru-completions possess universal properties:

• Any order-continuous homomorphism from $E$ to a Dedekind complete lattice extends uniquely to $E^o$.
• Any lattice homomorphism from $E$ into an ru-complete lattice extends uniquely to $E''$. This functoriality ensures that both completions form natural “host spaces” for transferring morphisms and operator-theoretic structures from partially complete to fully complete vector lattices.

7. Significance and Research Directions

Archimedean completion operators provide foundational tools for extending semigroup theory from general vector lattices to their completions. This facilitates the use of analytic methods, particularly in the study of positive semigroups, their continuity properties, and invariant substructures. The extension theorem for positive ru-continuous semigroups in lattices with property (R) allows the omission of ru-completeness assumptions in various results, broadening applicability within operator theory. These results, grounded in the universality and categorical nature of the completions, underscore the essential role of the Archimedean completion operator in the modern theory of operator semigroups on vector lattices (Emelyanov, 2024).