It there any known way of obtaining the [Banach fixed-point theorem](http://en.wikipedia.org/wiki/Banach_fixed_point_theorem) from the [Tarski fixed-point theorem](http://en.wikipedia.org/wiki/Knaster-Tarski_theorem) or vice-versa?



Banach and Knaster-Tarski fixed point theorems -- are they related?
Hello,


I just found the question, so the answer might come a bit too lat, but..
Have a look at:


*Paweł Waszkiewicz, "Common patterns for metric and ordered fixed point theorems.",
In Proceedings of the 7th Workshop on Fixed Points in Computer Science (Luigi Santocanale ed.), 2010, pp. 83-87.*


I attended this talk last summer, and it addresses exactly your question.


