Shape theory is a branch of topology, which provides a more global view of the topological spaces than homotopy theory. The two coincide on compacta dominated homotopically by finite polyhedra. Shape theory associates with the Čech homology theory while homotopy theory associates with the singular homology theory.
Shape theory was reinvented, further developed and promoted by the Polish mathematician Karol Borsuk in 1968. Actually, the name shape theory was coined by Borsuk.
Borsuk lived and worked in Warsaw, hence the name of one of the fundamental examples of the area, the Warsaw circle. It is a compact subset of the plane produced by "closing up" a topologist's sine curve with an arc. The homotopy groups of the Warsaw circle are all trivial, just like those of a point, and so any map between them induces a weak homotopy equivalence. However the two spaces are not homotopy equivalent. So by the Whitehead theorem, the Warsaw circle does not have the homotopy type of a CW complex.
Borsuk's shape theory was generalized onto arbitrary (non-metric) compact spaces, and even onto general categories, by Włodzimierz Holsztyński in year 1968/1969, and published in Fund. Math. 70 , 157–168, y.1971 (see Jean-Marc Cordier, Tim Porter, (1989) below). This was done in a continuous style, characteristic for the Čech homology rendered by Samuel Eilenberg and Norman Steenrod in their monograph Foundations of Algebraic Topology. Due to the circumstance[ clarification needed ], Holsztyński's paper was hardly noticed, and instead a great popularity in the field was gained by a later paper by Sibe Mardešić and Jack Segal, Fund. Math. 72, 61–68, y.1971. Further developments are reflected by the references below, and by their contents.
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.
In mathematics, topology is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling and bending.
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariants that classify topological spaces up to homeomorphism, though usually most classify up to homotopy equivalence.
Kazimierz Kuratowski was a Polish mathematician and logician. He was one of the leading representatives of the Warsaw School of Mathematics.
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups associated to a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory.
Karol Borsuk was a Polish mathematician. His main interest was topology.
Samuel Eilenberg was a Polish-American mathematician who co-founded category theory and Homological Algebra.
Daniel Gray "Dan" Quillen was an American mathematician.
Eduard Čech was a Czech mathematician born in Stračov. His research interests included projective differential geometry and topology. He is especially known for the technique known as Stone–Čech compactification and the notion of Čech cohomology. He was the first to publish a proof of Tychonoff's theorem in 1937.
Fundamenta Mathematicae is a peer-reviewed scientific journal of mathematics with a special focus on the foundations of mathematics, concentrating on set theory, mathematical logic, topology and its interactions with algebra, and dynamical systems. Originally it only covered topology, set theory, and foundations of mathematics: it was the first specialized journal in the field of mathematics. It is published by the Mathematics Institute of the Polish Academy of Sciences.
In mathematics, the homotopy category is a category built from the category of topological spaces which in a sense identifies two spaces that have the same shape. The phrase is in fact used for two different categories, as discussed below.
In topology, a branch of mathematics, a retraction is a continuous mapping from a topological space into a subspace that preserves the position of all points in that subspace. The subspace is then called a retract of the original space. A deformation retraction is a mapping that captures the idea of continuously shrinking a space into a subspace.
In mathematics, specifically in algebraic topology, the Eilenberg–Steenrod axioms are properties that homology theories of topological spaces have in common. The quintessential example of a homology theory satisfying the axioms is singular homology, developed by Samuel Eilenberg and Norman Steenrod.
In mathematics, higher category theory is the part of category theory at a higher order, which means that some equalities are replaced by explicit arrows in order to be able to explicitly study the structure behind those equalities. Higher category theory is often applied in algebraic topology, where one studies algebraic invariants of spaces, such as their fundamental weak ∞-groupoid.
In category theory, a branch of mathematics, a section is a right inverse of some morphism. Dually, a retraction is a left inverse of some morphism. In other words, if f : X → Y and g : Y → X are morphisms whose composition fog : Y → Y is the identity morphism on Y, then g is a section of f, and f is a retraction of g.
Ronald Brown is an English mathematician. Emeritus Professor in the School of Computer Science at Bangor University, he has authored many books and more than 160 journal articles.
James Dugundji was an American mathematician, a professor of mathematics at the University of Southern California.
Goro Nishida was a Japanese mathematician. He was a leading member of the Japanese school of homotopy theory, following in the tradition of Hiroshi Toda.
Sibe Mardešić was a Croatian mathematician.
In mathematics, nonabelian algebraic topology studies an aspect of algebraic topology that involves higher-dimensional algebras.