PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] the topologist's sine curve has the fixed point property (Proof)

The typical example of a connected space that is not path connected (the topologist's sine curve) has the fixed point property.

Let $X_1 = \{0\} \times [-1,1]$ and $X_2 = \{(x,\sin(1/x)) : 0<x \le 1\}$ and $X = X_1 \cup X_2$

If $f:X \to X$ is a continuous map, then since $X_1$ and $X_2$ are both path connected, the image of each one of them must be entirely contained in another of them.

If $f(X_1)\subset X_1$ then $f$ has a fixed point because the interval has the fixed point property. If $f(X_2) \subset X_1$ then $f(X) = f(cl(X_2)) \subset cl(f(X_2)) \subset X_1$ and in particular $f(X_1) \subset X_1 $ again $f$ has a fixed point.

So the only case that remains is that $f(X)\subset X_2$ And since $X$ is compact, its projection to the first coordinate is also compact so that it must be an interval $[a,b]$ with $a>0$ Thus $f(X)$ is contained in $S = \{(x, \sin (1/x)) : x\in [a,b]\}$ But $S$ is homeomorphic to a closed interval, so that it has the fixed point property, and the restriction of $f$ to $S$ is a continuous map $S \to S$ so that it has a fixed point.

This proof is due to Koro.




"the topologist's sine curve has the fixed point property" is owned by Mathprof.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: proof, restriction, closed interval, homeomorphic, coordinate, projection, compact, interval, fixed point, contained, image, continuous map, fixed point property, topologist's sine curve, path connected, connected space
There is 1 reference to this entry.

This is version 3 of the topologist's sine curve has the fixed point property, born on 2007-04-27, modified 2007-04-27.
Object id is 9274, canonical name is TopologistsSineCurveHasTheFixedPointProperty.
Accessed 1460 times total.

Classification:
AMS MSC47H10 (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
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)