|
|
|
|
proof of Brouwer fixed point theorem
|
(Proof)
|
|
|
Proof of the Brouwer fixed point theorem:
Assume that there does exist a map from
with no fixed point. Then let be the following map: Start at , draw the ray going through and then let be the first intersection of that line with the sphere. This map is continuous and well defined only because fixes no point. Also, it is not hard to see that it must be the identity on the boundary sphere. Thus we have a map
, which is the identity on
, that is, a retraction. Now, if
is the inclusion map,
. Applying the reduced homology functor, we find that
, where indicates the induced map on homology.
But, it is a well-known fact that
(since is contractible), and that
. Thus we have an isomorphism of a non-zero group onto itself factoring through a trivial group, which is clearly impossible. Thus we have a contradiction, and no such map exists.
|
"proof of Brouwer fixed point theorem" is owned by bwebste.
|
|
(view preamble | get metadata)
Cross-references: contradiction, onto, group, isomorphism, contractible, induced, functor, homology, reduced, inclusion map, retraction, boundary, identity, point, well defined, continuous, sphere, line, intersection, ray, fixed point, map, Brouwer fixed point theorem, proof
This is version 3 of proof of Brouwer fixed point theorem, born on 2002-12-04, modified 2003-09-05.
Object id is 3642, canonical name is ProofOfBrouwerFixedPointTheorem.
Accessed 6826 times total.
Classification:
| AMS MSC: | 47H10 (Operator theory :: Nonlinear operators and their properties :: Fixed-point theorems) | | | 54H25 (General topology :: Connections with other structures, applications :: Fixed-point and coincidence theorems) | | | 55M20 (Algebraic topology :: Classical topics :: Fixed points and coincidences) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|