Editing Nowhere continuous function (section)

==Examples==

===Dirichlet function===
{{main article|Dirichlet function}}

One example of such a function is the [[indicator function]] of the [[rational number]]s, also known as the [[Dirichlet function]]. This function is denoted as <math>\mathbf{1}_\Q</math> and has [[domain of a function|domain]] and [[codomain]] both equal to the [[real number]]s. By definition, <math>\mathbf{1}_\Q(x)</math> is equal to <math>1</math> if <math>x</math> is a [[rational number]] and it is <math>0</math> otherwise. 

More generally, if <math>E</math> is any subset of a [[topological space]] <math>X</math> such that both <math>E</math> and the complement of <math>E</math> are dense in <math>X,</math> then the real-valued function which takes the value <math>1</math> on <math>E</math> and <math>0</math> on the complement of <math>E</math> will be nowhere continuous. Functions of this type were originally investigated by [[Peter Gustav Lejeune Dirichlet]].<ref>{{cite journal| first = Peter Gustav | last = Lejeune Dirichlet | title = Sur la convergence des séries trigonométriques qui servent à représenter une fonction arbitraire entre des limites données| journal = Journal für die reine und angewandte Mathematik |volume = 4 | year = 1829 | url = https://eudml.org/doc/183134 | pages = 157–169}}</ref>

===Non-trivial additive functions===
{{See also|Cauchy's functional equation}}

A function <math>f : \Reals \to \Reals</math> is called an {{em|[[additive map|additive function]]}} if it satisfies [[Cauchy's functional equation]]:
<math display=block>f(x + y) = f(x) + f(y) \quad \text{ for all } x, y \in \Reals.</math> 
For example, every map of form <math>x \mapsto c x,</math> where <math>c \in \Reals</math> is some constant, is additive (in fact, it is [[Linear map|linear]] and continuous). Furthermore, every linear map <math>L : \Reals \to \Reals</math> is of this form (by taking <math>c := L(1)</math>). 

Although every [[linear map]] is additive, not all additive maps are linear. An additive map <math>f : \Reals \to \Reals</math> 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 <math>\Reals \to \Reals</math> is discontinuous at every point of its domain. 
Nevertheless, the restriction of any additive function <math>f : \Reals \to \Reals</math> to any real scalar multiple of the rational numbers <math>\Q</math> is continuous; explicitly, this means that for every real <math>r \in \Reals,</math> the restriction <math>f\big\vert_{r \Q} : r \, \Q \to \Reals</math> to the set <math>r \, \Q := \{r q : q \in \Q\}</math> is a continuous function. 
Thus if <math>f : \Reals \to \Reals</math> is a non-linear additive function then for every point <math>x \in \Reals,</math> <math>f</math> is discontinuous at <math>x</math> but <math>x</math> is also contained in some [[Dense set|dense subset]] <math>D \subseteq \Reals</math> on which <math>f</math>'s restriction <math>f\vert_D : D \to \Reals</math> is continuous (specifically, take <math>D := x \, \Q</math> if <math>x \neq 0,</math> and take <math>D := \Q</math> if <math>x = 0</math>).

===Discontinuous linear maps===

{{See also|Discontinuous linear functional|Continuous linear map}}

A [[linear map]] between two [[topological vector space]]s, such as [[normed space]]s 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.