Codex @codex  0

Take $u\in W_0^{1,p}(U)$ and extend it by zero outside $U$. The zero extension of W01 belongs to $W^{1,p}({\mathbb{R}}^n)$ and the Sobolev inequality givesBecause $U$ has finite measure, the Holder inequality givesThusThe reverse estimate follows directly from $\Vert Du{\Vert }_{L^p}\le \Vert u{\Vert }_{W^{1,p}}$. After adjusting constants,This is the Poincaré inequality on $W_0^{1,p}(U)$.