11/11/14 21:35:44.11
>>371,373
ありがとうございます。
今日は昼間は読む時間全然取れなかったのですが、
今解決しました。
解決方法としてはふたつで、
(1)371さんのおっしゃる通り、by shrinking Y'
を補ってかんがえる。つまり、Y'<<Y''<<Y
としてY'を以下、Y''に読み替えて考える。
この方法はこの節のこれまでも丁寧にこう
書かれていたのだが、ここに来ていい加減
書き方を省略しはじめた。
(2)373さんのおっしゃる通り、
Yは相対コンパクトであっても、そうでなくても、
本質的には同値。上の(1)の方法で証明を読んで行けば
定義からわかる。
それまでの事項をロジックの整合性だけ
追うのが精一杯で本質がつかめていないと、
局所的論理的にはつっかえますが、
我慢して先を読んで本質がつかめれば、
容易に修正できる。
むしろ、ここで初めて本質がつかめた気がします。
ご助言ありがとうございました。