- 締切済み
位相
- みんなの回答 （4）
- 専門家の回答
みんなの回答
- ringohatimitu
- ベストアンサー率59% (111/187)
確かに議論に穴がありましたので若干訂正させてください。Aの各点xに対してxの開近傍U_xと有限個の集合V_1,...,V_n（ｎはｘによります）を次を満たすようにとります：∪V_j⊃B,{g:gU_x∩V_j≠φ}はすべてのjに対し有限集合. これによって有限個の開集合U_1,...,U_mと各U_kに対して有限個の開集合V(k)_1,...,V(k)_j(k)が次の条件を満たすようにとれます： ∪U_k⊃A,∪V(k)_r(r=1,..,j(k))⊃B ∀k, {g:gU_k∩V(k)_r≠φ}は有限集合 ∀k,r. この状況の下で {g:gA∩B≠φ}⊂∪∪{g:gU_k∩V(k)_r≠φ} （最初の和はｋ、次の和はｒに関してで各ｋに対してｒは１からj_kまで動きます） なので最後の集合は有限集合であることは開集合族のとりかたより分かります。これでどうでしょうか？ ちょっと煩雑な記述になってしまいましたが多分うまくいってると思います。
- ringohatimitu
- ベストアンサー率59% (111/187)
まずＸにおけるコンパクト集合Ａ，Ｂをとります。各(x,y)∈A×Bに対して最初の定義にある性質を満たす開近傍U_x,V_yをとります。A×Bはコンパクトなので有限個の{U_x}×{V_y}によって覆われます。そこでこれらをU_1×V_1,....,U_m×V_mとします。そのとき {g∈G:gA∩B≠φ}⊂{g∈G:g(∪U_m)∩(∪V_j)≠φ}(∪の記号はそれぞれｍ,ｊに関する有限和)={g:(∪gU_m)∩(∪V_j)≠φ}={g:∪∪(gU_m∩V_j)≠φ}で最後の集合の元の数は有限であることは仮定より従います。 この時点で局所コンパクト性は使ってません。 逆を示すときに用います。局所コンパクトだとして下の定義から出発すると任意の２点x,yに対しある開近傍U,Vが存在しそれぞれの閉方がコンパクトでかつ下の定義を満たすようにとれます。したがってこのU,Vは明らかに最初の定義をみたします。
- yumisamisiidesu
- ベストアンサー率25% (59/236)
すみませんでした おかしくなくないと思いました． (x≠yは必要ですよね) 証明は、何となくですが、コンパクトの性質を使って、任意の開被覆から有限個の部分開被覆がえられることがptだと思いますが・・・ X:locally compact とすると あるU,V:x,yの近傍;#{g∈G｜ｇUとVの共通部分≠φ}<∞ ⇔あるU,V:x,yのコンパクト近傍;#{g∈G｜ｇUとVの共通部分≠φ}<∞ は定義から殆ど明らかだと思います そして、 あるU,V:x,yのコンパクト近傍;#{g∈G｜ｇUとVの共通部 分≠φ}<∞ ⇔ ∀U,V:x,yのコンパクト近傍;#{g∈G｜ｇUとVの共通部 分≠φ}<∞ も成り立つと思います ∵ ← 明らか → 任意のコンパクト近傍はどんな開被覆をとってきても有限個の部分開被覆があるので、とってきた有限個の部分開被覆の内x,yを含む最小のコンパクト近傍があります その最小のコンパクト近傍はあるコンパクト近傍より小さく選ぶこともできるので のような混乱しながら考えていましたが X:compact⇒X:locally compactなので X:compactならA,B=Xとしてしまえば ｛Gの元ｇ｜ｇAとBの共通部分が空でない｝ =Gの元ｇ｜ｇXとXの共通部分が空でない｝ =Gとなってしまうのでは？
- yumisamisiidesu
- ベストアンサー率25% (59/236)
定義： 群Gが位相空間Xに不連続に作用する :⇔ GがXに作用しており、 ∀x,y∈X,あるU,V:x,yの近傍; #{g∈G｜ｇUV≠φ}<∞ ってこの定義U,V=Xとすると{g∈G｜ｇUとVの交わり≠φ}=Gとなってしまうのでは？ だから、#G=∞なら、X:locally compact以前におかしくない？(不連続にならなくないですか)
お礼
ありがとうございます。 ∀x,y∈Xに対してうまくｘの近傍U、ｙの近傍Vをとっってやると{g∈G｜ｇUとVの交わり≠φ}＜∞ってことなんで、U,V＝Xとすると {g∈G｜ｇUとVの交わり≠φ}=Gってなり＃G=∞なら不連続にならないってのは、おかしいと思います。どうですか？
関連するQ&A
- 位相の定義ついて
位相の定義ついて 質問させていただきます。 定義の仕方は参考書等で異なるということは理解していますが、私の持っている参考書には以下のように記載されています。 (定義)-- 集合XとXの部分集合族Oについて、Oが次の条件を満たしている場合、OをX上の位相と呼ぶ (O1) Xおよび空集合0はOの元である (O2) Oの任意の部分集合Т'に対して、Т'の元の和集合がOの元である すなわち、 ∪{T：T∈Т'}∈O が成り立つ (O3) Oの任意有限個の元T_1,T_2,・・・,T_nに対してそれらの共通集合がOの元である すなわち、 ∩{T：i ＝ 1,2,・・・,n}∈O が成り立つ -- ここで、疑問があります。 (O2)は以下のように言い換えることはできますか？ (O2) Oの任意有限個の元T_1,T_2,・・・,T_nに対してそれらの和集合がOの元である すなわち、 ∪{T：i ＝ 1,2,・・・,n}∈O が成り立つ (O3)は以下のように言い換えることはできますか？ (O3) Oの任意の部分集合Т'に対して、Т'の元の共通集合がOの元である すなわち、 ∩{T：T∈Т'}∈O が成り立つ 「Oの任意の部分集合Т'の元」 と 「Oの任意有限個の元T_1,T_2,・・・,T_n」 の違いが良く分かっていないのです。。。 どなたか、良い具体例などを交えて、分かりやすく解説していただけませんか？ 教科書だけ読んでいるとうまくイメージできません。。。
- ベストアンサー
- 数学・算数
- 集合と位相の問題です。コンパクトについてなんですが良かったら回答お願いしますｍ（＿＿）ｍ
コンパクトの定義です。 『位相空間Xの任意の開被覆 ｛K_α｝α∈A の中から 有限個の開集合 K_1、・・・・・、K_m をうまく選んで、 X＝K_1∪・・・∪K_m となるとき、Xはコンパクトであるという』 （１）このコンパクトの定義で重要な部分を指摘して下さい。 （２）Ｒはコンパクトではないことを示して下さい。 よろしくおねがいしますｍ（＿＿）ｍ
- ベストアンサー
- 数学・算数
- ”コンパクト”の定義について。集合、位相
集合論における、”コンパクト”の定義について質問です。 言い回しの違いがあるにせよ、以下の2種類があるようですが どちらが正しいのでしょうか？ （その１） コンパクトであるとは、位相空間Ｘの任意の開被覆が、必ずＸの有限被覆を部分集合として含むことである。 （その２） ある集合Ａを、有限個の開集合の和で覆えるときにコンパクトという。 個人的には、（その１）の定義が正しいとおもっています。 ”位相空間”であることが、前提条件でないと 話が進まない気がしています。
- ベストアンサー
- 数学・算数
- 距離空間におけるコンパクト性
距離空間において、コンパクト集合と点列コンパクト集合が同値であることの証明をできるだけ理解したいのですが、参考書のの証明がイマイチ理解できません。 （参考書の証明） (1) コンパクト距離空間Xの任意の点列{x_n}n=1,2,…が収束部分列をもつことを示す。 この点列に対して、A_k={x_k,x_k+1,…}とおき、その閉包(A_k)'全体のなす集合族{(A_k)'}を考える。 {(A_k)'}の各元(A_k)'は空でない閉集合で、単調減少(A_1)'⊃(A_2)'⊃…(A_k)'⊃…であるから有限交叉性をもつ。したがって、Xのコンパクト性より共通部分(A_k)'は空でない。共通部分(A_k)'から１点xを選べば、xは(A_1)'に属するからd（x_(n_k),x）≦１/kなるx_(n_k)∈A_kが存在する。このとき、n_k≧kより数列｛n_k｝は異なる自数数を無限個含むから、｛x_(n_k)｝は｛x_n｝の部分列であり、また明らかにxに収束する。よって、点列｛x_n｝は収束部分列をもつ。 (2) 距離空間Xが点列コンパクトであると仮定し、Xの任意の開被覆｛V_λ｝が有限部分被覆をもつことを言う。最初に、｛V_λ｝に対して、ε＞０が存在して、任意のx∈Xのε近傍U（x；ε）が｛V_λ｝のどれかの元V_λに含まれることを示す。このようなεを開被覆｛V_λ｝のルベーグ数とよぶ。ルベーグ数が存在しないならば、各kに対し、その１/k近傍がどの｛V_λ｝の元にも含まれないような点x_k∈Xをとることができる。こうして得られた点列｛x_k｝は、Xの点列コンパクト性より収束部分列をもつ。その極限をx_∞とおくと、｛V_λ｝はXの被覆であるから適当なV_λ∈｛V_λ｝がx_∞を含む。V_λは開集合であるから、μ＞０が存在してU（x_∞；μ）⊂V_λ。十分大きいk'をとれば、１/k'＜μ/２とd（x_k'、x_∞；μ）＜μ/２とが同時に成り立つが、このときU（x_k';1/k'）⊂U（x_∞；μ）⊂V_λとなって点列｛x_k｝のとりかたに矛盾する。すなわちルベーグ数の存在が示さfれた。さて開被覆｛V_λ｝が有限部分被覆を持たないとして矛盾を導く。｛V_λ｝に対するルベーグ数をεとし、これを用いてXの点列｛x_n｝を以下のように構成する。まず任意のx_１∈Xを選ぶ。このとき、U（x_１；ε）を含むV_（λ１）∈｛V_λ｝が存在する。もし、X－V_（λ１）が空ならばXがV_（λ１）だけで覆われるからX－V_（λ１）≠φであり、点x_２∈、X－V_（λ１）を選ぶ事ができる。同様にU（x_２；ε）を含むV_（λ２）∈｛V_λ｝が存在するが、X－（V_（λ１）またはV_（λ２））はやはり空でない。よって、x_3∈X－（V_（λ１）またはV_（λ２））を選ぶ事ができる。この操作を繰りかえして得られた点列｛x_n｝はn＞mに対してx_nはU（x_m；ε）に含まれない、すなわちd（x_n、x_m）≧εを満たすから収束部分列を含みえない。これはXが点列コンパクトであることに反し、矛盾が生じた。 （証明終わり） まず有限交叉性の全く意味がわかりません。 私は、点列コンパクトとコンパクトの定義を以下のように学習しています。 X：集合、P：開集合族 （X、P）：位相空間 K⊂Xがコンパクト ⇔｛U_λ｝⊂Pかつ和集合U_λ⊃K（λ∈Λ）、この時、和集合U_（λ_k）⊃K（k＝１→n）となるようなλ_１、…、λ_n∈Λが存在する。 K⊂Xが点列コンパクト ⇔K内の任意の無限点列｛x_n｝（n＝１、２、…）がKの点に収束する部分列を持つ。 なるべく定義に従って、証明していきたいです。 どなたか、詳しく証明を解説してほしいです。 回答よろしくお願いします。
- ベストアンサー
- 数学・算数
- 集合・位相
集合・位相初心者です。 授業で開集合と閉集合、近傍の定義を教えてもらったのですが、理解できず、困っています。 以下は、授業で使っているプリントに載っている定義です。 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の近傍（点は適当に選びました）はどうなるのか。 集合・集合は初心者なので、詳しく教えて頂けると嬉しいです。 ご教授、よろしくお願い致します。
- 締切済み
- 数学・算数
- 集合と位相
（問）ｆを集合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の元である。 （２）はまったくてがつけられません。 どなたか詳しい方教えてください。
- ベストアンサー
- 数学・算数
- compact作用素
コンパクト作用素の練習問題がいくつかあって、しばらく考えているのですがうまく証明できません。回答の指針でも構わないので教えていただきたいのでお願いいたします。 V=C([a,b])としてT:V→Vをf∈Vに対して Tf(x)=∫_{a→x}f(x)dxで定義すればTはコンパクト作用素。 もう1問ですが、 m>nを非負整数として、V=C^m([0,1])、W=C^n([0,1])とおくおとき、 F:V→Wをf→fで定義するとFはコンパクト作用素。 ただしC^n([0,1])のノルムは ||f||=sup(Σ_{0≦j≦ｎ}|f^(j)(x)|)とします。 コンパクト作用素の定義では、任意の有界列の像が収束する部分列を持てばよいのですが、うまく示せませんでした。もうひとつ退化作用素(値域が有限次元空間になる作用素で従ってコンパクト作用素)で近似できればよいという定理も教えていただいたのですが、その方法でもうまくできませんでした。
- ベストアンサー
- 数学・算数
- 直積位相
Ｘ、Ｙを位相空間とする。 『Ｗ⊂Ｘ×ＹがＸ×Ｙの開集合⇔任意の(ｘ，ｙ)∈Ｗに対して、ｘ∈ＸのＸにおける開近傍Ｕ⊂Ｘ、ｙ∈ＹのＹにおける開近傍Ｖ⊂ＹでＵ×Ｖ⊂Ｗとなるものが取れる』 と定義することにより、Ｘ×Ｙは位相空間になる事を示せ。 という問題です。 Ｘ、Ｙが位相空間なので、それぞれの位相をＯ(Ｘ)、Ｏ(Ｙ)としてＸ×Ｙの位相をＯ(Ｘ×Ｙ)=｛Ｕλ×Ｖλ；Ｕλ∈Ｏ（Ｘ）、Ｖλ∈Ｏ（Ｙ）｝とおいて証明しようとしたのですが、これでは上記の定義が満たされていないと注意され詰まってしましました。 どなたかアドバイス（もしくは証明）していただけませんでしょうか？
- ベストアンサー
- 数学・算数
- 位相数学について再び質問です
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がコンパクトでないと仮定して矛盾を示すと思います。これ以上がどうしてもわからないです。
- 締切済み
- 数学・算数
お礼
ringohatimituさんありがとうございます。 ちょっと疑問なんですが、 {g:(∪gU_m)∩(∪V_j)≠φ}={g:∪∪(gU_m∩V_j)≠φ}で最後の集合の元の数は有限。のところがわかりません。。m,jがいろんなところを動くので、任意のｍ、ｊに対して {g:gU_m∩V_j≠φ}が有限であるようにしなきゃいけないような気がするのですが。。