Sobolev function with zero weak gradient ($\nabla u=0⟹u\text{ is constant}$)

On a connected open set, a Sobolev space function with zero weak gradient is constant almost everywhere. Local mollification gives constant smooth representatives on interior balls; overlaps and connectedness identify their constants. Without connectedness, the constant may differ between components. This explains the constant ambiguity in a Neumann Poisson problem.