This web page contains basic definitions that will be needed in our discussion of Sequences and Series. Some of this will be familiar to you, some is new. The point of this web page is to set out some terminology and background so that it is clear where we are starting from. For basic definitions of terms (most of which you will need to learn) see the glossary and the other pages here.
You should be familiar with the usual number systems of mathematics,
the natural numbers, the integers, the rationals, the reals, and the complex numbers,
and be comfortable with using the symbols , ,
, , , for the set of such numbers
in each of these systems. Most of these web pages will be
and you will learn many important properties of real numbers here.
However, to describe and work with the reals
we will also require familiarity with , and
. A very small amount of the material on these pages discusses too. A complex number can simply be regarded as a
pair of real numbers (the real and the imaginary part) with specially defined
The normal set-theoretical language is very important for any detailed discussion of the reals and the other number systems. We shall use this with the usual notation, including: curly brackets or braces to define sets; intersection, union, and set-difference of two sets and , , , (this last is sometimes written ); elementhood (when an object is an element of a set), written ; containment of sets (when a set is a subset of another), , and proper containment, ; and the empty set, denoted by . I shall never use in these pages but if you want to use it I recommend that you use it to mean the same as since this is the traditional meaning of the symbol.
There are two competing conventions for , whether to include or not. I am firmly in the first camp, and for me . I am aware you may be reading material written by, or studying with, another mathematician who prefers the other convention. Where possible I will write text, examples, exercises, in such a way that it doesn't matter which you are thinking of. In the few occasions when it does matter, I will try to remind you which my is.
You should be familiar with the idea of an interval on the set of reals. These are sets defined in one of the following ways.
In these definitions, the
left end point in the round-bracket cases
( in and ) is allowed to be
, and the the
right end point in the round-bracket cases
( in and ) is allowed to be
One of the most important functions on the real numbers that gets the subject of analysis going is the absolute value function. You should already have seen this, and you must be sure you understand its definition and can use it accurately in inequalities, etc.
is defined to be if and if .
Note that this definition is by cases. Therefore all statements using absolute value will be expected to be proved using arguments that split into several different cases. Absolute value will be discussed in detail later when we talk about the very important triangle inequality.
Another important function is the integer-part function. This is written or and is equal to the greatest integer such that . The existence of such an integer follows from the Archimedean Property of the reals (which will be discussed later) that says for every real number there is an integer greater than , and the Minimal Counter-Example form of induction, already discussed, which says there is a least such . Then for this we have (since and is least such that ) and is .
A variation is which is equal to the least integer such that . Integer part functions will be used a lot and you need to be comfortable with them. They are also important in more abstract settings, and we will look at them again in relation to the Archimedean Property of the reals.
Another important and much-used piece of terminology is that of
decreasing functions. Again, we will have quite
a lot to say about these later on, but we will need the terminology from
Let be a subset of the reals, such as an interval or the set of natural numbers, integers, rationals, etc. We say that a function is increasing if whenever and then .
There are useful variations of this. Again, let and . We say that is decreasing if whenever and then . We say that is nonincreasing if whenever and then . We say that is nondecreasing if whenever and then .
You should at this point in your mathematical career have seen the idea of rigorous mathematics where all the important theorems are proved from axioms, or basic facts about the objects under consideration that are taken for granted. For example, you may have seen the idea of a group, where one of the axioms is that the operation is associative. Examples of groups include the set of real numbers with the addition operation. However, the set of real numbers is much more than being just a group, and one way to understand it fully is to write down a set of axioms for it that characterise it completely. This is one of the objectives of these pages and will take some time to achieve.
Most of the questions we shall be looking into in these web pages
can be seen as an investigation of the detailed mathematical structure
of . Some of these investigations may appear simple or obvious
at first sight, but turn out to be surprisingly complicated. The notion of limit (the key
idea of this set of notes) is just one such
obvious idea that turns out
to be quite tricky to pin down. The set cannot be fully
understood without it.
From another point of view, the idea of limit is a very practical one and underpins all practical mathematics, especially that involving calculus. The notion of limit is really a theory of approximations - of approximations that can be made as good as we shall ever need. This is a really important idea also for applied mathematics and computational mathematics, as well as pure mathematics.