2
$\begingroup$

Can someone give me an idea how to generalize Banach's fixed-point theorem for complete metric spaces such that the constant contraction coefficient $c$ (as in $d(Tx,Ty)\leq c \ d(x,y)$ ) may be replaced by a sequence $(r_n)_{n \in \mathbb{N}}$ so that $T:X\rightarrow X$ has a unique fixed point if $d(Tx,Ty)\leq r_n d(x,y)$ holds for all $x,y \in X$ and $\sum r_n$ converges?

I tried modifying the original proof, but of $\sum r_n$ only converges (not necessarily with a limit in the interval $[0,1)$ I can't use the original idea...

  • 2
    Can you please state the result that you want to prove in Theorem form?2011-12-11

1 Answers 1

0

There is a simple result, if the space is compact, all you need is that whenever $x \neq y,$ we have $d(Tx,Ty) < d(x,y).$ The trick is to define $f(x) = d(x,Tx).$ As the space is compact, the minimum value of $f$ is achieved at some point, call it $x_0.$ If $f(x_0) \neq 0,$ that is $Tx_0 \neq x_0,$ we have a contradiction from $ f(Tx_0) = d(Tx_0, T(Tx_0)) < d(x_0, Tx_0) = f(x_0).$

I'm afraid I cannot make any sense of your version with the $r_n.$ Meanwhile, if you actually want a vector space over the reals, that is not going to be compact. That comes to mind because of your use of the notation $Tx$ for your function, which suggests an interest in linear transformations. I'm not sure.