22/11/20 19:53:27.13 Sfr1QN7O.net
>>955
H : I × B → B で任意の x ∈ B と a ∈ A に対して
H(0, x) = x, H(1, x) ∈ A, かつ H(1, a) = a
なるものに対して, HLP によって, G_0 = id_E なる
H の lifting G : I × E → E の存在はすぐ言えるんです。
この G が 任意の x' ∈ E|A に対して G(1, x') = x' という
条件を満たすかどうかがわからない。
A のファイバーの各点をずらしていく、という感じだと、
任意の x' ∈ E|A に対して G(1, x') = x' という条件から出発して、
任意の x ∈ E に対して G(0, x) = x を満たす homotopy
G: I × E → E を構成しないといけないと思います。