Partições da unidade

Definição 1

Uma partição da unidade em $X$ é uma família $(f_{s})_{s\in S}$ de funções contínuas $f_s\colon X\to[0,1]$ tal que, para cada $x\in X$, temos $$ \sum_{s\in S}f_s(x) = 1. $$