Conjunto das funções suaves é um espaço vetorial

Dada uma variedade diferenciável \(M\), o conjunto \(C^{\infty}(M,\mathbb{R})\) das funções suaves constitui um espaço vetorial sobre o corpo dos reais, ao definirmos as operações: