さらに以下の記述があります:


関数 φ(x) には、唯一の不動点 a = φ(a) が存在するとし、 φ(x) は
a の近傍で C^1 級であるとする。関数 φ(x) は定数関数ではないとする。
このとき、次が成り立つ。

(i) …

(ii) |φ'(a)| > 1 ならば、いかなる初期値 x_0 に対しても、反復法 x_(k+1) = φ(x_k)
は a に収束し得ない。


x_0 = a とすれば、明らかに {x_n} は a に収束するように思います。

あと、「閉区間 J のコーシー列 {x_n} には極限 a が存在し、 a ∈ J を満たす。これを
J は完備であると言う。」という内容が書いてあります。

閉集合内の点列が収束すると仮定すると極限もその閉集合に属するという命題のこと
ですが、完備などと言いますか?