Shape theory is a branch of the mathematical field of topology. Homotopy theory is not appropriate for spaces with bad local properties, hence the need for replacement of homotopy theory by a more sophisticated approach. Thus the overall goal of shape theory is to modify the methods and results from homotopy theory for spaces with good local properties, like CW complexes, to more general compact metric spaces or compact Hausdorff spaces with possibly bad local properties.
Shape theory was founded by the Polish mathematician Karol Borsuk in 1968. Borsuk lived and worked in Warsaw, hence the name of one of the fundamental examples of the area, the Warsaw circle. This is a compact subset of the plane produced by "closing up" a topologist's sine curve with an arc.
It has homotopy groups isomorphic to those of a point, but is not homotopy equivalent to it; Whitehead's theorem does not apply because the Warsaw circle is not a CW complex.
Borsuk's original shape theory has been replaced by a more systematic approach by inverse systems, pioneered by Sibe Mardešić, and independently, by Timothy Porter. In abstract terms, one starts with a dense subcategory of good objects, and approximates general objects by inverse systems of good objects in the best way in the sense of certain universality property. Thus the object is replaced by pro-object in dense category in appropriate way.
For some purposes, like dynamical systems, more sophisticated invariants were developed under the name strong shape. Generalizations to noncommutative geometry, e.g. the shape theory for operator algebras have been found.
Famous quotes containing the words shape and/or theory:
“Strange that so few ever come to the woods to see how the pine lives and grows and spires, lifting its evergreen arms to the light,to see its perfect success; but most are content to behold it in the shape of many broad boards brought to market, and deem that its true success! But the pine is no more lumber than man is, and to be made into boards and houses is no more its true and highest use than the truest use of a man is to be cut down and made into manure.”
—Henry David Thoreau (18171862)
“If my theory of relativity is proven correct, Germany will claim me as a German and France will declare that I am a citizen of the world. Should my theory prove untrue, France will say that I am a German and Germany will declare that I am a Jew.”
—Albert Einstein (18791955)