### Limit of a function in a point

A very similar notion to the notion of limit of a sequence is the notion of limit of a function in a point. It describes the behaviour of values of the function when the arguments are nearer and nearer to a given number. There are two equivalent definitions of this notion: due to Heine and to Cauchy.

We will say that a function has at a point limit (denoted as ), if for any sequence which converges to and such that for any , , the limit of the sequence exists and equals .

Simple example: function has at limit , because from the arithmetic of limits of sequences we know that if converges to , then converges to .

On the other hand, function

has no limit at , because for sequence , , and for , .

### Cauchy’s definition

The equivalent definition is the following. We will say that a function has limit at point , if:

which means that for arbitrarily positive small number there exists a small interval around , such that values of the function in this small interval differ from the limit no more than .

Let us check, that . Let . It suffices to set . Then, if , then actually .

### Infinite limits and limits at infinity

Using Heine’s definition we see that we can easily consider also limits of a function if lub . Simply we can take all sequences , which converge respectively to or and look at the limits of sequences . So for example, .

Also it can occur that the limit of a function at a given point is or , if for all sequences are such that the limit of is respectively or . E.g. }.

### Arithmetic of limits

The Heine’s version of definition immediately implies that the arithmetic of limits of functions works in the same way as the arithmetic of limits of sequences. E.g. .

### One-sided limits

Left limit (from below) of a function (denoted as ) equals , if for any sequence which converges to , such that for any , we get . Similarly we define right limit (from above) (denoted as ) equals , if for any sequence which converges to , such that for any , we get

E.g. and .

A function has a limit at if and only if it has both limits in those points and they are equal.

### Substitution theorem

We have the following theorem: if and , if for some neighbourhood of , for .

Sounds a bit complicated but is very convenient. E.g. let us calculate the limit of function for . Let . If , then , and if only . Therefore:

### Continuity

A function is continuous at a point , if the limit exists and equals . Obviously all simple arithmetic functions are continuous in every point of their domains. E.g. if , .

A function which is continuous at every point of its domain will be simply called continuous.

Function is continuous. Obviously it is continuous for all non-zero points. It is also continuous for , because and , and therefore .

Let be a function defined in the following way:

This function is continuous in all points except , and is not continuous at , because .

Let function be defined as follows:

This function is continuous for , but is not continuous in , because , but , and therefore it has no limit at point .

Function defined in the following way:

is an example of function which has no limit in any point. Therefore is also not continuous at any point.

### Darboux property

Continuous function on an interval have the following (intuitively obvious) property: if , then there exists , such that , and . Therefore, for example, since for is continuous and and , and therefore has at least one root in the interval .