Descriptive Proximal Homotopy. Properties and Relations

This paper introduces properties and relations for proximal homotopy as well as descriptive proximal homotopy. A number of results are given for the homotopy between Lodato-proximally continuous maps and for the homotopy between descriptive Lodato proximally continuous maps. This paper also introduces homotopic cycles in conjunction with paths in either proximity spaces in general or in descriptive proximity spaces. Three main results in this paper are (1) that the product of descriptive Lodata proximity (dlp) spaces is also a dlp space, (2) every descriptive dlp relation is an equivalence relation and (3) every homotopic cycle has a free group representation.