Homotopy relations in fibre spaces. (Q2584307)

Ein topologischer Raum \(X\), ein metrischer Raum \(B\) und eine stetige Abbildung \(\pi\) von \(X\) auf \(B\) definieren einen gefaserten Raum, wenn es zu jedem \(\varepsilon_0 > 0\) eine stetige Funktion \(\varphi (a, b)\) gibt mit Werten in \(X\), die definiert ist, sobald \(\varrho (\pi (x), b) < \varepsilon_0 \) gilt, so daß \(\pi \varphi (x, b) = b\) und \(\varphi (x,\pi(x)) = x\) gilt. Verf. untersucht die Homotopiegruppen \(\pi_i (X)\), \(\pi_i (B)\) und \(\pi_i(X, F)\); im letzten Fall soll ein \(i\)-Simplex so in \(X\) abgebildet werden, daß sein Rand in \(F\) übergeht. Z. B. gilt \(\pi_i (X, \pi^{-1} (b_0)) = \pi_i (B, b_0)\). (Vgl. \textit{H. Whitney}, Proc. nat. Acad. Sci. USA 26 (1940), 148-153; F. d. M. 66, 952 (JFM 66.0952.*).)