We study anisotropic weighted Sobolev spaces defined on a half-space. These spaces are important in the study of singular elliptic operators which degenerate at the boundary. We prove trace properties and density of smooth functions. Hardy inequalities are studied in detail.