Proof : ∀xεX,∀ε>0,∃δ>0
d(x,y)<δ
⇒d(f(x),f(g))<ε defn. of matric square
Let f.g : X→X be a continuous function.
Let xεX be fixed. Let ε>0 be fixed.
To S.T fog is continuous.
As, f is continuous, ∃δf>0 s.t
∀>εX,d(g(x),z)<δf
⇒d(f(g(x)),f(z))<ε __ (1)
As g is continuous, ∃δg>0 s.t
∀yεX,d(x,y)<δg⇒d(g(x),g(y))<δf __ (2)
Putting (1) & (2) together,
∀yεX.d(x,y)<δg⇒d(f(g(x)).g(g(y)))<ε
Hence fog is continuous