In dynamical systems theory, Conley index theory, named after Charles Conley, analyzes topological structure of invariant sets of diffeomorphisms and of smooth flows. It is a far-reaching generalization of the Hopf index theorem that predicts existence of fixed points of a flow inside a planar region in terms of information about its behavior on the boundary. Conley's theory is related to Morse theory, which describes the topological structure of a closed manifold by means of a nondegenerate gradient vector field. It has an enormous range of applications to the study of dynamics, including existence of periodic orbits in Hamiltonian systems and travelling wave solutions for partial differential equations, structure of global attractors for reaction-diffusion equations and delay differential equations, proof of chaotic behavior in dynamical systems, and bifurcation theory. Conley index theory formed the basis for development of Floer homology.
A key role in the theory is played by the notions of isolating neighborhood N and isolated invariant set S. The Conley index h(S) is the homotopy type of a certain pair (N1, N2) of compact subsets of N, called an index pair. Charles Conley showed that index pairs exist and that the index of S is independent of the choice of an isolated neighborhood N and the index pair. In the special case of a nondegenerate (Morse) critical point of index k, the Conley index is the pointed homotopy type of the k-sphere Sk.