3
$\begingroup$

In the spirit of having handy counter examples, is it possible to construct a function that is differentiable on all of the rational numbers and nowhere else?

Similarly, if a function is holomorphic at a point, must it always be holomorphic in an open neighborhood around that point?

Constructive proofs and counterexamples will be given priority.

  • 0
    Doesn't *holomorphic at p* by definition mean *complex differentiable in a neighbourhood of p*? If so, the answer to your second question is trivially yes.2012-02-20
  • 0
    'Holomorphic at a point' is *defined* to be 'holomorphic on some neighbourhood of that point'2012-02-20
  • 0
    For the rationals question, the answer is yes by Zahorski's Theorem.2012-02-20
  • 0
    André is [right](http://www.numdam.org/item?id=BSMF_1946__74__147_0)2012-02-20
  • 0
    I might have misspoke, I meant to say C-differentiable instead of holomorphic. I don't know if you distinguish between the two at a point. A function is C-differentiable if the difference quotients have a limit at a point. The function needs to be defined in an open neighborhood, but certainly not C-differentiable (I think). Also, a function need not necessarily be C-differentiable in a neighborhood by definition, so the top two responses are wrong with the definition I'm using.2012-02-21

1 Answers 1