A class of Dirichlet forms generated by pseudo differential operators.
We show that under minimal assumptions, the intrinsic metric induced by a strongly local Dirichlet form induces a length space. The main input is a dual characterization of length spaces in terms of the property that the 1-Lipschitz functions form a sheaf.
Zero sets and uniqueness sets of the classical Dirichlet space are not completely characterized yet. We define the concept of admissible functions for the Dirichlet space and then apply them to obtain a new class of zero sets for . Then we discuss the relation between the zero sets of and those of .