Assume (i), and suppose a map as in (ii) existed. Thenare closed, cover , and contain , respectively. Butsince the three sides have no common point. This contradicts (i), so (i) implies (ii).
Conversely, suppose (i) fails. Let be a counterexample and putNo point lies in all three closed sets, so . Identify affinely with the standard simplex so that side is the side on which the first barycentric coordinate is zero, and similarly for . Define to be the point with barycentric coordinatesBecause covers , at least one distance is zero, so . If , then , so ; likewise for . Thus is a forbidden map from (ii). This proves (ii) implies (i).
Brouwer's fixed-point theorem in the plane states that every continuous map from a closed disk to itself has a fixed point. Equivalently, the same holds for every nonempty compact convex subset of .
On the closed unit disk defineFor ,so maps the disk continuously into itself. Brouwer supplies with , which is equivalent toThus this polynomial has a root with .
Write , , andThe endpoint conditions implyLet and define the continuous self-map of By Brouwer, has a fixed point . If is interior, its fixed-point equation gives . At or , the projection equation and the corresponding displayed boundary sign again force . The identical argument in the second coordinate gives . HencesoThe two paths intersect.
Articles by others on the same topic
There are currently no matching articles.