Content deleted Content added
m revert blanking |
m you missed a bit |
||
Line 7:
A full proof of the theorem would be too long to reproduce here, but the following paragraph outlines a proof omitting the difficult part. It is hoped that this will at least give some idea why the theorem might be expected to be true. Note that the boundary of ''D''<sup> ''n''</sup> is ''S''<sup> ''n''<tt>-</tt>1</sup>, the (''n''<tt>-</tt>1)-[[sphere]]
Suppose ''f'' : ''D''<sup> ''n''</sup> <tt>-></tt> ''D''<sup> ''n''</sup> is a continuous function that has no fixed point. The idea is to show that this leads to a contradiction. For each ''x'' in ''D''<sup> ''n''</sup>, consider the straight line that passes through ''f''(''x'') and ''x''. There is only one such line, because ''f''(''x'') ≠ ''x''. Following this line from ''f''(''x'') through ''x'' leads to a point on ''S''<sup> ''n''<tt>-</tt>1</sup>. Call this point ''g''(''x''). This gives us a continuous function ''g'' : ''D''<sup> ''n''</sup> <tt>-></tt> ''S''<sup> ''n''<tt>-</tt>1</sup>. This is a special type of continuous function known as a retraction: every point of the [[codomain]] (in this case ''S''<sup> ''n''<tt>-</tt>1</sup>) is a fixed point of the function. Intuitively it seems unlikely that there could be a retraction of ''D''<sup> ''n''</sup> onto ''S''<sup> ''n''<tt>-</tt>1</sup>, and in the case ''n'' = 1 it is obviously impossible because ''S''<sup> 0</sup> isn't even connected. For ''n'' > 1, however, proving the impossibility of the retraction is considerably more difficult. One way is to make use of [[homology group|homology groups]]: it can be shown that ''H''<sub>''n''<tt>-</tt>1</sub>(''D''<sup> ''n''</sup>) is trivial while ''H''<sub>''n''<tt>-</tt>1</sub>(''S''<sup> ''n''<tt>-</tt>1</sup>) is infinite [[cyclic group|cyclic]]. This shows that the retraction is impossible, because a retraction cannot increase the size of homology groups.
Generalizations of the Brouwer Fixed Point Theorem to infinite dimensions include the [[Schauder fixed point theorem]] (if ''C'' is a [[closed set|closed]] [[convex]] subset of a [[Banach space]] and ''f'' is a continuous map from ''C'' to ''C'' whose image is [[compact|countably compact]], then ''f'' has a fixed point) and the [[Tychonoff fixed point theorem]] (if ''C'' is a compact convex subset of a [[locally convex]] [[topological vector space]], then any continuous map ''f'' from ''C'' to ''C'' has a fixed point).
| |||