17e1c17bda9bced1.tex
1: \begin{definition}\label{def_norm_current}{\rm
2: A $k$-dimensional normal $E$-current\index{$k$-dimensional normal $E$-current} in $U\subset\R^d$ is an $E$-current $T$ with $\mathds{M}(T)<+\infty$ and $\mathds{M}(\partial T)<+\infty$.
3: Thanks to the Riesz Theorem, $T$ admits the following representation:
4: $$
5: \langle T;\omega\rangle=\int_U\langle\omega(x);\tau(x),v(x)\rangle\,{\rm{d}}\mu_T(x)\ ,\quad\forall\,\omega\in \mathscr{C}^\infty_c(U,\Lambda^{k}_E(\R^d))\ .
6: $$
7: where $\mu_T$ is a Radon measure on $U$, $v:U\to E$ is summable with respect to $\mu_T$ and $|\tau|=1$, $\mu_T$-a.e. A similar representation holds for the boundary $\partial T$.
8: 
9: %\noindent Analogously, we can represent
10: %$$
11: %\langle\partial T;\varphi\rangle=\langle T;d\varphi\rangle=\int_U\langle d\varphi;\tau(x),v(x)\rangle\,d\mu_T\quad\forall\,\varphi\in \mathscr{C}^\infty_c(U,\Lambda^{k-1}_E(\R^d))\ .
12: %$$
13: }
14: \end{definition}
15: