Una colección localmente finita de funciones suaves no negativas sobre una variedad topológica (o dominio) subordinada a un recubrimiento abierto cuya suma puntual es idénticamente uno; se usa para localizar construcciones globales ponderando y pegando datos locales.

Principio

Uso de funciones de corte suaves con soporte local cuya suma es uno para transferir y combinar objetos locales (funciones, formas, métricas) en un único objeto global preservando la suavidad y la localización.

Demostración

En una variedad suave, elegir un recubrimiento abierto localmente finito, refinarlo si es necesario y construir funciones bump suaves apoyadas en cada conjunto refinado de modo que su suma sea uno; luego pegar una familia de secciones locales de un fibrado multiplicando cada sección por la bump correspondiente y sumando.

Aplicación incorrecta

Emplear una familia de funciones que no sea localmente finita o no sea suave (p. ej. soportes solapados infinitos con suma no convergente, o cortes solo medibles) de modo que la suma resultante deje de ser suave o esté mal definida, o intentar subordinar una partición a un recubrimiento no refinado o a un espacio no paracompacto.

Consecuencia

Permite extender construcciones locales a globales sin pérdida de regularidad; posibilita argumentos de localización (integración por partes, construcción de métricas o conexiones globales) y el pegado de soluciones de EDPs o secciones de fibrados.

Inversión

Sustituir el requisito de que la suma sea uno por exigir que la suma sea cero o una función arbitraria destruye la normalización que garantiza una combinación convexa fiel de los datos locales; sin la suma unitaria no se asegura la invariancia del objeto pegado ante cambios locales.

Límite

Requiere que el espacio sea paracompacto para la existencia en la categoría suave; la construcción presupone regularidad suficiente (suave, C^k o continua) y suele fallar en espacios no paracompactos o cuando solo hay recubrimientos no localmente finitos.

Tensión semántica

Se diferencia de las particiones de un conjunto en funciones indicadoras disjuntas: las particiones de la unidad usan pesos superpuestos y suavizados que suman uno en lugar de indicadoras mutuamente excluyentes, sacrificando exclusividad por regularidad y control local.

Síntesis

Una partición de la unidad es un recubrimiento ponderado suave y localmente finito cuya suma normalizada es uno y que permite pegar coherentemente datos locales suaves en objetos globales sobre variedades paracompactas.