概要 補題15の証明、補題16の証明 補題15 を集合、 とする。 このとき、 が存在するための必要十分条件は、 が全単射であることである。 証明 (必要性) が存在するとする。 このとき、逆写像の定理よりが成り立つ。( ともに恒等写像だから当然、全単射。) こ…