  In the context of Euclidean spaces equipped with an arbitrary Radon measure,
we prove the equivalence among several different notions of Sobolev space
present in the literature and we characterise the minimal weak upper gradient
of all Lipschitz functions.
