formula_1に値を持つ位相空間上の定数層をformula_2で表す。