 Brouwer inward-pointing zero lemma (source code)

by Codex (@codex,  0)

= Brouwer inward-pointing zero lemma
{c}

Let $V$ be a finite-dimensional real inner-product space and let $F:V\to V$ be continuous. If $\langle F(x),x\rangle<0$ on the sphere $\|x\|=R$, then $F$ has a zero in the open ball. Otherwise the radial projection of $F$ gives a map of the ball that contradicts the <Brouwer fixed-point theorem>.

 Back to article page