Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
Concept
Nowhere continuous function
Summary
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 is a function from real numbers to real numbers, then is nowhere continuous if for each point there is some such that for every we can find a point such that and . Therefore, no matter how close we get 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.
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 and has domain and codomain both equal to the real numbers. By definition, is equal to if is a rational number and it is if otherwise.
More generally, if is any subset of a topological space such that both and the complement of are dense in then the real-valued function which takes the value on and on the complement of will be nowhere continuous. Functions of this type were originally investigated by Peter Gustav Lejeune Dirichlet.
Cauchy's functional equation
A function is called an if it satisfies Cauchy's functional equation:
For example, every map of form where is some constant, is additive (in fact, it is linear and continuous). Furthermore, every linear map is of this form (by taking ).
Although every linear map is additive, not all additive maps are linear. An additive map 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 is discontinuous at every point of its domain.
Nevertheless, the restriction of any additive function to any real scalar multiple of the rational numbers is continuous; explicitly, this means that for every real the restriction to the set is a continuous function.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.