Composites of Continuous Functions

Skip to main content

Section Composites of Continuous Functions

Let

(X, d_{X}),

(Y, d_{Y}),

and

(Z, d_{Z})

be metric spaces, and suppose

f : X \to Y

and

g : Y \to Z

are continuous functions. It seems natural to ask if the composite

g \circ f : X \to Z

is a continuous function.

Activity 6.4.

Let

(X, d_{X}),

(Y, d_{Y}),

and

(Z, d_{Z})

be metric spaces, and suppose

f : X \to Y

and

g : Y \to Z

are continuous functions. We will prove that

g \circ f

is a continuous function.

(a)

What do we have to do to show that

g \circ f

is a continuous function? What are the first two steps in our proof?

(b)

Let

a \in X

and let

b = f (a) .

Suppose

ϵ > 0

is given. Explain why there must exist a

δ_{1} > 0

so that

d_{Y} (y, b) < δ_{1}

implies

d_{Z} (g (y), g (b)) < ϵ .

(c)

Now explain why there exists a

δ_{2} > 0

so that

d_{X} (x, a) < δ_{2}

implies that

d_{Y} (f (x), f (a)) < δ_{1} .

(d)

Prove that

g \circ f : X \to Z

is a continuous function.

Continuity is an important concept in topology. We have seen how to define continuity in metric spaces, and we will soon expand on this idea to define continuity without reference to metrics at all. This will allow us to later define continuous functions between arbitrary topological spaces.

<Prev ^Top Next>