Results 1 to 6 of 6

Thread: Non-Archimedian calculus

  1. #1
    MHF Contributor
    Joined
    Nov 2010
    Posts
    3,392
    Thanks
    1350

    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
    21,776
    Thanks
    2823
    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
    3,392
    Thanks
    1350

    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
    3,392
    Thanks
    1350

    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
    3,392
    Thanks
    1350

    Re: Non-Archimedian calculus

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

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

    $\displaystyle 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 $\displaystyle x=0$. So, differentiability does not imply continuity. Did I make a mistake somewhere?

    Edit: In general, if $\displaystyle x \neq 0$, then if $\displaystyle |h|_p<|x|_p$, $\displaystyle |x+h|_p = |x|_p$, so
    $\displaystyle \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, $\displaystyle f'(x) = |x|_p$ agrees with the derivative found for $\displaystyle 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
    3,392
    Thanks
    1350

    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. $\displaystyle \left| |h|_p \right|_p \to \infty$ as $\displaystyle |h|_p \to 0$, so $\displaystyle 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: Apr 1st 2013, 12:51 PM
  2. Archimedian Proof
    Posted in the Algebra Forum
    Replies: 1
    Last Post: Mar 24th 2012, 12:05 PM
  3. [SOLVED] Prove by Archimedian property
    Posted in the Differential Geometry Forum
    Replies: 2
    Last Post: Feb 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: Oct 1st 2010, 05:13 PM
  5. [SOLVED] Archimedian Property proof
    Posted in the Calculus Forum
    Replies: 7
    Last Post: Oct 5th 2008, 07:17 PM

Search Tags


/mathhelpforum @mathhelpforum