A generalization of the Lefschetz fixed point theorem and detection of chaos

We consider the problem of existence of fixed points of a continuous map in (possibly) noninvariant subsets. A pair of subsets of induces a map given by if and elsewhere. The following generalization of the Lefschetz fixed point theorem is proved: If is metrizable, and are compact ANRs, and is continuous, then has a fixed point in provided the Lefschetz number of is nonzero. Actually, we prove an extension of that theorem to the case of a composition of maps. We apply it to a result on the existence of an invariant set of a homeomorphism such that the dynamics restricted to that set is chaotic.