topological vector lattice
A topological vector lattice over is
- •
a Hausdorff
topological vector space
over ,
- •
a vector lattice, and
- •
locally solid. This means that there is a neighborhood base of consisting of solid sets.
Proposition 1.
A topological vector lattice is a topological lattice.
Before proving this, we show the following equivalence on the continuity of various operations on a vector lattice that is also a topological vector space.
Lemma 1.
Let be a vector lattice and a topological vector space. The following are equivalent:
- 1.
is continuous
(simultaneously in both arguments)
- 2.
is continuous (simultaneously in both arguments)
- 3.
given by is continuous
- 4.
given by is continuous
- 5.
given by is continuous
Proof.
. If is continuous, then is continuous too, as and are both continuous under a topological vector space. This proof works in reverse too. , , and are obvious. To see , we see that , since is continuous, is continuous also, so that is continuous. To see , we use the identity , so that , which implies is continuous. Finally, is given by , which is continuous.∎
In addition, we show an important inequality that is true on any vector lattice:
Lemma 2.
Let be a vector lattice. Then for any .
Proof.
. Next, so that . Since and are both in the positive cone of , so is their sum, so that , which means that . Similarly, . Combining these two inequalities, we see that .∎
We are now ready to prove the main assertion.
Proof.
To show that is a topological lattice, we need to show that the lattice operations meet and join are continuous, which, by Lemma 1, is equivalent in showing, say, that is continuous. Suppose is a neighborhood base of 0 consisting of solid sets. We prove that is continuous. This amounts to showing that if is close to , then is close to , which is the same as saying that if is in a solid neighborhood of (), then so is in . Since , . But by Lemma 2, and is solid, as well, and therefore is continuous.∎
As a corollary, we have
Proposition 2.
A topological vector lattice is an ordered topological vector space.
Proof.
All we need to show is that the positive cone is a closed set. But the positive cone is defined as , which is closed since is continuous, and the positive cone is the inverse image
of a singleton, a closed set in .∎