- 締切済み
位相数学について再び質問です
http://oshiete1.goo.ne.jp/qa2686308.htmlで質問したものです。 また自分なりに考えた解答を添削＆教えてください。 問１－１）（X、Ox）(Y,Oy)を位相空間とする X × Yの直積位相とは何か？ これがさっぱりわかりません。 問１－２）XとYがハウスドルフ空間ならば、X × Yもハウスドルフ空間であることを示せ。 これもさっぱりです。たぶん問１－１を使うと思います。 問２）（X、ｄ）を距離空間とする 距離ｄの定めるXの位相Oｄの定義とはなにか？ これもわかりません、どういう意味でしょうか？位相Oｄが距離空間の定義を満たすということでしょうか？ 問３）Xがコンパクトで、A⊂Xが閉集合ならAもコンパクトであることをしめせ。 Xがコンパクトだから、Xの任意の開被覆が必ずXの有限被覆を部分集合として含んでいる。ここまではいいと思います。たぶんAがコンパクトでないと仮定して矛盾を示すと思います。これ以上がどうしてもわからないです。
- be_da_i
- お礼率4% (3/69)
- 数学・算数
- 回答数1
- ありがとう数0
- みんなの回答 （1）
- 専門家の回答
みんなの回答
- kabaokaba
- ベストアンサー率51% (724/1416)
問１ > X × Yの直積位相とは何か？ >これがさっぱりわかりません。 また定義と定理をごっちゃにしています． 直積位相は「定義」です． 定義がでてませんか？ 一般の直積集合に対する直積位相の定義は煩雑ですが， その本はいきなり一般の定義を書いてあるような本ではないはずです． 問１－２ 問１というか直積位相がわかってからのお話です． 直積位相が分かればほとんど自明です． 問２ ＞位相Oｄが距離空間の定義を満たすということでしょうか？ 逆です．距離から位相を定めます． これも「定義」です． 距離空間から位相を定める場合は「お約束」があります そのお約束はきちんとかかれてるはずです 問３ ＞たぶんAがコンパクトでないと仮定して矛盾を示すと思います 違います． Aがコンパクトであることの定義を理解していますか？ Aがコンパクトであるとは 「Aの任意の開被覆に対して， 有限部分開被覆をとることができる」 です． したがって，「Aの任意の有限開被覆」から， 有限部分開被覆を構成すれば証明終わりです． AはXの部分集合ですので「当然」AにはXからの相対位相が入ります． まずは「相対位相」の「普通の定義」を理解するのが必須です． 前の質問のように「写像が誘導する」位相だと 相対位相を理解しているとかなり難儀します．
関連するQ&A
- 位相空間の本で
読んでいてあまりわからない所が２点ありまして、 １．XにXのすべての部分集合を開集合とする位相を入れると、 Xの部分集合Cがコンパクト ⇔ Cが有限集合 という部分と、 ２．Xをコンパクトハウスドルフ空間、Yをハウスドルフ空間とするとき、 写像ｆ：X→Yが全単射連続なら逆像ｆ-1：Y→Xも連続になる という部分に疑問が残りました。 １．については、コンパクト⇒閉集合であることや、Cが有限集合なら有限個の開被覆で覆えるからコンパクトである、ということが使える（？）のではじめの「XにXのすべての部分集合を開集合とする位相を入れる」部分が必要ないのではないかとも思うのですが・・・ ２．については、Xがコンパクトハウスドルフ空間ならその部分集合Cもコンパクトでその写像はやっぱりコンパクトで・・・その逆像もコンパクトで・・・・？ どこから連続の議論に持っていけばよいのかが分かりませんでした。 「証明は読者に委ねよう」というお得意の言い回しで飛ばされてしまっていて、なんだか消化不良のままです＞＜ ご返答よろしくお願い致します。
- ベストアンサー
- 数学・算数
- 位相数学の問題です
問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は閉写像である
- ベストアンサー
- 数学・算数
- 位相空間論について質問です。来週、大学で位相空間論のテストがあります。
位相空間論について質問です。来週、大学で位相空間論のテストがあります。一通り学習範囲を終え、ある程度の基本問題も解け、仕上げの段階に近づいてきました。昨年、必修で単位を落としてしまい、今年は猛勉強して間違えてなかったとテスト前の今の段階でさえ思います。（それだけ私にとっては苦手とする難しい分野なのです。）なので、今回は、一度解いた問題を別の切り口から見れないか？（別解はないか？）ということで、質問します。例えば、「コンパクト集合の直積はコンパクトであることを証明せよ」という問いに対し、私は「（X,Ox),(Y,Oy)を位相空間とし、A⊂X,B⊂Y（ともにコンパクト集合）。直積空間（X*Y,Ox*Oy)において、その部分集合A*Bはコンパクトであること」を示し、A=X,B=Yのような流れで行きます。他に証明のアプローチがありましたら、どうか教えて下さい。よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 商位相空間
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/～はどのような位相空間になるのでしょうか？
- ベストアンサー
- 数学・算数
- 集合と位相
(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)はわかりませんでした。アドバイスお願いします。
- ベストアンサー
- 数学・算数
- ”コンパクト”の定義について。集合、位相
集合論における、”コンパクト”の定義について質問です。 言い回しの違いがあるにせよ、以下の2種類があるようですが どちらが正しいのでしょうか？ （その１） コンパクトであるとは、位相空間Ｘの任意の開被覆が、必ずＸの有限被覆を部分集合として含むことである。 （その２） ある集合Ａを、有限個の開集合の和で覆えるときにコンパクトという。 個人的には、（その１）の定義が正しいとおもっています。 ”位相空間”であることが、前提条件でないと 話が進まない気がしています。
- ベストアンサー
- 数学・算数
- 位相数学の証明問題です。
直積集合では、2つの射影写像px：X×Y→Xおよびｐｙ：X×Y→Yがpx（x,y）=x、py（x,y）=yで定義できる。 X、Yが位相空間（X、Ox）、（Y、Oy）であるとき、上に述べた直積位相は、px、pyの双方を連続写像とするようなX×Y上の位相のうち、もっとも弱い位相である ことを証明してください。 よろしくお願いします。
- 締切済み
- 数学・算数
- ２つの位相多様体の直積空間は位相多様体になる。
Mをm次元位相多様体とする。Nをn次元位相多様体とする。このとき、直積空間M×Nは(m+n)次元位相多様体であることを示せ。 ハウスドルフ空間の直積空間もまたハウスドルフ空間であるという事実は、既知として利用して下さって差し支えありません。ご助力お願いいたします。
- 締切済み
- 数学・算数
- 位相数学の添削をしてほしいず
http://oshiete1.goo.ne.jp/qa2682012.htmlで聞いたものです。 以下の問題について自分なりに解答をまとめてみたので添削してください。小さいことでもいいので悪いところを指摘してほしいです。 ページは松坂和夫の集合・位相入門をまとめたページです。 問１）Xの位相Oとは何か？ ただしMλとかM１とかのλや１は添え字です。この問題は 前の質問にあるやつや152ページからまとめたものです。 解答）以下の条件、甲、乙、丙を満たすことである 甲. X∈O および φ∈O 乙. M1∈O、M２∈Oならば M１∩M2∈O 丙. （Mλ）λ∈∧ をOの元からなる任意の集合族（すなわち、 添数集合∧は任意の有限または無限集合で、すべてのλ∈ ∧に対してMλ∈O）とすれば∪Mλ∈O 問２）A∈XのときのAの相対位相となにか？ これは１８８ページをまとめてみました。 解答）iをAからXへの標準的写像とする（つまり、ｘ∈Aならあばi(x)=x）このときに、i:A→Xにより, Xの位相Qから誘導されるAの位相OaをAの相対位相とよぶ 問３）位相空間Xがコンパクトであるとは何か？ これは２０９ページをまとめてみました。 解答）Xの任意の開被覆が必ずXの有限被覆を部分集合として含んでいる こと 問４）位相空間Xが連結であるとはどういうことか？ 解答）Xの閉集合系をMとする。Xの位相をQとするときに、 Q∩M＝｛S、φ｝をみたすことである。 この答えであっているのか間違えているのか、違う部分を指摘してほしいです。
- 締切済み
- 数学・算数
補足
問１－１と１－２と問２が定義であることはわかっていますし、この 集合・位相入門にものっています。しかし言っていることがわからないので質問しました。 直積位相についてはこのように書いてあります。 Sは位相空間です。Qはそれの位相 各λ∈∧についてSからSλ（λは添え字）への射影をprλ（λは添え字）とするとき、写像族（prλ）λ∈∧もうｐって（（Sλ、Qλ））λ∈∧からSに誘導される位相、すなわち、すべてのprλが連続となるようなSにおける際弱の位相QをSの直積位相という。 と書いてあります。 これがX × Yについてはどういうことなのかがわかりません。 距離空間から位相を定める場合は「お約束」があります そのお約束はきちんとかかれてるはずです このことですか？ Oの任意の点aに対してB（a;ε）⊂Oとなるような球体B（a：ε）が存在する。（中心a半径ε） この球体のことをOｄと呼んでいるのでしょうか？