A homeomorphism $h:U\rightarrow V$ between open subsets of $\mathbb R^n$ is called piecewise differentiable (PD) -- you could also say piecewise smooth -- if there is a triangulation of $U$ by linear simplices such that the restriction of $h$ to each simplex is a smooth embedding. This class of maps is invariant under composition with diffeomorphisms on one side, and under composition with piecewise linear homeomorphisms on the other. They play an essential role in defining the good notion of compatiblility of a PL structure and a smooth structure. It is a nontrivial result of J H C Whitehead that for every smooth structure there is a compatible PL structure, unique up to a certain equivalence relation. The composition of PD maps is not in general PD, though, so this does not lead (by using "PD atlases") to a notion of PD manifold.
|
2 | added one short word | ||
|
|
||||
|
|
1 |
|
||
|
A homeomorphism $h:U\rightarrow V$ between open subsets of $\mathbb R^n$ is called piecewise differentiable (PD) -- you could also say piecewise smooth -- if there is a triangulation of $U$ by linear simplices such that the restriction of $h$ to each simplex is a smooth embedding. This class of maps is invariant under composition with diffeomorphisms on one side, and under composition with piecewise linear homeomorphisms on the other. They play an essential role in defining the good notion of compatiblility of a PL structure and a smooth structure. It is a nontrivial result of J H C Whitehead that for every smooth structure there is a compatible PL structure, unique up to a certain equivalence relation. The composition of PD maps is not in general PD, though, this does not lead (by using "PD atlases") to a notion of PD manifold. |
||||
