Bourbaki

Exercise 7, § 1

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

Spectral Theories, III, p. 106

Let EE and FF be locally convex topological vector spaces. If FF is metrizable, then the image of every compact linear mapping E→FE\rightarrow F is of countable type.

Solution

No solution has been written yet.

Cited by

Nothing.

Cites

Nothing.

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