Sunday, April 24, 2016

continuity - Find a discontinuous function defined on mathbbQ embedded in mathbbR



I am reading Chapter 1 Example 11 of 'Counterexamples in Analysis' by Gelbaum and Olmstead. This section illustrates counterexamples of functions defined on Q embedded in R of statements that are usually true for functions defined on a real domain. Almost all examples have the assumption that the function (defined on a rational domain) is continuous, for example, the book gives a counterexample of:





A function continuous and bounded on a closed interval but not
uniformly continuous.




My questions are, what is an example of a discontinuous real function defined on Q, that is: f:QR? Are all functions defined on Q discontinuous (similar to how functions defined on the set of natural numbers are always continuous)?


Answer



1). All functions defined on N are continuous (not discontinuous).



2). An example of a function f:QR that is discontinuous is f=χ{0}, i.e. f(x)=1 iff x=0 (xQ). One can see that this is discontinuous by noting that f(1n)=0 for each n1, while f(limn1n)=f(0)=1.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...