• ベストアンサー

位相(開集合を示す問題です)

問 (X,d)を距離空間とする。    r>0、x₀∊X、Br(x₀):={y∊X|d(y,x₀)<r}と置く。   このとき、Br(x₀)は開集合であることを示せ。 開集合を示すから、Br(x₀)の要素aを任意に取ることをかんがえましたが、そのあとの解答の筋道、方針が分りません。ご教授願います。

  • ga2z
  • お礼率2% (3/104)

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

  • ベストアンサー
回答No.1

Br(x0)の任意の元をbとすると δ = r - d(x0,b) > 0 開球Bδ(b)に属する点は d(x0,y) ≦d(x0,b) + d(b,y) < d(x0,b) + δ = r が成立する。 よって Bδ(b)はBr(x0)に包まれる → aはBr(x0)の内点 → Br(x0)は開集合である みたいな感じ

その他の回答 (1)

回答No.2

No.1です。 回答の訂正があります。 【誤】 ★Bδ(b)はBr(x0)に包まれる → aはBr(x0)の内点 → Br(x0)は開集合である 【正】 Bδ(b)はBr(x0)に包まれる → bはBr(x0)の内点 → Br(x0)は開集合である

ga2z
質問者

補足

なぜ、δをとろうとしたのでしょうか?また、δ = r - d(x0,b)とおけるのはなぜでしょうか?

関連するQ&A

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

    集合と位相についての質問です。 問 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∈θとなることを示せ。 この追加の問題がよくわかりません。 解答、アドバイス、なんでもいいので出来るだけ早めに回答をお願いします。初めてなので読みにくいかもしれませんが宜しくお願いします。

  • 開集合の定義が分かりません

    VをRの部分集合とおく。 0に限りなく近いが0じゃない非負の値をαとする。 Vに含まれる任意の元xに対して、 0<ε=αとおくとxのα-開近傍={y∈R|d(x, y)<α}=x∈V⊂V よってVは開集合なのだと思うのですがV=[0, 1]でも成り立つと思います。 開集合の定義を具体的に教えてくれませんか?

  • 位相数学について再び質問です

    http://oshiete1.goo.ne.jp/qa2686308.htmlで質問したものです。 また自分なりに考えた解答を添削&教えてください。 問1-1)(X、Ox)(Y,Oy)を位相空間とする     X × Yの直積位相とは何か? これがさっぱりわかりません。 問1-2)XとYがハウスドルフ空間ならば、X × Yもハウスドルフ空間であることを示せ。 これもさっぱりです。たぶん問1-1を使うと思います。 問2)(X、d)を距離空間とする    距離dの定めるXの位相Odの定義とはなにか? これもわかりません、どういう意味でしょうか?位相Odが距離空間の定義を満たすということでしょうか? 問3)Xがコンパクトで、A⊂Xが閉集合ならAもコンパクトであることをしめせ。 Xがコンパクトだから、Xの任意の開被覆が必ずXの有限被覆を部分集合として含んでいる。ここまではいいと思います。たぶんAがコンパクトでないと仮定して矛盾を示すと思います。これ以上がどうしてもわからないです。    

  • 位相です

    <X,d1>,<Y,d2>をともに距離空間とする。d1が離散距離ならば、任意の関数f:X→Yが連続であることを示せ。 ここで、 d1,d2により定まるX,Y上の距離位相を、それぞれT1,T2とする。 距離位相の定義から、距離dのもとでの開集合と、距離位相Tのもとでの開集合は一致するから、fは連続になりますよね?? でも、 このことをうまく、数学的に記述して、答えることができません。 だれか、教えてください!!

  • 位相数学の問題です

    問1。 x∈R^2,r>0に対しR^2の部分集合Ur(x),Ir(x)を Ur(x)={y∈R^2:d2(x,y)<r} Ir(x)={y∈R^2:d∞(x,y)<r} とする。 ここでd2はEuclid距離,d∞はノルムⅠⅠ・ⅠⅠ∞により定義される距離(のn=2の場合)とする。 このときy∈Ir(x)に対しUp(y)⊂Ir(x)となるp>0を具体的に求めろ。 問2 (X,D)を位相空間。△:X→X×X、△(x)=(x,x)を対角線写像とする。このとき、△は位相空間Xから積空間X×Xへの連続写像であることを示せ。 問3 X、Yを位相空間とする。写像f:X→Yに対し、F:X→X×Y、F(x)=(x,f(x))とする。fが連続ならばFはXからの直積空間X×Yへの連続であることを示せ。 問4 X×Yを位相空間(X,Dx)と(Y,Dy)の直積空間とする。Xの任意の点xに対してX×Yの部分空間{x}×Y(={(x,y)∈X×Y:y∈Y})はYと同相であることを示せ。 問5 (X,Dx)、(Y,Dy)を位相空間、(Z,Dz) (Z=X×Y)を直積位相空間、px:Z→X、py:Z→Yを射影とする。次の主張が正しければ証明し、誤りであれば反例をあげろ。 (i)射影pxは開写像である (ii)射影pxは閉写像である

  • ユークリッド平面と連続開写像

    「fをユークリッド平面R2から実数直線R1への写像としてつぎのように定める。R2∋X=<x1,x2>に対して、f(x)=x1 このとき、fはR2からR1への連続開写像であることを証明せよ。」 以下のような流れで証明できて合っていますでしょうか? また、もっと違う方法、簡単な方法はありますでしょうか? 宜しくお願いします。 ------------------------------------------------------- X(x1,x2)とY(y1,y2)の距離d(ユークリッド空間R2の距離)は d(X,Y)=√{(x1-y1)^2+(x2-y2)^2} f(X)とf(Y)の距離d(ユークリッド空間R1の距離)は d(f(X),f(Y))=√(x1-y1)^2 そうだとすると √(x1-y1)^2 <= √{(x1-y1)^2+(x2-y2)^2} だから ∀ε>0,∃δ>0, d(X,Y) < δ=ε ⇒ d(f(X),f(Y)) <= d(X,Y) < ε fは連続である。 fによってR2の開集合はR1の開集合に写像されることは、連続性と同じ理由で明らか。 ∵Xの任意のε(X)近傍はf(X)のε(X)近傍の上に写像されるから、R2の開集合はR1の開集合に写像されることを意味していて、fは開写像である。 ∴fはR2からR1への連続開写像である。 ----------------------------------------------------------------

  • 開集合と閉集合。

    次の集合はR^2で開集合か閉集合であるか理由を述べて答えよ。 (1){(x,y)∈R^2:x^2-y^2=1} (2){(x,y)∈R^2:|x|+|y|<1} (3){(x,y)∈R^2:1<4x^2+2y^2≦2} (1)は閉集合(2)は開集合だと思うのですがどう証明すれば良いか分かりません。 (3)はグラフがどうなるのかも分かりません汗 連投すいませんが分かる方お願いします!

  • 位相の問題です

    (R^n,d)を距離空間としAとBをR^2の部分集合とする。AとBに対して、 集合A+Bを  A+B={a+b|a∈A,b∈B}で定義し、 Aの点aとBに対して、集合a+Bを  a+B={a+b|a∈A,b∈B} で定義する。 このとき次の問いに答えよ。 ただしR^nの2点x=(x1,x2,…,xn) y=(y1,y2,…,yn)に対して d(x,y)={Σ(xi-yi)^2}^1/2 とする。 (1)Rの点xに対して,xの近傍をN(x,ε)で表すときN(x+y,ε)=x+N(y,ε)を証明せよ。 (2)BがR^nの開集合であるとき集合A+BもR^nの開集合であることを証明せよ。 (3)AがR^nの閉集合、B={b1,b2,…,bn}であるとき、集合A+BがR^nの閉集合であることを    証明せよ という以上の問題なのですが、(1)はイメージできるのですが証明がうまくいきません。 (2)(3)はさっぱりです。 どなたか教えていただけないでしょうか。 よろしくお願いします。

  • 開集合であるかの判定

    次のR ^2 の部分集合は開集合かどうかがいまいちわかりません。開集合かどうかということと、その理由を記していただけたら助かります。 A= { (x , y) ∈R ^2 | x ^2 + y ^2 ≧1 } B= { (x , y) ∈R ^2 | 0 < x ^2 + y ^2 < 1 } C= { (x , y) ∈R ^2 | x ^2 - y ^2 >1 }

  • 開集合

    a=(a1,a2,…,an)がR^nに含まれδ>0のとき Bδ(a)={x;||x-a||<δ} は開集合であることを示せ。 この問題なんですけど 与式=Dとすると点aのδ近傍はDに含まれるので点aはDの内点で任意の点なのでDは開集合である で合ってますか?あんま自信ないもんで…間違っていたらご教授願います。