# Density of continuous functions in Sobolev spaces with applications to capacity

## TL;DR

This paper demonstrates that in certain metric measure spaces, continuous functions are dense in Sobolev-type spaces without requiring common regularity assumptions, and capacity can be computed using locally Lipschitz functions.

## Contribution

It proves density of continuous functions in Newtonian spaces under minimal assumptions and shows capacity computability with locally Lipschitz functions in general metric spaces.

## Key findings

- Continuous functions are dense in Newtonian spaces without doubling or Poincaré inequalities.
- Capacity can be computed with locally Lipschitz functions in locally complete metric spaces.
- Results apply to a broad class of metric spaces, extending previous theories.

## Abstract

We show that capacity can be computed with locally Lipschitz functions in locally complete and separable metric spaces. Further, we show that if $(X,d,\mu)$ is a locally complete and separable metric measure space, then continuous functions are dense in the Newtonian space $N^{1,p}(X)$. Here the measure $\mu$ is Borel and is finite and positive on all metric balls. In particular, we don't assume properness of $X$, doubling of $\mu$ or any Poincar\'e inequalities. These resolve, partially or fully, questions posed by a number of authors, including J. Heinonen, A. Bj\"orn and J. Bj\"orn. In contrast to much of the past work, our results apply to locally complete spaces $X$ and dispenses with the frequently used regularity assumptions: doubling, properness, Poincar\'e inequality, Loewner property or quasiconvexity.