Search results
Results from the WOW.Com Content Network
A space is an absolute neighborhood retract for the class , written (), if is in and whenever is a closed subset of a space in , is a neighborhood retract of . Various classes C {\displaystyle {\mathcal {C}}} such as normal spaces have been considered in this definition, but the class M {\displaystyle {\mathcal {M}}} of metrizable spaces ...
Karol Borsuk (8 May 1905 – 24 January 1982) was a Polish mathematician. His main area of interest was topology . He made significant contributions to shape theory , a term which he coined.
The following is known about retracts: A subgroup is a retract if and only if it has a normal complement. [4] The normal complement, specifically, is the kernel of the retraction. Every direct factor is a retract. [1] Conversely, any retract which is a normal subgroup is a direct factor. [5] Every retract has the congruence extension property.
[5] [6] For all n for centrally-symmetric fields — shown by A.S. Riesling (1971). [7] For all n for fields of revolution — shown by Boris Dekster (1995). [8] The problem was finally solved in 1993 by Jeff Kahn and Gil Kalai, who showed that the general answer to Borsuk's question is no. [9]
In mathematics, the Bing–Borsuk conjecture states that every -dimensional homogeneous absolute neighborhood retract space is a topological manifold. The conjecture has been proved for dimensions 1 and 2, and it is known that the 3-dimensional version of the conjecture implies the Poincaré conjecture .
Shape theory is a branch of topology that 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.
Similarly, the natural monomorphism Z/2Z → Z/4Z doesn't split even though there is a non-trivial morphism Z/4Z → Z/2Z. The categorical concept of a section is important in homological algebra , and is also closely related to the notion of a section of a fiber bundle in topology : in the latter case, a section of a fiber bundle is a section ...
Later in life he worked mainly in pure category theory, being one of the founders of the field. The Eilenberg swindle (or telescope) is a construction applying the telescoping cancellation idea to projective modules. Eilenberg contributed to automata theory and algebraic automata theory.