Functions of Bounded Variation and Rectifiable Curves

Functions of bounded variation

6.1 Determine which of the follwoing functions are of bounded variation on 0, 1.

(a) fx x 2 sin1/x if x 0, f0 0.
(b) fx x sin1/x if x 0, f0 0.

Proof: (a) Since

f x 2x sin1/x cos1/x for x 0, 1 and f 0 0,
we know that f x is bounded on 0, 1, in fact, |f x| 3 on 0, 1. Hence, f is of
bounded variation on 0, 1.
1
(b) First, we choose n 1 be an even integer so that n1
1, and thus consider a
2

partition P

0 x0, x1

we have

, x2

1
2 2

n2

, . . . , xn

|f k | 2 2
k1

1
n 2

, x n1

1
n1 2

, x n2 1 , then

1/k

k1

Since 1/k diverges to , we know that f is not of bounded variation on 0, 1.

6.2 A function f, defined on a, b, is said to satisfy a uniform Lipschitz condition of

order 0 on a, b if there exists a constant M 0 such that |fx fy| M|x y| for
all x and y in a, b. (Compare with Exercise 5.1.)
(a) If f is such a function, show that 1 implies f is constant on a, b, whereas
1 implies f is of bounded variation a, b.
Proof: As 1, we consider, for x y, where x, y a, b,
|fx fy|
0
M|x y| 1 .
|x y|
Hence, f x exists on a, b, and we have f x 0 on a, b. So, we know that f is
constant.
As 1, consider any partition P a x 0 , x 1 , . . . , x n b, we have
n

k1

k1

|f k | M |x k1 x k | Mb a.
That is, f is of bounded variation on a, b.

(b) Give an example of a function f satisfying a uniform Lipschitz condition of order

1 on a, b such that f is not of bounded variation on a, b.

Proof: First, note that x satisfies uniform Lipschitz condition of order , where

0 1. Choosing 1 such that 1 and let M k1 k1 since the series

converges. So, we have 1 M1 k1 k1 .

Define a function f as follows. We partition 0, 1 into infinitely many subsintervals.
Consider
x 0 0, x 1 x 0 1 1 , x 2 x 1 1 1 , . . . , x n x n1 1 1 , . . . .
M 1
M 2
M n
And in every subinterval x i , x i1 , where i 0, 1, . . . . , we define


x x i x i1
,
2

1 1
then f is a continuous function and is not bounded variation on 0, 1 since k1 2M
k
diverges.
In order to show that f satisfies uniform Lipschitz condition of order , we consider
three cases.
(1) If x, y x i , x i1 , and x, y x i , x i x2 i1 or x, y x i x2 i1 , x i1 , then

fx

|fx fy| |x y | |x y| .
(2) If x, y x i , x i1 , and x x i , x i x2 i1 or y x i x2 i1 , x i1 , then there is a
z x i , x i x2 i1 such that fy fz. So,
|fx fy| |fx fz| |x z | |x z| |x y| .
(3) If x x i , x i1 and y x j , x j1 , where i j.
If x x i , x i x2 i1 , then there is a z x i , x i x2 i1 such that fy fz. So,

|fx fy| |fx fz| |x z | |x z| |x y| .

Similarly for x x i x2 i1 , x i1 .

Remark: Here is another example. Since it will use Fourier Theory, we do not give a
proof. We just write it down as a reference.

ft

t
.
cos3
k
3
k1

(c) Give an example of a function f which is of bounded variation on a, b but which

satisfies no uniform Lipschitz condition on a, b.
Proof: Since a function satisfies uniform Lipschitz condition of order 0, it must be
continuous. So, we consider
fx

x if x a, b
b 1 if x b.

Trivially, f is not continuous but increasing. So, the function is desired.

Remark: Here is a good problem, we write it as follows. If f satisfies
|fx fy| K|x y| 1/2 for x 0, 1, where f0 0.
define
gx

fx
x 1/3

if x 0, 1

0 if x 0.

Then g satisfies uniform Lipschitz condition of order 1/6.

Proof: Note that if one of x, and y is zero, the result is trivial. So, we may consider
0 y x 1 as follows. Consider
fx
fy
1/3
|gx gy|
x 1/3
y
fx
fy
fy
fy

1/3 1/3 1/3

1/3
x
x
x
y
fx
fy
fy
fy

1/3 1/3 1/3 .

1/3
x
x
x
y

For the part

fx
fy
1/3
1/3
x
x

1 |fx fy|
x 1/3
K
|x y| 1/2 by hypothesis
1/3
x
K|x y| 1/2 |x y| 1/3 since x x y 0

K|x y| 1/6 .
fy
x 1/3

fy
y 1/3

For another part

, we consider two cases.

(1) x 2y which implies that x x y y 0,
fy
fy
1/3
1/3
x
y

|fy|

x 1/3 y 1/3
xy 1/3

|fy|

x y 1/3
xy 1/3

|fy|

x 1/3
xy 1/3

|fy|

1
y 1/3

since |x 1/3 y 1/3 | |x y| 1/3 for all x, y 0

since x y 1/3 x 1/3

|y| 1/2
by hypothesis
|y| 1/3
K|y| 1/6
K

K|x y| 1/6 since y x y.

(2) x 2y which implies that x y x y 0,
fy
fy
1/3
1/3
x
y

|fy|

x 1/3 y 1/3
xy 1/3

|fy|

x y 1/3
xy 1/3

x y 1/3
|fy|
y 2/3
K|y|

1/2

x y 1/3
y 2/3

since |x 1/3 y 1/3 | |x y| 1/3 for all x, y 0

since x y
by hypothesis

K|y| 1/6 |x y| 1/3

K|x y| 1/6 |x y| 1/3 since y x y
K|x y| 1/6 .
So, by (A)-(C), (*) tells that g satisfies uniform Lipschitz condition of order 1/6.
Note: Here is a general result. Let 0 2. If f satisfies
|fx fy| K|x y| for x 0, 1, where f0 0.
define

gx

fx
x

if x 0, 1

0 if x 0.

Then g satisfies uniform Lipschitz condition of order . The proof is similar, so we

omit it.

6.3 Show that a polynomial f is of bounded variation on every compact interval a, b.

Describe a method for finding the total variation of f on a, b if the zeros of the derivative
f are known.
Proof: If f is a constant, then the total variation of f on a, b is zero. So, we may
assume that f is a polynomial of degree n 1, and consider f x 0 by two cases as
follows.
(1) If there is no point such that f x 0, then by Intermediate Value Theorem of
Differentiability, we know that f x 0 on a, b, or f x 0 on a, b. So, it implies
that f is monotonic. Hence, the total variation of f on a, b is |fb fa|.
(2) If there are m points such that f x 0, say
a x 0 x 1 x 2 . . . x m b x m1 , where 1 m n, then we know the monotone
property of function f. So, the total variation of f on a, b is
m1

|fx i fx i1 |.
i1

Remark: Here is another proof. Let f be a polynomial on a, b, then we know that f is

bounded on a, b since f is also polynomial which implies that it is continuous. Hence, we
know that f is of bounded variation on a, b.

6.4 A nonempty set S of real-valued functions defined on an interval a, b is called a

linear space of functions if it has the following two properties:

(a) If f S, then cf S for every real number c.
(b) If f S and g S, then f g S.
Theorem 6.9 shows that the set V of all functions of bounded variation on a, b is a
linear space. If S is any linear space which contains all monotonic functions on a, b,
prove that V S. This can be described by saying that the functions of bounded
variation form the samllest linear space containing all monotonic functions.

Proof: It is directlt from Theorem 6.9 and some facts in Linear Algebra. We omit the
detail.

6.5 Let f be a real-valued function defined on 0, 1 such that f0 0, fx x for all

x, and fx fy whenever x y. Let A x : fx x. Prove that sup A A, and that
f1 1.
Proof: Note that since f0 0, A is not empty. Suppose that sup A : a A, i.e.,
fa a since fx x for all x. So, given any n 0, then there is a b n A such that
*
a n bn.
In addition,
**
b n fb n since b n A.

So, by (*) and (**), we have ( let n 0 ),

a fa fa since f is monotonic increasing.
which contradicts to fa a. Hence, we know that sup A A.

Claim that 1 sup A. Suppose NOT, that is, a 1. Then we have

a fa f1 1.
Since a sup A, consider x a, fa, then
fx x
which implies that
fa a
which contradicts to a fa. So, we know that sup A 1. Hence, we have proved that
f1 1.
Remark: The reader should keep the method in mind if we ask how to show that
f1 1 directly. The set A is helpful to do this. Or equivalently, let f be strictly increasing
on 0, 1 with f0 0. If f1 1, then there exists a point x 0, 1 such that fx x.

6.6 If f is defined everywhere in R 1 , then f is said to be of bounded variation on

, if f is of bounded variation on every finite interval and if there exists a positive

number M such that V f a, b M for all compact interval a, b. The total variation of f on
, is then defined to be the sup of all numbers V f a, b, a b , and
denoted by V f , . Similar definitions apply to half open infinite intervals a, and
, b.
(a) State and prove theorems for the inifnite interval , analogous to the
Theorems 6.7, 6.9, 6.10, 6.11, and 6.12.
(Theorem 6.7*) Let f : R R be of bounded variaton, then f is bounded on R.
Proof: Given any x R, then x 0, a or x a, 0. If x 0, a, then f is bounded
on 0, a with
|fx| |f0| V f 0, a |f0| V f , .
Similarly for x a, 0.
(Theorem 6.9*) Assume that f, and g be of bounded variaton on R, then so are thier
sum, difference, and product. Also, we have
V fg , V f , V g ,
and
V fg , AV f , BV g , ,
where A sup xR |gx| and B sup xR |fx|.
Proof: For sum and difference, given any compact interval a, b, we have
V fg a, b V f a, b V g a, b,
V f , V g ,
which implies that
V fg , V f , V g , .
For product, given any compact interval a, b, we have (let Aa, b sup xa,b |gx|,
and Ba, b sup xa,b |fx|),
V fg a, b Aa, bV f a, b Ba, bV g a, b
AV f , BV g ,
which implies that

V fg , AV f , BV g , .
(Theorem 6.10*) Let f be of bounded variation on R, and assume that f is bounded
away from zero; that is, suppose that there exists a positive number m such that
0 m |fx| for all x R. Then g 1/f is also of bounded variation on R, and
V f ,
.
V g ,
m2
Proof: Given any compacgt interval a, b, we have
V ,
V a, b
V g a, b f 2
f
m
m2
which implies that
V f ,
.
V g ,
m2
(Theorem 6.11*) Let f be of bounded variation on R, and assume that c R. Then f is
of bounded variation on , c and on c, and we have
V f , V f , c V f c, .
Proof: Given any a compact interval a, b such that c a, b. Then we have
V f a, b V f a, c V f c, b.
Since
V f a, b V f ,
which implies that
V f a, c V f , and V f c, b V f , ,
we know that the existence of V f , c and V f c, . That is, f is of bounded variation on
, c and on c, .
Since
V f a, c V f c, b V f a, b V f ,
which implies that
V f , c V f c, V f , ,
*
and
V f a, b V f a, c V f c, b V f , c V f c,
which implies that
V f , V f , c V f c, ,
**
we know that
V f , V f , c V f c, .
(Theorem 6.12*) Let f be of bounded variation on R. Let Vx be defined on , x as
follows:
Vx V f , x if x R, and V 0.
Then (i) V is an increasing function on , and (ii) V f is an increasing function on
, .
Proof: (i) Let x y, then we have Vy Vx V f x, y 0. So, we know that V is
an increasing function on , .
(ii) Let x y, then we have V fy V fx V f x, y fy fx 0. So,

we know that V f is an increasing function on , .

(b) Show that Theorem 6.5 is true for , if monotonic is replaced by bounded
and monotonic. State and prove a similar modefication of Theorem 6.13.
(Theorem 6.5*) If f is bounded and monotonic on , , then f is of bounded
variation on , .
Proof: Given any compact interval a, b, then we have V f a, b exists, and we have
V f a, b |fb fa|, since f is monotonic. In addition, since f is bounded on R, say
|fx| M for all x, we know that 2M is a upper bounded of V f a, b for all a, b. Hence,
V f , exists. That is, f is of bounded variation on R.
(Theorem 6.13*) Let f be defined on , , then f is of bounded variation on
, if, and only if, f can be expressed as the difference of two increasing and
bounded functions.
Proof: Suppose that f is of bounded variation on , , then by Theorem 6.12*, we
know that
f V V f,
where V and V f are increasing on , . In addition, since f is of bounded variation
on R, we know that V and f is bounded on R which implies that V f is bounded on R. So,
we have proved that if f is of bounded variation on , then f can be expressed as the
difference of two increasing and bounded functions.
Suppose that f can be expressed as the difference of two increasing and bounded
functions, say f f 1 f 2 , Then by Theorem 6.9*, and Theorem 6.5*, we know that f is of
bounded variaton on R.
Remark: The representation of a function of bounded variation as a difference of two
increasing and bounded functions is by no mean unique. It is clear that Theorem 6.13*
also holds if increasing is replaced by strictly increasing. For example,
f f 1 g f 2 g, where g is any strictly increasing and bounded function on R. One
of such g is arctan x.

6.7 Assume that f is of bounded variation on a, b and let

P x 0 , x 1 , . . . , x n a, b.
As usual, write f k fx k fx k1 , k 1, 2, . . . , n. Define
AP k : f k 0, BP k : f k 0.
The numbers
p f a, b sup

f k : P a, b

kAP

and
n f a, b sup

|f k | : P a, b

kBP

are called respectively, the positive and negative variations of f on a, b. For each x in
a, b. Let Vx V f a, x, px p f a, x, nx n f a, x, and let
Va pa na 0. Show that we have:
(a) Vx px nx.

Proof: Given a partition P on a, x, then we have

n

|f k | |f k | |f k |
k1

kAP

kBP

f k

kAP

|f k |,

kBP

which implies that (taking supermum)

Vx px nx.

Remark: The existence of px and qx is clear, so we know that (*) holds by

Theorem 1.15.
(b) 0 px Vx and 0 nx Vx.
Proof: Consider a, x, and since
n

Vx

|f k | |f k |,
k1

kAP

we know that 0 px Vx. Similarly for 0 nx Vx.

(c) p and n are increasing on a, b.
Proof: Let x, y in a, b with x y, and consider py px as follows. Since

py

f k

kAP, a,y

f k ,

kAP, a,x

we know that
py px.
That is, p is increasing on a, b. Similarly for n.
(d) fx fa px nx. Part (d) gives an alternative proof of Theorem 6.13.
Proof: Consider a, x, and since
n

fx fa

f k
k1

f k

kAP

f k

kBP

which implies that

fx fa

|f k |

kBP

f k

kAP

which implies that fx fa px nx.

(e) 2px Vx fx fa, 2nx Vx fx fa.
Proof: By (d) and (a), the statement is obvious.
(f) Every point of continuity of f is also a point of continuity of p and of n.
Proof: By (e) and Theorem 6.14, the statement is obvious.

Curves
6.8 Let f and g be complex-valued functions defined as follows:
ft e 2it if t 0, 1, gt e 2it if t 0, 2.
(a) Prove that f and g have the same graph but are not equivalent according to defintion

in Section 6.12.
Proof: Since ft : t 0, 1 gt : t 0, 2 the circle of unit disk, we know
that f and g have the same graph.
If f and g are equivalent, then there is an 1-1 and onto function : 0, 2 0, 1 such
that
ft gt.
That is,
e 2it cos 2t i sin 2t e 2it cos 2t i sin 2t.
In paticular, 1 : c 0, 1. However,
fc cos 2c i sin 2c g1 1
which implies that c Z, a contradiction.
(b) Prove that the length of g is twice that of f.
Proof: Since
2

the length of g

0 |g t|dt 4

the length of f

0 |f t|dt 2,

and
1

we know that the length of g is twice that of f.

6.9 Let f be rectifiable path of length L defined on a, b, and assume that f is not

constant on any subinterval of a, b. Let s denote the arc length function given by
sx f a, x if a x b, sa 0.
(a) Prove that s 1 exists and is continuous on 0, L.

Proof: By Theorem 6.19, we know that sx is continuous and strictly increasing on

0, L. So, the inverse function s 1 exists since s is an 1-1 and onto function, and by
Theorem 4.29, we know that s 1 is continuous on 0, L.
(b) Define gt fs 1 t if t 0, L and show that g is equivalent to f. Since
ft gst, the function g is said to provide a representation of the graph of f with arc
length as parameter.
Proof: t is clear by Theorem 6.20.
6.10 Let f and g be two real-valued continuous functions of bounded variation defined
on a, b, with 0 fx gx for each x in a, b, fa ga, fb gb. Let h be the
complex-valued function defined on the interval a, 2b a as follows:
ht t ift, if a t b
2b t ig2b t, if b t 2b a.
(a) Show that h describes a rectifiable curve .
Proof: It is clear that h is continuous on a, 2b a. Note that t, f and g are of bounded
variation on a, b, so h a, 2b a exists. That is, h is rectifiable on a, 2b a.
(b) Explain, by means of a sketch, the geometric relationship between f, g, and h.
Solution: The reader can give it a draw and see the graph lying on x y plane is a

closed region.
(c) Show that the set of points
S x, y : a x b, fx y gx
in a region in R 2 whose boundary is the curve .
Proof: It can be answered by (b), so we omit it.
(d) Let H be the complex-valued function defined on a, 2b a as follows:
Ht t 1 igt ft, if a t b
2
2b t 1 ig2b t f2b t, if b t 2b a.
2
Show that H describes a rectifiable curve 0 which is the boundary of the region
S 0 x, y : a x b, fx gx 2y gx fx.
Proof: Let Ft 1
gt ft and Gt 12 gt ft defined on a, b. It is
2
clear that Ft and Gt are of bounded variation and continuous on a, b with
0 Fx Gx for each x a, b, Fb Gb 0, and Fb Gb 0. In
addition, we have
Ht t iFt, if a t b
2b t iG2b t, if b t 2b a.
So, by preceding (a)-(c), we have prove it.
(e) Show that, S 0 has the x axis as a line of symmetry. (The region S 0 is called the
symmetrization of S with respect to x axis.)
Proof: It is clear since x, y S 0 x, y S 0 by the fact
fx gx 2y gx fx.
(f) Show that the length of 0 does not exceed the length of .
Proof: By (e), the symmetrization of S with respect to x axis tells that
H a, b H b, 2b a. So, it suffices to show that h a, 2b a 2 H a, b.
Choosing a partition P 1 x 0 a, . . . , x n b on a, b such that
2 H a, b 2 H P 1
n

2 x i x i1
2

i1

1 f gx i 1 f gx i1
2
2

4x i x i1 2 f gx i f gx i1 2

1/2

1/2

i1

and note that b a 2b a b, we use this P 1 to produce a partition

P 2 P 1 x n b, x n1 b x n x n1 , . . . , x 2n 2b a on a, 2b a. Then we have

2n

h P 2

hx i hx i1
i1

2n

i1

in1

hx i hx i1 hx i hx i1
n

x i x i1 fx i fx i1

1/2

i1
n

2n

x i x i1 2 gx i gx i1 2

1/2

in1

x i x i1 2 fx i fx i1 2

1/2

x i x i1 2 gx i gx i1 2

1/2

**

i1

From (*) and (**), we know that

2 H a, b 2 H P 1 h P 2
which implies that
H a, 2b a 2 H a, b h a, 2b a.
So, we know that the length of 0 does not exceed the length of .

***

Remark: Define x i x i1 a i , fx i fx i1 b i , and gx i gx i1 c i , then we

have
4a 2i b i c i 2

1/2

a 2i b 2i

1/2

1/2

a 2i c 2i .

Hence we have the result (***).

Proof: It suffices to square both side. We leave it to the reader.

Absolutely continuous functions

A real-valued function f defined on a, b is said to be absolutely continuous on a, b
if for every 0, there is a 0 such that
n

|fb k fa k |
k1

for every n disjoint open subintervals a k , b k of a, b, n 1, 2, . . . , the sum of whose

n
lengths k1 b k a k is less than .
Absolutely continuous functions occur in the Lebesgue theory of integration and
differentiation. The following exercises give some of their elementary properties.

6.11 Prove that every absolutely continuous function on a, b is continuous and of

bounded variation on a, b.
Proof: Let f be absolutely continuous on a, b. Then 0, there is a 0 such that
n

|fb k fa k |
k1

for every n disjoint open subintervals a k , b k of a, b, n 1, 2, . . . , the sum of whose

n
lengths k1 b k a k is less than . So, as |x y| , where x, y a, b, we have
|fx fy| .
That is, f is uniformly continuous on a, b. So, f is continuous on a, b.
n
In addition, given any 1, there exists a 0 such that as k1 b k a k ,
where a k , b k s are disjoint open intervals in a, b, we have

|fb k fa k | 1.
k1

For this , and let K be the smallest positive integer such that K/2 b a. So, we
partition a, b into K closed subintervals, i.e.,
P y 0 a, y 1 a /2, . . . . , y K1 a K 1/2, y K b. So, it is clear that f is
of bounded variation y i , y i1 , where i 0, 1, . . . , K. It implies that f is of bounded
variation on a, b.
Note: There exists functions which are continuous and of bounded variation but
not absolutely continuous.
Remark: 1. The standard example is called Cantor-Lebesgue function. The reader
can see this in the book, Measure and Integral, An Introduction to Real Analysis by
Richard L. Wheeden and Antoni Zygmund, pp 35 and pp 115.
2. If we wrtie absolutely continuous by ABC, continuous by C, and bounded
variation by B, then it is clear that by preceding result, ABC implies B and C, and B and
C do NOT imply ABC.

6.12 Prove that f is absolutely continuous if it satisfies a uniform Lipschitz condition

of order 1 on a, b. (See Exercise 6.2)
Proof: Let f satisfy a uniform Lipschitz condition of order 1 on a, b, i.e.,
|fx fy| M|x y| where x, y a, b. Then given 0, there is a /M such that
n
as k1 b k a k , where a k , b k s are disjoint open subintervals on a, b, k 1, . . , n,
we have
n

k1

k1
n

|fb k fa k | M|b k a k |

Mb k a k
k1

M
.
Hence, f is absolutely continuous on a, b.

6.13 If f and g are absolutely continunous on a, b, prove that each of the following

is also: |f|, cf (c constant), f g, f g; also f/g if g is bounded away from zero.

Proof: (1) (|f| is absolutely continuous on a, b): Given 0, we want to find a

n
0, such that as k1 b k a k , where a k , b k s are disjoint open intervals on
a, b, we have
n

||fb k | |fa k || .
k1

Since f is absolutely continunous on a, b, for this , there is a 0 such that as

n
b k a k , where a k , b k s are disjoint open intervals on a, b, we have
k1
n

|fb k fa k |
k1

which implies that (1*) holds by the following

1*

||fb k | |fa k ||
k1

|fb k fa k | .
k1

So, we know that |f| is absolutely continuous on a, b.

(2) (cf is absolutely continuous on a, b): If c 0, it is clear. So, we may assume that
n
c 0. Given 0, we want to find a 0, such that as k1 b k a k , where
a k , b k s are disjoint open intervals on a, b, we have
n

|cfb k cfa k | .

2*

k1

Since f is absolutely continunous on a, b, for this , there is a 0 such that as

n
b k a k , where a k , b k s are disjoint open intervals on a, b, we have
k1
n

|fb k fa k | /|c|
k1

which implies that (2*) holds by the following

n

k1

k1

|cfb k cfa k | |c| |fb k fa k | .

So, we know that cf is absolutely continuous on a, b.
(3) (f g is absolutely continuous on a, b): Given 0, we want to find a 0,
n
such that as k1 b k a k , where a k , b k s are disjoint open intervals on a, b, we
have
n

|f gb k f ga k | .
k1

Since f and g are absolutely continunous on a, b, for this , there is a 0 such that as

n
b k a k , where a k , b k s are disjoint open intervals on a, b, we have
k1
n

k1

k1

|fb k fa k | /2 and |gb k ga k | /2

which implies that (3*) holds by the following
n

|f gb k f ga k |
k1
n

|fb k fa k gb k ga k |
k1
n

k1

k1

|fb k fa k | |gb k ga k |

.
So, we know that f g is absolutely continuous on a, b.
(4) (f g is absolutely continuous on a, b. ): Let M f sup xa,b |fx| and
M g sup xa,b |gx|. Given 0, we want to find a 0, such that as
n
b k a k , where a k , b k s are disjoint open intervals on a, b, we have
k1

3*

|f gb k f ga k | .

4*

k1

Since f and g are absolutely continunous on a, b, for this , there is a 0 such that as
n
b k a k , where a k , b k s are disjoint open intervals on a, b, we have
k1
n

|fb k fa k |
k1

2M g 1

and

|gb k ga k |
k1

2M f 1

which implies that (4*) holds by the following

n

|f gb k f ga k |
k1
n

|fb k gb k ga k ga k fb k fa k |
k1

k1

k1

M f |gb k ga k | M g |fb k fa k |
M f
M g

2M g 1
2M f 1
.

Remark: The part shows that f n is absolutely continuous on a, b, where n N, if f is

absolutely continuous on a, b.
(5) (f/g is absolutely continuous on a, b): By (4) it suffices to show that 1/g is
absolutely continuous on a, b. Since g is bounded away from zero, say 0 m gx for
n
all x a, b. Given 0, we want to find a 0, such that as k1 b k a k ,
where a k , b k s are disjoint open intervals on a, b, we have
n

|1/gb k 1/ga k | .
k1

Since g is absolutely continunous on a, b, for this , there is a 0 such that as

n
b k a k , where a k , b k s are disjoint open intervals on a, b, we have
k1
n

|gb k ga k | m 2
k1

which implies that (4*) holds by the following

n

|1/gb k 1/ga k |
k1
n

k1

12
m
.

gb k ga k
gb k ga k
n

|gb k ga k |
k1

5*