隆起関数(多様体版)

コンパクトK⊂チャートU⊂Xに対する隆起関数の存在定理