1
$\begingroup$

I was studying some trigonometry and real analysis and real books, and in the part where periodic functions were discussed, they mentioned Dirichlet's function. Among the properties given for this function was that it discontinuous (and therefore underivable) in any point. This was property 6. Property 7, claimed that it was deduced from the previous property and it said that $\mathbb{Q}' = (\mathbb{R} - \mathbb{Q})' = \mathbb{R}' = \bar{\mathbb{R}}$. Or in other words, for this function $f: \mathbb{R} \rightarrow \mathbb{R}$ the accumulation points is closed real line $\bar{\mathbb{R}} = \mathbb{R} \cup \{-\infty, \infty\}$. This is correct, and sounds reasonable to me, but can someone provide an explanation? It doesn't have to be very tehnical (I'm not very advanced yet).

Dirichlet's function $f: \mathbb{R} \rightarrow \mathbb{R}$ is defined such that $f(x) = 1$ if $x \in \mathbb{Q}$ and $f(x) = 0$ if $x \in (\mathbb{R} - \mathbb{Q})$.

  • 0
    Can you write down the definition of Dirichlet's function or add a link to a description elsewhere (Wikipedia/MathWorld...)?2012-01-14
  • 0
    Yes, here it is [link](http://mathworld.wolfram.com/DirichletFunction.html)2012-01-14
  • 1
    I don't know what is meant by the accumulation points of a function.2012-01-14
  • 0
    [Accumulation point](http://en.wikipedia.org/wiki/Limit_point), apparently in English they're also called limit points.2012-01-14
  • 0
    What do you mean by "accumulation points of the function"? I think you may mean "accumulation points of the set of discontinuity points". One talks of accumulation points (or limit points) of a $set$.2012-01-14
  • 0
    Yes, I think you're right. I'm relatively new to Real Analysis, and english is not my native language (the books are not in english) so sometimes the terms get jumbled up.2012-01-14
  • 0
    An accumulation point of a set doesn't have to in a set, but is infinitely close to the set - which this is a prime example for. What exactly is your question? An epsilon-delta proof?2012-01-14
  • 1
    The function is discontinuous everywhere, so its set of discontinuity points is the set of all reals, so the accumulation points of the set of discontinuity points is the accumulation points of the reals, which is the reals. But we really need some clarification to the question. What exactly is it that you want explained? Property 6? Property 7? how 7 is deduced from 6? We want to help you, but we can't read your mind to work out what you really want to know.2012-01-14

0 Answers 0