If $u\in W^{k,p}(\Omega)$ we define its norm as $$ \Vert u \Vert_{W^{k,p}(\Omega)}= \begin{cases} \displaystyle \left(\sum_{|\alpha|\le k}\displaystyle\int\limits_\Omega |D^\alpha u|^p\mathrm{d}x\right)^\frac{1}{p} & 1\le p <\infty,\\ \\ \:\:\displaystyle\sum_{|\alpha|\le k} \underset{\Omega}{\mathrm{ess\,sup}}|D^\alpha u| & p=\infty \end{cases} $$
Are these the only norms on a Sobolev space... and how can we say that these norms exists on this space?