局所自明性により、関数''X''&ni;''x''&rarr;''k''''x''&isin;Nは局所定数であり、従って''X''の各連結成分の上では一定である.
局所定数