DMCA
A Borsuk theorem on homotopy types (1991)
by
Andrzej Trybulec
| Venue: | Journal of Formalized Mathematics |
| Citations: | 108 - 6 self |
BibTeX
@ARTICLE{Trybulec91aborsuk,
author = {Andrzej Trybulec},
title = {A Borsuk theorem on homotopy types},
journal = {Journal of Formalized Mathematics},
year = {1991},
pages = {3--1}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Summary. We present a Borsuk’s theorem published first in [1] (compare also [2, pages 119–120]). It is slightly generalized, the assumption of the metrizability is omitted. We introduce concepts needed for the formulation and the proofs of the theorems on upper semi-continuous decompositions, retracts, strong deformation retract. However, only those facts that are necessary in the proof have been proved.
