Bourbaki

Lemma 5

Tag 03CS, permanent. Cite it as [Bourbaki, Tag 03CS].

Théories spectrales, chapter V, § 3. Fonctions de type positif

Let X be a locally compact topological space and ν\nu a positive measure on X. On every bounded subset of Cb(X)\mathscr{C}_b(X), the topology induced by the weak topology σ(L∞(X),L1(X))\sigma (L^{\infty}(X),L^1(X)) is coarser than the topology of compact convergence.

Let B be a bounded subset of Cb(X)\mathscr{C}_b(X) and let M∈R+M\in \mathbf{R}_+ be such that ∥φ∥∞⩽M\|\varphi \|_{\infty}\leqslant M for every φ∈B\varphi \in B. Let ψ∈L1(X,ν)\psi \in L^1(X, \nu ) and ε>0\varepsilon >0. Fix a compact subset K of X such that

∫X−K∣ψ∣dν<ε \int_{X-K}|\psi |d\nu < \varepsilon

For all φ1\varphi_1 and φ2\varphi_2 in B, we then have

⟨φ1−φ2,ψ⟩=∫Xψ(φ1−φ2)dν \langle \varphi_1-\varphi_2, \psi \rangle =\int_X\psi (\varphi_1-\varphi_2)d\nu
=∫Kψ(φ1−φ2)dν+∫X−Kψ(φ1−φ2)dν =\int_K\psi (\varphi_1-\varphi_2)d\nu +\int_{X-K}\psi (\varphi_1-\varphi_2)d\nu

whence

∣⟨φ1−φ2,ψ⟩∣⩽|\langle \varphi_1-\varphi_2, \psi \rangle |\leqslant supx∈K∣φ1(x)−φ2(x)∣∥ψ∥1+2Mε_{x\in K}|\varphi_1(x)-\varphi_2(x)| \|\psi \|_1+ 2M\varepsilon,

and the lemma follows.

Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Machine translation of the English, by gpt-5.4, gpt-5-6-mini, against glossary version 34. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.