ガロア生誕200周年記念スレ part 5
■ このスレッドは過去ログ倉庫に格納されています
0533Kummer ◆SgHZJkrsn08e
2012/02/11(土) 22:15:59.25X を位相空間とする。
X における2項関係 〜 を次のように定義する。
x 〜 y ⇔ X のある連結(>>529)な部分集合 A があり x ∈ A かつ y ∈ A となる。
このとき、関係 〜 は同値関係である。
証明
x 〜 y かつ y 〜 z なら x 〜 z となることのみ証明すれば十分である。
x ∈ A かつ y ∈ A
y ∈ B かつ z ∈ B
となる連結な部分集合 A、B がある。
>>532より A ∪ B は連結である。
よって、x 〜 z である。
証明終
■ このスレッドは過去ログ倉庫に格納されています