Proposition 4
Tag 08KS, permanent. Cite it as [Bourbaki, Tag 08KS].
Integration, chapter II, § 2. Linear forms on a Riesz space
— In order that two positive linear forms on a Riesz space be alien to each other in the space , it is necessary and sufficient that, for every number and every in , there exist two elements of such that and .
Indeed, by the second formula of (3), this condition expresses that .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.