OKWAVEのAI「あい」が美容・健康の悩みに最適な回答をご提案!
-PR-
解決
済み

位相数学の問題です。

  • すぐに回答を!
  • 質問No.101457
  • 閲覧数317
  • ありがとう数1
  • 気になる数0
  • 回答数1
  • コメント数0

お礼率 100% (1/1)

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

 上記の問題を教えてください。もう二週間くらい考えているのですが、全くわかりません。お願いします。
通報する
  • 回答数1
  • 気になる
    質問をブックマークします。
    マイページでまとめて確認できます。

質問者が選んだベストアンサー

  • 回答No.1
レベル11

ベストアンサー率 67% (126/186)

集合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)が成り立たなくてはいけません。
お礼コメント
katohiro

お礼率 100% (1/1)

 親切な回答をどうもありがとうございました。実は、これは学校で当てられていた問題だったのですが、何回解いてもやり直しで、非常にナーバスになっていたところだったんです。本で調べても、導集合自体がほとんど見つからなくて。
 すごくわかりやすかったです。ありがとうございました!ひょっとしたら、またお世話になるかもしれないので、その時はまたよろしくお願いします。(もちろん、自分でも考えますけど)。
投稿日時 - 2001-07-14 02:15:31
-PR-
-PR-
このQ&Aで解決しましたか?
関連するQ&A
-PR-
-PR-
このQ&Aにこう思った!同じようなことあった!感想や体験を書こう
このQ&Aにはまだコメントがありません。
あなたの思ったこと、知っていることをここにコメントしてみましょう。

その他の関連するQ&A、テーマをキーワードで探す

キーワードでQ&A、テーマを検索する
-PR-
-PR-
-PR-

特集


いま みんなが気になるQ&A

関連するQ&A

-PR-

ピックアップ

-PR-
ページ先頭へ