L’intégrale est linéaire dans le sens suivant. Soit $(\omega_{\ell})$ une famille localement finie et dénombrable de formes mesurables de type $(n,n)$ (resp. $(n-1,n)$) à supports fortement paracompacts dans $X$, et soit $(r_{\ell})$ une famille de nombres réels.

La forme $\omega:=\sum r_{\ell}\omega_{\ell}$ est alors bien définie, et à support fortement paracompact dans $X$ : pour le voir, on choisit pour tout $\ell$ un ouvert paracompact $X_{\ell}$ de $X$ contenant $\operatorname{supp}(\omega_{\ell})$.

Chaque composante connexe de $X_{\ell}$ est dénombrable à l’infini. Comme les $X_{\ell}$ sont en nombre dénombrable, chaque composante connexe de $\bigcup X_{\ell}$ est dénombrable à l’infini. Par conséquent, $\bigcup X_{\ell}$ est un ouvert paracompact de $X$ contenant le support de chacune des $\omega_{\ell}$, et a fortiori le support de $\sum r_{\ell}\omega_{\ell}$.

On a alors

$$\int_{X}\mathopen{|}{\omega}\mathclose{|}\leq\sum|r_{\ell}|\int_{X}\mathopen{|}{\omega_{\ell}}\mathclose{|}$$

$$\text{(resp.}\;\int_{\partial X}\mathopen{|}{\omega}\mathclose{|}\leq\sum|r_{\ell}|\int_{\partial X}\mathopen{|}{\omega_{\ell}}\mathclose{|}\;\;\text{),}$$

et

$$\int_{X}\omega=\sum r_{\ell}\int_{Y}\omega_{\ell}$$

$$\text{(resp.}\;\int_{\partial X}\omega=\sum r_{\ell}\int_{\partial X}\omega_{\ell}\;\;\text{)}$$

dans le cas intégrable.

Pour le voir, on commence par choisir un ouvert paracompact $Z$ de $X$ contenant $\bigcup\operatorname{supp}(\omega_{\ell})$ (on a vu ci-dessus qu’un tel ouvert existe toujours).

Donnons-nous une famille $(V_{i})$ de domaines affinoïdes de $Z$ tels que les $\mathring{V}_{i}$ recouvrent $Z$, et une partition de l’unité lisse $(\lambda_{i})$ sur $Z$, subordonnée à $(\mathring{V}_{i})$.

Fixons $i$. Comme la famille $(\omega_{\ell})$ est localement finie, et comme le support de $\lambda_{i}\omega_{\ell}$ est constitué pour tout $\ell$ de points $x$ tels que $d_{k}(x)=n$ (lemme 3.2.5), il existe en vertu de la proposition 3.4.4, un voisinage affinoïde $U_{i}$ de $\bigcup_{\ell}\operatorname{supp}(\lambda_{i}\omega_{\ell})$ dans $V_{i}$ qui tropicalise $\lambda_{i}$ et toutes les $\omega_{\ell}$ (celles qui sont nulles sur $V_{i}$ sont automatiquement tropicales).

La famille $(\mathring{V}_{i}\,\lambda_{i},U_{i})|$ est un atlas intégral sur $X$ adapté à $\omega$ et à chacune des $\omega_{\ell}$  ; on peut donc calculer toutes les intégrales en jeu au moyen de cet atlas, et le résultat cherché s’ensuit immédiatement.