Bourbaki

Theorem 3

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

Théories spectrales, chapter III, § 4. Perturbations dans les espaces de Banach

Let nn be a positive integer, V a real normed vector space of dimension n+1n+ 1 and W a vector subspace of V of dimension nn. Let S be the unit sphere of V. There does not exist a continuous mapping f:S→Wf: S\rightarrow W such that ∥f(x)−x)∥<1\|f(x)-x)\|<1 for all x∈Sx\in S.

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, against glossary version 34. Not checked by a person.