正規、パラコンパクトHausdorff、1の分割
https://www.ms.u-tokyo.ac.jp/~furuta/partitionofunity.pdf