Dirichlet energy space with zero boundary at infinity
= Dirichlet energy space with zero boundary at infinity
{title2=$H_0$}
For a transient weighted graph, $H_0$ is the completion of the finitely supported functions in the norm $\lVert f\rVert_{H_0}=\mathcal E(f,f)^{1/2}$. Its elements have finite <Dirichlet form of a Markov chain>[Dirichlet energy] and vanish at infinity in the energy sense.