1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homework Help: Cauchy sequence

  1. Aug 18, 2005 #1

    Consider the sequence [itex]\{p^n\}_{n\in\mathbb{N}}[/itex]. Prove that this sequence is Cauchy with respect to the p-adic metric on [itex]\mathbb{Q}[/itex]. What is the limit of the sequence?
  2. jcsd
  3. Aug 18, 2005 #2

    Let [itex]p_n = 1 + p + p^2 + \dots + p^{n-1}[/itex]. Then we have

    [tex]|p_{n+k}-p_n|_p = \left|p^n + p^{n+1} + \dots + p^{n+k-1}\right|_p[/tex]
    [tex]= \left|p^n(1+p+p^2 + \dots + p^{k-1})\right|_p[/tex]
    [tex]= \frac{1}{p^n}[/tex]

    So for any [itex]\epsilon > 0[/itex], we can choose an [itex]N\in\mathbb{N}[/itex] such that [itex]p^N \geq \frac{1}{\epsilon}[/itex], so if [itex]n > N[/itex] we have

    [tex]|p_{n+k} - p_n|_p < \frac{1}{p^N} \leq \epsilon[/tex]

    Therefore [itex]\{p^n\}_{n\in\mathbb{N}}[/itex] is Cauchy.
  4. Aug 18, 2005 #3
    ii) Since

    [tex]|p^n|_p = \frac{1}{p^n} \rightarrow 0 \quad \mbox{as} \quad n\rightarrow \infty[/tex]

    the limit

    [tex]\lim_{n\rightarrow\infty}^p p^n = 0[/tex]

    Hence this sequence is actually a null sequence with respect to the p-adic norm.
  5. Aug 19, 2005 #4


    User Avatar
    Science Advisor
    Homework Helper

    You've shown the corresponding sequence of partial sums is Cauchy, not the sequence itself. In your other p-adic thread you showed the terms, not the partial sums, go to zero. You seem to be mixing the sequence itself with the sequence of partial sums (or you swapped your replies).
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook

Similar Threads for Cauchy sequence Date
Cauchy Boundary Conditions on a Wave May 3, 2010
Prove Cauchy sequence & find bounds on limit Sep 11, 2005
Cauchy sequences in an inner product space Mar 19, 2005
Cauchy sequence Mar 6, 2005
Cauchy sequences Oct 25, 2004