Homotopic subsets of continuous functions and their applications

TL;DR

This paper introduces bi-homotopy, a new concept for classifying subsets of continuous functions, and explores its implications for homotopy theory, categories, and algebraic structures of function spaces.

Contribution

It defines bi-homotopy and homotopy equivalence for subsets of continuous functions, establishing a new categorical framework and extending to homotopic groups and rings.

Findings

Defined bi-homotopy and homotopy equivalence for function subsets

Constructed a category of subsets with bi-homotopies as morphisms

Extended framework to homotopic groups and rings of continuous functions

Abstract

In this paper, we introduce the notion of bi-homotopy between subsets of continuous functions. A map $\phi$ from $A$ to $B$ is called an $h$-map if, for each two homotopic maps $f, g\in A$, their image (i.e., $\phi(f), \phi(g)$) are homotopic in $B$. We call an $h$-map $\phi$ from $A$ to $B$ a bi-homotopy if it satisfies two conditions. First, for any $f, g \in A$, $\phi(f)$ is homotopic to $\phi(g)$ in $B$ implies $f$ is homotopic to $g$ in $A$. Next, for each $g \in B$, there exists an $f \in A$ such that $\phi(f)$ is homotopic to $g$ in $B$. We establish the concept of homotopy equivalence between subsets $A$ and $B$ (denoted as $A \simeq B$) as the existence of two bi-homotopies $\phi$ from $A$ to $B$ and $\psi$ from $B$ to $A$, satisfying $\phi\psi(h)$ is homotopic to $h$ for every $h \in B$, and $\psi\phi(h)$ is homotopic to $h$ for every $h \in A$. We then apply this definition to characterize homotopic subsets of continuous functions and introduce novel categories of subsets of $C(X, Y)$, notably the category $\mathcal{P}(C(X, Y))$, where $X, Y$ are two topological spaces. In this category, objects represent subsets of $C(X, Y)$, morphisms denote bi-homotopies between any two objects, and a composition law governs the combination of morphisms. Furthermore, we extend this framework to define homotopic groups (resp., rings) of continuous functions when $Y$ is a topological group (resp., topological ring). Leveraging topological properties of $X$ and $Y$, we investigate the group (resp., ring) properties of $C(X, Y)$. We discuss potential applications and implications of the introduced bi-homotopy concept in the study of continuous functions and their subsets.