Mathematical Writing - Vivaldi Franco 2014
Neighbourhoods - Neighbourhoods and Sets
Describing Functions
A neighbourhood of a point is any open interval containing . Although this definition makes no reference to the size of the interval, a neighbourhood of contains all points sufficiently close to . Thus the neighbourhood concept characterises ’proximity’ in a concise manner that does not require quantitative information. A skillful use of this term leads to terse and incisive statements. For instance, the sentence
The function is bounded in a neighbourhood of .
means that there is an open interval containing whose image under is a bounded set. If we write this statement in symbols
we realise just how much information is packed into it. The following variant of the sentence above:
The function is bounded in a sufficiently small neighbourhood of .
says exactly the same thing, but more eloquently; the reader is warned that the required neighbourhood may be very small.
A property of a function—boundedness in this case—which holds in a neighbourhood of some point of the domain of the function, but not necessarily in the whole domain, is said to be local. So a function may be locally increasing, locally injective, etc.
The function has a maximum at if the value of at is greater than the value at all other points, namely if
(5.8)
The function has a local maximum at if (5.8) holds in some neighbourhood of . The concept of minimum and local minimum are defined similarly. Thus the exponential has no maximum or minimum, the hyperbolic cosine has a minimum but no maximum, and the function has infinitely many local maxima and minima, but no maximum or minimum.
By a neighbourhood of infinity we mean a ray , where is a real number. A neighbourhood of is defined similarly, and both points at infinity are handled at once with the construct . The points are not numbers but they have neighbourhoods, which make them more tangible. So the sentence
The function is constant in a neighbourhood of infinity.
means that is constant for all sufficiently large values of the argument. It may be written symbolically as
or as
5.4.1 Neighbourhoods and Sets
Neighbourhoods are instrumental to the description of sets of numbers. This is an appealing part of the mathematical dictionary, due to the vivid mental pictures we associate with a geometric language. The case for expanding our dictionary is easily made:
How can we describe such sets?
Let . A point is isolated if there is a neighbourhood of that contains no other point of . The set consists entirely of isolated points, and so does the set above. By contrast, has no isolated points.
A point is an interior point of a set if contains a neighbourhood of . A point is a boundary point of a set if every neighbourhood of contains points of as well as points of the complement of . An isolated point is necessarily a boundary point, but not all boundary points are isolated. The boundary points of an interval are its end-points; all other points are interior points and there are no isolated points. Neither nor have interior points; the origin is a limit point of .
A set is closed if it contains all its boundary points, and is open if all its points are interior points. For intervals, these concepts agree with those given in Sect. 2.1.3. The sets and are neither open nor closed. The closure of a set , denoted by , is the union of and the boundary points of . We see that and .