良い単体のホモトピー類

良い $n$ 単体 $\sigma$ に対し、$A_0$ の上で $\sigma\circ\lambda$、$I^n\setminus A_0$ で $x_0$ とする写像を $\sigma_\lambda$ と書き、$\Phi(\sigma)=[\sigma_\lambda]\in\pi_n(X,x_0)$ と定める。$\Phi$ を線形に $\hat C_n(X)\to\pi_n(X,x_0)$ に延ばす。定値単体では $\Phi=0$ なので、$\Phi$ は $E_n\to\pi_n(X,x_0)$ を定める。