Bourbaki

Exercise 5, § 1

Integration, II

a) An ordered vector space E is said to be archimedean if every x∈Ex \in E such that the set of nxnx (nn an integer ≥0\geq 0) is bounded above, is necessarily ≤0\leq 0 (A, VI, §1, Exer. 31). Show that this condition is equivalent to the following: the intersection of any plane passing through 0 with the convex cone P of elements ≥0\geq 0 of E is a closed angular sector. Show that for an ordered vector space to be archimedean, it is necessary and sufficient that it be isomorphic to a subspace of a fully lattice-ordered space (cf. A, VI, §1, Exer. 31).

b) Let F be the Riesz space RR\mathbf{R}^{\mathbf{R}} of real-valued functions defined on R\mathbf{R} and let H be the subspace B(R)\mathscr{B}(\mathbf{R}) of bounded functions on R\mathbf{R}; H is an isolated subspace of F (Exer. 4). Show that the Riesz space E=F/HE = F/H (Exer. 4) is not archimedean: more precisely, show that for every element x≥0x \geq 0 of E, there exists a y∈Ey \in E such that y≥nxy \geq nx for every integer n≥0n \geq 0.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.