Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Consider the following function (I think it has a name, but I don't remember it): $$ f(x) = \cases{-1 & $x < 0$ \\ 0 & $x = 0$ \\ 1 & $x > 0$} $$

$f'(x)$ is zero everywhere except at $x=0$, where $f$ is not continuous. But suppose we ignore the right half of the real line and define $f(0)$ to be $-1$. Then $f$ has a left derivative at $x=0$, and it is zero. We can do the same thing from the right, so in a way it could make a little bit of sense to say that $f'(0) =0$.

Of course, I understand that going by the definition $f$ isn't differentiable at $x=0$. But one could imagine an alternative definition of derivative for discontinous functions, in which one calculates lateral derivatives by redefining the function to be continuous, and then we see if the lateral derivatives match. This doesn't always work; for example it's hard to meaningfully assign a derivative to $x \mapsto |x|$ at $x=0$.

Are there other functions with this property? Does it have a name?

share|improve this question
4  
Your $f$ is generally called $\operatorname{sgn}$ or the sign function. –  Hagen von Eitzen Sep 24 '12 at 16:01
    
You might be interested in Dini derivatives and removable singularities, which is what your derivative function has. –  Robert Mastragostino Sep 24 '12 at 16:17
    
@RobertMastragostino To be clear for the OP, either of the "halves" has a removable singularity at 0, but the original "sgn function" does not. It has a jump discontinuity. –  rschwieb Sep 24 '12 at 16:38
    
Although this does not apply to your particular function, there is a notion of differentiability that does not imply continuity: approximate differentiability. (It does imply approximate continuity, though, and your function is not approximately continuous at zero.) –  user31373 Sep 24 '12 at 17:37
add comment

1 Answer 1

This "lateral derivative" approach is already taken in many analysis texts. Royden's analysis text does this, for example. (I though that I have seen them referred to as left and right "derivates", but I can't seem to come up with a source...)

By the way, differentiability of a function on its domain always implies it is continuous there. This works for "left differentiability implies left continuity" and on the right hand too. That is not contradicting your example, however!

If you "ignore the right half of the plane", you are effectively changing the domain to be only the half you are focused on, and indeed, you defined it to be continuous there.

share|improve this answer
    
Royden defines 4 derivates. 2 are on the left and if both exist and agree, then the left-hand derivative exists. Similarly the other 2 are used for right-hand derivative. See en.wikipedia.org/wiki/Dini_derivative –  Graphth Sep 24 '12 at 16:18
    
@Graphth That must have been where I saw it, then :) Thanks! –  rschwieb Sep 24 '12 at 16:34
    
As for his last example , the absolute value function $x \mapsto |x|$, that is a convex function, and for those there is the concept of subderivative. –  kjetil b halvorsen Sep 24 '12 at 16:50
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.