Nowhere continuous function

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 ${\displaystyle f}$ is a function from real numbers to real numbers, then ${\displaystyle f}$ is nowhere continuous if for each point ${\displaystyle x}$ there is some ${\displaystyle \epsilon >0}$ such that for every ${\displaystyle \delta >0,}$ we can find a point ${\displaystyle y}$ such that ${\displaystyle |x-y|<\delta }$ and ${\displaystyle |f(x)-f(y)|\ge \epsilon }$. 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 ${\displaystyle {\mathbf{1}}_{\text{Q}}}$ and has domain and codomain both equal to the real numbers. By definition, ${\displaystyle {\mathbf{1}}_{\text{Q}}(x)}$ is equal to ${\displaystyle 1}$ if ${\displaystyle x}$ is a rational number and it is ${\displaystyle 0}$ if ${\displaystyle x}$ otherwise.

More generally, if ${\displaystyle E}$ is any subset of a topological space ${\displaystyle X}$ such that both ${\displaystyle E}$ and the complement of ${\displaystyle E}$ are dense in ${\displaystyle X,}$ then the real-valued function which takes the value ${\displaystyle 1}$ on ${\displaystyle E}$ and ${\displaystyle 0}$ on the complement of ${\displaystyle E}$ will be nowhere continuous. Functions of this type were originally investigated by Peter Gustav Lejeune Dirichlet.^[1]

Non-trivial additive functions

A function ${\displaystyle f:\text{Reals}\to \text{Reals}}$ is called an additive function if it satisfies Cauchy's functional equation: ${\displaystyle f(x+y)=f(x)+f(y)\text{ for all }x,y\in \text{Reals}.}$ For example, every map of form ${\displaystyle x\mapsto cx,}$ where ${\displaystyle c\in \text{Reals}}$ is some constant, is additive (in fact, it is linear and continuous). Furthermore, every linear map ${\displaystyle L:\text{Reals}\to \text{Reals}}$ is of this form (by taking ${\displaystyle c:=L(1)}$).

Although every linear map is additive, not all additive maps are linear. An additive map ${\displaystyle f:\text{Reals}\to \text{Reals}}$ is linear if and only if there exists a point at which it is continuous, in which case it is continuous everywhere. Consequently, every non-linear additive function ${\displaystyle \text{Reals}\to \text{Reals}}$ is discontinuous at every point of its domain. Nevertheless, the restriction of any additive function ${\displaystyle f:\text{Reals}\to \text{Reals}}$ to any real scalar multiple of the rational numbers ${\displaystyle \text{Q}}$ is continuous; explicitly, this means that for every real ${\displaystyle r\in \text{Reals},}$ the restriction ${\displaystyle f{|}_{r\text{Q}}:r\text{Q}\to \text{Reals}}$ to the set ${\displaystyle r\text{Q}:=\{rq:q\in \text{Q}\}}$ is a continuous function. Thus if ${\displaystyle f:\text{Reals}\to \text{Reals}}$ is a non-linear additive function then for every point ${\displaystyle x\in \text{Reals},}$ ${\displaystyle f}$ is discontinuous at ${\displaystyle x}$ but ${\displaystyle x}$ is also contained in some dense subset ${\displaystyle D\subseteq \text{Reals}}$ on which ${\displaystyle f}$'s restriction ${\displaystyle f{|}_D:D\to \text{Reals}}$ is continuous (specifically, take ${\displaystyle D:=x\text{Q}}$ if ${\displaystyle x\ne 0,}$ and take ${\displaystyle D:=\text{Q}}$ if ${\displaystyle x=0}$).

Discontinuous linear maps

A linear map between two topological vector spaces, such as normed spaces for example, is continuous (everywhere) if and only if there exists a point at which it is continuous, in which case it is even uniformly continuous. Consequently, every linear map is either continuous everywhere or else continuous nowhere. Every linear functional is a linear map and on every infinite-dimensional normed space, there exists some discontinuous linear functional.

Other functions

The Conway base 13 function is discontinuous at every point.

Hyperreal characterisation

A real function ${\displaystyle f}$ is nowhere continuous if its natural hyperreal extension has the property that every ${\displaystyle x}$ is infinitely close to a ${\displaystyle y}$ such that the difference ${\displaystyle f(x)-f(y)}$ is appreciable (that is, not infinitesimal).

See also

• Blumberg theorem – even if a real function ${\displaystyle f:\text{Reals}\to \text{Reals}}$ is nowhere continuous, there is a dense subset ${\displaystyle D}$ of ${\displaystyle \text{Reals}}$ such that the restriction of ${\displaystyle f}$ to ${\displaystyle D}$ is continuous.
• Thomae's function (also known as the popcorn function) – a function that is continuous at all irrational numbers and discontinuous at all rational numbers.
• Weierstrass function – a function continuous everywhere (inside its domain) and differentiable nowhere.

References

External links

• Hazewinkel, Michiel, ed. (2001), "Dirichlet-function", Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=p/d032860 
• Dirichlet Function — from MathWorld
• The Modified Dirichlet Function by George Beck, The Wolfram Demonstrations Project.

0.00 (0 votes) Original source: https://en.wikipedia.org/wiki/Nowhere continuous function. Read more