カントールの区間縮小法と反例

2ページくらいの軽い内容です。

 完備距離空間へ一般化されたカントールの区間縮小法の仮定のうち、集合の直径が0に収束するというのを落としたときに区間縮小法の結論が一般には成り立たないことの説明です。

[追記2017-5-11]

内容について指摘がありました。

 冒頭の事実1においてF_nに対して非空であるという仮定が必要です。

これを修正しました。

PDFはこちら↓