>>598
Xの任意の開集合U_nに対して、α_nをGのある元として
φ_n:U_n→G,x|→α_n
(U_n上で定義された「定数」写像)は、Gに離散位相が入っていれば連続になる