(,,・д・)位相の問題を書き込むスレでちミ・д・,,ミ
199 :
132人目の素数さん:03/08/11 22:26
200 :
132人目の素数さん:03/08/11 22:29
暴れるならもう1個の駄スレの方でやってくれよ・・・
あぼーん
202 :
132人目の素数さん:03/08/15 15:38
・・・
(⌒V⌒)
│ ^ ^ │<これからも僕を応援して下さいね(^^)。
⊂| |つ
(_)(_) 山崎パン
同時多発テロから3年…
205 :
132人目の素数さん:03/10/12 11:17
13
206 :
132人目の素数さん:03/11/02 18:03
h age
207 :
132人目の素数さん:03/11/02 18:05
ドカッ
∧∧从 (ヽ ∧_∧
??? (。д(:::<(⌒\(・∀・ )
???? ::;_ノ V?\? ヽ ? ??,つ
ミ ミ ヽ ノ
? ? ? (__ノ
208 :
132人目の素数さん:03/11/09 19:20
ルールでち
1.問題番号を書くでち。
2.答えがわかったら書き込んでもいいでち。
3.未解決問題はやめるでち。
4.関係ない分野の問題はやめるでち。
5.煽り・コピペはやめるでち。マターリするでち。
6.でちでちウザイのは仕様でち。諦めるでち。
∧ ∧
(,,・д・) マターリいくでち!
@_)
209 :
132人目の素数さん:03/11/09 20:02
ドカッ
∧∧从 (ヽ ∧_∧
??? (。д(:::<(⌒\(・∀・ ) OK OK また〜り とな
???? ::;_ノ V?\? ヽ ? ??,つ
ミ ミ ヽ ノ
? ? ? (__ノ
210 :
132人目の素数さん:03/11/10 17:32
(,,・д・)位相の問題を書き込むスレでちミ・д・,,ミ
211 :
132人目の素数さん:03/11/12 09:38
212 :
132人目の素数さん:03/11/12 09:39
213 :
132人目の素数さん:03/11/12 09:41
214 :
132人目の素数さん:03/11/12 12:39
とりあえず質問です。
Bernsteinをつかって、[a,b]と(a,b)の濃度が等しいことが
証明されるが、じゃ実際その全単射の写像はどう実現されるの?
215 :
132人目の素数さん:03/11/12 16:07
>>214 それでは、直観的に構成してみよう。まず線分ABと線分CDを平行に置いて、長方形
ACDBを作る(線分ABが上)。図はなるべく大きく描いたほうがいいだろう。
線分ABを区間(a,b)、線分CDを区間[a,b]と考えよう。そこで、点A,Bは白丸、点C,D
は黒丸にしておこう。
長方形の上方に点Oをとり、OC,ODがABと交わる点をそれぞれA2,B2とする。△OCDが
中店連結定理のような図になるが、線分OCをOを固定してOCからODまで動かすことに
より、線分CDと線分A2B2の一対一対応が得られる。これを[a,b]から(a,b)の中への
単射fと考える。C,Dが黒丸なので、A2,B2も黒丸であることに注意。
逆にABからCDの中への単射は、そのまま平行移動で重ねればできているが、対称的
に考えるため、同様に長方形の下方に点O2をとり、O2A,O2BとCDの交点をC2,D2とし、
ABとC2D2が一対一に対応すると考えよう。(この時点でダイヤモンドのような図が
できているはず。OK?)A,Bが白丸だから、C2,D2も白丸であることに注意。
こうしてできた長方形A2C2D2B2に対して、また同様の作業を繰り返す。すると、A2B2
の中にA3,B3ができ、C2D2の中にC3D3ができる。(ただし黒白は逆転)
この操作は無限に繰り返すことができ、交互に黒白になった無限個の点A,A2,A3,…,
B,B2,B3,…,C,C2,C3,…,D,D2,D3,…が得られる。
ここで、半開区間(A,A2]と[C,C2)、[B2,B)と(D2,D]を、それぞれ左右逆に一対一対
応させよう。同様に、(A2,A3]と[C2,C3)、[B3,B2)と(D3,D2]を対応させ…と順に内
側の半開区間を対応させれば、可算無限個に分割された各半開区間が、ひとつのこらず
一対一対応する。
(一般のBernsteinの証明も、注意して分析すれば、実は構造的にこれとまったく同じ
ことをしているのがわかるだろう)
スマソ、ちょっと間違えた。
直観的には215でも納得が行くかもしれないが、一般には最初に用意した写像
(この場合はOを利用した写像fとO'を利用した写像g)だけですべての対応を
実現しなければならない。
対応させる半開区間を、(A,A2]と(C2,C3]、[B2,B)と[D3,D2)、および、
[C,C2)と[A2,A3)、(D2,D]と(B3,B2]にする。
左右逆転ではなく、そのままの向きで、互い違いに内側に存在している半開区
間に対応させるのである。
こうすれば、これらの対応は、すべて同じ写像(OとO'を利用した最初の中
への単射fとg)で得られていることがわかるだろう。
いかん、まだ端点の開閉を多少間違えているかな?
まあ適当に修正してくれ…
218 :
ぼるじょあ ◆yBEncckFOU :03/11/12 18:29
I=[a,b] a_n=a+(1/n) A={a_n|n∈N} とすると
x∈I が x∈A ならば x=a+(1/N) となるNが存在する
そこで写像fを
f(x)=a+1 (x=aの時)
a+(1/2) (x=bの時)
a+{1/(n+1)} (x∈A で x=a+(1/n)と表されている時)
x (x∈Aでない時)
とすれば全単射になりそうじゃない?
つっても b-a>1 って言う前提があるけど
もし b-a<ε なら (1/N)<ε となる N について A={a_n|n=N,N+1,N+2・・} として(略
Card(X)>アレフ Card(A)≦アレフ_0 A⊂X ならば (X-A)〜X ってのを使って作りました
219 :
132人目の素数さん:03/11/12 20:35
>>218 >Card(X)>アレフ Card(A)≦アレフ_0 A⊂X ならば (X-A)〜X ってのを使って作りました
それだったら、次のように言ったほうが早い:
[a,b]を有理点と無理点に分け、有理点にa,bを付け加えた集合については、適当に番
号をつけて一列に並べておき、(a,b)の有理点を並べたものと一対一に対応させる。
無理点どうしはそのまま対応させる。
ただこの方法だと、[a,b]と(a,b)の差が高々可算個(この場合は2個)ということ
を本質的に利用している。しかし、Bernsteinの定理にはそんな条件は必要ない。
(互いに中への単射があればよい)
>>218>>219と同じことだけど
ヴィジュアル的にこんな言い方が分かりやすいかしら。
特に a=-1, b=1 のときを考えればよく、f: [-1, 1] → (-1, 1) を
{ f(-1/n) = -1/(n+1)
{ f(1/n) = 1/(n+1)
{ f(それ以外) = そのまま
とすればこれは全単射。
>215-220
皆さん、どうもありがとうございます。
つたない私ごときのために時間をさいて、
大変わかりやすいご指導をいただき
感謝いたしております。
位相は学び始めたばかりですが、
とてもおもしろいですね。
ますます好きになりました。
222 :
ぼるじょあ ◆yBEncckFOU :03/11/12 23:41
親切なぼるじょあ・・・
ℵฺ
無限集合は有限個の元を追加しても濃度が変わることはない。
226 :
132人目の素数さん:03/12/02 16:49
13
ビンビンマッチョデ(゚д゚)オーエーオーエー
228 :
132人目の素数さん:03/12/19 05:54
29
229 :
132人目の素数さん:03/12/19 13:14
大変お見苦しいレスがついたことを深くお詫び申し上げます
∧∧ ∧∧ ∧∧ ∧∧ ∧∧ ∧∧
(,,・∀・) (,,・∀・) (,,・∀・) (,,・∀・) (,,・∀・) (,,・∀・)
@_) @_) @_) @_) @_) @_)
そのままマターリとおまちくだちゃい
230 :
132人目の素数さん:03/12/19 13:15
マターリと待ったりして
1+1/2*CosZ+1/4*Cos2Zの位相特性を求めよ
位相(Topology)と位相(Phase)を混同してるヤシハケーン
233 :
132人目の素数さん:03/12/19 23:27
位相は体にいいそうです。ウヒ
234 :
132人目の素数さん:03/12/19 23:39
みのもんたとあるあるが紹介しないと信用できないな
235 :
132人目の素数さん:03/12/29 11:43
1、(X,d)を距離空間とする。このとき
d'(x,y)=d(x,y)/{1+d(x,y)}
はdと同値であることを示せ。
2、(X,d)を距離空間とし、f,g:X→Rを連続関数、c∈Rとする。このとき
(f+g)(x)=f(x)+g(x)
(fg)(x)=f(x)g(x)
(cf)(x)=cf(x)
と定義するとf+g,fg,cfは連続関数であることを示せ。
3、距離空間(X,d)の部分集合Aに対して次が成り立つことを示せ。
(@)Aの内部=Aの補集合の閉包の補集合
(A)Aの閉包=Aの補集合の内部の捕集合
4、(R,d(1))においてQの内部と閉包は何か。
「超」基本的問題ですけどわかりません。
236 :
132人目の素数さん:03/12/29 23:15
>>235 チミの氏ってる範囲で同値、閉包、連続の定義をまず列挙汁
あと何なら稠密の定義も書いてみて貰うか
237 :
132人目の素数さん:04/01/09 13:21
(,,・д・)位相の問題を書き込むスレでちミ・д・,,ミ
238 :
132人目の素数さん:04/01/10 05:02
(,,・д・) マターリいくでち!
558
952
241 :
132人目の素数さん:04/02/08 05:53
17
172
243 :
132人目の素数さん:04/03/19 22:08
177
59
615
383
247 :
132人目の素数さん:04/04/27 11:42
ager
235