By Lemma 3.5, N(f, B; H*) is a homotopy invariant
. We obtain
It is enough to prove the theorem for W since a Reidemeister torsion is a simple homotopy invariant
In thiswork, geometric realization and totalization willmean homotopy invariant
geometric realization and totalization.
Since the Lefschetz number is a homotopy invariant
, it can be used to classify digital images.
However, Aut(X) is not a homotopy invariant
of X, while haut(X) is.
It is a well known result that [[pi].sub.n] (X) is a homotopy invariant
for the space X.
It is not a numerical but is a graphical (rational) homotopy invariant of spaces.
It must be a topological homotopy invariant of spaces.
The Lusternik-Schnirelmann category, L-S category for short, of a space is a homotopy invariant
defined as follows.
The sulfur trioxide-monopole--SO(3)-monopole--cobordism formula is an equality of the Donaldson invariant of a closed, smooth four-manifold, with a universal expression involving invariants of that manifold, its intersection form, and other homotopy invariants
Relative homotopy invariants
of the type of the Lusternik-Schnirelmann category.
Fasso Velenik, Relative homotopy invariants
of the type of the Lusternik-Schnirelmann category, Eingereichte Dissertation (Ph.D.