Proposition IV.2.2 (連続写像の合成)

• Proposition IV.2.2 (連続写像の合成) #Card
  • 連続写像の合成はどうなるか。

Back

If $f \in C(\xi, \tau)$ and $g \in C(\tau, \psi)$, then $g \circ f \in C(\xi, \psi)$.

（$x \in \lim_\xi \mathcal{F} \Rightarrow f(x) \in \lim_\tau f[\mathcal{F}] \Rightarrow g(f(x)) \in \lim_\psi g[f[\mathcal{F}]]$。）

Lean

Continuous.comp