誤植じゃない?
Y'が相対コンパクトと仮定すると以後の議論でこまるかな?