On automatic boundedness of operators between ordered and topological vector spaces

This paper investigates the automatic boundedness of operators mapping from ordered vector spaces to topological vector spaces, with a specific focus on order-to-topology bounded and continuous operators, as well as Levi and Lebesgue operators.

The Gist

Imagine you are a traffic controller at a massive, complex intersection. In the world of mathematics, this intersection is where two different types of "cities" meet: Ordered Spaces (cities where every building has a specific height ranking, like a strict hierarchy) and Topological Spaces (cities where the streets are defined by how close things are to each other, regardless of height).

The "operators" in this paper are like delivery trucks driving from the Ordered City to the Topological City. The big question the authors are asking is: "If a truck behaves well in the Ordered City, does it automatically behave well (stay on the road, not crash, not go too fast) in the Topological City?"

In math terms, this is called "Automatic Boundedness." It asks: If a function is "nice" in one specific way, do we get "nice" in the other way for free?

Here is a breakdown of the paper's journey using everyday analogies:

1. The Setup: The Two Cities

• The Ordered City (Domain): Imagine a city where every house has a number on it, and you can say House A is "taller" or "shorter" than House B. You can also stack them in a line. This is an Ordered Vector Space.
• The Topological City (Codomain): Imagine a city where the rules are about distance. How close are you to the center? How far are you from the edge? This is a Topological Vector Space.
• The Delivery Truck (The Operator): This is the function $T$ that takes a house from the Ordered City and delivers it to the Topological City.

2. The Problem: "Is the Truck Safe?"

Usually, just because a truck drives well in the Ordered City (it respects the height rankings), it doesn't mean it will drive safely in the Topological City (it might drive off a cliff or go infinitely fast).

The authors investigate specific types of "good behavior" in the Ordered City to see if they guarantee safety in the Topological City.

The "Levi" and "Lebesgue" Trucks

The paper focuses on two special types of trucks:

• The Levi Truck: Imagine a truck that carries a stack of boxes. If the stack of boxes in the Ordered City keeps growing but stays "under control" (it doesn't explode), the Levi truck ensures the stack arriving in the Topological City is also under control.
• The Lebesgue Truck: Imagine a truck that carries a stack of boxes that are slowly shrinking down to nothing (like a tower of blocks being removed one by one). The Lebesgue truck guarantees that if the stack disappears in the Ordered City, the delivery in the Topological City also disappears (arrives at zero).

3. The Big Discovery: "Automatic Safety"

The authors found that under certain conditions, you don't need to check the truck's speedometer in the Topological City. If the truck behaves correctly in the Ordered City, it is automatically safe in the Topological City.

Here are the key conditions they found:

• The "Closed Cone" Rule: Imagine the Ordered City has a "positive zone" (a cone) where all the "good" houses live. If this zone is "closed" (no holes in the fence) and "generating" (you can build any house in the city using blocks from this zone), then the trucks are safe.
• The "Normal" Rule: Imagine the Topological City has a "normal" layout where the distance between houses matches their height rankings. If the city is "normal," the trucks behave.

The Magic Result:
If you have a Fréchet Space (a very well-organized, complete city) with a closed, positive zone, and you send a "Levi" or "Lebesgue" truck there, it is automatically a "Bounded" truck.

• Translation: You don't have to check if the truck is speeding. If it respects the order in the first city, it respects the distance in the second city.

4. The "Disjoint" Sequence Analogy

The paper also looks at "disjoint" sequences. Imagine a line of delivery trucks where each one goes to a completely different, non-overlapping neighborhood.

• The authors ask: If a truck behaves well when visiting these non-overlapping neighborhoods, is it a good truck overall?
• They found that for Banach Lattices (a very specific, well-structured type of Ordered City), if a truck behaves well with these disjoint neighborhoods, it is automatically a safe, bounded truck.

5. Why Does This Matter?

In the real world, checking if a system is "bounded" (safe, stable, finite) is often very hard and requires complex calculations.

This paper says: "Hey, if your system has a specific structure (like a closed cone) and follows specific rules (like the Levi or Lebesgue rules), you can skip the hard math! The safety is automatic."

It's like saying: "If a car has a specific type of engine and a specific type of steering wheel, we know for a fact it won't drive off a cliff, so we don't need to test the brakes."

Summary of the "Takeaway"

• The Goal: To find rules that guarantee a mathematical function is "safe" (bounded) without checking every single detail.
• The Method: They looked at functions that respect "order" (hierarchy) and "convergence" (shrinking to zero).
• The Result: They proved that if the starting city is well-structured (closed, normal cones) and the destination city is well-behaved, then Order-to-Topological safety is automatic.
• The Analogy: If a delivery truck respects the height rules of the departure city, and the cities are built correctly, the truck is guaranteed to arrive safely at the destination without crashing, no matter how far it travels.

The authors essentially built a "Safety Certificate" for a huge class of mathematical operators, saving mathematicians from having to re-prove safety for every single new operator they encounter.

Technical Summary

Here is a detailed technical summary of the paper "On automatic boundedness of operators between ordered and topological vector spaces" by E. Y. Emelyanov and S. G. Gorokhova.

1. Problem Statement and Motivation

The paper addresses the fundamental problem of automatic boundedness in functional analysis: determining under what conditions an operator that satisfies specific "order-related" or "sequential" properties is necessarily topologically bounded (continuous).

While classical results exist for:

• Automatic continuity of algebra homomorphisms.
• Automatic continuity of positive operators from Banach lattices to normed lattices.

The authors investigate the gap in knowledge regarding operators from Ordered Vector Spaces (OVS) and Ordered Banach Spaces (OBS) to general Topological Vector Spaces (TVS) or Normed Spaces (NS). Specifically, they ask:

• When does an operator that maps order-bounded sets to topologically bounded sets (order-to-topology bounded) become topologically bounded?
• When does an operator that preserves order convergence (order-to-topology continuous) become topologically bounded?
• How do properties like the Levi and Lebesgue properties relate to topological boundedness in the absence of lattice structures (i.e., in general OVSs)?

2. Methodology and Framework

The authors work within the framework of Ordered Topological Vector Spaces. Key methodological elements include:

• Spaces: The domain is typically an Ordered Banach Space (OBS) or an Ordered Fréchet space (F), often requiring a closed, generating, and normal cone. The codomain is a TVS, Normed Space (NS), or Ordered TVS.
• Convergence Types: The paper distinguishes between various modes of convergence:
  • Order convergence ($o$-convergence): Defined via a dominating net $g_\beta \downarrow 0$.
  • Relative uniform convergence ($ru$-convergence): Defined via a single element $u \in X_+$ and a sequence.
  • Topological convergence ($\tau$-convergence): Standard convergence in the topology.
  • Weak convergence: Convergence in the weak topology $\sigma(Y, Y')$.
• Operator Classes: The study focuses on specific classes of operators:
  • Order-to-topology bounded ($L_{o\tau b}$): Maps order intervals to topologically bounded sets.
  • Order-to-topology continuous ($L_{o\tau c}$): Maps $o$-convergent nets to $\tau$-convergent nets.
  • Levi/Lebesgue operators: Operators preserving specific convergence properties of decreasing nets (e.g., $x_\alpha \downarrow 0 \implies Tx_\alpha \to 0$).
• Collective Properties: The authors utilize the concept of collective convergence to study families of operators, extending the Uniform Boundedness Principle to these specific operator classes.

3. Key Contributions and Results

A. Automatic Boundedness of Order-to-Topology Operators

The paper establishes conditions under which order-to-topology bounded/continuous operators are automatically topologically bounded.

• Proposition 2.3 & 2.4: Establishes that if $X$ is an Archimedean OVS with a generating cone, then every order-to-topology continuous operator is order-to-topology bounded. Furthermore, if $X$ has a generating cone, order-to-topology boundedness is equivalent to relative uniform-to-topology continuity.
• Proposition 2.5 & Theorem 2.7: A major result proving that if $X$ is an OBS with a closed generating cone (or an ordered Fréchet space with a closed generating cone) and $Y$ is a TVS, then every order-to-topology bounded operator is topologically bounded.
  • Significance: This extends previous results from Banach lattices to general ordered spaces with closed generating cones.
• Corollary 2.10: If $F$ is an ordered Fréchet space with a closed generating normal cone and $Y$ is an ordered TVS with a generating normal cone, every order bounded operator is topologically bounded.

B. Levi and Lebesgue Operators

The authors define and analyze $\tau$-Levi and $\tau$-Lebesgue operators in the OVS setting.

• Theorem 3.2: Proves that every quasi $\sigma$-Levi operator from an ordered Fréchet space (with closed generating cone) to an ordered TVS (with normal cone) is topologically bounded. This generalizes a result by Emelyanov et al. from vector lattices to OVSs.
• Theorem 3.3 & 3.5: Establishes equivalences for positive operators:
  • $T$ is Lebesgue $\iff$ $T$ is order-to-topology continuous.
  • $T$ is Lebesgue $\iff$ $T$ is weak-Lebesgue (provided the codomain has a normal cone).
• Theorem 3.11 (Main Result): If $X$ is an OBS with a closed generating normal cone and $Y$ is a normed space, then every $\sigma$-weak-Lebesgue operator is topologically bounded.
  • Implication: This implies that $\sigma$-order-to-weak continuous operators on such spaces are automatically bounded.
• Corollary 3.12: Confirms that for Banach lattices, every $\sigma$-weak-Lebesgue operator is bounded, extending known results.

C. Equivalence of Convergence Types

The paper investigates when order convergence implies relative uniform convergence, which simplifies the analysis of operator continuity.

• Lemma 3.15: In an OBS with a closed normal cone, if the norm is order continuous (or $\sigma$-order continuous), then $o$-convergence is equivalent to $ru$-convergence.
• Theorem 3.16 & Corollary 3.17: If the domain has an order continuous norm, the classes of Lebesgue operators and order-to-norm continuous operators coincide ($L_{Leb} = L_{onc}$). This unifies several previously distinct operator classes in the context of Banach lattices with order continuous norms.

D. Automatic Boundedness of Order Bounded Operators

The paper provides conditions under which order bounded operators are topologically bounded:

• Condition (*): If $X$ and $Y$ are OBSs with generating cones, $X_+$ is closed, and $Y_+$ is normal, then $L_{ob}(X, Y) \subseteq L(X, Y)$.
• Condition ():** If $X$ and $Y$ are OBSs with generating cones, $X_+$ is closed, and $Y_+$ is normal, then every order continuous operator is topologically bounded.

4. Significance and Impact

1. Generalization beyond Lattices: The paper successfully extends the theory of automatic boundedness from Banach Lattices (where the lattice structure is strong) to Ordered Vector Spaces and Ordered Banach Spaces. This is crucial because many applications involve spaces that are ordered but not lattices.
2. Unification of Concepts: It clarifies the relationships between seemingly different operator properties (Levi, Lebesgue, order continuity, weak continuity) and shows that under mild topological assumptions (closed generating normal cones), these properties often imply topological boundedness.
3. Fréchet Spaces: The inclusion of Ordered Fréchet spaces (Theorem 2.7, Theorem 3.2) broadens the scope of applicability to non-normed settings, which is relevant in distribution theory and infinite-dimensional analysis.
4. Uniform Boundedness Principle: The results provide a "Uniform Boundedness Principle" for families of operators that are collectively order-to-topology bounded or collectively Lebesgue, ensuring that such families are uniformly topologically bounded.

5. Conclusion

Emelyanov and Gorokhova demonstrate that the presence of a closed, generating, and normal cone in the domain space is a powerful structural condition. It ensures that operators preserving order-boundedness or order-convergence (specifically Lebesgue and Levi types) are automatically topologically bounded. This resolves several open questions regarding the automatic boundedness of operators in ordered spaces that lack the full lattice structure, providing a robust theoretical foundation for further analysis in ordered topological vector spaces.