Banach's theorem

57 Views Asked by At

as of today I've been studying metric spaces and more specifically I have been busy with Banach's theorem. I was thinking about the importance of every condition in Banach's theorem. So for example the completeness of the metric space. Image we have a metric space which isn't complete but we do have a function which is a strict contraction. What I mean by this is that $$\forall x,y \in X: \exists c \in [0,1[: d(f(x),f(y)) \leq cd(x,y)$$ does every such strict contraction always have a fixed point or are there strict contraction which don't have any fixed points? I have looked at this question Showing a contraction without a fixed point but in this counterexample in the first answer only a contraction, so not a strict contraction is given. Does anyone have a tip to find a counterexample or a proof that every strict contraction have a fixed point? Any help would be greatly appreciated :))