46E35 - Functional analysis :: Linear function spaces and their duals :: Sobolev spaces and other spaces of ``smooth'' functions, embedding theorems, trace theorems