One of the requirements for a smooth manifold $M$ is that it be [paracompact](http://en.wikipedia.org/wiki/Paracompact_space), and one of the equivalent definitions of paracompactness for a smooth space is that for overy open cover of $M$, there exists a smooth [partition of unity](http://en.wikipedia.org/wiki/Partition_of_unity) subordinate to it. Partitions of unity allow us to glue and to extend diffeomorphisms- see *e.g* [this question](https://mathoverflow.net/questions/38498/gluing-two-diffeomorphisms-together/). More fundamentally perhaps, there is the [Steenrod Approximation Theorem](http://ncatlab.org/nlab/show/Steenrod-Wockel+approximation+theorem), which gives (under mild conditions) that an extension $f$ of a smooth function on a closed subset $A\subset M$ by a continuous function may be improved to an extension $F$ by a smooth function on $M$.  
  



The approximation $F$, like all gluings and extensions in differential topology, depends on the smooth partition of unity used to construct it. So it seems obvious that $F$ can't possibly be unique. Is it at least unique up to isotopy? *I.e.*, for two such approximations $F\_{0,1}$, is there a smooth structure on $M\times I$ to the target cross $I$ with a smooth $1$-parameter family of smooth maps $F\_{(t)}$ from $M\times {\{t\}}$, and $F\_{(0)}=F\_0$ and $F\_{(1)}=F\_{1}$?. More generally:



> 
> **Question:** Is a smooth map which is constructed using a smooth partition of unity (as an extension of a smooth map, or as an approximation of a diffeomorphism) unique up to isotopy or only up to diffeomorphism? Is there a reference?
> 


I'm confused about this point and the issues which surround it. I suppose that a related question is, if one looks at the subspace of smooth functions made up of partitions of unity, with the induced $C^\infty$ topology, is it connected? Is it simply-connected? What about higher homotopy groups? Are there references which discuss these types of issues?


When thinking about categories of cobordisms, one really wants gluings to be unique up to isotopy, but classical texts (Hirsch, Munkres, etc.) only claim uniqueness up to diffeomorphism, and to "improve" their results (which I'm sure many people have done before), this question seems to inevitably arise.



Is the space of smooth partitions of unity connected? Simply-connected?
Typically, partitions of unity are used to prove a statement along the following lines. Given a paracompact $X$ and for each open set $U\subset U$ a certain space $S\_U$ which satisfies an appropriate sheaf condition ($U \mapsto S\_U$ is a sheaf of spaces). You want to prove that $S\_X$ is nonempty. Often, a small improvement of the argument gives the better conclusion that $S\_X$ is contractible.


Examples: $E \to X$ a vector bundle, $S\_U$ the space of bundle metrics on $E|\_U$. For trivial reasons, $S\_U$ is always convex. The partition of unity argument shows that $S\_X$ is nonempty (because each point of $X$ has a neighborhood $U$ s.th. $S\_U$ is nonempty; use the partition of unity to glue things together). Therefore, the space of metric is contractible; a metric constructed using partitions of unity is unique up to ''isotopy'' in the appropriate sense. Because of the convexity, partitions of unity do not play a role for the proof of contractibility.


Other examples along the same lines are connections, differential operators with a given principal symbol or the extensions of a given smooth function. In these cases it is pretty clear that the global objects you construct belong to a convex space. 


There are more subtle examples, where the spaces $S\_U$ do not have linear structure. For example, if $P \to X$ is a $G$-principal bundle and you want to construct a $G$-equivariant map $P \to EG$, a contractible free $G$ space. If $P$ is trivial, the space of these maps is contractible. One uses partitions of unity to glue these local data together. The same argument almost shows that the space $map\_G (P;EG)$ has trivial homotopy groups (extend equivariant maps given on a nicely embedded subspace $Y \subset X$). The chapter ''partitions of unity in homotopy theory'' of tom Diecks book has a lot more of this type.


Sometimes, you really want to know that the space of partitions of unity is itself contractible. This does not make sense without further clarifications what the space of partitions of unity should be.
Here is one possibility to do it. Let $X$ be a manifold and $I$ a fixed infinite set. Make a simplicial set whose $p$-simplices are tuples $(U\_i,\lambda\_i)\_{i \in I}$, where $U\_i$ is an open cover of $M \times \Delta^p$ and $\lambda\_i$ is a subordinate locally finite partition of unity. This is a contractible simplicial set.


