• ベストアンサー

”コンパクト”の定義について。集合、位相

集合論における、”コンパクト”の定義について質問です。 言い回しの違いがあるにせよ、以下の2種類があるようですが どちらが正しいのでしょうか? (その1) コンパクトであるとは、位相空間Xの任意の開被覆が、必ずXの有限被覆を部分集合として含むことである。 (その2) ある集合Aを、有限個の開集合の和で覆えるときにコンパクトという。 個人的には、(その1)の定義が正しいとおもっています。 ”位相空間”であることが、前提条件でないと 話が進まない気がしています。

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

  • ベストアンサー
  • gef00675
  • ベストアンサー率56% (57/100)
回答No.3

> 結局のところ、コンパクトとは何なのでしょうか?。 このあたりをご覧になるとよいかと。 http://oshiete1.goo.ne.jp/qa666504.html

参考URL:
http://oshiete1.goo.ne.jp/qa666504.html

その他の回答 (2)

  • koko_u_
  • ベストアンサー率18% (459/2509)
回答No.2

>言い回しの違いがあるにせよ、以下の2種類があるようですが おそらく何かを大きく間違えているようです。 位相空間Xの任意の部分集合Aは開集合であるX自身で被覆されますから。

tkajte
質問者

お礼

回答ありがとうございます。 私自身、まだ何に疑問をもっているかまとまりきれていないところ があり、説明が不十分だったと思っています。 > おそらく何かを大きく間違えているようです。 > 位相空間Xの任意の部分集合Aは開集合であるX自身で被覆されますから。 確かにおっしゃるとおりで、X自身で被覆されます。なので 位相空間の部分集合ということを前提条件とすると、 位相空間ならばコンパクトということになってしまうので 何か変だなと感じています。 なので、私自身がまだコンパクトの定義を正しく把握していないと 思い質問に至ったわけです。 結局のところ、コンパクトとは何なのでしょうか?。 (どんな集合も適当な被覆を作ってしまえば何でも覆えてしまう 気がします。それでは意味がないので、何らかの被覆に関する ルールを定義したものであると考えられますか?……)

  • gef00675
  • ベストアンサー率56% (57/100)
回答No.1

(その1)が正しい。 (その2)の定義は聞いたことがありません。 有限個の開集合の和はまた、開集合になりますから、 その開集合に含まれるというだけでは、 どんな集合も(その2)の条件を満たしてしまうじゃありませんか! 全然意味がないですよ。

tkajte
質問者

お礼

言われてみればそのとおりですね。 気づきませんでした。 どうもありがとうございます

関連するQ&A

  • 集合と位相の問題です。コンパクトについてなんですが良かったら回答お願いしますm(__)m

    コンパクトの定義です。 『位相空間Xの任意の開被覆 {K_α}α∈A の中から 有限個の開集合 K_1、・・・・・、K_m をうまく選んで、 X=K_1∪・・・∪K_m となるとき、Xはコンパクトであるという』 (1)このコンパクトの定義で重要な部分を指摘して下さい。 (2)Rはコンパクトではないことを示して下さい。 よろしくおねがいしますm(__)m

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

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

  • 位相数学について再び質問です

    http://oshiete1.goo.ne.jp/qa2686308.htmlで質問したものです。 また自分なりに考えた解答を添削&教えてください。 問1-1)(X、Ox)(Y,Oy)を位相空間とする     X × Yの直積位相とは何か? これがさっぱりわかりません。 問1-2)XとYがハウスドルフ空間ならば、X × Yもハウスドルフ空間であることを示せ。 これもさっぱりです。たぶん問1-1を使うと思います。 問2)(X、d)を距離空間とする    距離dの定めるXの位相Odの定義とはなにか? これもわかりません、どういう意味でしょうか?位相Odが距離空間の定義を満たすということでしょうか? 問3)Xがコンパクトで、A⊂Xが閉集合ならAもコンパクトであることをしめせ。 Xがコンパクトだから、Xの任意の開被覆が必ずXの有限被覆を部分集合として含んでいる。ここまではいいと思います。たぶんAがコンパクトでないと仮定して矛盾を示すと思います。これ以上がどうしてもわからないです。    

  • コンパクトとは?

    コンパクト、について調べると、 ・Aの任意の開被覆(開集合の族で覆ったもの)から、有限個の開集合を選んで、新しい開被覆を作ることができる。 という難しい定義があるのですが、一方で ・任意の数列が収束する部分列を持つ集合 というのもあったり ・有界な閉集合 というのもあったり。 どういう関係になっているのでしょうか。全部同じでしょうか?(3番目は直感的にわかりやすいです)

  • 集合と位相

    (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点ありまして、 1.XにXのすべての部分集合を開集合とする位相を入れると、   Xの部分集合Cがコンパクト ⇔ Cが有限集合 という部分と、 2.Xをコンパクトハウスドルフ空間、Yをハウスドルフ空間とするとき、   写像f:X→Yが全単射連続なら逆像f-1:Y→Xも連続になる という部分に疑問が残りました。 1.については、コンパクト⇒閉集合であることや、Cが有限集合なら有限個の開被覆で覆えるからコンパクトである、ということが使える(?)のではじめの「XにXのすべての部分集合を開集合とする位相を入れる」部分が必要ないのではないかとも思うのですが・・・ 2.については、Xがコンパクトハウスドルフ空間ならその部分集合Cもコンパクトでその写像はやっぱりコンパクトで・・・その逆像もコンパクトで・・・・? どこから連続の議論に持っていけばよいのかが分かりませんでした。 「証明は読者に委ねよう」というお得意の言い回しで飛ばされてしまっていて、なんだか消化不良のままです>< ご返答よろしくお願い致します。

  • 位相

    X を位相空間,Y をコンパクト位相空間とする.このとき, (1) U を直積位相空間X × Y の開集合としたとき, A = { x | {x} ×Y ⊂ U } はX の開集合であることを示せ. これを解くためのヒントをください。 Aに含まれる任意の点 x1のある近傍がAに含まれることをしめすんですね。そのような近傍をどうとればいいんでしょうか。

  • 集合と位相

    (問)fを集合Xから位相空間(Y,U)への全射とするとき、つぎを証明せよ。 ※Uは位相 (1)T={f^(-1)(V)|V∈U}のときTはX上の位相である (2)Tはfを(X、T)から(Y,U)への連続写像とするX上の最小の位相である。 (1)の答案 (O1)Uは位相なので、Y、φ∈Uである。fは全射なのでX、φ∈Tである。 (O2)Uは位相なので任意のVの和集合はUの元である。fは全射なので、Tの任意の元Sの和集合はTの元である。 (O3)Uは位相なので有限個の任意のVの共通集合はUの元である。fは全射なので、Tの有限個の任意の元SはTの元である。 (2)はまったくてがつけられません。 どなたか詳しい方教えてください。

  • ザリスキー位相のコンパクト

    ザリスキー位相のコンパクトについてどなたか教えてください。 位相空間の講義で出された問題ですが、何をどうしたら良いかわかりません。 どなたか、証明を解説して頂けると助かります。 問題 ザリスキー位相の任意の部分空間はコンパクトであることを示せ。 ザリスキー位相:O={A⊂R|A^cは有限集合}∪{Φ} よろしくお願いします。

  • 開被覆はいつでも存在するのでしょうか?

    コンパクト性の証明で「*を開被覆とする」というのがよくでてきます.(開被覆をとって,それが有限部分被覆をもつことを証明する) どうしてそんなものをとれるのかがわかりません. そのときに,(任意の)開被覆をとることができるのは,全空間Xも開集合だから最低1つは存在するから開被覆をとることができると考えていいのですか? よろしくお願いいたします.