- ベストアンサー
開基と準開基はひとつにきまる？
開基と準開基というのは，位相に対してただ一つに決まるものなのでしょうか？ (X,T) という位相空間に対して，準開基Sが与えられた場合， 準開基の要素の集合の有限個のインターセクションとしてつくった 開基，以外には開基は存在しないのか？ ひとつに決まりそうな気もするのですが，なんだか集合の要素が多すぎて頭の中で想像してもパニックに陥ってしまいます．．． ついに，あさって試験で急いでます！ よろしくお願いします！
- 数学・算数
- 回答数1
- ありがとう数1
- みんなの回答 （1）
- 専門家の回答
質問者が選んだベストアンサー
開基（あるいは準基）が与えられれば、それを開基（あるいは準基）とする位相は一意に定まります。が、位相が最初に定まっている場合には、その位相と合致する（換言すれば、その位相を導く）開基または準基は一意とは限りません。 具体的な実例（反例？）を挙げてもよいのですが直感的な誤解を解くために言えば、、、 > (X,T) という位相空間に対して，準開基 S が与えられた場合， この表現はあまりよくありません。 単なる集合 X に対して、準開基 S （と呼ばれる X の部分集合からなる適当な族）を与えて位相空間 (X,T) を考える、あるいは X に位相 T を定める、というのが正しい順序です。 > 準開基の要素の集合の有限個のインターセクションとしてつくった開基，以外には開基は存在しないのか？ 位相 T 自身も（Tの）開基でも準基でもあります。そして、「準基 S の要素の集合の有限個のインターセクションとしてつくったもの（の全体）」と T は一般には一致しませんよね。このことからも開基や準基の一意性が保障されないことは容易に想像できます。 # もちろん、位相空間 (X,T) があって、開基あるいは # 準基を後から考えるという場合もあります。 # しかし、それは（一般には）たくさんある開基あるいは準基の # 一つを適当に考えるという意味です。
関連するQ&A
- トポロジーの共通部分はトポロジー？（急ぎです！！）
「{J_a : a∈I} をX上のトポロジーの族とすると，∩J_a {a∈I} もまたX上のトポロジーである．」 という記述がでてきました． Iが有限じゃない場合でもトポロジーの集合族のインターセクションはトポロジーになるっていうことですか？ 有限じゃない場合はどうしてなのかわかりません． そもそも{J_a : a∈I} をX上のトポロジーの族っていうのは，密着位相とか離散位相とかが{J_a}の要素にあたる集合ってことなのですか？ 支離滅裂な質問になってしまいましたが，よろしくお願いいたします．
- 締切済み
- 数学・算数
- 有限集合からなる位相空間における写像の連続性
ある位相空間Xから別の位相空間Yへの写像fが連続であるとは、Yの任意の開集合Oの逆像f^-1(O)が開集合であると定義されていると思いますが、この定義に従うと、有限集合に位相を入れた位相空間Xからの別の位相空間Yへの写像は、位相空間Xの集合が全部開集合となり、必ず連続になるのでしょうか。
- ベストアンサー
- 数学・算数
- 集合と位相
（問）ｆを集合Xから位相空間（Y,U）への全射とするとき、つぎを証明せよ。 ※Uは位相 （１）T={f^(-1)(V)|V∈U}のときTはX上の位相である （２）Tはｆを（X、T）から（Y,U）への連続写像とするX上の最小の位相である。 （１）の答案 (O1)Uは位相なので、Y、φ∈Uである。ｆは全射なのでX、φ∈Tである。 (O2)Uは位相なので任意のVの和集合はUの元である。ｆは全射なので、Tの任意の元Sの和集合はTの元である。 (O3)Uは位相なので有限個の任意のVの共通集合はUの元である。ｆは全射なので、Tの有限個の任意の元SはTの元である。 （２）はまったくてがつけられません。 どなたか詳しい方教えてください。
- ベストアンサー
- 数学・算数
- ”コンパクト”の定義について。集合、位相
集合論における、”コンパクト”の定義について質問です。 言い回しの違いがあるにせよ、以下の2種類があるようですが どちらが正しいのでしょうか？ （その１） コンパクトであるとは、位相空間Ｘの任意の開被覆が、必ずＸの有限被覆を部分集合として含むことである。 （その２） ある集合Ａを、有限個の開集合の和で覆えるときにコンパクトという。 個人的には、（その１）の定義が正しいとおもっています。 ”位相空間”であることが、前提条件でないと 話が進まない気がしています。
- ベストアンサー
- 数学・算数
- 集合・位相
集合・位相初心者です。 授業で開集合と閉集合、近傍の定義を教えてもらったのですが、理解できず、困っています。 以下は、授業で使っているプリントに載っている定義です。 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の近傍（点は適当に選びました）はどうなるのか。 集合・集合は初心者なので、詳しく教えて頂けると嬉しいです。 ご教授、よろしくお願い致します。
- 締切済み
- 数学・算数
- 直積位相定義が2個の直積の場合に合致してるか?
直積位相の定義についての質問です。 [定義ア]位相空間(X_λ,T_λ) (λ∈Λ(Λは任意の添数集合))と射影fが与えられていて,直積集合P:=ΠX_λとおく。 この時,X_λ⊃{f_λ^-1(t_λ)∈2^P;t_λ∈T_λ}=:S_λをf_λによって誘導される(X_λ,T_λ)の位相と呼ぶ。 次に和集合B:=∪S_λと置き, この時,このBから生成される位相{U∈2^P;∀x∈U,∃b∈B such that x∈b⊂U} を直積集合Pの直積位相と呼ぶ。 が直積位相の定義だと思います。 [定義イ]2個の直積(X_1,T_1)×(X_2,T_2)の場合の直積位相は{∪[g∈G]g ;G⊂T_1×T_2}と載ってました。 [定義ウ]集合Xの部分集合族Bが以下の条件を満たすときBをXの開基という (1)BはXを被覆する (2)任意のb1,b2∈Bおよび任意のx∈b1∩b2に対して、あるb∈Bが存在して、x∈b⊂b1∩b2となる。 [定義エ] Bを集合Xの開基とする時,{U∈2^X;∀x∈U,∃b∈B such that x∈b⊂U}をBによって生成される位相という。 そこで定義アの直積位相定義が2個の直積の場合に定義イと合致してるか調べています。 まずS_1={f_1^-1(t_1);t_1∈T_1},S_2={f_2^-1(t_2);t_2∈T_2}でB:=S_1∪S_2と置く。 そしてこのBによって生成される位相は{U∈2^(X_1×X_2);∀x∈U,∃b∈B such that x∈b⊂U}:=L これが{∪[g∈G]g;G⊂T_1×T_2}:=Mに一致してるか吟味してみます。 (i) L⊂Mを示す。 ∀U∈Lを採ると,∀x∈Uに対してx∈b⊂Uなるb∈Bが存在する。 Bの定義よりb={f_1^-1(t_1),f_2^-1(t_2)}という集合になっています。 そこで結局の所,Uは常にbを含んでいなければならない訳ですからU=∪[b∈B']b (但しB'⊂B)…(1)となっていますよね。 所でBの元達はというとB:=S_1∪S_2な訳ですから(1)は U={(t_1×x_2)∪(x_1×t_2);x_1⊂X_1,x_2⊂X_2}という形になってますよね。 ここでx_1やx_2は必ずしもT_1やT_2の元とは限らないわけですよね。 なのでこのUは∪[g∈G]g;G⊂T_1×T_2には含まれませんよね。 どうすればLとMが合致しますでしょうか? それとも直積位相は2個の直積集合の場合と3個以上の直積集合の場合とでのそれぞれ直積位相の概念は異なるのでしょうか?
- 締切済み
- 数学・算数
- 可測空間と位相空間の関係
基本的なことだと思うのですが、どうしてもわからず質問させて頂きます。 測度論を勉強しているのですが、可測空間と位相空間の関係がわかりません。 非空な集合Xを用いて、そのσ代数Σと開集合系τをそれぞれ定義します。 そうするといずれもφとXを含み、（ド・モルガンの法則を用いて）有限のunionにもとじ、任意のunionにも閉じているので、同じようにみえます。 テキストを見ると、位相の構造の入ったσ代数をボレルσ代数としていますが、ボレルσ代数にならないσ代数が存在しない気がします。 初歩的なことかもしれなく恐縮ですが、教えていただければと思います。
- ベストアンサー
- 数学・算数
- 何が箱位相と直積位相での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と言えませんよね。 どのように解釈したらいいのでしょうか?
- ベストアンサー
- 数学・算数
- Ｘ：n次ユークリッド空間 R^n
Ｘ：n次ユークリッド空間 R^n Ｕ：密着位相,離散位相でない位相 とします． このとき，∀x∈Ｘに対し，{x}を考えたとき，{x}は（Ｘ，Ｕ）内で開集合になりますか？ 開集合の定義は，（Ｘ，Ｕ）が位相空間であるとき，Ｕの元のことを言うのだと思うのですが，これは位相Ｕの作り方によって変わってきますよね？ xをＸから任意に選んできても，{x}を含むように位相Ｕを作れば，そのＵを位相とする位相空間（Ｘ，Ｕ）内であれば{x}は開集合ですか？ もし離散空間であれば明らかに{x}は開集合ですし，密着空間であれば{x}は開集合でないと言えます．しかし上記のような位相の場合は，一概には言えないという解釈でいいのですか？というより，先にある位相空間が与えられていて，それに対して{x}が開集合かどうかという話でしょうか？ 長々とすいませんが，よろしくお願いいたします．
- ベストアンサー
- 数学・算数
お礼
ありがとうございます。とても勉強になりました。 位相空間→開集合→開基 というふうに思っていましたが逆なんですね！