2024-03-31

523: Contractible Topological Space

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of contractible topological space

Topics


About: topological space

The table of contents of this article


Starting Context



Target Context


  • The reader will have a definition of contractible topological space.

Orientation


There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.


Main Body


1: Structured Description


Here is the rules of Structured Description.

Entities:
T: { the topological spaces }
//

Conditions:
fc:TT,{ the constant maps }
(
idfc, where id is the identity map, id:TT
).
//


2: Natural Language Description


Any topological space, T, on which the identity map, id:TT, is homotopic to a constant map, fc:TT


References


<The previous article in this series | The table of contents of this series | The next article in this series>