Abstract:There have been recent attempts to develop the theory of Sobolev spaces W1,p on metric spaces that do not admit any differentiable structure. We prove that certain definitions are equivalent. We also define the spaces in the limiting case p=1.