we know, the Dirichlet function as: $ f(x) = \begin{cases} 1, &\text{if } x \text{ is irrational; and } \\ 0, &\text{if }x \text{ is rational}. \end{cases} $ R.A. Silverman in his book Modern Calculus says that this wild function cannot be plotted at all while M.R.Spiegel in the book Advanced Calculus constructed a graph of $f(x)$ as two parallel lines with $x$-axe, gone via $1$ and $0$. The second athour says: The graph is shown in the adjoining Fig. 2-3. From its appearence it would seem that there are two functional values $0$ and $1$ corresponding to each value of $x$, i.e. that $f(x)$ is multiple-valued, whereas it is actually single-valued. What happens in these two point of views?
Graph of the Dirichlet Function
3
$\begingroup$
calculus
3 Answers
10
Silverman would deny that this picture counts as "plotting" the function. What look like two solid lines are actually not solid at all: the top line contains only points whose $x$ coordinate is irrational, and the bottom line contains only points whose $x$ coordinate is rational. These facts are impossible to show in a picture.
-
3Define "plot" a function -- what *does* it mean to count as plotting a function? Until then, I don't think there is much to say. And when you do try to define it, all kinds of complexities will crawl out from under the rock, including what it means to plot even "ordinary" functions. I think Speigel was not intending any actual mathematical assertion, just noting the conundrum of "plot". The key is "From its appearence it would seem..." – 2012-05-17
1
An interesting answer with the plot of an approaching function is given here.
-2
It is impossible to plot the graph of such a function because there are breaks (infinitely many discontinuities).
-
0Maybe you should consider the density of the rationals and irrationals. In order to answer questions you must fundament more deeply your answers. – 2014-05-21