1b1e3e0dc142d3f6.tex
1: \begin{definition}\label{def:SG3.03}
2: Let $(\E,\dom\E)$ be the resistance form from Theorem~\ref{thm:SG3.01}. For each $n\geq 0$, define
3: \begin{equation*}\label{eq:SG3.07}
4: \widetilde{\F}_n
5: %=\{u\colon{\rm H}\to\mbbR~|~u_{|_I}\in H^1(I), u_{|_{\SG}}\in\dom\E^{\SG}\text{ for any }\I,\SG\in\cup_{k=1}^{n-1}J_k\\
6: =\{u\in\dom\E~|~u_{|_{\triangle}}\text{ is constant on every }n\text{-cell }\triangle\}.
7: \end{equation*}  
8: Furthermore, define the bilinear form $\widetilde{\E}_n=\E_{|_{\widetilde{\F}_n\times \widetilde{\F}_n}}$ and 
9: \begin{equation*}\label{eq:SG3.09}
10: \widetilde{R}_n(x,y)=\sup\bigg\{\frac{|u(x)-u(y)|^2}{\widetilde{\E}_n(u,u)}~|~u\in \widetilde{\F}_n,~\widetilde{\E}_n(u,u)\neq 0\bigg\}.
11: \end{equation*}
12: \end{definition}
13: