• ベストアンサー
※ ChatGPTを利用し、要約された質問です(原文:集合と位相の問題なんですが・・・・)

集合と位相の問題について

zzzzzzの回答

  • zzzzzz
  • ベストアンサー率61% (70/113)
回答No.3

#1です。 U[1/n,1-1/n] = (0,1)の証明を書いておきます。 各nについて[1/n,1-1/n] ⊆ (0,1)は明らかなので、 U[1/n,1-1/n] ⊆ (0,1)はすぐに分かります。 従って、逆の包含関係を示せばOKです。 いま、任意のx∈(0,1)を考えます。 1)x<1/2のとき アルキメデスの公理より、1/x<nをみたす自然数nが存在します。 x>0ですから、これより1/n<xが分かります。 これと、x<1/2よりx∈[1/n,1-1/n]です。 2)x=1/2のとき x∈A_3=[1/3, 2/3]です。 3)x>1/2のとき 0<1-x<1/2ですから、1)と同様にして1-x∈[1/n,1-1/n]です。 これよりx∈[1/n,1-1/n]が分かります。 以上より、任意のx∈(0,1)に対してx∈U[1/n,1-1/n]ですから、 U[1/n,1-1/n] ⊇ (0,1) が分かりました。 証明は分からなくても、事実として U[1/n,1-1/n] = (0,1) が成り立つだろう、という予想は浮かばないと厳しいと思いますが。 図を描いてみるのも1つの手です。 証明3の前半も参考にしてください。 以下、(2)の別証明を書いておきます。 但し、位相に関してのある程度の知識を仮定しての証明です。 [証明2] K=U[1/n,1-1/n]が閉集合と仮定する。 明らかにK⊆[0,1]、特に有界ゆえ、これはコンパクト集合。 従って点列コンパクトであるが、今、Kの点列x_n=1/nに対し、 x_nの収束先x=0はKに含まれない。 (任意のnについて0は[1/n,1-1/n]に含まれないため) 従って点列コンパクト性に反し、矛盾である。 (Rはハウスドルフ空間ゆえ、部分列の収束先はx以外にあり得ない) [証明3] K=U[1/n,1-1/n]=Ucl(A_n)とする。 このとき、K=UA_nであることを示す。 A_n⊆cl(A_n)より、UA_n⊆Kは明らか。 また、各nに対して cl(A_n)=[1/n,1-1/n]⊆[1/(n+1), 1-1/(n+1)]=A_{n+1} だから、cl(A_n)⊆UA_n。これよりK⊆UA_n。 従ってK=UA_nが成り立つ。特に、Kは開集合である。 (注:だからといって閉集合でない、とは必ずしも言えない) いま、Kが閉集合だと仮定すると、Kは空でない開かつ閉集合。 R(実数全体+通常の位相)は連結ゆえ、これはK=Rを意味するが、 これは明らかに成り立たず、矛盾である。

ikecchi
質問者

補足

どうも親切な回答解説をありがとうございました。え~っとですね、なんでU[1/n、1-1/n]という閉区間の和集合が(0,1)の開区間になるのかわかりません。確かに定理としては有限個ならその閉区間の和集合は閉集合であると書かれていますが。厳密な証明ではなくて直感的にわかるにはどうしたらいいのでしょうか?ここが分かるか分からないかは結構大きいような気がしますので、どうか説明を御願いします。

関連するQ&A

  • 位相空間に関する問題で質問です。

    位相空間上で (1)E1(Eの閉包)=Es(Eの孤立点全体の集合)∪Ed(Eの導集合) (2)Es∩Ed=φ(空集合) の2つを証明する問題です。 (1)(2)とも (左辺)⊃(右辺)と(左辺)⊂(右辺) の2つを示して等号成立を証明しようとしたのですが、包含関係の証明が全くわかりません。(根本的にまちがっているのでしょうか?) わかる方いたら教えてください。よろしくお願いします。

  • 収束が定める位相とは?

    こんにちは、早速ですが質問させて下さい。 よく勉強していて、例えば確率収束が定める位相、という文言を目にするのですが、どういう事をいっているのかいまいち理解できていません。 開集合系を定めれば位相が定まる、というのは分かるのですが、同値な条件として「位相は、開集合・閉集合・開核演算子・閉包演算子・近傍 のどれかを与えることで定まる」というのが分かりません。直感的な説明や、何か分かり易い文献など御座いましたらご教授宜しくお願いします。

  • 集合と位相

    (1)X,Yは位相空間とする。A,BがそれぞれX,Yの開集合であるときA×Bは直積位相X×Yの閉集合であることを示せ。 (2){Xλ}λ∈Λを位相空間の族としてAλ⊂Xλ(λ∈Λ)とする。 この時直積位相空間Πλ∈ΛXλにおいて以下を示せ。 (閉包のバーの書き方がわからないのでclと表記します) (a)cl(Πλ∈ΛAλ)=Πλ∈ΛclAλを示せ。 (b)Λは無限集合であるとき、Int(Πλ∈ΛAλ)≠φであるための必要十分条件は有限個のIntAλ≠φであり、かつその他のλについてはAλ=Xλであることを示せ。 (1)は以下のように考えたのですがわかりません。 Aの補集合、Bの補集合はそれぞれX,Yの開集合となる。 よってA^c×B^cは直積位相X×Yの開集合となる。 また(A×B)^c=(A^c×Y)∪(X×B^c) ここで詰まってしまいました。友人に聞いてみたら、 「生成する」位相という言葉の定義がわかってないと言われました。これはどのような意味なのでしょうか? 例えは直積位相の定義にもありました。 X,Yが位相空間でそれぞれの位相をЦx、Цyとした時に Цx×Цy={O1×O2|O1∈Цx,O2∈Цy}が生成する位相を直積位相という。 また位相を「入れる」ということはどういう意味なのでしょうか? (2)(a)は次のように考えてみましたがどうでしょうか? (⊃) ∀x∈Πλ∈ΛclAλを取る。∃λ∈Λ s.t. x∈clAλであるから xの任意の近傍はAλと交わる。したがってxの近傍はAλよりも大きい集合Π(λ∈Λ)Aλとも交わるので、 xはcl(Π(λ∈Λ) Aλ)の点になる。 (⊂) ∀x∈cl(Π(λ∈Λ) Aλ)を取る。 xの任意の近傍とΠ(λ∈Λ)Aλは交わるから、 あるAλと任意の近傍は交わる。これよりx∈clAλ よってx∈Πλ∈ΛclAλ (b)はわかりませんでした。アドバイスお願いします。

  • 数学 位相空間の集合問題を教えてください。

    大学の授業の問題ですが、解き方が分かりません。教えてください。 位相空間(X,Τ)とする。 (1).部分集合A,BがA⊂Bならば、cl(A)⊂cl(B)である を証明せよ。 (2).自然数の集合Nを添字集合とするXの部分集合族{An:n∈N}を考える。この時、 ∪{cl(An):n∈N} ⊂ cl(∪{An:n∈N}) を証明せよ (※AnはA1,A2...という意味で用いています) (※Cl(x)はxの閉包という意味で用いています) (2)は(1)を使えば自明という解しか導けていません。何か落とし穴がありそうな気がしています... よろしくお願いします。

  • 位相 可算集合

    この問題の解答と途中式をおしえてください!! できれば全解をお願いします。 何度してもできません!! Aを可算集合とする。このとき、次の条件(1)(2)(3)を満たすAの 部分集合族{A_n|n∈N}(Nは自然数とする)が存在することを証 明せよ。 (1)すべてのn∈NについてA_nは可算集合である。 (2)A=∪_n∈N(A_n) (3)n≠n'⇒A_n∩A_n'=Φ

  • 位相の問題について質問です。

    (1)E1(Eの閉包)=Es(Eの孤立点全体の集合)∪Ed(Eの導集合) (2)Es∩Ed=φ(空集合) の2つを証明する問題です。 (1)(2)とも (左辺)⊃(右辺)と(左辺)⊂(右辺) の2つを示して等号成立を証明しようとしたのですが、包含関係の証明が全くわかりません。(根本的にまちがっているのでしょうか?) わかる方いたら教えてください。よろしくお願いします。

  • わかりません!集合と位相

    集合と位相についての質問です。 問 Xを空でない集合、関数d:X×X→Rを   d(x,y)={1(x≠y)        0(x=y)   で定義する。このとき、dはX上の距離関数になることを示せ。   また、Xの点xに対してN(x;0.5),N(x;1),N(x;2)をそれぞれ求めよ。 一応ここまでは解けたのですが、 問 上の問よりdから定まる開集合をθとする。   このとき∀M⊂Xに対して、M∈θとなることを示せ。 この追加の問題がよくわかりません。 解答、アドバイス、なんでもいいので出来るだけ早めに回答をお願いします。初めてなので読みにくいかもしれませんが宜しくお願いします。

  • ”コンパクト”の定義について。集合、位相

    集合論における、”コンパクト”の定義について質問です。 言い回しの違いがあるにせよ、以下の2種類があるようですが どちらが正しいのでしょうか? (その1) コンパクトであるとは、位相空間Xの任意の開被覆が、必ずXの有限被覆を部分集合として含むことである。 (その2) ある集合Aを、有限個の開集合の和で覆えるときにコンパクトという。 個人的には、(その1)の定義が正しいとおもっています。 ”位相空間”であることが、前提条件でないと 話が進まない気がしています。

  • 位相についての質問2(初歩)

    先日、位相に関する初歩的な質問をして有益な回答を得ました。 その続きの質問です。 実数全体をSとして、次の位相を与えます。 O={ S,φ,[0, 1] } この場合、Oの元 [0, 1]は "開集合"である、とのことでした。 (1)この位相で (0, 1) は開集合なのでしょうか? (2)この位相で [1/2, 3/2] や [10, 100]や { 3 } は開集合なのでしょうか、閉集合なのでしょうか? (3)密着位相 O={S, φ} で [0, 1]は開集合なのでしょうか、閉集合なのでしょうか? ある集合に異なる位相を入れた場合に、何が変わるのか、、、そこのところを捉えられたらきっと位相が何たるかが腹に落ちるのではないかと思いこのような質問をしました よろしくお願いします。

  • 位相空間の質問です

    テストにむけてどうしてもわからないところがあります (X,O)を位相空間とする 点a∈Xの近傍全体の集合族をaの近傍系といいN(a)で表す また点aの開近傍全体の集合族をaの開近傍系といい、No(a)で表す (1)a∈X ⇒ X∈No(a)⊂N(a) (2)N∈No(a) ⇒ a∈N N∈N(a) ⇒ a∈N (3)N∈N(a)、N⊂M⊂X ⇒ M∈N(a) この1,2,3を示したいです 教えてください