- ベストアンサー
位相（閉包の性質について）初心者です
koko_u_の回答
- koko_u_
- ベストアンサー率18% (459/2509)
位相空間の基本なので、ひとつずつ定義を書き下して、自分で考える必要があります。 というわけで、まずは x ∈ (B の閉包) の定義からいってみようか。
関連するQ&A
- 集合と位相
(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)はわかりませんでした。アドバイスお願いします。
- ベストアンサー
- 数学・算数
- 直積位相
Ｘ、Ｙを位相空間とする。 『Ｗ⊂Ｘ×ＹがＸ×Ｙの開集合⇔任意の(ｘ，ｙ)∈Ｗに対して、ｘ∈ＸのＸにおける開近傍Ｕ⊂Ｘ、ｙ∈ＹのＹにおける開近傍Ｖ⊂ＹでＵ×Ｖ⊂Ｗとなるものが取れる』 と定義することにより、Ｘ×Ｙは位相空間になる事を示せ。 という問題です。 Ｘ、Ｙが位相空間なので、それぞれの位相をＯ(Ｘ)、Ｏ(Ｙ)としてＸ×Ｙの位相をＯ(Ｘ×Ｙ)=｛Ｕλ×Ｖλ；Ｕλ∈Ｏ（Ｘ）、Ｖλ∈Ｏ（Ｙ）｝とおいて証明しようとしたのですが、これでは上記の定義が満たされていないと注意され詰まってしましました。 どなたかアドバイス（もしくは証明）していただけませんでしょうか？
- ベストアンサー
- 数学・算数
- 位相の問題
二つの近傍系β1(a)（ａ∈Ｓ）、β２(a)(a∈S)が与えられ、次の条件が満たされているとする。 任意のＯ_1∈β1(a)に対して、Ｏ_2⊆Ｏ_1となるＯ_2∈β2(a)が取れる。また逆に、任意のＯ_2∈β２(a)に対して、Ｏ_1⊆Ｏ_2となるＯ_1∈β1(a)が取れる。 このとき、二つの近傍系は同じ位相を定めることを示せ。 この問題で自分は次のように解答を作りました。 [証明] 近傍系β1(a)から決まる開集合Aの定義より ∀a∈A（⊂S）、∃u∈β１(a)；ｕ⊆Ａ ここで∀Ｏ_1∈β1(a)に対してＯ_2⊆Ｏ_1となるＯ_2∈β2(a)が取れるので、 ∃u∈β1(a)が存在して、Ｏ_2⊆uとなるＯ_2∈β1(ａ)がとれる。 したがって、∀a∈A（⊆S）、∃Ｏ_2∈β2(ａ)；Ｏ_2⊆ｕ⊆Ａ よって、Ａは近傍系β２(ａ)から決まる開集合である。 同様に逆も成り立つ。 故に二つの近傍系β１(ａ)、β2(ａ)は同じ位相を定める。 この回答で不十分な点、間違いとうがあったら指摘してください。お願いします。
- ベストアンサー
- 数学・算数
- 何が箱位相と直積位相でのR^ωのR^∞の閉包か?
R^∞はR^ω(R^ωはRの可算個の直積集合)の部分集合でやがて0になる数列{x_n}(有限個の項は非零)全体からなる集合とする時,何が箱位相と直積位相でのR^ωのR^∞の閉包か? 正解はR＾∞ の箱位相と直積位相における閉包を夫々A,Bとすると A=R^∞,B=R^ωのようです。 R^ωの直積位相T_pはTをRの通常の位相とすると S:=∪[λ∈Λ]{π_λ^-1(U_λ);U_λ∈T} (Λは可算な添数集合,π_λは射影) とするとこのSはR^ω上の準開基をなし, B:={∩[s∈S']s;S'⊂S,S'は有限集合}はR^ω上の開基をなし、 これから生成される位相T_pは T_p:={∪B';B'⊂B}(={∪[b∈B']b;B'⊂B}の意味)と書ける。 箱位相T_bの定義は B:={Π[λ∈Λ]U_λ;U_λ∈T}と置くとT_b:={∪[b∈B']b;B'⊂B} それでT_p⊂T_bの関係になっていると思います。 ヒントは ∀x=(x_1,x_2,…)∈(R^∞)^cを取り, ε_i=|x_i|/2 (x_i≠0の時),∞(x_i=0の時) とすると V=(-ε_1,ε1)×(-ε_2,ε_2)×… はxの箱位相における近傍でR^∞∩V=φ よってA=R^∞. となっています。∀x=(x_1,x_2,…)が(R^∞)^cの内点になっているのでA=R^∞という事なんでしょうが (0,0,…)はR^∞の元になっていてVの元にもなっていますよね。 したがってR^∞∩V=φは言えないと思うのですが…。 後半についてのヒントは ∀x=(x_1,x_2,…)∈R^ωを取ると直積位相におけるxの任意の近傍Vを取ると ある自然数nに対し,{x_1}×{x_2}×…×{x_n}×R^ω⊂Vで R^∞∩{x_1}×{x_2}×…×{x_n}×R^ω≠φなのでR^∞∩V≠φである。 よってB=R^ω となっているのですがこれも同様に∀x=(x_1,x_2,…)∈R^ωがR^∞の内点かもしくは境界点になっているのでB=R^ωとなるんだと思います。 xの任意の近傍Vはx∈V∈T_pと書けますよね。 それが{x_1}×{x_2}×…×{x_n}×R^ω⊂Vとどうしてなるのか分かりません もしV=(-|x_1|-1,|x_1|+1)×(-|x_2|-1,|x_2|+1)×(-|x_3|-1,|x_3|+1)×… とずっとなっている場合は,{x_1}×{x_2}×…×{x_n}×R^ω⊂Vと言えませんよね。 どのように解釈したらいいのでしょうか?
- ベストアンサー
- 数学・算数
- 集合・位相
集合・位相初心者です。 授業で開集合と閉集合、近傍の定義を教えてもらったのですが、理解できず、困っています。 以下は、授業で使っているプリントに載っている定義です。 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の近傍（点は適当に選びました）はどうなるのか。 集合・集合は初心者なので、詳しく教えて頂けると嬉しいです。 ご教授、よろしくお願い致します。
- 締切済み
- 数学・算数
- 位相空間論について質問です．
位相空間論について質問です． A⊂R^nのとき，x∈R^nが集合Aの集積点であることの定義ですが， （i）xを含む任意の開集合Uに関して，（U＼｛x｝）∩A≠Φ （ii）（A＼｛x｝）∩B（x，ε）≠Φ の2通りを見かけました．B（x，ε）はxのε近傍です． 学校の講義では（i）を習ったのですが，個人的には（ii）の方がわかりやすくて使い易いです． （i）の方がいまいちイメージが掴めません． （i）と（ii）は同じことだと思うのですが，（i）についてわかり易い解説をお願いできますか？ 任意の開集合というものが入ってくるとわかりづらいです． よろしくお願いします．
- ベストアンサー
- 数学・算数
- 位相空間（入門レベル）
次の問題の証明がわかりません。 問.位相空間（X,T）の2つの部分集合A、Bについて、 Aが開集合のとき、 A∧B￣ ⊂（A∧B）￣ が成り立つことを証明せよ。 いくつかの参考書を見て、以下の回答例があったのですが、 ｘ∈A∧B￣ とし、A’をｘを含む任意の開集合とすれば、 A∧A'もｘを含む開集合で、 ｘ∈B￣であるためには （A∧A'）∧B≠Φ でなければならない。 すなわち、A'∧（A∧B）≠Φ である。 したがって、 ｘ∈（A∧B）￣ この内容は理解できるのですが、証明として、4行目の「≠Φ でなければならない」が何となく気になります。（うまく伝えられないのですが）この回答は適当（ふさわしい）ですか。
- ベストアンサー
- 数学・算数
補足
返答ありがとうございます。 ｘ∈（Bの閉包）の定義 ｘ∈（Bの閉集合全体の共通集合） でしょうか？