Results 1 to 4 of 4

Thread: Contraction Mapping Principle

  1. #1
    Junior Member
    Joined
    Feb 2008
    Posts
    36
    Thanks
    1

    Contraction Mapping Principle

    Let M be a compact metric space. Let $\displaystyle \Phi : M \rightarrow M$ be such that $\displaystyle d(\Phi (x), \Phi (y)) < d(x, y), \forall x, y \in M, x \neq y$. Show that $\displaystyle \Phi$ has a unique fixed point.

    I'd like to use the Contraction Mapping Principle. I can see that M is complete (as it is a compact metric space), but am not sure where to find a constant $\displaystyle c \in [0,1) $ such that $\displaystyle d(\Phi (x), \Phi (y)) \leq c \cdot d(x, y)$. Any advice?
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Senior Member
    Joined
    Nov 2008
    Posts
    394
    Quote Originally Posted by mylestone View Post
    Let M be a compact metric space. Let $\displaystyle \Phi : M \rightarrow M$ be such that $\displaystyle d(\Phi (x), \Phi (y)) < d(x, y), \forall x, y \in M, x \neq y$. Show that $\displaystyle \Phi$ has a unique fixed point.

    I'd like to use the Contraction Mapping Principle. I can see that M is complete (as it is a compact metric space), but am not sure where to find a constant $\displaystyle c \in [0,1) $ such that $\displaystyle d(\Phi (x), \Phi (y)) \leq c \cdot d(x, y)$. Any advice?
    It seems like you don't need to find a "c" to show the existence of a fixed point of x such that $\displaystyle \Phi (x) = x $.

    First, choose a point $\displaystyle x_{1}$ in M and define
    $\displaystyle x_{2} = \Phi (x_{1}), x_{3} = \Phi (x_{2}),...,x_{n}= \Phi (x_{n-1})$ for $\displaystyle n \ge 2$.

    You might need to mark some points in M (to figure out the points indeed converge) and make sure each $\displaystyle d(x_{k-1}, x_{k}) > d(\Phi (x_{k-1}), \Phi (x_{k})) $ where $\displaystyle k=2,3,...,n$.

    Since $\displaystyle \Phi$ is a contractive function, $\displaystyle \{x_{n}\}_{n=1}^{\infty} $is a Cauchy sequence. Since M is a complete metric space, the sequence has a limit in M and we call it x. A contractive function in a metric space is a continuous, so $\displaystyle \{\Phi (x_{n})\}_{n=1}^{\infty} $ converges. We know that $\displaystyle \{\Phi (x_{n})\}_{n=1}^{\infty} $ is simply $\displaystyle \{x_{n}\}_{n=2}^{\infty} $ whose limit is x. Thus $\displaystyle \Phi (x) = x$.

    To show the uniqueness, suppose on the contrary that you have another point $\displaystyle \Phi (y) = y$. Now you can draw a contradiction if you check your distance function formula $\displaystyle d(\Phi (x), \Phi (y)) < d(x, y) $
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    10
    Quote Originally Posted by aliceinwonderland View Post
    It seems like you don't need to find a "c" to show the existence of a fixed point of x such that $\displaystyle \Phi (x) = x $.

    First, choose a point $\displaystyle x_{1}$ in M and define
    $\displaystyle x_{2} = \Phi (x_{1}), x_{3} = \Phi (x_{2}),...,x_{n}= \Phi (x_{n-1})$ for $\displaystyle n \ge 2$.

    You might need to mark some points in M (to figure out the points indeed converge) and make sure each $\displaystyle d(x_{k-1}, x_{k}) > d(\Phi (x_{k-1}), \Phi (x_{k})) $ where $\displaystyle k=2,3,...,n$.

    Since $\displaystyle \color{blue}\Phi$ is a contractive function, $\displaystyle \color{blue}\{x_{n}\}_{n=1}^{\infty} $ is a Cauchy sequence. Since M is a complete metric space, the sequence has a limit in M and we call it x. A contractive function in a metric space is a continuous, so $\displaystyle \{\Phi (x_{n})\}_{n=1}^{\infty} $ converges. We know that $\displaystyle \{\Phi (x_{n})\}_{n=1}^{\infty} $ is simply $\displaystyle \{x_{n}\}_{n=2}^{\infty} $ whose limit is x. Thus $\displaystyle \Phi (x) = x$.

    To show the uniqueness, suppose on the contrary that you have another point $\displaystyle \Phi (y) = y$. Now you can draw a contradiction if you check your distance function formula $\displaystyle d(\Phi (x), \Phi (y)) < d(x, y) $
    Unless I'm missing something, the sentence in blue needs some justification. The usual proof that the sequence is Cauchy relies on estimating $\displaystyle d(x_m,x_n)$ (where n>m) by using the triangle inequality to get $\displaystyle d(x_m,x_n) \leqslant d(x_m,x_{m+1}) + d(x_{m+1},x_{m+2}) + \ldots + d(x_{n-1},x_n) $. If the stronger condition $\displaystyle d(\Phi (x), \Phi (y)) \leqslant c\cdot d(x, y)$ holds, for some c<1, then you can estimate the sum of those distances by using a geometric series. But with the weaker condition $\displaystyle d(\Phi (x), \Phi (y)) < d(x, y)\ (\forall x \neq y)$, that method will not work.

    A mapping satisfying the stronger condition is called a contraction map. A mapping satisfying the weaker condition is sometimes called a strictly metric map. A strictly metric map on a compact space need not be a contraction map. For example, the map $\displaystyle \Phi(x) = \tfrac12x^2$ is strictly metric by not contractive on the closed unit interval [0,1]. It is not clear to me that a strictly metric map on a compact space needs to have a fixed point. (If it has, then the fixed point is certainly unique.)
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Opalg's Avatar
    Joined
    Aug 2007
    From
    Leeds, UK
    Posts
    4,041
    Thanks
    10
    Quote Originally Posted by mylestone View Post
    Let M be a compact metric space. Let $\displaystyle \Phi : M \rightarrow M$ be such that $\displaystyle d(\Phi (x), \Phi (y)) < d(x, y), \forall x, y \in M, x \neq y$. Show that $\displaystyle \Phi$ has a unique fixed point.
    I can now see how to do this problem. Let $\displaystyle \delta = \inf\{d(x,\Phi(x)):x\in M\}$. It follows from the compactness of M that the infimum is attained, so there exists $\displaystyle x_0\in M$ with $\displaystyle d(x_0,\Phi(x_0)) = \delta$. If $\displaystyle \delta\ne0$ then $\displaystyle \delta \leqslant d(\Phi(x_0),\Phi(\Phi(x_0)))<d(x_0,\Phi(x_0)) = \delta$. That contradiction shows that $\displaystyle \delta=0$ and $\displaystyle x_0$ is a fixed point of $\displaystyle \Phi$.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Contraction Mapping.
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: Jul 30th 2011, 07:38 AM
  2. Contraction mapping iterations
    Posted in the Calculus Forum
    Replies: 1
    Last Post: Apr 17th 2010, 04:34 AM
  3. Contraction Mapping Principle
    Posted in the Calculus Forum
    Replies: 4
    Last Post: Nov 17th 2009, 05:54 AM
  4. Calculus Contraction Mapping
    Posted in the Calculus Forum
    Replies: 3
    Last Post: Oct 12th 2008, 09:56 AM
  5. [SOLVED] Contraction Mapping Principle
    Posted in the Calculus Forum
    Replies: 4
    Last Post: Aug 1st 2008, 07:45 PM

Search Tags


/mathhelpforum @mathhelpforum