homotopic relative to a map

1. Definition

Let \((X,\mathcal{T}_X)\) and \((Y,\mathcal{T}_Y)\) be topological spaces \(A \subseteq X\) and \(f,g: X \rightarrow Y\) resp. \(\varphi: A \rightarrow Y\) continuous maps

Then \(f\) is said to be homotopic to \(g\) relative to \(\varphi\), if there exists a homotopy relative to \(\varphi\) from \(f\) to \(g\)

Date: nil

Author: Anton Zakrewski

Created: 2024-10-13 So 19:04