- ベストアンサー
位相空間で困ってます!
独学で位相空間を勉強していますが、さっぱり分かりません。 参考書を読んでも、何がなんだか分からなくなってしまってる状態です。 まったく分からない相手に教えると思って、教えてくださるとありがたいです。 否定の線―が上に書けなかったので見にくいですが、よろしくお願いします。 位相空間(X,T)とする。 自然数の集合N={1,2,3…}を添字集合とするXの部分集合族{An:n∊N}を考える。 An={1/n}⊂Rとおくとき、 U{An:n∊N}〈←Anの上だけに―があります〉 と U{An:n∊N}〈←上すべてに―があります〉 とは等しいかどうかを述べ、証明せよ。
- 数学・算数
- 回答数3
- ありがとう数3
- みんなの回答 (3)
- 専門家の回答
質問者が選んだベストアンサー
- ベストアンサー
#2です。 >問題の証明の書き方で気をつけた方がいいことなどあれば教えていただきたいとありがたいです!! 独学でやる場合、自分で納得できれば良いんですよ。自分の証明に、間違いない!というイメージを持てるならば・・・。こう考えれば明らかだ!、と思えるならば。自分は、感覚的に位相論を理解している!と、思えるならば・・・。 ご質問の状況では、位相(実数の開集合族)が限定されているので、証明は通常の距離空間(距離関数)をそのまま使用すれば良いだろう、という事になります。つまり通常のε-δ論法で、ガリガリやるだけです。それが一番素直です。位相空間論は、あくまで一般論ですから。 それより問題なのは、 >位相空間そのもののイメージがまったくわかずに・・・ という点だと思います。どんな抽象的議論にも、理論の目的や動機付けはあります。駄文ですが、次を読んでみて下さい。 http://okwave.jp/qa/q4723204.html のAno.3です。 という訳で、いちおう紹介はしたものの、次のように言います。 ・それでも、意味なんか考えなくたって、位相はできます. これも現実です・・・(^^;)。
その他の回答 (2)
#1です。自分も一般位相論を、独学でやりました。辛いですよね・・・(^^;)。そしてけっこう、結果しかおぼえてません。それでもけっこう役に立ちます。 >・・・X=Rというのは、問題で、Xの部分集合族{An:n∊N}、An={1/n}⊂Rとおくとき~と書かれてることから・・・ そのように受け取ったのですが・・・(^^;)。 >問題には(X、T)のTのみギリシャ文字のような筆記体のような字体で書いてあるんですが、・・・ 対(X、T)の事を、どこまでも即物的記述が好きな数学は、位相空間とか位相構造とか言うはずです。Xは位相が定義される、土台となる集合(無構造)とか言われます。 ギリシャ文字のようなTですが、たぶんフランス語の筆記体のTで、もちろんTopologyのTです。具体的には、Xに位相を定義する、Xの開集合族(集合の集合)を表します。この後、フィルターの概念が出てくるかどうかわかりませんが(本によります)、フィルターも、収束を扱うためのXの部分集合の族の事で、ギリシャ文字のようなFで書かれる時もあります。自分はもちろん、「F」で代用してます(^^)。 「位相空間(X,T)」は、常套句のようです。
補足
位相空間そのもののイメージがまったくわかずに、ただ定義を覚えようとしていたので、X=Rということが気付きませんでした(>_<) 「位相空間(X,T)」は、常套句なんですね。 問題の証明の書き方で気をつけた方がいいことなどあれば教えていただきたいとありがたいです!!
Anの上―とは、Anの閉包の事ですか?。だとすればAnの閉包を、ここでは[An]と書きます。 U{[An]:n∊N}は、B=[A1]∪[A2]∪・・・ を表してますか?。だとすればここでは、B=∪[An] と書きます。 問題の条件は、X=Rで、Tは実数の(ふつうの)位相で良いですか?。 以下、上記の前提で書きます。 本当はちゃんとやるべきですが、Tが実数の位相なので、実数の中の一点集合An={1/n}の閉包[An]は、[An]=Anになります。Anが「点」だからです。{An}は、1/nで0に収束する点列です。 よって、B=∪[An]=∪An となり、0はBの要素ではありません。しかし0は明らかに、B=∪Anの集積点で、0∈[B]=[∪An]です。{An}が、1/nで0に収束する点列だからです。 従って、真にB⊂[B]となり、B≠[B]です。
補足
Anの上の―は閉包です! U{[An]:n∊N}はB=[A1]U[A2]U…です! 問題には(X、T)のTのみギリシャ文字のような筆記体のような字体で書いてあるんですが、特に指示はないので実数でいいのだと思います。 分かりにくく書いてしまってスミマセン。 初歩的な質問で申し訳ないのですが、X=Rというのは、問題で、Xの部分集合族{An:n∊N}、An={1/n}⊂Rとおくとき~と書かれてることからでしょうか??
関連するQ&A
- 位相の証明の書き方について
位相空間の証明を書いてみたのですが、どう書けば一番いいのか分かりません。 書き方が間違っているかどうか確認していただけると助かります! (問題) 位相空間(X,T)とする。自然数の集合N={1,2,3,…}を添字集合とするXの部分集合族{An:n∊N}を考える。 An={1/n}⊂Rとおくとき、∪{(An ) :n∊N}と(∪{An:n∊N} ) ̅とは等しいかどうかを述べ、証明せよ。 ( )は閉集合を表しています。 (証明) X=Rで、{An}は1/nで0に収束する点列なので、 An={1/n}の閉包(An)=An よって、∪{(An ) :n∊N}=U{An:n∊N}となり0は要素ではない。 しかし、0は∪{(An ) :n∊N}の集積点で、0∊(∪{An:n∊N} ) よって、∪{(An ) :n∊N}⊂(∪{An:n∊N} )となり、∪{(An ) :n∊N}≠(∪{An:n∊N} ) と書きました。 間違っていれば、どこをどう直した方がいいのか教えていただけるととても助かります!! よろしくお願いします。
- 締切済み
- 数学・算数
- 数学 位相空間の集合問題を教えてください。
大学の授業の問題ですが、解き方が分かりません。教えてください。 位相空間(X,Τ)とする。 (1).部分集合A,BがA⊂Bならば、cl(A)⊂cl(B)である を証明せよ。 (2).自然数の集合Nを添字集合とするXの部分集合族{An:n∈N}を考える。この時、 ∪{cl(An):n∈N} ⊂ cl(∪{An:n∈N}) を証明せよ (※AnはA1,A2...という意味で用いています) (※Cl(x)はxの閉包という意味で用いています) (2)は(1)を使えば自明という解しか導けていません。何か落とし穴がありそうな気がしています... よろしくお願いします。
- ベストアンサー
- 数学・算数
- 位相空間への全射について
位相空間への全射について 位相空間と写像について学習している者です。 質問させていただきます。 -- 集合Xから位相空間(Y,μ)への全射fがあるとき、 Т = {(1/f)(U)|U∈μ}とおくとき、ТがX上の位相であることを証明せよ。 ※(1/f)はfの逆関数を示します。 -- これを証明したいのですが、道筋が見えません。。。 ご教授よろしくお願いいたします。
- ベストアンサー
- 数学・算数
- 位相空間における集積点
U(n)={n∈N|n,n+1,n+2,…} O={Φ}∪{U(n)} と与えられています。(N:自然数、Φ:空集合) (N,O):位相空間におけるA={1,3,5,7,9}の集積点を求める問題で、質問があります。 私が解いた結果、集積点は 1,2,3,4,5,6,7,8 だなって思ったんです。(これあってますよね??) で、問題はその後なんですけど、9以上の自然数が集積点でないことを示した方がいいですよね。その場合、 9≦x∈N については、 x∈U(n)となるU(n)は 1≦n≦x だが、 U(i)∩A=Φ (for i≧9, i∈N) したがって9以上の自然数は集積点ではない。 っていう証明で、示せてますか??なんか論理的じゃない気がして…。アドバイスしてもらえませんか。よろしくお願いします。
- ベストアンサー
- 数学・算数
- 商位相空間
X=R^n+1-(0,0,…,0)のおいて(x0,…,xn)~(λx0,…,λxn)(λ≠0)により 関係~をX上に定義する。 (a)~が同値関係になることを示せ。 (b)商位相空間X/~をRP^nと表し、n次元実射影空間という。 RP^nがハウスドルフ空間であることを示せ。 (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/~はどのような位相空間になるのでしょうか?
- ベストアンサー
- 数学・算数
- X:n次ユークリッド空間 R^n
X:n次ユークリッド空間 R^n U:密着位相,離散位相でない位相 とします. このとき,∀x∈Xに対し,{x}を考えたとき,{x}は(X,U)内で開集合になりますか? 開集合の定義は,(X,U)が位相空間であるとき,Uの元のことを言うのだと思うのですが,これは位相Uの作り方によって変わってきますよね? xをXから任意に選んできても,{x}を含むように位相Uを作れば,そのUを位相とする位相空間(X,U)内であれば{x}は開集合ですか? もし離散空間であれば明らかに{x}は開集合ですし,密着空間であれば{x}は開集合でないと言えます.しかし上記のような位相の場合は,一概には言えないという解釈でいいのですか?というより,先にある位相空間が与えられていて,それに対して{x}が開集合かどうかという話でしょうか? 長々とすいませんが,よろしくお願いいたします.
- ベストアンサー
- 数学・算数
- 直積位相空間について
以下の命題の証明の仕方が分かりません。 「(A_1, O_1), (A_2, O_2): 二つの位相空間, (A_1×A_2, O): (A_1, O_1) と (A_2, O_2) の直積位相空間, X_1⊆A_1, X_2⊆A_2, X_1 と X_2 は共にコンパクト, W∈O s.t. (X_1×X_2)⊆W であるとき、 ある U_1∈O_1, U_2∈O_2 で、 X_1⊆U_1, X_2⊆U_2, (U_1×U_2)⊆W を満たすものが存在する」 証明の方針だけでも教えて頂けないでしょうか。 よろしくお願いします。
- ベストアンサー
- 数学・算数
お礼
>どんな抽象的議論にも、理論の目的や動機付けはあります。 本当にその通りだと思います。 その目的や動機付けが、まだ見えてきてない不安があります(^_^;) なんとなくこんな感じなのかな?というのが見えるときと、まったくもって見えないときを繰り返しています。 親切に教えてくださって本当に助かりました。 どうもありがとうございました(*^_^*)