Continuity of functions
Let be a function of one variable, and a point in its domain. The function is said to be continuous at , if for any precision the function is -constant (equal to its value ) after restriction on a sufficiently short interval around .
Formally, if we denote by the (open) interval, then the continuity means that (check that you understand the meaning of the notation for a subset of ).
A function is said to be continuous on a subset , if it is continuous at all points of this subset. Usually we consider the cases where , that is, functions continuous on their domain of definition.
1. If is an isolated point of the domain , then any function is automatically continuous at for a simple reason: for all sufficiently small the intersection consists of a single point , so the image is a single point .
2. If but and there exists a limit , then one can extend on by letting and obtain a function defined on which is continuous at .
Obvious properties of the continuity
The sum, difference and product of two functions continuous at a point , is again continuous. The reciprocal of a continuous function is continuous at , if .
This is an obvious consequence of the rules of operations on “approximate numbers” (קירובים). When dealing with the sum/difference, one has to work with absolute approximations, when dealing with the product/ratio – with the relatice approximations, but ultimately it all boils down to the same argument: if two functions are almost constant on a sufficiently small interval around , then application of the arithmetic operations is almost constant.
Not-so-obvious property of continuity
When the continuity is compatible with transition to limit? More specifically, we consider the situation where there is an infinite number of functions defined on the common domain . Assume that for any the values (numbers!) form a converging sequence whose limit is denoted by (it depends on !). What can one say about the function ?
Assume that and . All of them are continuous (why?). If , then . If , then for any . Thus the limit exists for all , but as a function of it is a discontinuous function. Thus without additional precautions a sequence of continuous functions can converge to a discontinuous one.
Distance between the functions.
The distance between real numbers is the nonnegative number which is zero if and only if . Motivated by that, we introduce the distance between two functions as the expression .
Exercise. Prove that any three functions defined on the common domain , the “triangle inequality” .
Definition. A sequence of functions is said to be uniformly converging to a function , if .
Theorem. If a sequence of continuous functions converges uniformly, then the limit is also a continuous function.
Indeed, denote by the limit function, any point, and let be any “resolution”. We need to construct a small interval around such that on this interval is -indistinguishable from the value . We split the resolution allowance into two halves. The first half we use to find such that for all . The second half we spend on the continuity: since is continuous, there exists a segment on which is -indistinguishable from . Collecting all inequalities we see that for any point we have three inequalities: . By the triangle inequality, . Ooops! we were heading for ! One should rather divide our allowance into unequal parts, for the distance and for the continuity of if we thought ahead of the computation! 😉 in any case, the outcome is the same.
The notion of continuity, the distance between functions etc. can be generalized from functions of one variable to other classes of functions.
For instance, functions of the form can be called (parametrized) curves. Here the argument can be naturally associated with time, so the is the position of the moving point at the moment . We can draw the image : this drawing does not reflect the timing: to indicate it, we can additionally mark the images, say, .
To define continuity for curves, denote by the unit square . A curve is continuous at a point if such that . (Do you understand this formula? 😉 )
The distance between two points is usually defined as , but this difference is not very much different from the expression (this definition can be immediately generalized for spaces of any finite dimension . The distance between two curves has a very similar form: .
Remark. If the functions are continuous, we can replace the supremum by maximum (which is always achieved).
Koch snowflake revisited
Now we can return to one of the examples we discussed on Lecture 1, the Koch snowflake. In contrast with that time, we now have an appropriate language to deal with it.
The process of constructing the curve actually produces a sequence of closed curves. The image of the first curve is an equilateral triangular, the second one gives the Star of David, the third one has no canonical name.
In all cases the new curve is obtained by taking the previous curve and modifying it on a subset of its domain: instead of traversing a line segment with constant speed, one takes a middle third of this segment and forces to detour. This requires increasing the speed, but we don’t care as long as the trajectory remains continuous. The distance between and is times the size of the size of the segment .
This observation guarantees that . This implies that the sequence of maps converges uniformly. The result is continuous curve which has "infinite length" (in fact, it has no length at all).