Results 1 to 6 of 6

Math Help - Non-Archimedian calculus

  1. #1
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,895
    Thanks
    759

    Non-Archimedian calculus

    When doing calculus with respect to a non-Archimedian metric (such as the p-adic metric), is it true that differentiability does NOT imply continuity (example: the p-adic norm seems to be differentiable but not continuous)?
    Last edited by SlipEternal; May 10th 2014 at 01:53 PM. Reason: At first I thought it was just at 0, but i realized it is true everywhere
    Follow Math Help Forum on Facebook and Google+

  2. #2
    MHF Contributor

    Joined
    Aug 2006
    Posts
    18,705
    Thanks
    1637
    Awards
    1

    Re: Non-Archimedian calculus

    Quote Originally Posted by SlipEternal View Post
    When doing calculus with respect to a non-Archimedian metric (such as the p-adic metric), is it true that differentiability does NOT imply continuity (example: the p-adic norm seems to be differentiable but not continuous)?
    Are you thinking in these terms ?.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,895
    Thanks
    759

    Re: Non-Archimedian calculus

    Yes, the p-adic metric is an example of an ultrametric.
    Follow Math Help Forum on Facebook and Google+

  4. #4
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,895
    Thanks
    759

    Re: Non-Archimedian calculus

    Never mind. I see what I was doing wrong. The p-adic norm is neither continuous nor differentiable at 0. So, differentiability still implies continuity.
    Follow Math Help Forum on Facebook and Google+

  5. #5
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,895
    Thanks
    759

    Re: Non-Archimedian calculus

    I spoke too soon. The p-adic norm was just a poor example. Instead, consider f:\Bbb{Q}_p \to \Bbb{Q}_p defined by f(x) = x|x|_p (where \Bbb{Q}_p is the set of p-adic numbers, and |x|_p is the p-adic norm of x).

    First, I will consider continuity at 0. Consider the sequence a_n = p^n. This sequence converges to 0 with respect to the p-adic metric, but f(a_n) = 1 for all n while f(0) = 0. Hence, f(x) is not continuous at x=0. Yet:

    f'(0) = \lim_{|h|_p \to 0} \dfrac{f(h) - f(0)}{h} = \lim_{|h|_p \to 0} \dfrac{h|h|_p}{h} = \lim_{|h|_p \to 0} |h|_p = 0

    Hence, the derivative exists at x=0. So, differentiability does not imply continuity. Did I make a mistake somewhere?

    Edit: In general, if x \neq 0, then if |h|_p<|x|_p, |x+h|_p = |x|_p, so
    \begin{align*}\lim_{|h|_p \to 0} \dfrac{f(x+h)-f(x)}{h} & = \lim_{|h|_p \to 0} \dfrac{(x+h)|x+h|_p-x|x|_p}{h} \\ & = \lim_{|h|_p \to 0} \dfrac{(x+h)|x|_p - x|x|_p}{h} \\ & = \lim_{|h|_p \to 0} |x|_p = |x|_p\end{align*}

    Hence, f'(x) = |x|_p agrees with the derivative found for x=0, as well.
    Last edited by SlipEternal; May 12th 2014 at 11:18 AM.
    Follow Math Help Forum on Facebook and Google+

  6. #6
    MHF Contributor
    Joined
    Nov 2010
    Posts
    1,895
    Thanks
    759

    Re: Non-Archimedian calculus

    Ohhh!!! I see what I am doing wrong. I am looking at convergence in the reals rather than the p-adics. \left| |h|_p \right|_p \to \infty as |h|_p \to 0, so f'(0) does not exist. My mistake.
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Archimedian Property Question
    Posted in the Differential Geometry Forum
    Replies: 4
    Last Post: April 1st 2013, 12:51 PM
  2. Archimedian Proof
    Posted in the Algebra Forum
    Replies: 1
    Last Post: March 24th 2012, 12:05 PM
  3. [SOLVED] Prove by Archimedian property
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: February 28th 2011, 07:44 PM
  4. Bolzano’s theorem and the Archimedian property of R.
    Posted in the Differential Geometry Forum
    Replies: 3
    Last Post: October 1st 2010, 05:13 PM
  5. [SOLVED] Archimedian Property proof
    Posted in the Calculus Forum
    Replies: 7
    Last Post: October 5th 2008, 07:17 PM

Search Tags


/mathhelpforum @mathhelpforum