「距離空間では、任意の集合Aに対して、その導集合A’は閉集合である。」と言うことを証明せよ。

 上記の問題を教えてください。もう二週間くらい考えているのですが、全くわかりません。お願いします。

このQ&Aに関連する最新のQ&A

A 回答 (1件)

集合Aの導集合A'の定義は覚えていますか。

A'はAの集積点の集合でしたね。

距離空間に限らずある位相空間のある集合が閉集合であることを示すための一番簡単な方法は、
その補集合が開集合であることを示すことです。なぜならある集合が開集合であることを示す
ためにはその集合のすべての点が内点であることを示すだけで良いからです。

そこでA'の補集合が開集合であることを示せば証明が完了します。

[証明]
いま考えている距離空間をXとし、Xの2点x_1,x_2の距離をd(x_1,x_2)と書きます。
A⊂XはXの任意の部分集合。A'はAの導集合。(A')~はA'の補集合とします。
また点x∈Xに対し、xを中心とする半径εの'開球'を
O_ε(x) と書きます。すなわちO_ε(x)= { y∈X :d(x, y)<ε} です。

まず次のことを確認しておきましょう。
A''⊂A'  ……(*1)
すなわち導集合の集積点集合は最初の導集合の部分集合になると言うことです。これはテキスト
などに命題として書いてあると思いますが、念のためここから示しておきます。

x∈A''ならば任意の正の数εに対してO_{ε/2}(x) ∩ A' ≠ φ となります。
そこでy∈O_{ε/2}(x) ∩ A'とするとyはA'の点ですから
O_{ε/2}(y) ∩ A ≠ φ となります。z∈O_{ε/2}(y) ∩ Aとすれば
d(x,z)≦d(x,y)+d(y,z)<ε/2 + ε/2 = ε となります。すなわち z∈O_ε(x)かつ z∈A
ですから O_ε (x) ∩ A ≠ φ が言えます。よってxはAの集積点。
すなわち A''⊂A'であることが言えました。「(*1)の証明終り」

さてx∈(A')~ とします。定義よりxはAの集積点ではありません。(これはxがA自身の点でない
と言うことは意味しません。xがAの孤立点であればx∈(A')~となります)よって

(*2)ある正の数ε>0 が存在し、O_ε(x) ∩ A' = φ となります。

O_ε(x)は明らかにxを含むXの開集合(すなわちxの開近傍)ですから(*2)は
(A')~の任意の点xに対して(A')~に含まれるようなxの開近傍が存在する
と言うことを示しています。すなわちxは(A')~の内点です。そしてxは任意でしたから
(A')~のすべての点は内点ということになります。すなわち(A')~は開集合         ■

(*2)の部分は大丈夫でしょうか?念のためこの部分の解説もしておきます。(というより
この部分が証明のポイントですが)
もしどんな正の数εを取ってきてもO_ε(x) ∩ A' ≠ φ となるのなら、xはA'の集積点
です。(*1)で示したようにA'の集積点はA'自身の点でもあるので、xがA'の集積点である
ということはx∈(A')~と言う条件に反しています。従って(*2)が成り立たなくてはいけません。
    • good
    • 0
この回答へのお礼

 親切な回答をどうもありがとうございました。実は、これは学校で当てられていた問題だったのですが、何回解いてもやり直しで、非常にナーバスになっていたところだったんです。本で調べても、導集合自体がほとんど見つからなくて。
 すごくわかりやすかったです。ありがとうございました!ひょっとしたら、またお世話になるかもしれないので、その時はまたよろしくお願いします。(もちろん、自分でも考えますけど)。

お礼日時:2001/07/14 02:15

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!


人気Q&Aランキング

おすすめ情報