En matemáticas, un espacio paracompacto es un espacio topológico en que todo recubrimiento por abiertos admite un refinamiento localmente finito.