Example 2

Tag 08KK, permanent. Cite it as [Bourbaki, Tag 08KK].

Integration, chapter II, § 2. Linear forms on a Riesz space

Let $I = [a, b]$ be a compact interval of $\mathbf{R}$ , E the Riesz space formed by the regulated real-valued functions on I (FRV, II, §1, No. 3); the mapping $x \mapsto \int_a^b x(t) \, dt$ is a positive linear form on E.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

FRV, II, §1, No. 3 not yet on this site: FVR II