Functions and Sequences Basics
Functions and Sequences Basics
1.1 Functions
In general, a function f is a rule which associates with each t in a set A a
value f (t) from a set B. We write
f : A −→ B
t f (t)
f
A B
The set A is called the “Domain” of the function f and the set B is called
the “Codomain” of the function f . For the domains set A and the codomain
set B we shall be considering the following types of sets:
1. a finite set
{1, 2, 3, · · · , N }
1
2 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
or
{0, ±1, ±2, ±3, · · · , }
3. a finite interval on the real line
[0, T ]
(The interval can also be taken as open interval or open on one side
and closed on the other side)
4. a semi infinite interval on the real line, such as
[a, +∞] or A = [−∞, a] where a ∈ R
(Again the intervals above can also be open on the right or left respec-
tively)
5. the infinite interval, that is the domain is the set R of real numbers
(−∞, ∞)
In general the domain and codomain can be any arbitrary nonempty sets.
For example, the domain A itself can be a collection of functions, and the
codomain B a collection of sets, or A can be a collection of subsets of a fixed
set Ω, and B the set R of real numbers.
Corresponding to any function f : A −→ B we associate several types of
sets of points, some of which are described below:
1. The domain set A and the codomain set B
2. The set of all values taken by the function , called the “Range of the
function” denoted by Rf . We have
Rf = {f (a) : a ∈ A}
= {b ∈ B 3 ∃a ∈ A such that f (a) = b}
3. For any point b in B consider the set {b}, consisting of the single element
b. We collect all those points in A whose image under f is b, that is,
we define the set
def
S(b) = {a ∈ A : f (a) = b}
1.1. FUNCTIONS 3
S(b)
b
A B
f
It may happen that S(b) is empty for some b ∈ B since there may not
be any a ∈ A such that f (a) = b. Note that the set of all those b ∈ B
for which S(b) is nonempty the Range of the function f
def
[
f (−1) (E) = S(b)
b∈E
= {a ∈ A : f (a) ∈ E} (1.1.1)
Thus f (−1) (E) is the set of all those points in A whose image under f
fall in the set E. Note that for some sets E the set f (−1) (E) could be
empty.
4 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
f (−1) (E) E
a
f (a)
A B
b ∈ B =⇒ ∃a ∈ A 3 f (a) = f (b)
Remark 1.1.1 Note that the inverse image under any function f of a set
E, namely f −1 (E) is defined for any subset E of the codomain. On the other
hand the inverse function f −1 : B −→ A is defined if and only if the function
f is one-one and onto
f : N −→ R
The value of this function at n, namely f [n], is a real number which we call
the nth term of the sequence. We also write this sequence as
or as
{f [n]}n
or sometimes as
{fn }
or as
f1 , f2 , · · · , fn , · · ·
We recall the notion of convergence of such a sequence. We have
Remark 1.2.1 This says that the terms of the sequence can be made to
differ from f by less than any tolerance threshold ε if the terms are chosen
sufficiently far off in the sequence.
6 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
Remark 1.2.3 It is easy to see that every convergent sequence of real num-
bers must be a Cauchy sequence. The Completeness axiom of the real num-
bers guarantees that every Cauchy sequence of real numbers converges. (For
a Cauchy sequence, for sufficiently large n, the terms of the sequence give a
good approximation of the limit of the sequence)
2. m0 = inf fn
n
⇐⇒
1) m0 is a lower bound for the sequence , that is,
m0 ≤ fn for every n and
2) for every ε > 0 there exists a positive integer nε such that
m0 ≤ fnε ] < m0 + ε
Remark 1.2.8 We also denote the sup fn as lub(fn ) and inf fn as glb(fn )
n n
Definition 1.3.1 An infinite sequence of real numbers {fn }n∈N of real num-
bers is said to be
nondecreasing fn ≤ fn+1
if for all n
nonincreasing fn+1 ≤ fn
Similarly,
If a nonincreasing sequence {fn }n∈N is bounded below then its greatest lower
bound is denoted by inf fn
n
If a nonincreasing sequence {fn }n∈N is not bounded below then we define its
greatest lower bound as inf an = −∞
n
M0 = sup fn
n
Analogously we have
Theorem 1.3.2 Every nonincreasing sequence of real numbers bounded be-
low converges to its infimum
10 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
Remark 1.3.5 For a nonincreasing sequence not bounded below we say that
its limit is −∞
We next see how the analysis of convergence of a bounded sequence (which
may or may not be monotone) can be converted to that of the analysis of
bounded monotone sequences.
Let {fn }n∈N be a bounded sequence of real numbers. We define a new
sequence {gn }n∈N as follows:
g1 = sup fk = sup {f1 , f2 , · · · , fn , · · ·} = sup fk (1.3.4)
k k≥1
g2 = sup {f2 , · · · , fn , · · ·} = sup fk (1.3.5)
k≥2
Thus we have
Definition 1.3.2 For any bounded sequence of real numbers {fn }n∈N we
define
lim sup fn = inf sup fn (1.3.7)
n→∞ n k≥n
Analogously we define
lim inf fn = sup inf fn (1.3.8)
n→∞ n k≥n
The convergent sequences are precisely those for which the equality holds.
We shall state the following theorem without proof.
1.4. GENERALIZATION TO SETS 11
Note that clearly the empty set φ is a lower bound for any collection C of
subsets of Ω.
Supremum and Infimum
Definition 1.4.3 A subset K0 of Ω, (not necessarily a member of the col-
lection C), is said to be supremum (or Least Upper Bound) of the collection
C if
1. K0 is an upper bound for C, that is,
A ⊆ K0 for every A ∈ C
and
2. K0 is the least among upper bounds, that is, if K is any upper bound
for C then K0 ⊆ K
12 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
Note that clearly the union of all the sets in C is the supremum for C. Thus
we have
[
sup C = A (1.4.3)
A∈C
Similarly we have,
Definition 1.4.4 A subset L0 of Ω, (not necessarily a member of the collec-
tion C), is said to be infimum (or Greatest Lower Bound) of the collection C
if
1. L0 is an lower bound for C, that is,
L0 ⊆ A for every A ∈ C
and
2. L0 is the largest among lower bounds, that is, if L is any upper bound
for C then L ⊆ L0
Note that clearly the intersection of all the sets in C is the infimum for C.
Thus we have
\
inf C = A (1.4.4)
A∈C
Sequences of subsets of Ω
Analogously we define the following concepts for infinite sequences of subsets
of a set Ω as follows: Let A1 , A2 , · · · , An , · · · be an infinite sequence of subsets
of Ω. Then clearly
∞
[ ∞
\
sup An = An and inf An = An
n n
n=1 n=1
and in general
∞
[
Bn = sup Ak = Ak
k≥n
k=n
Then the sequence Cn is nondecreasing and we define its limit as its sup,
that is
∞
def
[
lim Cn = sup Cn = Cn
n→∞ n
n=1
Note that lim sup An and lim inf An are both subsets of Ω
n→∞ n→∞
Remark 1.4.1 Let us now look at the structure of the set lim sup An . We
n→∞
have
∞ [
\ ∞
x ∈ lim sup An ⇐⇒ x ∈ Ak
n→∞
n=1 k=n
∞
[
⇐⇒ x ∈ Ak for every n
k=n
⇐⇒ for every n there exists a k ≥ n such that x ∈ Ak
⇐⇒ however far we look in the sequence there exists a set
in the sequence to which x belongs
⇐⇒ x is an element of infinitely many of the An sets
Thus we have
lim sup An is the set consisting precisely of those elements that are
n→∞
elements in infinitely many of the An sets
Similarly we can see that
lim inf An is the set consisting precisely of those elements that are
n→∞
elements of all the An sets beyond a certain stage
We next observe that for a sequence of real numbers {fn }n∈N the following
holds:
Proposition 1.5.2
In view of the above Proposition 1.5.2 it follows that we need tests for con-
vergence to zero. We shall now look at such simple tests.
We shall first state a useful theorem (without proof):
1. {gn }n∈N and {hn }n∈N both converge to the same limit `, and
2. gn ≤ fn ≤ hn for all n
Then
The sequence {fn }n∈N also converges to `
Remark 1.5.1 Since convergence depends only on how the tail of the se-
quence behaves, the above theorem holds even if we replace condition (2)
above by the following:
There exists a positive integer N0 such that
gn ≤ fn ≤ hn for all n ≥ N0
Remark 1.5.3 In the above Remark we can also replace fn ≤ hn byfn ≤ Khn
where K is some positive constant.
We shall therefore look at some simple sequences that converge to zero that
can be used to apply the Sandwich Theorem
16 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
1
1. The sequence of real numbers defined as an = converges
np
to zero if and only if p > 0
Example 1.5.1 We shall now use this to show that the sequence de-
fined as
n2 + 1
fn = 3
n +4
converges to zero.
We have
n2 + 1
fn =
n3 + 4
=⇒
2n2
fn ≤ since 1 ≤ n2 for all n
n3 + 4
2n2 2 1 1
≤ = since ≤ for all n
n3 n n3 + 4 n3
Hence we get
2
0 ≤ fn ≤
n
1
Now by choosing hn = n and using the Remark 1.5.3 we get the se-
quence {fn }n also converges to zero.
Since degree of P (n) < degree of Q(n) we have that the given se-
quence converges to zero
F (n)
3. More generally, if fn = where F (n) and G(n) are ex-
G(n)
pressions each term of which is a power of n, then the sequence
converges to zero if
n2 + 1
fn = √ 5
( n) + 1
Then we have
F (n) = n2 + 1
√
G(n) = ( n)5 + 1
highest exponent of n in F (n) = 2
5
highest exponent of n in G(n) =
2
Since
F (n)
4. If an = where F (n) and G(n) are expressions each term
G(n)
of which is a power of n, and if
1.6 Example
Let us consider the following sequence of real numbers:
3n2 + 2
fn =
4n2 + 3
We first observe that
3n2 + 2
fn =
4n2 + 3
n2 (3 + 2n−2 )
=
n2 (4 + 3n−2 )
3 + 2n−2
=
4 + 3n−2
We look at some of the terms of the sequence
n fn
3.0002
102
4.0003
3.000002
103
4.000003
3.00000002
104
4.00000003
1. It appears from the above table of values of fn that the terms fn are
3
getting closer to as n increases and hence intuitively we see the limit
4
3
as . We shall now prove, using the definition of convergence, that the
4
3
sequence indeed converges to .
4
In order to do this we need to show the following:
We must show that for any given ε > 0 we can find a positive integer
Nε such that
3
n ≥ Nε =⇒ fn − < ε
4
20 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
Let us first estimate the error fn − 34 . We have
3 3n2 + 2 3
fn − = −
4 4n2 + 3 4
(12n2 + 8) − (12n2 + 9)
=
4(4n2 + 3)
−1
=
4(4n2 + 3)
Thus
3 −1
fn − = (1.6.1)
4 4(4n2 + 3)
Hence we get
3 1
|fn − | =
4 4(4n2 + 3)
1
≤ 2
(4n + 3)
1
≤
4n2
1
≤
n2
3
Hence fn − will be < ε if
4
1
< ε, that is if,
n2
1
n> √
ε
1
Hence given any ε > 0 we choose a positive integer Nε > √ . Then
ε
3 1 1
n ≥ Nε =⇒ fn − < 2 ≤ 2 < ε
4 n Nε
3
Hence the sequence converges to f =
4
1.6. EXAMPLE 21
Hence we get
m2 − n2
|fn − fm | =
(4n2 + 3)(4m2 + 3)
m2
≤
(4n2 + 3)(4m2 + 3)
1
≤ 2
4n + 3
1
≤
n2
1
Hence as above given any ε > 0 we choose a positive integer Nε > √ .
ε
Then
1 1
n ≥ Nε =⇒ |fn − fm | < 2 ≤ 2 < ε
n Nε
Thus the given sequence is a Cauchy sequence
fn ≤ fn+1
22 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
3 3n2 + 2 3
fn ≤ if 2
≤
4 4n + 3 4
This is true if
12n2 + 8 ≤ 12n2 + 9
3
which is obviously true for all n. Hence is an upper bound.
4
We prove (b) as follows:
We have observed in equation 1.6.1 above that
3 −1
fn − =
4 4(4n2 + 3)
1.7. SEQUENCES OF FUNCTIONS 23
fn : I −→ R
If we now look at the graphs of these functions, each function gives rise to
a path in the plane and we would like to see if these paths approach some
fixed path as n → ∞.
24 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
Example 1.7.1 Let I = [0, 1], the closed interval in R. Let the sequence of
functions be defined as
x
fn (x) =
n
If we now plot these functions we get a family of straight lines.
fn (x)
f1
1
f2
f3
f10
x
0 1
From the figure above it appears that these curves (straight lines) represent-
ing the functions fn (x) are approaching the zero function
fn : D −→ R n = 1, 2, 3, · · ·
for every ε > 0 there exists a positive integer N0 (ε), (which will,
in general, depend not only on ε but also on the point x0 ), such
that
n ≥ N0 (ε) =⇒ |fn (x0 ) − f( x0 )| < ε
If the sequence of functions converges at every point x ∈ D to f (x) we then
say that the sequence of real valued functions fn converges pointwise to the
function f . Hence we have the following definition:
Hence this sequence of real valued functions converges pointwise to the zero
function. We have
pw [0,1]
fn −→ 0
We shall see this by using the ε definition of point wise convergence.
For x = 0 we already have fn (0) = 0 for all n. Hence for any ε > 0 we can
take Nε = 1 and we have
1
For any ε > 0 choose Nε to be a positive integer > . Then we have from
ε
above
1
|fn (x)| ≤
n
1
≤ for all n ≥ Nε
Nε
< ε by the choice of Nε
Hence fn (x) converges to zero for all x ∈ [0, 1]. Thus we have
pw [0,1]
fn −→ 0
fn : [0, 1] −→ R
defined as
1
fn (x) =
n+x
We have for any x ∈ [0, 1],
1
0 ≤ |fn (x)| =
n+x
1
≤
n
We have
pw [0,1]
fn −→ 0
1.7. SEQUENCES OF FUNCTIONS 27
and
pw [0,∞)
fn −→ 0
1. If all fn , (if not all fn at least all fn beyond a certain stage), are bounded
functions then will f be bounded - that is, does pointwise convergence
preserve boundedness?
2. If all fn , (if not all fn at least all fn beyond a certain stage), are
continuous functions in I then will f be continuous in I - that is, does
pointwise convergence preserve continuity?
3. If all fn , (if not all fn at least all fn beyond a certain stage), are
differentiable functions in I then will f be differentiable in I, and if so
will the derivative f 0 of the limit function be the limit of the sequence
of derivatives, {fn0 }n∈N - that is, does pointwise convergence preserve
differentiability?
4. If all fn , (if not all fn at least all fn beyond a certain stage), are
integrable over I then will f be integrable over I and is
Z Z
lim fn (x)dx = lim fn (x)dx
n→∞ I I n→∞
28 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
Hence for every n, fn is a bounded function on (0, 1). However the limit
function f (x) is not a bounded function on (0, 1). Thus we see that pointwise
convergence does not, in general, preserved boundedness.
1.7. SEQUENCES OF FUNCTIONS 29
Hence we have
pw (R)
fn −→ 0
Further we see that for every n, fn is a differentiable function, and
(1 + nx2 )(1) − x(2nx)
fn0 (x) =
(1 + nx2 )2
1 − nx2
=
(1 + nx2 )2
For x = 0 we have
fn (x) − fn (0)
fn0 (0) = lim
x→0 x
fn (x)
= lim (since fn (0) = 0)
x→0 x
1
= lim
x→0 1 + nx2
= 1
Thus
For x 6= 0 we have
1 − nx2
fn0 (x) =
(1 + nx2 )2
2
n n1 − xn
=
n2 ( n1 + x2 )2
1 2
1 n
− xn
=
n 1 2 2
n
+ x
−→ 0
1
n
n x
0
We have
1
n
if 0 ≤ x ≤ n
fn (x) =
0 if x > n
It is easy to see that
pw [0,∞)
fn −→ 0
For every n the function fn is integrable over [0, ∞) and
Z ∞
fn (x)dx = 1
0
On the other hand the limit function f being the zero function we have
Z ∞
f (x)dx = 0
0
Thus Z ∞ Z ∞
lim fn (x)dx 6= lim fn (x)dx
n−→∞ 0 0 n−→
Thus we see that pointwise convergence does not, ingeneral, preserve integrals
32 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
2 3 N
f1 (x)(x) 1 1 1
··· 1
1 2 3 N
f2 (x) 2 2 2
··· 2
1 2 3 N
f3 (x) 3 3 3
··· 3
.. .. .. .. .. ..
. . . . . .
1 2 3 N
fn (x) n n n
··· n
.. .. .. .. .. ..
. . . . . .
1.8. MORE NOTIONS OF CONVERGENCE OF SEQUENCES OF REAL VALUED FUNCTIONS33
pw (D)
fn −→ 0
Consider any ε > 0. For the sake of illustration let us take ε = 10−4 and we
choose Nε to be a positive integer > xε . Then
x
|fn (x) − f (x)| = < ε = 10−4 if n ≥ Nε > x(10)4
n
Thus, in this example we see that there exists a single positive integer Nε
which depends only on ε and not on the point x ∈ D such that the above
inequality holds beyond this Nε .
Example 1.8.2 Consider now the set D = N = {1, 2, 3, · · ·}, the infinite
set of all positive integers, and as in the above example let the sequence
fn : D −→ R be defined as
x
fn (x) = for all x ∈ D
n
34 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
2 3 N
f1 (x)(x) 1 1 1
··· n
··· ···
1 2 3 N
f2 (x) 2 2 2
··· 2
··· ···
1 2 3 N
f3 (x) 3 3 3
··· 3
··· ···
.. .. .. .. .. .. .. ..
. . . . . . . .
1 2 3 N
fn (x) n n n
··· n
··· ···
.. .. .. .. .. .. .. ..
. . . . . . . .
From the table it follows that
lim fn (x) = 0 (= f (x)) for all x ∈ D
n−→∞
Hence we get
pw (D)
fn −→ 0
We observe that, in this example, for any ε > 0, we need different Nε at
different points in D to make |fn (x) − f (x)| < ε - and no single positive
integer Nε works for all x ∈ D - whereas in the previous example we could
get one Nε that worked for all points.
We next distinguish these two cases by introducing the notion of uniform
convergence.
Definition 1.8.1 . A sequence of real valued functions, fn : D −→ R,
is said to converge “uniformly” to the function, f : D −→ R on D,
if
For every ε > 0 there exists a positive integer Nε (depending only
on ε) such that
n ≥ Nε =⇒ |fn (x) − f (x)| < ε for all x ∈ D
1.8. MORE NOTIONS OF CONVERGENCE OF SEQUENCES OF REAL VALUED FUNCTIONS35
Thus the sequence in Example 1.8.1 converges uniformly to the zero func-
tion while the sequence in the Example 1.8.2 does not converge to the zero
function uniformly, even though it converges pointwise to the zero function.
If a sequence of functions fn converges uniformly to a function f we then
write,
uc (D)
fn −→ f
uc (D) uc (D)
Remark 1.8.2 It is easy to see that fn −→ f is equivalent to fn −f −→ 0.
It is, therefore, enough if we know how to test for uniform convergence to
the zero function.
2. Mn −→ 0
uc (D)
Then fn −→ 0
1
Choosing Mn = n2 +1
and applying Weierstrass’ test we get
uc (I)
fn − f −→ 0
and hence
uc (I)
fn −→ f
and hence
This gives
Since all the fn (x) are given to be continuous on I we have fNε (x) is
continuous on I
Hence fNε (x) is continuous at x = a
ε
Thus given ε > 0 choose ε1 =
3
By the continuity of fNε at the point a, we get a δε1 (a) > 0 (and hence
δε (a)) such that
Then we have
|f (x) − f (a)| = |f (x) − fNε (x) + fNε (x) − fNε (a) + fNε (a) − f (a)|
≤ |f (x) − fNε (x)| + |fNε (x) − fNε (a)| + |fNε (a) − f (a)|
1.8. MORE NOTIONS OF CONVERGENCE OF SEQUENCES OF REAL VALUED FUNCTIONS39
The first and third terms are < ε1 by equation 1.8.5 and the middle
term is < ε1 by equation 1.8.6 if |x − a| < δε .
Thus we have for every ε > 0 there exists a δε (a) such that
We have
2
x + n2 x + x
|fn (x)| =
n2 + 1
2 + n2
≤
n2 + 1
40 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
Hence all the fn are bounded. Further we have for the limit function,
|f (x) = |x| ≤ 1
and hence the limit function is also bounded. Thus we see that uniform
convergence has preserved boundedness.
Further all the fn are continuous functions on I and the limit function
f (x) = x is also continuous on I. Thus we see that uniform convergence
has preserved continuity.
1 − nx2
fn0 (x) = (1.8.8)
(1 + nx2 )2
pw (R)
fn0 (x) −→ g(x) (1.8.9)
where
1 if x = 0
g(x) = (1.8.10)
0 if x 6= 0
Now we shall see that the sequence {fn }n converges uniformly to the
zero function f (x) = 0. We have from 1.8.8 that the critical points
1
of fn (x) are at x = ± √ and using second derivative we can show
n
1
that the maximum occurs at x = √ and the minimum occurs at
n
1
x = − √ . The maximum value of fn (x) is
n
1 1
fn √ = √
n 2 n
1.8. MORE NOTIONS OF CONVERGENCE OF SEQUENCES OF REAL VALUED FUNCTIONS41
Thus we have
1
|fn (x)| ≤ √ for all x ∈ R
2 n
1
Now choosing Mn = √ and applying Weierstrass’ Mn test we see
2 n
that
uc (I)
fn −→ f (x) where f (x) = 0 for all x
pw (R)
Now by 1.8.8 and 1.8.9, fn are all differentiable and fn0 −→ g(x).
But f 0 (x) 6= g(x) at x = 0. Thus we see that even though all the fn
are differentiable and the convergence is uniform and the sequence of
derivatives converge pointwise, the derivative of the limit function f (x)
is not the same as the limit of the derivative functions. Thus preserving
differentiability is not, in general true, under uniform convergence.
=⇒
f is differentiable and f 0 (x) = g(x)
Thus we have
Z
1
lim fn (x)dx = (1.8.11)
n→∞ I 2
We also have
Z Z 1
1
f (x)dx = xdx = (1.8.12)
I 0 2
Thus we have Z Z
lim fn (x)dx = lim fn (x)dx
n→∞ I I n→∞
Thus in this example, uniform convergence has preserved the integrals
The difference between the two examples above is that the interval I
in Example 1.8.8 is an infinite interval whereas it is finite in Example
1.8.9. We can prove that in general,
Theorem 1.8.2
i) I is a finite interval
uc (I)
ii) fn −→ f
iii) f is integrable over I
n
=⇒
i) f is integrable
Z overZ I Z
ii) lim fn (x)dx = lim fn (x)dx = f (x)dx
n→∞ I I n→∞ I
We shall next look at what it means to say that a sequence of real valued
functions {fn }n∈N does not converge uniformly to the function f . In view of
Remark 1.8.2 it is enough to look at what it means to say that a sequence of
real valued functions {fn }n∈N does not converge uniformly to the function
the zero function. Without loss of generality let us assume D is an interval
I on the real line.
A sequence of functions fn : I −→ R converges uniformly to the zero function
if
for every ε > 0 there exists a positive integer Nε such that
n ≥ Nε =⇒ |fn (x)| < ε for every x ∈ I
44 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
This means that if we sketch the graphs of the functions fn (x) then beyond
the stage n ≥ Nε the graphs of all the functions fn (x) will be trapped inside
the band formed by the lines y = ε and y = −ε
fn (x)
a x
b
−ε
I = [a, b]
The graphs of all the functions fn (x) (for all n beyond a certain stage), must
be trapped in the shaded region, and this must be possible for every ε > 0
Remark 1.8.4 The above observation tells us that the sequence fn will fail
to converge uniformly on I, to the zero function, if there exists an ε > 0 for
which we cannot trap the graph of all the functions fn (x) (beyond a certain
stage) in the ε band around the zero function.
This means that the sequence fn will fail to converge uniformly on I to the
zero function if there exists an ε > 0 such that for every positive integer N we
can find a positive integer n > N and a point xn ∈ I such that |fn (xn )| ≥ ε.
This means that the sequence fn will fail to converge uniformly on I to the
zero function if there exists an ε > 0 such that the graph of fn (x) crosses the
+ε or the −ε barrier infinitely often.
A simple situation where this happens is when the graph of all the functions,
beyond a certain stage in the sequence, cross the ε barrier. This means that
the sequence fn will fail to converge uniformly on I to the zero function if
there exists an ε > 0 and a positive integer N such that, for all n ≥ N , the
1.8. MORE NOTIONS OF CONVERGENCE OF SEQUENCES OF REAL VALUED FUNCTIONS45
x
fn (x) =
n
k=1
n x
1 2 3 4
It is easy to see that the (discrete) graph of the function fn (x) consists of
those points, on the straight line passing through the origin and with slope
1
, corresponding to positive integral values of x and therefore crosses the ε
n
barrier
Now we see that if we take k = 1 then for every n we have xn = n such that
1
fn (xn ) = 1 and hence by the above Remark 1.8.4 since all fn cross the ε =
2
barrier, this sequence of real valued functions cannot converge uniformly on
N to the zero function.
46 CHAPTER 1. SOME BASIC IDEAS IN ANALYSIS
Example 1.8.11 Let I = [0, ∞). Consider the sequence of real valued
functions {fn }n∈N defined on I as follows:
x2 + x + 1
fn (x) =
n2 + 1
It is easy to see that this sequence converges pointwise to the zero function
on I.
We shall show that this sequence does not converge to 0 uniformly. We shall
use the Remark 1.8.4 for this purpose. We show the following:
Let ε = 1. We shall show that for every n ∈ N we can find an xn ∈ I such
that fn (xn ) ≥ 1. We have for any xn ∈ I,
|x2n + xn + 1|
|fn (xn | =
n2 + 1
xn
≥ (since xn is nonnegative in I)
n2 + 1
Hence if we choose xn = n2 + 1, then xn ∈ I and fn (xn ) ≥ 1. Thus for every
n at least at one point xn ∈ I the function fn (x) crosses the value 1. Hence
the sequence does not converge uniformly to zero on I
We shall next briefly mention other types of convergences. In all these types
of convergences the key is the manner in which the error |fn − f | is quantified
and controlled. In pointwise convergence we controlled the error at each point
separately. In uniform convergence we tried to control the error at all points
simultaneously. Next we shall look at notions of converge that arise by trying
to control the average error (the average being defined by various types of
integrals).
We shall first introduce some terminologies:
A real valued function F : I −→ R defined on an interval I is said to be in
Z
1
L (I) if |F (x)|dx < ∞
I
Z
L2 (I) if |F (x)|2 dx < ∞
I
(and in general for 1 ≤ p < ∞) Z
p
L (I) if |F (x)|p dx < ∞
I
1.8. MORE NOTIONS OF CONVERGENCE OF SEQUENCES OF REAL VALUED FUNCTIONS47