Locally Band Preserving Functions

• Locally band preserving functions are defined on Dedekind complete Φ-algebras with a condition that ensures disjointness of elements is preserved via local band structure and projections.
• They bridge nonlinear maps and classical band preserving operators, enabling the recovery of key analysis theorems like the Intermediate, Extreme, and Mean Value Theorems under order continuity.
• This framework is pivotal for preserver problems, as it imposes structural conditions that extend analytical results where order continuity alone is insufficient.

Searching arXiv for recent and directly relevant papers on locally band preserving functions and adjacent preserver problems. arXiv search query: all:"locally band preserving functions Dedekind complete Phi-algebras" Locally band preserving functions are functions on Dedekind complete real or complex $\Phi$-algebras that respect the band structure in a local sense: if two arguments are indistinguishable on the band generated by a given element, then their images are likewise indistinguishable on that band. In the formulation studied for Dedekind complete $\Phi$-algebras, a function $f:\operatorname{dom}(f)\to E$ is locally band preserving if, for all $x,y\in \operatorname{dom}(f)$ and $z\in E$,

$$|x-y|\wedge |z|=0 \implies |f(x)-f(y)|\wedge |z|=0.$$

The notion was introduced by Ercan and Wickstead and is treated as a structural condition strong enough to recover major theorems of classical analysis in settings where order continuity alone is insufficient (Kikianty et al., 23 Aug 2025).

1. Definition and equivalent formulations

Let $E$ be a Dedekind complete real or complex $\Phi$-algebra, and let $f:\operatorname{dom}(f)\to E$. The local band preservation condition requires that disjointness relative to an arbitrary $z\in E$ be preserved under passage from $\Phi$0 to $\Phi$1. In lattice-theoretic terms, if the difference $\Phi$2 vanishes on the band supporting $\Phi$3, then the difference $\Phi$4 must also vanish on that band (Kikianty et al., 23 Aug 2025).

An equivalent characterization is given in terms of band projections. If $\Phi$5 is a band projection on $\Phi$6, then $\Phi$7 is locally band preserving if and only if

$\Phi$8

for all $\Phi$9. This formulation makes explicit that such functions respect the decomposition of the ambient space into disjoint bands. It is often the more operational criterion in proofs, since it converts a disjointness condition into an invariance statement under projections (Kikianty et al., 23 Aug 2025).

The definition is genuinely local. It does not require preservation of a global algebraic or lattice structure in the usual linear sense, and the underlying theory allows $f:\operatorname{dom}(f)\to E$0 to be nonlinear. This is significant because the class is designed to capture a broad family of nonlinear functions while retaining enough band-compatibility to support analysis on abstract ordered algebras.

2. Relation to band preserving maps and basic examples

Locally band preserving functions sit between general nonlinear maps and classical band preserving operators. When $f:\operatorname{dom}(f)\to E$1, a locally band preserving $f:\operatorname{dom}(f)\to E$2 is band preserving in the sense that it maps bands to bands. In the linear case, the distinction disappears: a linear map is locally band preserving if and only if it is band preserving. Moreover, order bounded linear locally band preserving maps are orthomorphisms (Kikianty et al., 23 Aug 2025).

Several model cases clarify the scope of the notion. In $f:\operatorname{dom}(f)\to E$3, every function is locally band preserving, because the only bands are $f:\operatorname{dom}(f)\to E$4 and $f:\operatorname{dom}(f)\to E$5. At the opposite end, in $f:\operatorname{dom}(f)\to E$6 or $f:\operatorname{dom}(f)\to E$7, locally band preserving functions are exactly those defined coordinatewise. This identifies local band preservation with a strong form of coordinatewise locality in standard sequence-space examples (Kikianty et al., 23 Aug 2025).

A further example shows that local band preservation does not reduce to ordinary pointwise evaluation on compactifications. In $f:\operatorname{dom}(f)\to E$8, one can define

$f:\operatorname{dom}(f)\to E$9

using a parametrized family of continuous maps $x,y\in \operatorname{dom}(f)$0; this $x,y\in \operatorname{dom}(f)$1 is locally band preserving and order continuous, but it is not defined by evaluation at points in $x,y\in \operatorname{dom}(f)$2 (Kikianty et al., 23 Aug 2025). This indicates that the class is broader than the most naive pointwise models while remaining tightly constrained by band structure.

A common misconception is that local band preservation is only a disguised linear property. The examples above show otherwise: the framework is explicitly nonlinear, yet its locality is rigid enough to recover classical theorems that fail for arbitrary order continuous functions.

3. Structural role in abstract analysis

The principal motivation for locally band preserving functions is analytical rather than merely algebraic. On Dedekind complete $x,y\in \operatorname{dom}(f)$3-algebras, order continuity on order intervals does not suffice to generalize major theorems of real analysis such as boundedness, the Intermediate Value Theorem, and the Extreme Value Theorem. By restricting to locally band preserving functions, these theorems do extend (Kikianty et al., 23 Aug 2025).

This makes local band preservation a structural replacement for properties that, in $x,y\in \operatorname{dom}(f)$4, are automatic or hidden in the topology. The condition supplies the local-to-global transfer mechanism needed in band-decomposed environments. In this sense, locally band preserving functions are used as the class for which the familiar conclusions of real-variable analysis continue to hold in Dedekind complete $x,y\in \operatorname{dom}(f)$5-algebras.

The same theme appears in related preserver problems on spaces of continuous vector-valued functions. For compact Hausdorff spaces $x,y\in \operatorname{dom}(f)$6 and $x,y\in \operatorname{dom}(f)$7 and a locally convex space $x,y\in \operatorname{dom}(f)$8, maps

$x,y\in \operatorname{dom}(f)$9

satisfying

$z\in E$0

are completely characterized: there exists a continuous map $z\in E$1 such that

$z\in E$2

for all $z\in E$3 (Enami, 2019). The same source describes this range condition as a range version of preserving disjointness and states that, in this context, such operators correspond to “locally band preserving” operators. Thus, the topic belongs to a broader family of nonlinear preserver problems in which local structural compatibility forces a representation by composition.

4. Super order differentiability

A central theorem in the recent theory is that every super order differentiable function is locally band preserving. Order differentiability at a point $z\in E$4 is expressed through approximation of $z\in E$5 by $z\in E$6 in the order sense relative to some $z\in E$7; super order differentiability strengthens this by requiring the estimate to hold for all sequences converging to $z\in E$8 (Kikianty et al., 23 Aug 2025).

The implication from super order differentiability to local band preservation is structural rather than incidental. The proof strategy proceeds through band projections: if $z\in E$9, one examines the segment joining $$|x-y|\wedge |z|=0 \implies |f(x)-f(y)|\wedge |z|=0.$$0 and $$|x-y|\wedge |z|=0 \implies |f(x)-f(y)|\wedge |z|=0.$$1 and uses super order differentiability to show that the values of $$|x-y|\wedge |z|=0 \implies |f(x)-f(y)|\wedge |z|=0.$$2 along this segment are locally constant in the relevant band, yielding $$|x-y|\wedge |z|=0 \implies |f(x)-f(y)|\wedge |z|=0.$$3 (Kikianty et al., 23 Aug 2025).

This result places locally band preserving functions in direct continuity with differentiability theory. A plausible implication is that, in Dedekind complete $$|x-y|\wedge |z|=0 \implies |f(x)-f(y)|\wedge |z|=0.$$4-algebras, super order differentiability plays the role of a differentiability notion strong enough to recover not only derivative-based statements but also the band-compatibility needed for top-order existence theorems. The paper explicitly treats super order differentiable functions as a natural extension of differentiable functions in real analysis with good structural properties (Kikianty et al., 23 Aug 2025).

5. Classical analysis theorems recovered under local band preservation

Within the class of order continuous locally band preserving functions, several foundational theorems of classical analysis hold on intervals $$|x-y|\wedge |z|=0 \implies |f(x)-f(y)|\wedge |z|=0.$$5. The results are formulated in order-theoretic language and recover the familiar existence conclusions.

The Boundedness Theorem states that if $$|x-y|\wedge |z|=0 \implies |f(x)-f(y)|\wedge |z|=0.$$6 is order continuous and locally band preserving, then $$|x-y|\wedge |z|=0 \implies |f(x)-f(y)|\wedge |z|=0.$$7 is order bounded on $$|x-y|\wedge |z|=0 \implies |f(x)-f(y)|\wedge |z|=0.$$8. The Intermediate Value Theorem states that if $$|x-y|\wedge |z|=0 \implies |f(x)-f(y)|\wedge |z|=0.$$9 is order continuous and locally band preserving, then for any $E$0 between $E$1 and $E$2 in the $E$3 sense, there exists $E$4 with $E$5. The Extreme Value Theorem states that under the same hypotheses there exist $E$6 such that

$E$7

For differentiable theory, if $E$8 is order continuous and super order differentiable on $E$9, then there exists $\Phi$0 such that

$\Phi$1

This is the Mean Value Theorem in the $\Phi$2-algebra setting (Kikianty et al., 23 Aug 2025).

Two standard corollaries are also recorded: if $\Phi$3 is identically zero, then $\Phi$4 is constant; and the sign of $\Phi$5 dictates monotonicity, as in classical analysis (Kikianty et al., 23 Aug 2025). These statements are not presented as formal analogies alone; they are proved in the abstract ordered-algebraic setting by combining super order differentiability with the local band preserving framework.

Hypothesis on $\Phi$6	Conclusion
Order continuous + locally band preserving	Boundedness, IVT, EVT hold
Order continuous + super order differentiable on $\Phi$7	MVT holds
Super order differentiable	Locally band preserving

The significance of these theorems lies in their selectivity. The results do not assert that abstract order continuity is sufficient; rather, they identify a sharply delimited function class for which classical analysis survives essentially intact.

6. Failure without local band preservation and complex extensions

The necessity of the local band preserving condition is emphasized by explicit counterexamples. In $\Phi$8, an order continuous function $\Phi$9 under the $f:\operatorname{dom}(f)\to E$0 norm can be constructed that is unbounded, showing that order continuity alone does not imply boundedness. Failures of the Intermediate Value Theorem and Extreme Value Theorem are illustrated on $f:\operatorname{dom}(f)\to E$1: for

$f:\operatorname{dom}(f)\to E$2

one has $f:\operatorname{dom}(f)\to E$3 and $f:\operatorname{dom}(f)\to E$4, but $f:\operatorname{dom}(f)\to E$5 is not in the range, so IVT fails; for

$f:\operatorname{dom}(f)\to E$6

the supremum is not achieved, so EVT fails (Kikianty et al., 23 Aug 2025).

An additional counterexample concerns differentiability. In $f:\operatorname{dom}(f)\to E$7, define $f:\operatorname{dom}(f)\to E$8 if $f:\operatorname{dom}(f)\to E$9, and $z\in E$0 otherwise. This function is order differentiable everywhere with zero derivative, but it is not locally band preserving and not constant. The example shows that zero derivative does not force constancy without the stronger super order differentiability hypothesis (Kikianty et al., 23 Aug 2025).

The theory extends to Dedekind complete complex $z\in E$1-algebras. If $z\in E$2 is such an algebra and $z\in E$3 is super order differentiable, then for any $z\in E$4 there exist $z\in E$5 on the line segment $z\in E$6 such that

$z\in E$7

and

$z\in E$8

This is a complex version of the Mean Value Theorem. A corollary is that if $z\in E$9 is identically zero on $\Phi$00, then $\Phi$01 is constant (Kikianty et al., 23 Aug 2025).

These failures and extensions delimit the scope of the subject. Local band preservation is not merely one possible regularity assumption among many; in the available results, it is the condition that separates the persistence of classical analysis from its breakdown in Dedekind complete $\Phi$02-algebras.