>>68
>>実数列 {x_n}∈R^N/〜 を任意に取る.
>の部分で「{x_n}が収束する」ことが仮定されるのか。

何をどう誤解してるのか知らんが、勝手な仮定を置かないように