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: Very high
[parent] any topological space with the fixed point property is connected (Theorem)

Theorem Any topological space with the fixed-point property is connected.

Proof. We will prove the contrapositive. Suppose $X$ is a topological space which is not connected. So there are non-empty disjoint open sets $A,B\subseteq X$ such that $X=A\cup B$ . Then there are elements $a\in A$ and $b\in B$ , and we can define a function $f\colon X\to X$ by $$ f(x) = \left\{ \begin {array}{ll} a, & \mbox{when} \, x\in B, \\ b, & \mbox{when} \, x\in A. \\ \end{array} \right. $$ Since $A\cap B=\emptyset$ and $A\cup B=X$ , the function $f$ is well-defined. Also, $a\notin B$ and $b\notin A$ , so $f$ has no fixed point. Furthermore, if $V$ is an open set in $X$ , a short calculation shows that $f^{-1}(V)$ is $\emptyset, A,B$ or $X$ , all of which are open sets. So $f$ is continuous, and therefore $X$ does not have the fixed-point property. $ \Box$

References

1
G.J. Jameson, Topology and Normed Spaces, Chapman and Hall, 1974.
2
L.E. Ward, Topology, An Outline for a First Course, Marcel Dekker, Inc., 1972.




"any topological space with the fixed point property is connected" is owned by yark. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:


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

Cross-references: fixed-point property, continuous, fixed point, well-defined, function, open sets, disjoint, contrapositive, proof, connected, topological space, theorem
There is 1 reference to this entry.

This is version 9 of any topological space with the fixed point property is connected, born on 2003-09-06, modified 2004-06-12.
Object id is 4705, canonical name is AnyTopologicalSpaceWithTheFixedPointPropertyIsConnected.
Accessed 2607 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.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)