Download PDF

vector lattice∗
CWoo†
2013-03-21 22:47:22
An ordered vector space whose underlying poset is a lattice is called a vector
lattice. A vector lattice is also called a Riesz space.
For example, given a topological space X, its ring of continuous functions
C(X) is a vector lattice. In particular, any finite dimensional Euclidean space
Rn is a vector lattice.
A vector sublattice is a subspace of a vector lattice that is also a sublattice.
Below are some properties of the join (∨) and meet (∧) operations on a
vector lattice L. Suppose u, v, w ∈ L, then
1. (u + w) ∨ (v + w) = (u ∨ v) + w
2. u ∧ v = (u + v) − (u ∨ v)
3. If λ ≥ 0, then λu ∨ λv = λ(u ∨ v)
4. If λ ≤ 0, then λu ∨ λv = λ(u ∧ v)
5. If u 6= v, then the converse holds for 3 and 4
6. If L is an ordered vector space, and if for any u, v ∈ L, either u ∨ v or u ∧ v
exists, then L is a vector lattice. This is basically the result of property 2
above.
7. (u ∧ v) + w = (u + w) ∧ (v + w) (dual of statement 1)
8. u ∧ v = −(−u ∨ −v) (a direct consequence of statement 4, with λ = −1)
9. (−u) ∧ u ≤ 0 ≤ (−u) ∨ u
Proof. (−u)∧u ≤ u and (−u)∧u ≤ −u imply that 2((−u)∧u) ≤ u+(−u) =
0, so (−u) ∧ u ≤ 0, which means 0 ≤ −((−u) ∧ u) = u ∨ (−u).
10. (a ∨ b) + (c ∨ d) = (a + c) ∨ (a + d) ∨ (b + c) ∨ (b + d), by repeated application
of 1 above.
∗ hVectorLatticei
created: h2013-03-21i by: hCWooi version: h39344i Privacy setting:
h1i hDefinitioni h06F20i h46A40i
† This text is available under the Creative Commons Attribution/Share-Alike License 3.0.
You can reuse this document or portions thereof only if you do so under terms that are
compatible with the CC-BY-SA license.
1
Remark. The first five properties are also satisfied by an ordered vector space,
with the assumptions that the suprema exist for the appropriate pairs of elements (see the entry on ordered vector space for detail).
2