>fが単なる連続写像でしかない場合でも
この時は f^*ω はどうやって定義するんだね？