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 $\mathbb{N}$, $\mathbb{Z}$,
$\mathbb{Q}$, $\mathbb{R}$, $\u2102$, for the set of such numbers
in each of these systems. Most of these web pages will be about

$\mathbb{R}$
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 $\mathbb{N}$, $\mathbb{Z}$ and
$\mathbb{Q}$. A very small amount of the material on these pages discusses $\u2102$ too. A complex number can simply be regarded as a
pair of real numbers (the real and the imaginary part) with specially defined
arithmetic operations.

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 $\left\{\dots \right\}$ to define sets; intersection, union, and set-difference of two sets $A$ and $B$, $A\cap B$, $A\cup B$, $A\setminus B$ (this last is sometimes written $A-B$); elementhood (when an object is an element of a set), written $x\in A$; containment of sets (when a set is a subset of another), $A\subseteq B$, and proper containment, $A\u228aB$; and the empty set, denoted by $\varnothing $. I shall never use $A\subset B$ in these pages but if you want to use it I recommend that you use it to mean the same as $A\subseteq B$ since this is the traditional meaning of the symbol.

There are two competing conventions for $\mathbb{N}$, whether to include $0$ or not. I am firmly in the first camp, and for me $\mathbb{N}=\left\{0,1,2,3,\dots \right\}$. 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 $\mathbb{N}$ you are thinking of. In the few occasions when it does matter, I will try to remind you which my $\mathbb{N}$ 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.

- $[a,b]=\{x\in \mathbb{R}:a\u2a7dx\u2a7db\}$
- $[a,b)=\{x\in \mathbb{R}:a\u2a7dx<b\}$
- $(a,b]=\{x\in \mathbb{R}:a<x\u2a7db\}$
- $(a,b)=\{x\in \mathbb{R}:a<x<b\}$

In these definitions, the left end point

in the round-bracket cases
($a$ in $(a,b]$ and $(a,b)$) is allowed to be
$-\infty $, and the the right end point

in the round-bracket cases
($b$ in $[a,b)$ and $(a,b)$) is allowed to be
$+\infty $.

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.

Definition.

$\left|x\right|$ is defined to be $x$ if $x\u2a7e0$ and $-x$ if $x<0$.

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 $\left[x\right]$ or $\lfloor x\rfloor $ and is equal to
the greatest integer $n$ such that $n\u2a7dx$. 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
$x$ there is an integer $k$ greater than $x$, and the
Minimal Counter-Example form of induction,
already discussed, which says there is a least such $k$. Then for this
$k$ we have $k-1\u2a7dx$ (since $k-1<k$ and $k$ is
least such that $x<k$) and $k-1$ is $\lfloor x\rfloor $.

A variation is $\lceil x\rceil $ which is equal to the least integer $n$ such that $x\u2a7dn$. 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
increasing

and decreasing

functions. Again, we will have quite
a lot to say about these later on, but we will need the terminology from
the start.

Let $A\subseteq \mathbb{R}$ be a subset of the reals, such as an interval $(a,b)$ or the set of natural numbers, integers, rationals, etc. We say that a function $f:A\to \mathbb{R}$ is increasing if whenever $x,y\in A$ and $x<y$ then $f\left(x\right)<f\left(y\right)$.

There are useful variations of this. Again, let $A\subseteq \mathbb{R}$ and $f:A\to \mathbb{R}$. We say that $f$ is decreasing if whenever $x,y\in A$ and $x<y$ then $f\left(x\right)>f\left(y\right)$. We say that $f$ is nonincreasing if whenever $x,y\in A$ and $x<y$ then $f\left(x\right)\u2a7ef\left(y\right)$. We say that $f$ is nondecreasing if whenever $x,y\in A$ and $x<y$ then $f\left(x\right)\u2a7df\left(y\right)$.

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 $\mathbb{R}$ with the addition operation. However, the
set of real numbers $\mathbb{R}$ 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 $\mathbb{R}$. 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 $\mathbb{R}$ 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.