Editing Function of a real variable (section)

===Continuity and limit===
[[File:Limit of a real function of a real variable.svg|thumb|Limit of a real function of a real variable.]]
Until the second part of 19th century, only [[continuous function]]s were considered by mathematicians. At that time, the notion of continuity was elaborated for the functions of one or several real variables a rather long time before the formal definition of a [[topological space]] and a [[continuous map]] between topological spaces. As continuous functions of a real variable are ubiquitous in mathematics, it is worth defining this notion without reference to the general notion of continuous maps between topological space.

For defining the continuity, it is useful to consider the [[distance function]] of <math>\mathbb{R}</math>, which is an everywhere defined function of 2 real variables:
<math>d(x,y)=|x-y|</math>

A function ''f'' is '''continuous''' at a point <math>a</math> which is [[interior (topology)|interior]] to its domain, if, for every positive real number {{math|''ε''}}, there is a positive real number {{math|''φ''}} such that <math>|f(x)-f(a)| < \varepsilon </math> for all <math>x</math> such that <math>d(x,a)<\varphi.</math> In other words, {{math|''φ''}} may be chosen small enough for having the image by ''f'' of the interval of radius {{math|''φ''}} centered at <math>a</math> contained in the interval of length {{math|2''ε''}} centered at <math>f(a).</math> A function is continuous if it is continuous at every point of its domain.

The [[limit (mathematics)|limit]] of a real-valued function of a real variable is as follows.<ref>{{cite book|title=Differential and Integral Calculus|volume=2|author=R. Courant|date=23 February 1988|pages=46–47|publisher=Wiley Classics Library|isbn=0-471-60840-8}}</ref> Let ''a'' be a point in [[closure (topology)|topological closure]] of the domain ''X'' of the function ''f''. The function, ''f'' has a limit ''L'' when ''x'' tends toward ''a'', denoted 
:<math>L = \lim_{x \to a} f(x), </math>
if the following condition is satisfied:
For every positive real number ''ε'' > 0, there is a positive real number ''δ'' > 0 such that 
:<math>|f(x) - L| < \varepsilon  </math>
for all ''x'' in the domain such that
:<math>d(x, a)< \delta.</math>

If the limit exists, it is unique. If ''a'' is in the interior of the domain, the limit exists if and only if the function is continuous at ''a''. In this case, we have 
:<math>f(a) = \lim_{x \to a} f(x). </math>

When ''a'' is in the [[boundary (topology)|boundary]] of the domain of ''f'', and if ''f'' has a limit at ''a'', the latter formula allows to "extend by continuity" the domain of ''f'' to ''a''.