Diffeology of manifolds with boundary
September 29, 2007, update October 18, 2007
 
This paper tries to answer some questions asked to me by several people about the diffeology of half-spaces and Manifolds with boundary? For example, what kind of smooth maps from a closed interval [a,b] to the reals do we get for the subset diffeology of the interval? We show here that we get the usual smooth maps, that is all the restrictions of smooth maps defined on some open interval containing [a,b]. And more generally, we show that manifolds with boundary are modeled on half-spaces, equipped with the subset diffeology.

Note that this document is a WORK IN PROGRESS. It is still subject to change. Come back again often to be sure you have the last version. I am open to any comment or suggestion, just send me a mail...mailto:piz@math.huji.ac.il?subject=Diffeology%20of%20Manifolds%20with%20Boundaryshapeimage_3_link_0