Definition 1
Tag 02QS, permanent. Cite it as [Bourbaki, Tag 02QS].
Théories spectrales, chapter III, § 2. Exemples d’applications linéaires compactes
Let . One says that the mapping is the integral operator with kernel from into .
For and (X), one will sometimes also denote by the image under of the class of in .
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.