On fibre spaces and nilpotency. II

1. Introduction. Let X be a space and let E be a fibre space over E. A fibre-preserving map f: E → E determines, for each point x ∈ X, a map fx: Ex → Ex of the fibre over x. In a previous note (3) the situation was considered where fx is null-homotopic, for all x. In the present note we turn our attention to the situation where fx is homotopic to the identity on Ex, for all x ∈ X. If X admits a numerable categorical covering (as when X is an ANR) then such a fibre-preserving map f is a fibre homotopy equivalence, by the well-known theorem of Dold(1). Then the set Φ1(E) of fibre homotopy classes of such maps forms a normal subgroup of the group Φ*(E) of fibre homotopy classes of fibre homotopy equivalences. The purpose of this note is to proveTheorem 1.1. Let X be a paracompact space of finite category. Let E be a fibre bundle over X of which the fibres are compact and path-connected ANR's. Then the Φ*(E)-growp Φ1(E) is Φ*(E)-nilpotent of class ≤ cat X.