In mathematics, a nowhere continuous function, also called an everywhere discontinuous function, is a function that is not continuous at any point of its domain. If f {\displaystyle f} is a function from real numbers to real numbers, then f {\displaystyle f} is nowhere continuous if for each point x {\displaystyle x} there is some ε > 0 {\displaystyle \varepsilon >0} such that for every δ > 0 , {\displaystyle \delta >0,} we can find a point y {\displaystyle y} such that | x − y | < δ {\displaystyle |x-y|<\delta } and | f ( x ) − f ( y ) | ≥ ε {\displaystyle |f(x)-f(y)|\geq \varepsilon } . Therefore, no matter how close it gets to any fixed point, there are even closer points at which the function takes not-nearby values. More general definitions of this kind of function can be obtained, by replacing the absolute value by the distance function in a metric space, or by using the definition of continuity in a topological space.
Examples
Dirichlet function
One example of such a function is the indicator function of the rational numbers, also known as the Dirichlet function. This function is denoted as 1 Q {\displaystyle \mathbf {1} _{\mathbb {Q} }} and has domain and codomain both equal to the real numbers. By definition, 1 Q ( x ) {\displaystyle \mathbf {1} _{\mathbb {Q} }(x)} is equal to 1 {\displaystyle 1} if x {\displaystyle x} is a rational number and it is 0 {\displaystyle 0} otherwise. More generally, if E {\displaystyle E} is any subset of a topological space X {\displaystyle X} such that both E {\displaystyle E} and the complement of E {\displaystyle E} are dense in X , {\displaystyle X,} then the real-valued function which takes the value 1 {\displaystyle 1} on E {\displaystyle E} and 0 {\displaystyle 0} on the complement of E {\displaystyle E} will be nowhere continuous. Functions of this type were originally investigated by Peter Gustav Lejeune Dirichlet.
Non-trivial additive functions
A function f : R → R {\displaystyle f:\mathbb {R} \to \mathbb {R} } is called an additive function if it satisfies Cauchy's functional equation:
… excerpt ends here. Continue reading the full article.
