12/05/30 05:52:10.07
(続き)
さて、(M,≦)は帰納的でないのだから、ある空でない全順序部分集合A⊂Mが存在して、
(A,≦)は(M,≦)の中に上界を持たないことになる。このようなAを1つ取っておく。
Aは全順序部分集合だったから、任意のF1, F2∈Aに対して、
F1⊂F2 または F1⊃F2 が成り立つ。
特に、集合族Aは有限交叉性を持つ。… (*)
任意のF∈Aはコンパクトだから、これと(*)より、∩[F∈A] F ≠φ
が成り立つことになる。そこで、p∈∩[F∈A] F …(**) を1つ取る。
Γの定義から、このpを通るγ1∈Γが存在する。
F1＝F(γ1)と置いておく。明らかに、p∈F1 かつ F1∈M である。
(A,≦)は(M,≦)の中に上界を持たなかったから、あるF∈Aが存在して、
F≦F1が成り立たない。すなわち、F⊃F1が成り立たない。これと>>559から、
・F1⊃F, F1≠F
・F1∩F＝φ
のいずれかが成り立つ。(**)に注意して、p∈Fだから、これとp∈F1より、
後者は成り立たない。よって、前者が成り立つしかない。
F＝F(γ)なるγ∈Γを取っておく。このとき
F(γ1)⊃F(γ), F(γ1)≠F(γ), p∈F(γ1), p∈F(γ), p∈Im(γ1)
ということだから、Γの定義から矛盾する(γとγ1の図を描くと分かりやすい)。
以上より、>>533は不可能である。
……ジョルダン閉曲線の性質を証明せずに、"Γの定義より" で
済ませている部分が多々あるので、厳密性に欠けるような( ＾o＾)