Mapping theorems for Sobolev spaces of vector-valued functions

We consider Sobolev spaces with values in Banach spaces, with emphasis on mapping properties. Our main results are the following: Given two Banach spaces X =\0\ and Y, each Lipschitz continuous mapping F:X→ Y gives rise to a mapping