1: \begin{definition}

2:     \label{def:r-curvature}

3:     Let $R$ be an admissible regularisation functional

4:     on $\BVspace(\Omega)$. We define the \emph{transformation differential}

5:     of $R$ at $u$ as

6:     \[

7:         \TDIFF_u^R(\gamma) \defeq \lim_{\rho \downto 0} \frac{R(\pf{(\rho \gamma+ (1-\rho)\iota)} u)-R(u)}{\rho},

8:         \quad (\gamma \in \LipClass(\Omega)),

9:     \]

10:     when the limit exists.

11:     With $\baseh \in \basehspace$, we then define the \emph{pointwise $R$-curvature}

12:     at $x_0$ along the Lipschitz graph $\Gamma$, if the limit exists, as

13:     \[

14:         \CURVP_u^{R,\Gamma,\baseh}(x_0) \defeq \lim_{r \downto 0} \inv I_r \TDIFF_R(\gamma_{h_r}),

15:         %\CURVP_u^{R,\Gamma,\baseh}(x_0) \defeq \lim_{r \downto 0} 

16:         %    \frac{\omega_{m-1}\TDIFF_u^R(\gamma_{h_r})}

17:         %         {I_1 r \abs{Du}(\B(x_0, r))},

18:         \quad (x_0 \in \Gamma).

19:     \]

20:     Since our results do not depend on the choice of $\baseh$, we 

21:     simply write $\CURVP_u^{R,\Gamma}(x_0) \defeq \CURVP_u^{R,\Gamma,\baseh}(x_0)$

22:     in the statement of Theorem \ref{theorem:jumpset-l1}.

23:     %Without reference to $\Gamma$ and $\baseh$, we also set

24:     %\[

25:     %    \CURVP_u^{R}(x_0) \defeq \CURVP_u^{R,\Gamma,\baseh}(x_0)

26:     %\]

27:     %for $\Gamma=\Gamma_i$ for some $\Gamma_i \ni x_0$ from

28:     %\eqref{eq:ju-lambda-collection}, when the limit is uniquely defined. 

29: \end{definition}

30: