- 120 名前：１３２人目の素数さん [2005/09/26(月) 12:30:58 ]
- >>118から次のことがわかる。
M = ind.lim (M_i) とし、x ∈ M_i, y ∈ M_j に対して、
f_i(x) = f_j(y) とする。このとき、i ≦ k, j ≦ k となる k があり、
f_(k, i)(x) = f_(k, j)(y) となる。
とくに、x, y ∈ M_i で、f_i(x) = f_i(y) とすると、
i ≦ j となる j があり、f_(j, i)(x) = f_(j, i)(y) となる。
これから、f_i(x) = 0 なら f_(j, i)(x) = 0 となる j がある。
