We prove that the Hardy-Littlewood maximal operator is bounded in the
Sobolev space W-1,W-p(R-n) for 1 < p less than or equal to infinity. A
s an application we study a weak type inequality for the Sobolev capac
ity. We also prove that the Hardy-Littlewood maximal function of a Sob
olev function is quasi-continuous.