• ベストアンサー

距離空間についての問題です。

距離空間についての問題です。 (A,d) を距離空間とし、B⊂A をコンパクト集合とする。１点b∈￢B に対し、次の３つの条件をみたす開集合 U,V が存在することを証明しなさい。( b は B の元ではないという意味です) B⊂U, b∈V ,U∩V＝φ この証明問題が解けずに困っています。 よろしければ回答よろしくお願いします。

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

  • ベストアンサー
  • kabaokaba
  • ベストアンサー率51% (724/1416)
回答No.1

大して難しくない Bの点xをとる bとxは異なる点で，距離空間はハウスドルフだから bとxの開近傍Ub(x)とV(x)で交わらないものがある このとき,　 {V(x)}_{xはBの点}はBの開被覆だから Bのコンパクト性よりBの有限個の点{x1,x2,..,xn}があって B⊂V(x1)∪・・・V(xn) そこで U=V(x1)∪・・・V(xn) V=Ub(x1)∩・・・∩Ub(xn) とすればいい 記号の整理と証明の穴埋めは自分でやること

その他の回答 (1)

  • boiseweb
  • ベストアンサー率52% (57/109)
回答No.2

距離空間であることを露骨に利用すると，こんなふうにも解けます． まず，Bが閉集合であることから，inf { d(b,x) | x∈B } > 0 が成り立つことを示します． inf { d(b,x) | x∈B } をεとおいて，B,b それぞれの(ε/3)-開近傍を U,V とすればできあがり． 距離空間なんだからT3分離公理（などといわず，あらゆる分離公理）をみたすわけで，Bはコンパクトでなくても閉集合で十分です． No.1さんの回答は，距離空間でなくてもハウスドルフ空間で成立する論法になっています（その場合はコンパクト性が必要）． どちらにしても，問題では必要以上に強い仮定を置いていることになります．

  1. カテゴリ
  2. 学問・教育
  3. 数学・算数

関連するQ&A

  • 距離空間におけるコンパクト性

    距離空間において、コンパクト集合と点列コンパクト集合が同値であることの証明をできるだけ理解したいのですが、参考書のの証明がイマイチ理解できません。 （参考書の証明） (1) コンパクト距離空間Xの任意の点列{x_n}n=1,2,…が収束部分列をもつことを示す。 この点列に対して、A_k={x_k,x_k+1,…}とおき、その閉包(A_k)'全体のなす集合族{(A_k)'}を考える。 {(A_k)'}の各元(A_k)'は空でない閉集合で、単調減少(A_1)'⊃(A_2)'⊃…(A_k)'⊃…であるから有限交叉性をもつ。したがって、Xのコンパクト性より共通部分(A_k)'は空でない。共通部分(A_k)'から１点xを選べば、xは(A_1)'に属するからd（x_(n_k),x）≦１/kなるx_(n_k)∈A_kが存在する。このとき、n_k≧kより数列｛n_k｝は異なる自数数を無限個含むから、｛x_(n_k)｝は｛x_n｝の部分列であり、また明らかにxに収束する。よって、点列｛x_n｝は収束部分列をもつ。 (2) 距離空間Xが点列コンパクトであると仮定し、Xの任意の開被覆｛V_λ｝が有限部分被覆をもつことを言う。最初に、｛V_λ｝に対して、ε＞０が存在して、任意のx∈Xのε近傍U（x；ε）が｛V_λ｝のどれかの元V_λに含まれることを示す。このようなεを開被覆｛V_λ｝のルベーグ数とよぶ。ルベーグ数が存在しないならば、各kに対し、その１/k近傍がどの｛V_λ｝の元にも含まれないような点x_k∈Xをとることができる。こうして得られた点列｛x_k｝は、Xの点列コンパクト性より収束部分列をもつ。その極限をx_∞とおくと、｛V_λ｝はXの被覆であるから適当なV_λ∈｛V_λ｝がx_∞を含む。V_λは開集合であるから、μ＞０が存在してU（x_∞；μ）⊂V_λ。十分大きいk'をとれば、１/k'＜μ/２とd（x_k'、x_∞；μ）＜μ/２とが同時に成り立つが、このときU（x_k';1/k'）⊂U（x_∞；μ）⊂V_λとなって点列｛x_k｝のとりかたに矛盾する。すなわちルベーグ数の存在が示さfれた。さて開被覆｛V_λ｝が有限部分被覆を持たないとして矛盾を導く。｛V_λ｝に対するルベーグ数をεとし、これを用いてXの点列｛x_n｝を以下のように構成する。まず任意のx_１∈Xを選ぶ。このとき、U（x_１；ε）を含むV_（λ１）∈｛V_λ｝が存在する。もし、X－V_（λ１）が空ならばXがV_（λ１）だけで覆われるからX－V_（λ１）≠φであり、点x_２∈、X－V_（λ１）を選ぶ事ができる。同様にU（x_２；ε）を含むV_（λ２）∈｛V_λ｝が存在するが、X－（V_（λ１）またはV_（λ２））はやはり空でない。よって、x_3∈X－（V_（λ１）またはV_（λ２））を選ぶ事ができる。この操作を繰りかえして得られた点列｛x_n｝はn＞mに対してx_nはU（x_m；ε）に含まれない、すなわちd（x_n、x_m）≧εを満たすから収束部分列を含みえない。これはXが点列コンパクトであることに反し、矛盾が生じた。 （証明終わり） まず有限交叉性の全く意味がわかりません。 私は、点列コンパクトとコンパクトの定義を以下のように学習しています。 X：集合、P：開集合族 （X、P）：位相空間 K⊂Xがコンパクト ⇔｛U_λ｝⊂Pかつ和集合U_λ⊃K（λ∈Λ）、この時、和集合U_（λ_k）⊃K（k＝１→n）となるようなλ_１、…、λ_n∈Λが存在する。 K⊂Xが点列コンパクト ⇔K内の任意の無限点列｛x_n｝（n＝１、２、…）がKの点に収束する部分列を持つ。 なるべく定義に従って、証明していきたいです。 どなたか、詳しく証明を解説してほしいです。 回答よろしくお願いします。

  • 幾何学の問題です

    この問題が解けず、くろうしています。 直積空間ｘ×ｙの開集合ｇに対して、ａ×ｂ⊂ｕ×ｖ⊂ｇとなるｘの開集合ｕとｙの開集合ｖが存在することを示せ。 どなたかとくことはできますでしょうか。よろしくお願いします。

  • 位相の問題(距離空間)について

    以下の問題のヒントをくださいm(、、)m 距離空間(X,d)の点aのε近傍U(a;ε), 点bのδ近傍U(b;δ) について. (1) d(a,b)≧ε+δ ⇒ U(a;ε)∩U(b;δ) =φ を示せ. (2) d(a,b)＜ε+δ ⇒ U(a;ε)∩U(b;δ) ≠φ であるといえるか? 証明または反例を示せ. (3) U(a;ε)はXの開集合であることを証明せよ. (1) U(a;ε) = {x∈R^n | ||a-x||＜ε} U(b;δ) = {y∈R^n | ||b-y||＜δ} とかける z∈U(a;ε)∩U(b;δ) をとると ||a-z||＜εかつ ||b-z||＜δ をみたす このとき d(a,b) = ||a-b|| = ||a-z+z-b|| ≦ ||a-z||+||z-b|| ＜ε+δ ∴ε+δ＞d(a,b) よって,ε+δ≦d(a,b) ⇒ U(a;ε)∩U(b;δ) =φ ■ (2) 成り立つとおもうのですが証明がどうすればいいのか‥‥ (3) 近傍の定義より明らか? よろしくおねがいします。

  • 距離空間と位相空間について

    距離空間(A,d)において、dに関する開集合全体をAdとおくとき、(A,Ad)は位相空間であることを示せ。 この問題なのですが、位相空間の定義は理解しているのですが、そこから進まなくて困っています。 どうかご教授お願いします。

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

    位相空間(T,Ot)(Tは集合でOtは位相)として、a,b,cはTの元とします。 連続写像φ:[0,1]→T、φ(0)=a、φ(1)=bが存在して、 連続写像ψ:[0,1]→T、ψ(0)=b、ψ(1)=cが存在するとします。 このとき、連続写像g:[0,1]→T、g(0)=a、g(1)=cは存在するのでしょうか？ もし存在するなら証明してほしいです。 自分の持ってる教科書の連続写像の定義は、 f:(T,Ot)→(S,Os)が点a∈Tで連続。 ⇔f(a)∈Uとなる任意のU∈Osに対して、あるV∈Ot,a∈Vが存在して、f(V)Uとなる。 と定めています。 一応、自分で考えたのは、 g:[0,1]→T、g(x)=φ(2x)(0≦x≦1/2)、g(x)=ψ(2x−1)(1/2≦x≦1)なのですが、x=1/2で連続なのかわかりません。g:[0,1/2]→T, g:[1/2,1]→Tは連続だと思います。 g(1/2)∈Uとなる開集合U⊂Tを任意に取ります。 g:[0,1/2]→Tの連続性から1/2∈V1、V1⊂[0,1/2] となる開集合が存在してg(V1)⊂Uで、 g:[1/2,1]→Tの連続性から1/2∈V2、V2⊂[1/2,1] となる開集合が存在してg(V2)⊂Uとなる事はわかります。 V1もV2も[0,1]の相対位相の元なので、V1UV2は、[0,1]の開集合となるのかわからないです。 (V1もV2も[0,1]の位相の元([0,1]の開集合)ならば、V1UV2は、[0,1]の開集合となる事はわかります。)

  • 位相空間の問題なんですが…

    （Ｘ，ｄ）距離空間とし、Ｘ＝Ａ∪Ｂにおいて 連続写像　ｆ：（Ａ，ｄ）→（Ｙ，ρ） 　　　　　ｇ：（Ｂ，ｄ）→（Ｙ，ρ）であり 写像　ｈ：（Ｘ，ｄ）→（Ｙ，ρ） 　　　　　　ｆ（ｘ）　if　ｘ∈Ａ ｈ（ｘ）＝｛　　　　　　　　　　　　　と定義する。 　　　　　　ｇ（ｘ）　if　ｘ∈Ｂ　　　　　　 このときＡ、Ｂ共に（Ｘ，ｄ）の開集合（閉集合）ならば、ｈは連続であることを証明せよ。 という問題です。わかる方、証明のアイデアだけでも結構です。宜しくお願いします。

  • 商位相空間

    X=R^n+1-(0,0,…,0)のおいて(x0,…,xn)～(λx0,…,λxn)(λ≠0)により 関係～をX上に定義する。 (a)～が同値関係になることを示せ。 (b)商位相空間X/～をRP^ｎと表し、n次元実射影空間という。 RP^ｎがハウスドルフ空間であることを示せ。 (a)に関しては問題が曖昧な気がするのですが…。 これは (x0,…,xn)～(y0,…,yn)⇔∃λ≠0 s.t.(y0,…,yn)=(λx0,…,λxn) ということでいいのですか？ (b)ですがハウスドルフ空間の定義は X上の任意の異なる二点x,y∈Xに対して二つの開集合U,Vで x∈U、y∈VかつU∩V=φとなるものが存在する。 ということですよね。 商位相空間X/～はどのような位相空間になるのでしょうか？

  • 距離空間について

    距離空間についての問題です。 Ｒ^n∋x,y x=(x1,…,xn),y=(y1,…,yn) d_1(x,y)=Σ|x_i-y_i| は距離関数として与えられています。 問題：R^n∋a,b、a≠bとする。 n=2のとき、{x∈R^n:d_1(a,x)+d_1(x,b)=d_1(a,b)}は、どのような集合か。 d_1(a,x)+d_1(x,b)=d_1(a,b)より、 xは線分ab上の点なのではないかと予想しています。 しかしこれをどのように証明すればよいのかわかりません。 アドバイス等がほしいです。 よろしくお願いします。

  • 位相空間のコンパクト化の問題で困っています。

    最初に問題と回答を写します (X,〇)、(X',〇')、(X'',〇'') をそれぞれ 〇, 〇', 〇''を開集合系とする位相空間 f:X→X' g:X'→X'' を連続写像とする 問:Y⊂X がコンパクトであるとき ｆ(Y) がコンパクトになることを証明せよ 答:ц={U(λ)|λ∈Λ} を f(Y) の開被覆とすると f が連続写像であることより ц'={f^(-1)・(U(λ)) |λ∈Λ} は Y の開被覆となる Y はコンパクトであるから,ある ц' の部分被覆 {f^(-1)・(U(λ1))、f^(-1)・(U(λ2))、…、f^(-1)・(U(λn))} が存在する。このとき {U(λ1)、U(λ2)、…、U(λn)} が ц の部分被覆になるのは容易に分かるので f(Y) はコンパクト ■ この最後のところで、どうして {U(λ1)、U(λ2)、…、U(λn)} が цの部分被覆になるのかが分からないので教えて欲しいです。 よろしくお願いします。別解などありましたら歓迎です。

  • 距離空間の問題です。

    距離空間の問題です。 (X,d)：距離空間 Bd1(p;r) = {x∈X｜d(x,p)＜r} (←開球体？) Bd2(p;r) = {x∈X｜d(x,p)≦r} (←閉球体？) としたとき、Bd1(p;r)とBd2(p;r)の境界は共に {x∈X｜d(x,p)＝r} になることを示せ という問題です。解く方針としては A = Bd1(p;r)とすると X = Ai(Aの内部)∪Ae(Aの外部)∪∂A(Aの境界) からAiとAeを求めて、∂Aを導く Aは開集合より、Ai＝A＝{x∈X｜d(x,p)＜r}...(1) X-A＝{x∈X｜d(x,p)≧r}より Ae＝(X-A)i＝・・・＝{x∈X｜d(x,p)＞r}...(2) (1)(2)より ∂A＝{x∈X｜d(x,p)＝r} という感じで示そうとしたんですが (2)の・・・の部分がうまくできません どのように言えばいいんでしょうか？ また、閉球体の方の示し方もお願いします

注目のQ&A

カテゴリ

専門家に質問してみよう

職業から探して質問する

あなたにピッタリな商品が見つかる！ OKWAVEセレクト

質問する