Composite of Continuous Mappings between Metric Spaces is Continuous/Proof 1

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $M_1 = \struct {X_1, d_1}$, $M_2 = \struct {X_2, d_2}$ and $M_3 = \struct {X_3, d_3}$ be metric spaces.

Let $f: M_1 \to M_2$ and $g: M_2 \to M_3$ be continuous mappings.


Then their composite $g \circ f: M_1 \to M_3$ is continuous.


Proof

From Metric Induces Topology, the metric spaces described are topological spaces.

The result follows from Composite of Continuous Mappings is Continuous.

$\blacksquare$