• ベストアンサー

離散位相の証明法を教えてください。

べき集合の位相をどう示すかが不明です。べき集合ρ(X)には、ΦとXが含まれ、位相の定義を満たします。ですが、残りの二つの位相の定義にどうべき集合をのせていくかが不明です。ご教授願います。

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

  • ベストアンサー
  • misumiss
  • ベストアンサー率43% (24/55)
回答No.1

"明らか," と回答したくなるのですが, その前に, 質問タイトルと質問文を正確な表現を用いてかき直してください。 かき直してもらわないと, 現在の質問者様の理解度を判定できませんので, どうかよろしくお願いします。

全文を見る
すると、全ての回答が全文表示されます。

関連するQ&A

  • 離散位相、密着位相はなぜそう呼ばれる?

    X を集合とするとき、X のすべての部分集合からなる位相 を考えることができる。この位相を離散位相(りさんいそう、discrete topology)といい、それを開集合系とする位相空間を離散空間(りさんくうかん、discrete space)という。また、空集合と X 自身のみからなる族 {Ø , X} も位相となる。この位相を密着位相(みっちゃくいそう、indiscrete topology)または自明位相 (trivial topology) といい、それを開集合系とする位相空間を密着空間という。 なぜ、離散、密着という言葉が使われるのですか?

  • 集合・位相

    集合・位相初心者です。 授業で開集合と閉集合、近傍の定義を教えてもらったのですが、理解できず、困っています。 以下は、授業で使っているプリントに載っている定義です。 X:集合 T:Xの部分集合からなる集合族 (X,T):位相空間 とする。 Xの部分集合UがTの元であるとき、Uを開集合という。 また、Xの部分集合Fの補集合がTの元であるとき、Fの閉集合という。 点x∈Xに対して x∈U゜ を満たすXの部分集合Uを近傍という。また、このような近傍全体のなす集合族をxの近傍系といい、U(x)で表す。 具体的な例で教えて頂けると助かります。 例えば、集合X={1,2,3,4,5}、位相T={φ,{3},{4},{3,4},{1,3},{1,3,4},X}として、位相空間(X,T)をつくると、この(X,T)の開集合、閉集合、点3の近傍(点は適当に選びました)はどうなるのか。 集合・集合は初心者なので、詳しく教えて頂けると嬉しいです。 ご教授、よろしくお願い致します。

  • 位相について初心者なのでよろしくお願いします。

    実数全体の集合Rの二つの部分集合族θ1={U⊂R|R-Uは有界集合}、θ2={U-R|0はRに入らない}に対して、θ=θ1∪θ2としたとき(空集合φは有限集合とする。)にθがRの位相空間であることを定義に基づいて行うときに、一つ目のX∈θかつφ∈θ(φは空集合)は明らかだと分かったのですが、残りの2つの導き方がイマイチ分かりません。 導き方を教えてください。

  • 位相

    Xは非空の集合である。 次の定義によって与えられているd:X×X→Rは距離である。   d(x,y)=0 (x=yの時)   d(x,y)=1 (x≠yの時) dをX上の離散距離とする。 このとき、dによって定まる距離位相Tは、X上の離散位相(T=P(X)パワーセット)であることを示せ。 疑問I この問題で、まず、任意のXの部分集合Gがdのもとで開集合になっていることを示せばいいかなと思いました。 (1)G=φのとき  これは定義から、開集合です。 (2)G≠φのとき  Gの中に開球が作れればいいんですよね??  でも分かりません。 疑問II (1)(2)が示せたら、dによって定まる距離位相Tは、X上の離散位相(T=P(X)パワーセット)をどのように導くか分かりません。 この2つの質問に誰か答えてください!!

  • 位相数学の証明問題です。

    直積集合では、2つの射影写像px:X×Y→Xおよびpy:X×Y→Yがpx(x,y)=x、py(x,y)=yで定義できる。 X、Yが位相空間(X、Ox)、(Y、Oy)であるとき、上に述べた直積位相は、px、pyの双方を連続写像とするようなX×Y上の位相のうち、もっとも弱い位相である ことを証明してください。 よろしくお願いします。

  • 位相の証明

    集合Xに対して O={ø}∪{O⊂X|d(X-O)<∞} とおく時OはX上の位相を定める事を証明せよ お願いします

  • 位相 初心者です。

    「AとBが位相空間Xの開集合ならば、A×Bは直積位相空間X^2の 開集合である。」 上記の内容は、定義ですか、それとも定理ですか。 定理であれば、証明の考え方を教えてください。

  • 有限集合からなる位相空間における写像の連続性

    ある位相空間Xから別の位相空間Yへの写像fが連続であるとは、Yの任意の開集合Oの逆像f^-1(O)が開集合であると定義されていると思いますが、この定義に従うと、有限集合に位相を入れた位相空間Xからの別の位相空間Yへの写像は、位相空間Xの集合が全部開集合となり、必ず連続になるのでしょうか。

  • 位相です

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

  • 距離と位相

    x,y,zが数直線上にならんでいます。d(x,y)=d(y,z)=1, d(x,z)=2という感じです。 つまり、それぞれ一ずつ離れて、x,y,zの順番でならんでいることになります。 定義域のほうも通常のRでけっこうです。通常のRの距離を考えて、ここから開集合、位相を導入します。このときの位相はつぎのようなものでよいのでしょうか。 (x), (y), (z), (x,y), (y,z) (x,y,z)と空集合。 ごく初等的な例で、距離と位相の関係をつかみたく思います。当方文系ですので、上記で誤っていた場合ですが、どこが違うのかなるだけ初等的にご説明いただければ幸いです。 どの点についても、うまく開球をとれば当該集合に含まれるという開集合の定義が焦点だと思います。この開集合の理解があっていれば、間違っていないように思いますが、自信はありません。