Dirichlet energy space with zero boundary at infinity
= Dirichlet energy space with zero boundary at infinity
{title2=$H_0$}
For a <transient Markov chain>[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.