Results 1 to 10 of 10
Like Tree3Thanks
  • 1 Post By emakarov
  • 1 Post By emakarov
  • 1 Post By emakarov

Math Help - Isometry composition, (f^n (x)) - increasing sequence

  1. #1
    Junior Member
    Joined
    Nov 2012
    From
    Ukraine
    Posts
    45

    Isometry composition, (f^n (x)) - increasing sequence

    Let f: [0,1] \rightarrow [0,1] be an isometry in a metric space ([0,1], d_{Eucl}). Suppose f(0)=0, \ \ \ x\in [0,1]

    Could you explain to me why the sequence (f^n(x))_{n\geq1} is monotone and why does it converge with respect to the usual topology of  [0,1] and also with respect to d and, in particular, it satisfies the condition of Cauchy?


    I know that since isometry is a continuous and bijective function, it must be monotone. We put f(0)=0, so it must be increasing. But I can't figure out why f^n(x) \le f^{n+1}(x)

    Could you help me with that? I would really appreciate a thorough explanation, because I can't find anything about isometry composition anywhere.

    Thank you.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: Isometry composition, (f^n (x)) - increasing sequence

    Quote Originally Posted by wilhelm View Post
    I know that since isometry is a continuous and bijective function, it must be monotone. We put f(0)=0, so it must be increasing. But I can't figure out why f^n(x) \le f^{n+1}(x)
    If you know that f is monotone, then it's trivial: apply n times the function f to both sides of x\le f(x). And f^n(x) converges by the monotone convergence theorem.
    Thanks from wilhelm
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Junior Member
    Joined
    Nov 2012
    From
    Ukraine
    Posts
    45

    Re: Isometry composition, (f^n (x)) - increasing sequence

    Thank you. Could you tell me why x \le f(x)?
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: Isometry composition, (f^n (x)) - increasing sequence

    Quote Originally Posted by wilhelm View Post
    Could you tell me why x \le f(x)?
    Good question. I was a little hasty. But does not it follow that f(x) = x? Indeed, since f is an isometry and f(0) = 0, for every 0 <= x <= 1 we have |f(x)| = |f(x) - f(0)| = |x - 0| = |x| = x. But since f(x) ∈ [0, 1], f(x) >= 0, so |f(x)| = f(x) = x.
    Thanks from wilhelm
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Junior Member
    Joined
    Nov 2012
    From
    Ukraine
    Posts
    45

    Re: Isometry composition, (f^n (x)) - increasing sequence

    Am I missing something or does it follow straight from d(x-0) = d(f(x)-f(0)) that this isometry is identity?
    Follow Math Help Forum on Facebook and Google+

  6. #6
    Junior Member
    Joined
    Nov 2012
    From
    Ukraine
    Posts
    45

    Re: Isometry composition, (f^n (x)) - increasing sequence

    I'm sorry there should be commas instead of "-" signs.
    Follow Math Help Forum on Facebook and Google+

  7. #7
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: Isometry composition, (f^n (x)) - increasing sequence

    Quote Originally Posted by wilhelm View Post
    Am I missing something or does it follow straight from d(x-0) = d(f(x)-f(0)) that this isometry is identity?
    In addition to this fact, one needs f(0) = 0 and f(x) ∈ [0, 1]. Otherwise, f_1(x) = 1 - x and f_2(x)= \begin{cases}x&x\in\mathbb{Q}\\ -x&x\notin\mathbb{Q} \end{cases} satisfy the quoted property but are not identities. With these additional properties, a proof that f is the identity is in post #4.
    Thanks from wilhelm
    Follow Math Help Forum on Facebook and Google+

  8. #8
    Junior Member
    Joined
    Nov 2012
    From
    Ukraine
    Posts
    45

    Re: Isometry composition, (f^n (x)) - increasing sequence

    I hope I'm not bothering you. I have one more question. Do you know how to prove that the sequence is increasing for an arbitrary metric consistent with natural topology of [0,1]?
    Follow Math Help Forum on Facebook and Google+

  9. #9
    MHF Contributor
    Joined
    Oct 2009
    Posts
    5,561
    Thanks
    785

    Re: Isometry composition, (f^n (x)) - increasing sequence

    Do I understand right that now we have some metric on [0, 1] that generates the natural topology and that f is still an isometry w.r.t. this metric?
    Follow Math Help Forum on Facebook and Google+

  10. #10
    Junior Member
    Joined
    Nov 2012
    From
    Ukraine
    Posts
    45

    Re: Isometry composition, (f^n (x)) - increasing sequence

    Yes, that's right.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Monotonically increasing sequence
    Posted in the Advanced Algebra Forum
    Replies: 0
    Last Post: February 13th 2013, 03:55 PM
  2. increasing sequence
    Posted in the Calculus Forum
    Replies: 5
    Last Post: May 2nd 2010, 11:43 AM
  3. increasing sequence
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: November 19th 2009, 03:36 AM
  4. Increasing sequence
    Posted in the Calculus Forum
    Replies: 2
    Last Post: August 13th 2009, 04:18 PM
  5. limit of an increasing sequence
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: April 16th 2009, 10:03 AM

Search Tags


/mathhelpforum @mathhelpforum