Bourbaki

Example 2

Tag 02RU, permanent. Cite it as [Bourbaki, Tag 02RU].

Théories spectrales, chapter III, § 3. Endomorphismes de Fredholm et endomorphismes de Riesz

If (Ei)i∈I(E_i)_{i\in I} is a finite family of separated locally convex spaces and uiu_i an element of L(Ei)\mathscr{L}(E_i) for every ii in I, the endomorphism u=⨁i∈Iuiu=\bigoplus_{i\in I}u_i of the locally convex space ⨁i∈IEi\bigoplus_{i\in I}E_i is a Riesz endomorphism if and only if uiu_i is one for every ii.

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-6-mini, gpt-5.4, 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.