Content deleted Content added
Line 160:
[[Image:Brouwer fixed point theorem retraction.svg|thumb|right|Illustration of the retraction ''F'']]
Suppose, for contradiction, that a continuous function {{nowrap|''f'' : ''D''<sup>''n''</sup> → ''D''<sup>''n''</sup>}} has ''no'' fixed point. This means that, for every point x in ''D''<sup>''n''</sup>, the points ''x'' and ''f''(''x'') are distinct. Because they are distinct, for every point x in ''D''<sup>''n''</sup>, we can construct a unique ray from ''f''(''x'') to ''x'' and follow the ray until it intersects the boundary ''S''<sup>''n''−1</sup> (see illustration). By calling this intersection point ''F''(''x''), we define a function ''F'' : ''D''<sup>''n''</sup> → ''S''<sup>''n''−1</sup> sending each point in the disk to its corresponding intersection point on the boundary. As a special case, whenever ''x'' itself is on the boundary, then the intersection point ''F''(''x'') must be ''x''.
Consequently, ''F'' is a special type of continuous function known as a [[retraction (topology)|retraction]]: every point of the [[codomain]] (in this case ''S''<sup>''n''−1</sup>) is a fixed point of ''F''.
| |||