A topological property of Lipschitz mappings

We study a topological property of function spaces in the Lipschitz category and show that certain subspaces behave nice and that this holds in the smooth category. As a corollary, we show that the so-called “Inverse function theorem” holds in this category.