06/06/03 00:10:29
お前馬鹿
3:１３２人目の素数さん
06/06/03 00:18:22
位相セレナーデ
4:１３２人目の素数さん
06/06/03 03:02:24
>>3＝おっさん
5:１３２人目の素数さん
06/06/03 03:20:07
つはじめよう位相空間
6: ◆27Tn7FHaVY
06/06/03 13:53:10
「できる！位相空間」
7:１３２人目の素数さん
06/06/05 00:18:33
位相king死ね
8:１３２人目の素数さん
06/06/05 04:39:52
なっとくできる位相？とかどうよ。
でも松坂和夫を読んでわからないヤシは、どうしようもないらしいが。
個人的には、内田伏一が薄くてバックの幅を取らないから好き。
9:１３２人目の素数さん
06/06/05 05:52:15
一番分かりやすいのは・・・
実平面R^2を考える。普通のxy平面のことね。
そこで「距離」の性質を考えるわけだ。
んで、その距離が持つ性質を一般化したものが位相。
10:１３２人目の素数さん
06/06/05 05:54:05
居候
11:１３２人目の素数さん
06/06/05 05:56:06
>>10
ねぇ、楽しいの？
何でここで駄洒落言ってくるかな？
楽しいの？ねぇ？？？
何で駄洒落書くのさ・・・。何でだ！！！
12:１３２人目の素数さん
06/06/05 06:12:56
糞スレなので
king
13:GiantLeaves ◆6fN.Sojv5w
06/06/05 07:25:21
talk:>>7 お前に何が分かるというのか？
talk:>>12 何考えてんだよ？
14:１３２人目の素数さん
06/06/05 07:29:14
>>10
うまいっ！
15:greensleeves☆KINGの弟子 ◆bhb.NJHtRg
06/06/05 17:30:59
talk:>>7 お前に何が分かるというのか？
talk:>>1 距離空間からやってみよう。
16:１３２人目の素数さん
06/06/05 18:05:46
俺、数学専門じゃないけど、実用上はほとんど距離空間でOKじゃね？
俺の知る限り、一般の位相空間が必要になる状況って・・・
バナッハ空間に弱位相入れれば距離空間扱いできず、
（ハウスドルフ）位相空間として処理せざるをえない。
他にも一般の位相空間 使うの？
17:１３２人目の素数さん
06/06/05 18:08:00
海草食うかい？
18:１３２人目の素数さん
06/06/05 18:22:14
借りた海草はちゃんと返そう
19:１３２人目の素数さん
06/06/05 18:25:06
安ければ
20:１３２人目の素数さん
06/06/05 18:53:22
今日、演習の時間に位相がわかりません。
って言ってた子がいた。
21:１３２人目の素数さん
06/06/05 18:58:25
king
22:GiantLeaves ◆6fN.Sojv5w
06/06/05 19:33:03
talk:>>21 私を呼んでないか？
23:１３２人目の素数さん
06/06/05 19:39:48
king
24:GiantLeaves ◆6fN.Sojv5w
06/06/05 19:44:05
talk:>>23 私を呼んだだろう？
25:１３２人目の素数さん
06/06/05 19:47:07
king
26:１３２人目の素数さん
06/06/05 19:53:42
キングー
27:１３２人目の素数さん
06/06/05 20:05:44
kinj
28:１３２人目の素数さん
06/06/05 20:06:56
k
29:１３２人目の素数さん
06/06/05 20:36:43
i
30:GiantLeaves ◆6fN.Sojv5w
06/06/05 22:06:43
talk:>>25-26 私を呼んだだろう？
31:１３２人目の素数さん
06/06/05 22:59:56
内田が薄くて良い
あれが分からなかったらまず志賀の30講から始めれば
まず挫折することは無い
で、或る程度勉強したらちくまから出てる位相のこころが非常に分かりやすくて良い
ちょっと難しいけどね
>>16
代数幾何のZariski位相とかはHausdorffですらない
32:１３２人目の素数さん
06/06/06 04:25:08
Zariski位相って何で重要なの？
33:１３２人目の素数さん
06/06/06 04:26:37
king
34:１３２人目の素数さん
06/06/06 04:30:22
氏ね
35:１３２人目の素数さん
06/06/06 05:02:25
king
36:１３２人目の素数さん
06/06/06 05:31:20
スキーム
37:１３２人目の素数さん
06/06/06 08:06:16
>>32
代数的多様体に入る唯一の位相。
位相概念を拡張すればグロタン位相とかあるけどね。
38:１３２人目の素数さん
06/06/06 10:28:08
>>37
厳密に言えば、複素数体上の代数多様体には
通常の位相も入るぞ・・・細かい事なので下げる
39:１３２人目の素数さん
06/06/06 10:46:47
位相がわからんと言う椰子は、決まって距離空間が分かってない。
分かってると、距離空間を土台にして、
抽象化へのモチベーションになる。
なんでこんなものを考えるのかっていう
モチベーションみたいなものがないと、位相で崩れる。
俺も去年はそうだった
40:１３２人目の素数さん
06/06/06 10:57:20
>>37
そうだね。言い方が悪かった。
任意の体上の代数多様体に入れることの出来る唯一有効な位相。
41:k,fh
06/06/06 14:23:38
内田伏一「集合と位相」
42:１３２人目の素数さん
06/06/06 14:32:56
早めに崩れた方がよいそうだ。
43:１３２人目の素数さん
06/06/06 14:44:54
知識としては３０講に書いてあるくらいでほとんど間に合うと思う。
あとは公理に従った形式的議論を使いこなせるよう演習しておけば十分。
・・・なんて書いたらたたかれそうだな。
おれのリアルな現状なんだがorz
44:１３２人目の素数さん
06/06/06 14:46:39
>>43
>>42
45:GiantLeaves ◆6fN.Sojv5w
06/06/06 15:09:00
talk:>>33,>>35 私を呼んだだろう？
talk:>>34 何考えてんだよ？
46:１３２人目の素数さん
06/06/06 15:13:23
king
47:１３２人目の素数さん
06/06/06 15:16:15
k
48:１３２人目の素数さん
06/06/06 15:17:59
>>43
いや全然間に合わないから
49:GiantLeaves ◆6fN.Sojv5w
06/06/06 15:19:19
talk:>>46 私を呼んだだろう？
50: ◆PWskHOpZC2
06/06/06 15:32:08
ね
51:きん ◆D555SWUd6Y
06/06/06 15:52:18
ね
52:king ◆Q4FzmqJhB6
06/06/06 16:27:18
ね
53:１３２人目の素数さん
06/06/06 16:46:05
king
54:１３２人目の素数さん
06/06/06 16:48:46
1 名前：１３２人目の素数さん 投稿日：2006/06/02(金) 23:49:15
公理から意味不明
2 名前：１３２人目の素数さん 投稿日：2006/06/03(土) 00:10:29
お前馬鹿
ﾜﾛﾀ
55:１３２人目の素数さん
06/06/06 17:06:14
>>54
king氏ね
56:GiantLeaves ◆6fN.Sojv5w
06/06/06 21:11:51
talk:>>52 お前誰だよ？
talk:>>53 私を呼んだだろう？
talk:>>55 お前に何が分かるというのか？
57:１３２人目の素数さん
06/06/06 21:58:00
>>54
死ね
58:１３２人目の素数さん
06/06/06 22:33:26
高橋渉著（だったと思う）の薄い本もいいような希ガス。
有向集合に対する収束とかも書かれているし…
解析向きかな…
59:１３２人目の素数さん
06/06/07 18:50:05
うざ
60:greensleeves☆KINGの弟子 ◆bhb.NJHtRg
06/06/07 18:54:12
位相空間はとても重要なものだぞ
61:GiantLeaves ◆6fN.Sojv5w
06/06/07 18:55:09
talk:>>57 何やってんだよ？
62:１３２人目の素数さん
06/06/07 18:56:39
うざこ
63:１３２人目の素数さん
06/06/07 20:10:40
>>61
可哀想
64:１３２人目の素数さん
06/06/07 20:57:12
かわ位相
65:１３２人目の素数さん
06/06/08 03:11:00
森毅の位相のｺｺﾛって文庫が出てるから読め
66:１３２人目の素数さん
06/06/08 05:20:25
メールLANの奴死ね
67:GiantLeaves ◆6fN.Sojv5w
06/06/08 07:38:56
talk:>>63,>>66 何やってんだよ？
68:１３２人目の素数さん
06/06/08 08:51:09
>>64
なんでそこでシャレがでるかな～
なんでかな～
69:１３２人目の素数さん
06/06/08 08:52:50
>>42も誉めてね☆
70:１３２人目の素数さん
06/06/08 08:54:06
猛者はブルバキ
71:１３２人目の素数さん
06/06/08 09:03:47
>>1
おおざっぱに言えば「距離という概念の拡張・一般化」だろ
ふだん当たり前のように使っている距離という概念の本質は何なのか？
それを抽出することで、日常の3次元空間とはかけ離れた
抽象的な空間の中でも「距離」を考えることが出来る。
72:１３２人目の素数さん
06/06/08 10:50:55
位相概念が集合概念と一緒にまとめられるのはなんかおかしいと思う
73:１３２人目の素数さん
06/06/08 14:21:21
XからYへの写像とその連続性さえ定義できればXは集合でなくてもいいのです
74:１３２人目の素数さん
06/06/08 18:10:31
tan(π/7)+tan(2π/7)-tan(3π/7)の値はどうすれば求めれますか？
75:１３２人目の素数さん
06/06/08 19:58:39
>>74
...,､ - ､
,､ ' ヾ 、 丶,､ -､
／ ヽ ヽ ＼＼:::::ゝ
／ヽ/ i i ヽ .__.ヽ ヽ::::ヽ
ヽ:::::l i. l ﾄ ヽ ヽ .___..ヽ 丶::ゝ
r:::::ｲ/ l l. i ヽ ＼ ＼/ﾉﾉﾊ ヽ
l:/ /l l. l i ヽ'"´__ヽ_ヽﾘ }. ', ',
'l. i ト l ﾚ'__ '"i:::::iﾞ〉l^ヾ |.i. l ＿＿＿＿＿＿＿＿＿＿＿＿
. l l lミ l ／r'!:::ヽ '‐┘ .} / i l l ／教科書読みましょう。
l l l.ヾlヽ ゝヾ:ﾉ , !'" i i/ i＜ その程度自分でやりましょう。
iﾊ l (.´ヽ _ .／ ,' ,' ' | 脳味噌ありますか？
|l. l ｀ ''丶 .. __ イ ｜無いんですか？
ヾ! l. ├ｧ ､ ＼それなら学校辞めましょうよ。
／ﾉ! / ｀ ‐- 、 ￣￣￣￣￣￣￣￣￣￣￣￣￣
／ ヾ_ / ,,;'' /:i
/,, ',. ｀ / ,,;'''／:.:.i
76:１３２人目の素数さん
06/06/09 20:56:06
「近く」または「つながっている」を表現した概念。
しかし、p進的に近いとか遠いとか未だにわからない俺。
77:１３２人目の素数さん
06/06/09 21:18:40
解り易いが正しい。
安いではない。
78:１３２人目の素数さん
06/06/10 11:48:40
何を言ってるんだこのクズは
79:１３２人目の素数さん
06/06/10 12:25:13
>>78 お前に何が分かるというのか？
80:１３２人目の素数さん
06/06/10 12:51:35
>>1がぶち切れ
81:１３２人目の素数さん
06/06/10 23:10:55
カス乙
82:１３２人目の素数さん
06/06/11 00:31:55
分かり易い、だし。
83:１３２人目の素数さん
06/06/11 00:45:35
安めぐみがどうしたって？
84:１３２人目の素数さん
06/06/11 08:26:48
超king関数は位相的性質を満たしますか？
85:1～84
06/06/11 12:04:07
○ 位相セレナーデ（小夜曲）
○ xy平面での｢距離」の概念を拡張したものが位相
○ 実用上ほぼ実空間でＯＫじゃね？ だが一般の位相空間の必要状況とし
バナッハ空間に弱位相入れると距離空間扱い不能→ハウスドルフ空間処理・・
○ 代数幾何でのザリスキー位相はハウスドルフですらない
○ ザリスキー位相、何で重要？
→ 代数的多様体に入る唯一の位相
・厳密には複素数体上の代数多様体には通常の位相も入る
○ 距離空間＋抽象化＝位相
○ 志賀の３０講、内田伏一「集合と位相」
あとは公理に従った形式的論理使いこなせるよう演習・・
○ 位相空間はとても重要・・
86:１３２人目の素数さん
06/06/11 12:10:09
>>85
○ おおざっぱに距離概念の拡張・一般化
距離の本質＋α＝位相
○ ｢近く」または「つながっている」を表現した概念
○ ＸからＹへの写像とその連続性さえ定義できればＸは集合でなくてもよい・
○ 安めぐみがどうしたって？
とりあえずメモった。
87:１３２人目の素数さん
06/06/11 12:12:11
えらいっ！
88:１３２人目の素数さん
06/06/11 13:20:21
↓お前の言ってる事は胡散臭いんだよ
89:１３２人目の素数さん
06/06/11 13:25:22
宮内さんが『それ行け、やれ行け、ニッポン放送だ』と言うのを聞いちゃったと言われれば、聞いちゃった。
90:１３２人目の素数さん
06/06/12 08:31:48
距離概念の拡張・一般化は一様空間と考えるのが適当。
距離空間だと一様位相独自の性質、例えば完備性とか全有界などが
あるから、位相空間を距離空間の一般化と単純に考えるとおかしなことになる。
91:１３２人目の素数さん
06/06/12 08:54:16
うんだから単純には言えないけど
とりあえず初学者の入門のために
92:１３２人目の素数さん
06/06/12 09:00:20
教科書読め
93:１３２人目の素数さん
06/06/12 10:06:18
読んでも分からないから
こういうスレが立つんだろうに
94:GiantLeaves ◆6fN.Sojv5w
06/06/12 13:33:00
talk:>>84 何やってんだよ？
95:１３２人目の素数さん
06/06/12 15:07:29
こう、例えば、「次元」とは何かを考えた時に、「位相」が不可欠なのではないのか？
つまり、こんな感じにつながってるんだよね、って言わないと次元は定義できないのではないのか？
96:１３２人目の素数さん
06/06/12 15:09:52
関係ない
97:１３２人目の素数さん
06/06/12 15:12:18
要素と集合と濃度だけだと「次元」は決まらないですよね。
これに「位相」だけでは、「次元」は決まりませんか？
98:１３２人目の素数さん
06/06/12 15:15:48
質問内容から察するに線型空間の次元をイメージしていると思う。
線型代数の教科書を読めば少しははっきりするでしょう。
他にもいろいろな「次元」があるけど、それは少し先の話題ですな。
99:１３２人目の素数さん
06/06/12 15:18:46
基底が入って、線形独立とかって話がないと決まらないですか？
100:１３２人目の素数さん
06/06/12 15:26:51
次元 dimension
[定義]
正規位相空間Ｒの任意の有限開被覆に対し、 細分として位数 たかだかｎ＋１の開被覆がある場合、 dimＲ≦ｎとする。
dimＲ≦ｎ かつ dimＲ＜ｎ－1 でない時 dimＲ＝ｎ とし、これをＲの次元という。 （次元には様々な定義があるため、
特にこの定義を 被覆次元 covering dimension または レベッグ次元 Lebesgue dimension とも言う。）
[イメージ]
ある点に対して、お互いが重ならない近傍がｎ＋１個取れるが、 ｎ＋２個目を取ろうとすると既に取ったｎ＋１個の
どれかに重なってしまう。 （もし重なりが出来ると、その重なった部分もまた開被覆なので、 位数の定義である
「ｎ＋２個目を取ろうとすると共通点が無くなる」 という定義に反してしまう。） ０次元(点)の場合は１個までしか
開集合を取れないが、 １次元(線)という広がりの構造を入れることで追加で一つの近傍を取れる。
以降、次元が１つ増える都度、独立に「近く」の概念を一つ追加できる、 というわけである。
101:１３２人目の素数さん
06/06/12 15:27:56
>>99
あなたが話している「次元」の定義は何？
102:１３２人目の素数さん
06/06/12 15:32:59
>>95のいうような次元はn次元ユークリッド空間というモデルを前提にしてイメージされる次元。
つまりは多様体の次元ということになる。
しかし、>>97のように位相「だけ」から次元を定義しようとすると話はもっとややこしくなる。
103:１３２人目の素数さん
06/06/12 16:00:49
ブルーバックスの「次元とはなにか―高次元への扉を開く」（田尾鶉三）がいい。
たしか絶版だったと思うが図書館にあるかな。
104:１３２人目の素数さん
06/06/12 18:24:12
king位相はどんな位相よりも強い位相である。
105:１３２人目の素数さん
06/06/12 18:27:53
離散位相ってことね。
すべての点が孤立している。
106:GiantLeaves ◆6fN.Sojv5w
06/06/12 20:41:41
talk:>>104 私を呼んでないか？
107:１３２人目の素数さん
06/06/12 20:45:10
呼んでない
108:１３２人目の素数さん
06/06/12 21:07:12
次元=基底の数
としかわからん
109:１３２人目の素数さん
06/06/12 22:00:24
>>97
次元論を知りたいなら、今手に入る本としては
「集合論的位相幾何学」古関 健一
URLﾘﾝｸ(www.amazon.co.jp)
がある。
「次元論」森田紀一 岩波書店
はこれより詳しいが、古い本で絶版。図書館で見るしかない。
110:１３２人目の素数さん
06/06/12 22:17:52
横から質問すまそ。
何で被覆次元なんてものを考えるようになったの？
111:１３２人目の素数さん
06/06/13 09:29:36
積分論的な次元を考えたかったんじゃないの？
112:１３２人目の素数さん
06/06/13 16:58:49
>>111
その独創的なあいであを説明しちはくれんか？
113:１３２人目の素数さん
06/06/16 02:24:49
340
114:１３２人目の素数さん
06/06/16 23:21:55
ああ、思い出した。思い出した。
つまり、カントールを少し読むと、集合って今みたいにのっぺりしてないのね。
まあ、それはいいんだけど、つまり、最初は次元が上がれば、濃度が増えるって
思ってた訳ですよね。なんて言うか、次元を測れない測定法で一生懸命、これで
違うんじゃないのって、少なくとも、最初は思った訳ですよね。
でも、まあ、測れないと、、、。それで、そうだとしたら、後、この素朴な対象
（つまり、要素と集合とまあ濃度程度）に、どれくらいの、「何か」を想定する
と「次元」が「定まるんですか？」って言う、ごく素朴な疑問です。
で、それが多様体だと、あんまりおもしろくはないです。だって、R^nが
先に考えられてて、あんまり、次元の本質って何だって話にはならないから、、、。
115:１３２人目の素数さん
06/06/17 00:46:08
整理せよ
116:１３２人目の素数さん
06/06/17 05:05:41
>>1
「無意味なスレ立て厳禁」
って読めませんか？
そういうくだらない話は質問スレでやってください
終 了
そして>>1はすぐ死ね
117:１３２人目の素数さん
06/06/17 19:45:06
age
118:１３２人目の素数さん
06/06/17 19:49:39
ケーニヒスベルグの7つの橋の問題って位相の問題ですか？
119:１３２人目の素数さん
06/06/17 19:50:34
ケーニヒスベルグの7つの橋の問題って位相の問題ですか？
120:１３２人目の素数さん
06/06/17 19:51:11
間違えて2回書き込んでしまった
ごめんなさい
121:１３２人目の素数さん
06/06/17 19:58:04
今ではその問題はグラフ理論の問題と考える事が出来るが、
その問題が考えられた当時は幾何の問題の一種だった。そして位相幾何⊂幾何
122:１３２人目の素数さん
06/06/17 20:16:57
>>121
なるほど、ありがとうございました
123:１３２人目の素数さん
06/06/17 20:25:04
king関数の連続性は位相の問題ですか？
124:１３２人目の素数さん
06/06/17 21:12:29
>>123
連続じゃないから（笑）
125:GiantLeaves ◆6fN.Sojv5w
06/06/17 22:25:46
talk:>>123 お前は連続性を何だと思っている？
126:１３２人目の素数さん
06/06/17 22:44:27
king はうんこ。
127:１３２人目の素数さん
06/06/17 23:55:16
Kingのうんこは鹿の糞のように不連続
128:１３２人目の素数さん
06/06/18 01:44:33
演習１ Kingのうんこのなす不連続点を図示せよ。
（含まれる寄生虫も描いてもよい）
129:GiantLeaves ◆6fN.Sojv5w
06/06/18 10:57:55
talk:>>126 お前の食事は今日からお前の糞だからな。
talk:>>127-128 何考えてんだよ？
130:犬笠銀次郎
06/06/18 14:48:35
>>1
開集合公理を満たす開集合族。
URLﾘﾝｸ(kagakuhodan.blogspot.com)
131:１３２人目の素数さん
06/06/21 16:14:52
132:１３２人目の素数さん
06/06/23 12:28:05
「距離空間＋抽象化＝位相」
には、抵抗がある。
「集合＋つながり＝位相」
が正解。と専門でない俺が言ってみる。
実際、位相の定義（例えば：開集合系）って
集合と集合のつながりを表現していると考えればわかりやすくねー。
であとは、それから派生する概念（連結とか連続とかコンパクトとか）を
まとめたものが位相かと。
133:１３２人目の素数さん
06/06/23 14:21:20
連続性をつながりと言い換えて心理的平安を得ているようだが、理解が不正確
になるので止めたほうがいい。人がつながり具合と言った場合、単なる連続性
を越えて連結性を問題にしていることが多い。つながりとは、連続性+連結性
の複合概念と見るのが妥当である。素朴な理解、位相とは連続性を定義するた
めに必要十分な数学的構造で十分。言葉をこねくり回す必要は無い。距離位相
＋抽象化うんぬんだが、これは単に捨象を抽象化と言ってしまっただけのこと
だろう。距離空間をそのまま抽象化すると、一様位相空間という位相空間＋α
の数学的構造となる。一般位相とするには一様構造を捨てる必要があり、確か
に「一般の位相空間」ではない。心理的抵抗感が生ずるのはそのためだろう。
もっとも身近かつ重要で最初に認識された位相空間が距離空間であることは
否定できないと思う。（もっとも身近で重要な位相はザリスキー位相なんて
人がいたりしてｗ）
134:１３２人目の素数さん
06/06/23 14:37:40
位相くらいで語るなよｗ
135:１３２人目の素数さん
06/06/23 15:08:32
>>134
おまえ 132 だろう。133 の指摘がくやしいんだろうが見苦しいな。
位相の入門スレなんだから語るのは当然じゃん。
ゼミでいい加減なこと言ってボコボコにされた経験ないの？
136:１３２人目の素数さん
06/06/23 15:39:26
目くそ(=132)、鼻くそ(=133)だなｗｗ
137:１３２人目の素数さん
06/06/23 19:17:00
たかが位相の理解に四苦八苦している喪前たち↑は無能だよ。数学やる資格なんてない。
目糞鼻糞にも劣る。Kingのうんこ以下だね(ww
よってただちに
＃＃＃＃＃＃＃＃＃＃ 終 了 ＃＃＃＃＃＃＃＃＃＃
138:１３２人目の素数さん
06/06/23 22:37:48
ｋｉｎｇ乙
139:１３２人目の素数さん
06/06/23 23:51:31
Kingうざ
おめえが出没するとスレが腐る
140:132だけど
06/06/24 02:33:36
>>133
念のために、132にも書いたように俺は数学を専攻していない素人と前置き下上で、
>連続性をつながりと言い換えて心理的平安を得ているようだが
うーん、ちょっと俺の言いたいことと指摘が違っているような。
集合そのものの連続を言っているつもりは無く、集合間のつながりを言ったつもりだったんだが、
これでも間違ってる？
つまり、集合には、離散的な集合も含まれていてそのつながりを開集合系や、近傍系で定義したものが、
位相という理解なんだけど。
で、つながりの表現が近さ（距離ではない）の概念につながると。
でもって、位相とは何を言いたいかというと、
集合そのものではバラバラというイメージがあるのに対し、
位相ではつながりを定義することにより、空間を表現する手段だと思っている。
だから、位相＝空間の抽象化といってもいいのかな？
後半部の距離の抽象化の違和感についてはその通りです。
141:132,140だけど
06/06/24 02:56:35
集合と書いてあるところが、集合の元と表現し直した方が
いいところが多数。謝々。
142:１３２人目の素数さん
06/06/24 05:32:29
馬鹿だな
位相＝位＋相なんだよ。
念のために言っとくと
位＝イ＋立
相＝木＋目ね。
143:１３２人目の素数さん
06/06/24 09:09:45
位相ってsin とか cos の中身のことだろ。 角度だよラジアンってやつや
144:１３２人目の素数さん
06/06/24 10:17:29
ﾐﾐ彡彡
ミ◎◎彡彡
ミ◎◎◎◎彡
＞(・)◎◎◎彡
／|（|||||||| ＼
|. ＼＿__） |
￣￣_| _|￣￣
145:１３２人目の素数さん
06/06/24 12:37:41
>>143
訳語が衝突してます。
Topological Space 位相空間、このスレのテーマ。
Phase Space 相空間、位相空間とか状態空間ともいう。このすれの非テーマ。
解析力学とか物理に出てくる。
146:１３２人目の素数さん
06/06/24 13:11:24
>>140
近さというのは、近傍位相で言う位相空間Xの点aの近傍をA,Bとするとき
の、近傍A,Bの包含関係⊆のことですよね。距離空間なら点xがyよりaに近いとか
個々の点の遠近を比較できるけど、一般の位相空間では点集合=近傍間の遠近
しか定義できないと。
147:１３２人目の素数さん
06/06/24 13:30:50
まあ三つか四つの条件で、大事なことはみな表現できてしまったんだから
しょうがないじゃないかってことなのかも
位相が定式化されたのは抽象化が最も盛んな時期だったし
148:GiantLeaves ◆6fN.Sojv5w
06/06/24 13:57:05
talk:>>137-138 私を呼んでないか？
talk:>>139 お前に何が分かるというのか？
149:１３２人目の素数さん
06/06/24 14:02:46
talk:>>1 位相の何が分かりにくいというのか？
150:１３２人目の素数さん
06/06/24 14:04:12
およびでないよ
151:なんつっ亭 ◆YLhguIEUXM
06/06/24 14:41:46
なんつって＾＾；
152:１３２人目の素数さん
06/06/24 16:56:55
Kingに質問。Kingって彼女いないよね？一日何回オナニーしますか？
153:140
06/06/24 17:20:41
>>146
自分の大枠のイメージもそんなとこです。
ただ、近さの大小関係を包含関係でうまく説明出来るのは、
１次元（数直線といった）の場合だけなのかなーっと。
で、勘違いしてはいけないのが、近さというものは
あくまでも概念であって、ある点Ｏにたいし、点Ａと点Ｂの
どちらが近いという比較はナンセンスであると思うとです。
初学者にわかりやすいように近さという言葉を利用しているだけかと。
自分の場合、位相に手を出したのが、ヒルベルト空間というか、
フーリエ関数といった直交関数がらみや一部リーマン幾何を理解したくて、
位相からルベーグ積分や関数空間の基礎（まあ、これも概念程度なんですが）に
手を出した程度で、位相には距離が必ず入るんですよね。
従って、距離が入らない位相が十分イメージ出来てないんですよ。
でちょっと、質問なんですが、
理工系（数学科を除く）にとって大事な距離の入らない空間
の例ってあるんですかねー？
例えば多様体あたりに進むとそのような例にであえるんですかね？
154:１３２人目の素数さん
06/06/24 17:40:59
無味乾燥な集合に”構造”を入れて要素同士を関連付けた"集合"を"空間"と呼ぶ。
よく知られた具体的な"空間"に統一的に研究するために共通な性質を見出して改めて公理とする。
この"一般化"された空間で成り立つ"定理（性質）"は同じ"公理"を満たす限りどんな具体的な"空間"でも成り立つ。
"位相"もそんな"構造の公理"の１つである。
155:１３２人目の素数さん
06/06/24 17:58:15
>>153
一般位相の理解の第一歩は近傍位相です。
直感的意味付けのほとんどは、近傍位相を使って行われます。
有向集合という概念を学習してください。１点の近傍系（近傍フィルター）
は包含関係について有向集合をなす。有向集合と言うのは擬順序関係の定義
された集合の特殊なものです。いわゆる任意の２元が比較可能な全順序集合とは
違います。遠近の概念の一般化になっていることが理解できるでしょう。
有向点族、フィルターの収束を扱った位相空間のテキストを見る必要があります。
156:１３２人目の素数さん
06/06/24 18:26:58
>>153
閉区間[0,1]上の実数値連続関数の全体C[0,1]の全体を考える。C[0,1]の
位相をC[0,1]の点列{f_n}が 点F ∈ C[0,1]に収束するのは、関数列
{f_n}が関数Fに各点収束するとき、そのときに限るように定めることが
できる。これを各点収束位相と言うが、これは距離付けできない。通常
C[0,1]はsupノルムで定義されるノルム位相の入った一様収束の空間と見るが
これはもちろん距離空間でもある。
普通位相空間とは見ないけど、各点収束の空間は距離付けできない身近で重要な空間
じゃないかな。
157:１３２人目の素数さん
06/06/24 18:47:12
>>153
岩波科学ライブラリー「現代数学への招待 多様体とは何か」（志賀浩二）
を読んでごらん。
158:140
06/06/24 18:55:43
>>155
ご指摘ありがとうございます。
>１点の近傍系（近傍フィルター）は包含関係について有向集合をなす。
包含関係の大小の比較が出来るということですか？
（擬順序関係と言っているのだから、大小そのものではないとは思いますが）
その大小関係で遠近の概念を表現するということですね。
包含関係の大小比較については疑問に思っていたことですので
（脳内で出来ないものと決めつけて納得してました。）
Goodな指摘だと思います。
>有向点族、フィルターの収束
距離空間では収束の話題が出てきますが、距離を外した位相の中には出てきません（？）。
多分位相を理解するのに必要な概念だと思うのですが、
点列の収束といった話題があると思って良いですか？
で最後に、数学科以外の学生でも読める「位相空間」の推薦の本はありますか？
松阪先生の「集合・位相入門」は持っていたのでちらっと見てみたんです
があまり載ってなかったような。
159:140
06/06/24 19:03:44
>>156
>各点収束の空間は距離付けできない身近で重要な空間
うーん。ルベーグ積分やる中で、各点や一様収束が出てきましたので、
大枠書かれた内容は理解できますが（つまり関数空間の収束）、
あまり各点収束を用いた理論というものにお目にかからないので、
ぴんときませんが。
>>157
該当書籍は評判いいので購入したかったんですが、
残念ながら絶版状態でして。
さらに、社会人ということで、復刻版を待ち状態です(^^;)。
160:140
06/06/24 19:08:12
>>159の修正
たぶん、（つまり関数空間の収束）はおかしいですね。
L1やL2空間と混同しています。
161:GiantLeaves ◆6fN.Sojv5w
06/06/24 19:15:21
talk:>>152 あの女とは誰だ？
162:１３２人目の素数さん
06/06/24 20:13:10
>>31にあるように、ちくまから出てる「位相のこころ」が良い。
163:１３２人目の素数さん
06/06/24 20:58:11
位相もそうなんだけど、正直数学科の物知りにはかなわんなーと思うことがしょっちゅう。
どうしたら、そんな沢山知識頭に詰め込めるの？ 本嫁たって読みきれんしー。
何か秘訣でもあるのかなー
164:１３２人目の素数さん
06/06/24 21:41:21
理解すれば詰め込まなくても身につくだろう
165:１３２人目の素数さん
06/06/25 01:58:16
その理解するがムズイ
166:140
06/06/25 11:43:09
>>162
Thx
実をいうと、最近購入したんですよ>「位相のこころ」
>>158あたりを期待してよんでみまふ。
167:１３２人目の素数さん
06/06/25 12:12:38
>>158
> で最後に、数学科以外の学生でも読める「位相空間」の推薦の本はありますか？
> 松阪先生の「集合・位相入門」は持っていたのでちらっと見てみたんです
> があまり載ってなかったような。
当然のことだが、松坂『集合・位相入門』には位相空間のことが詳しく書かれている。
168:140
06/06/25 12:43:22
>>167
記述が悪かったとおもいますが。
有向点族、フィルター関連の話題でつ。
「位相のこころ」をちらちら見てると、
よさげなのでそっちを当たってみます。
169:１３２人目の素数さん
06/06/25 13:01:35
>>168
何を読むかはあなたの自由だけど、位相空間を理解していないと
有向点族やフィルターは分かりにくいと思うよ。
170:１３２人目の素数さん
06/06/25 15:04:11
>>168
( a(λ) )λ∈Λ
で、Λが非可算集合の場合、
Σ[λ]a(λ)
を考えたいのだけど、このときに有向集合に対する収束で定義したり
します。
解析だと、関数とかの連続性を「開集合の逆像が…」とかでやっていると
非常に不便なので、点列を一般にした有向集合に対する収束で考えた方が、
不等式等、今までの道具が自由に使えて、とても便利ってことがあるかも…
有向集合の話は、河田・三村先生の「現代数学概説２」とか、高橋渉先生の
本がいいんじゃないかな、とか個人的に思ったり。
171:１３２人目の素数さん
06/06/25 23:09:43
有向集合について詳しく知りたかったら
手頃な本で勉強するのはもう諦めてKelley読んだほうが案外早道かも、とか言ってみる
172:140
06/06/26 11:05:59
>>169
>位相空間を理解していないと
そうですね。その点は気をつけながら勉強します。
>>170
現状では理解できませんが、ＰＣの中にコピペしておきました。
後日再度見てみます。
>河田・三村先生の「現代数学概説２」
品切れ(^^;)ですね。高橋渉先生は「位相のこころ」で挫折したら
そちらの方を当たってみます。
>>171
>Kelley読んだほうが案外早道かも
たぶん私には早すぎるかと・・・。
173:140
06/06/26 11:11:54
いろいろお世話になりましたので、
お気に入りのＨＰを紹介します。
位相に関する問答集があるよ！！
【入り口】
URLﾘﾝｸ(www.math.sci.hokudai.ac.jp)
【位相問答あるよ】
URLﾘﾝｸ(www.math.sci.hokudai.ac.jp)
174:１
06/06/26 23:42:56
色々と書いてくれてありがと
今日位相の中間試験があったんだが、結局微妙な出来だったよｗ
175:１３２人目の素数さん
06/06/27 00:10:38
名大生乙
176:１３２人目の素数さん
06/06/27 14:18:08
定義
177:１３２人目の素数さん
06/06/27 22:04:24
意添う
178:１３２人目の素数さん
06/06/29 15:42:40
あそう
いそう
うそう
えそう
おそう
179:１３２人目の素数さん
06/06/29 18:59:42
1の試験が終わったのでこのスレもQ.E.D.か・・・
180:１３２人目の素数さん
06/06/30 15:11:21
追試がある
181:１３２人目の素数さん
06/06/30 15:30:26
位相空間 X は開集合を対象、包含写像を射として圏となる。
この圏を Top(X) と書こう。集合全体のなす圏を Set と書く。
Top(X) から Set への反変関手全体の成す圏を Func(Top(X)^op, Set)
と書く。F をその対象とする。F は普通、(集合に値をとる)前層と
呼ばれる。前層で、ある種の局所性を持つものを層という。
Grothendieck は X 上の層全体の成す圏を位相空間 X より基本的
なものと考えた。この考えを発展させることにより Grothendieck 位相、
さらには Topos という概念を得た。これ等は位相概念を拡張したもの
と考えられる。
182:１３２人目の素数さん
06/06/30 18:39:18
目から鱗です！！！！！！！！１
183:１３２人目の素数さん
06/07/17 04:45:44
なんで、密着位相や離散位相は密着だの離散だのいうの？
密着とか離散ていうイメージがつかめません・・・
184:１３２人目の素数さん
06/07/17 05:32:10
なんとなく
185:１３２人目の素数さん
06/07/17 05:33:32
つーか>>1とオナ大かも
中間試験っていうか期末じゃないか？
186:１３２人目の素数さん
06/07/17 23:23:17
何でもかんでも略すんじゃねーよ！キモイんだよ！
オナ大じゃオナニー大好きみたいだろ！
まあ、俺はオナ大だけどさ！
187:１３２人目の素数さん
06/07/17 23:34:10
俺も思ったｗ
188:１３２人目の素数さん
06/07/17 23:43:18
＞183 名前：１３２人目の素数さん ：2006/07/17(月) 04:45:44
＞ なんで、密着位相や離散位相は密着だの離散だのいうの？
＞ 密着とか離散ていうイメージがつかめません・・・
訳に問題あり、かな？
Trivial Topology ： 自明なトポロジー
Discrete Totology ： は、やっぱり離散的なトポロジーか・・・
189:１３２人目の素数さん
06/07/17 23:46:32
>>183>>188
近傍系を考えればわかるだろ
190:１３２人目の素数さん
06/07/17 23:47:12
まああれだ、勉強していきゃわかる。
それまではそういうもんだと思ってれば良いのでは。
191:１３２人目の素数さん
06/07/17 23:56:59
＞183
「定義しうる最弱（最強）のトポロジー」という内容で覚えてくれ。
192:１３２人目の素数さん
06/07/18 00:00:53
覚えるも何も直観通りだろｗ
193:１３２人目の素数さん
06/07/18 00:02:25
位相のこころに書いてあったけど、あまり理解してない
194:１３２人目の素数さん
06/07/18 02:24:22
密着と離散の形容の意味が自力で分からんようでは数学科でやっていくのはきついだろうな。
公理的に展開された抽象数学の勉強の仕方を知らないのか？定義や術語の意味、意義は
すぐには分からないのが普通だよ。190 の言うように学習が進めば自然分かる。
せっかちな、初心者用にたとえ話を進呈しよう。Xを全空間とする。近傍を個室と考える。
離散位相:１点集合{x}がすべて開集合。よって、任意の点xは自分自身以外の
点を含まない個室（近傍）{x}を持つ。Xは離散家族だ。
密着位相:Xの任意の点xに対し、xの近傍は全空間Xしかない。全員が一つの家
Xに住まっている。適当な開集合で家族を分かつことは不可能だ。密着して
生きている。
195:１３２人目の素数さん
06/07/18 02:49:18
＞公理的に展開された抽象数学
まあ初心者には直ぐにわからないように書く
必然性も無いんだけどね
面倒だからあまり説明はしないのが普通かもしれないけど
あるいは演習問題や例を見ていけば分かるからそれで説明の代わりとか
196:１３２人目の素数さん
06/07/18 10:55:14
位相空間≠ユークリット空間
位相空間 =非ユークリッド空間
つまり、ユークリッド＝xyzで表現される三次元、位相空間＝n次元多様体（相対性理論のローレンツ理論に基づき、局所的には近似できるが、大域的にはまがっているn次元という考え方。ルートを含むローレンツの公式はアインシュタインの相対性理論にある）
197:１３２人目の素数さん
06/07/18 11:20:12
( ´д)ﾋｿ(´д｀)ﾋｿ(д｀ )ﾋｿ
198:１３２人目の素数さん
06/07/18 11:20:55
>>196
多様体も位相空間も分かっていないようだね。
199:１３２人目の素数さん
06/07/18 12:29:10
King >>196 に位相空間と多様体を教えてやれ
200:１３２人目の素数さん
06/07/18 15:19:20
>>199
奴はしゃれになっていないリアルキチ○○らしいから無理だろうｗ
ついでにムー○○ホ目前らしいｗ
いい年こいてアニオタで、女にキモいと言われてチ○○立てる変態らしいぞｗ
見た目はオタクコピペのまんまらしいｗ
201:１３２人目の素数さん
06/07/18 15:31:45
ちん○もスレも勃てると快感
202:１３２人目の素数さん
06/07/18 16:09:22
>196
まさか本気じゃないだろうね？
203:１３２人目の素数さん
06/07/18 18:06:28
基地外にはアイデアがある
204:１３２人目の素数さん
06/07/18 18:13:26
メコスジについてわかり安く教えてくれ
205:１３２人目の素数さん
06/07/18 18:29:59
>>196
多様体⊆位相空間 だyo。
一般相対性理論の時空のモデルに使うのは、各接空間に不正定値の内積、ローレンツ計量の
入った、ローレンツ多様体（リーマン多様体の一般化）だよ。
丸暗記して振り回せば、チミも立派な数ヲタだ。
206:１３２人目の素数さん
06/07/19 00:22:32
リーマン多様体、トーラスが位相幾何学の考え方の基本だお。
二次元球面とトーラスは同相でないんだお。
207:１３２人目の素数さん
06/07/19 00:31:39
手術理論やh同境定理により、高次元多様体の問題が代数的な問題に帰着されたんだお。
208:１３２人目の素数さん
06/07/19 01:02:17
ここで低次元屋が離散群の話を少々
209:１３２人目の素数さん
06/07/19 01:30:13
無知なやつをからかうのはやめれ
210:１３２人目の素数さん
06/07/19 10:19:25
ディーン手術またはデーン手術でぐぐりなよ。医者でも、ないのに数学で手術するんだよ。
あと、位相幾何学（トポロジー）におけるxyz座標は少しずれてるんだお。
211:KingOfUniverse ◆667la1PjK2
06/07/19 18:05:35
talk:>>199 R^3は開球族を開基として定まる位相空間である。R^3は多様体である。
212:１３２人目の素数さん
06/07/28 17:33:05
844
213:１３２人目の素数さん
06/07/31 17:19:33
hosyu,hosyu,hosyu.
214:１３２人目の素数さん
06/08/20 18:42:35
ヘーガード（へゴール）デーン手術
別名 Heegard分解
215:１３２人目の素数さん
06/08/21 09:51:02
誰も突っ込まないんで一言。
多様体⊆位相空間ってのは間違いです。
216:１３２人目の素数さん
06/08/21 10:50:05
でさ、でさ、このデーン手術を使うとね、配置空間上の写像度としてのバジリエフ不変量をこんな風にできるんだお(^O^)。
開いた結び目をTとする。
開いた結び目Tに対して、配置空間Ｃx、Ｃyを
Ｃx＝｛（X1、X2、X3、X4）∈T＾4⊂（R＾3）＾4｜X1、X2、X3、X4はT上の異なる4点で、この順にT上に現れる｝
Ｃy＝｛（X1、X2、X3、X4）∈T×T×T×R＾3⊂（R＾3）＾4｜X1、X2、X3はT上の異なる3点で、この順にT上に現れ、X4は前の3点とは異なるようなR＾3の点である｝
で定める。
R＾3内の原点を中心とするr＝1の球面をS＾2と描く。写像φij：Ｃx、Ｃy→S＾2を
φij（X1、X2、X3、X4＝（Xｊ―Xi）／｜Xｊ―Xi｜∈S＾2
で定めて、写像φx、φyを
φx＝φ31×φ24：Ｃx→S＾2×S＾2
φy＝φ41×φ24×φ43:Ｃy→S＾2×S＾2×S＾2
で定める
ＣxS＾2とＣyをそれらの曲面にそって適切に貼り合わせる空間をＣとし、Ｃx×S＾2上でφx×id s＾2であり、Ｃy上でφyであるような写像を
φ:Ｃ→（S＾2×S＾2×S＾2）／（成分の入れ替え）
とする。写像φの写像度は2次のバジリエフ不変量になり、局所化により、
ν（T）＝ΣξCiξC´i
Σの下は（Ci、C´i）
の表示が得られる。
加えて、チャーン―サイモンズ経路積分を摂動展開したときに現れる配置空間積分がこの写像度の積分表示を与える（物理的背景）。
ただし、開いた結び目の両端は、∞遠までのびていて、ひっぱれないとみなす
という未解決問題の多いバジリエフの未解決問題のヒントがみつかる。
あとは、有理数体の上で、1次独立である9個の実数の扱いをどうするかだと思う。
217:１３２人目の素数さん
06/08/21 10:51:46
ほんとだ、ｽｹﾞｰ・・・！！！！
218:１３２人目の素数さん
06/08/22 01:33:41
↑ 自作自演。自分でスゲーていってりゃ世話無いよ。
219:１３２人目の素数さん
06/08/30 17:15:01
541
220:１３２人目の素数さん
06/09/15 20:22:38
ザリスキー位相ってなんの役に立つの？
221:１３２人目の素数さん
06/10/03 01:07:18
117
222:１
06/10/12 14:59:07
前期の位相の成績は「良」ですた
223:１３２人目の素数さん
06/10/12 15:02:35
>>222
みんなに、ありがとうは
224:１３２人目の素数さん
06/10/12 15:05:32
>>220
代数多様体の圏での射が連続になる。
225:１３２人目の素数さん
06/11/13 01:11:49
999
226:１
06/11/28 16:33:42
後期の中間試験は８５／１００点でした
227:１３２人目の素数さん
06/12/07 18:46:45
位相で苦労して、かわいそう。
228:１３２人目の素数さん
06/12/31 23:27:19
年末カキコ
229:１３２人目の素数さん
07/01/12 15:46:44
閉鎖記念
230:１３２人目の素数さん
07/01/14 23:55:41
閉鎖前記念
231:１３２人目の素数さん
07/01/15 00:17:54
位相って要するに
D(x,y)=√(x^2+y^2)となる関数のことだろ
232:１３２人目の素数さん
07/01/15 17:54:36
集合・位相に関してオススメの問題集ってある？
独習でやってるんだが、どうも演習が足りない
ちなみに教科書としては内田本を使ってる
233:１３２人目の素数さん
07/01/15 19:38:12
どれでもあまり変わんないと思うけど、マグロウヒル大学演習シリーズが問題たくさんあってよかった。
サイエンス社の黄色い本も会ったと思うけど記憶が定かでない。
234:１３２人目の素数さん
07/01/18 20:13:50
>>233
㌧
サイエンス者のを見てみるわー
235:１３２人目の素数さん
07/01/19 19:02:26
距離空間の完備性について分からないことがあるので、教えていただけないでしょうか。
空間の位相を一つ固定し、その位相を定める距離d_1, d_2について、d_1 < d_2 が成り立つとき、
完備性について、d_1で完備ならd_2で完備、などということは成り立つのでしょうか？
236:１３２人目の素数さん
07/01/19 19:05:29
一様同値についてぐぐれ。以上
237:１３２人目の素数さん
07/01/19 19:18:39
(収束点列全体の集合)⊃(d1でのコーシー点列全体の集合)⊃(d2でのコーシー点列全体の集合)
238:１３２人目の素数さん
07/01/19 19:21:10
すばやい返答有難うございます。しかしながら、以上でもないような気もします。
一様同値は、両一様連続だと書いてありましたが、今回は片側しか成り立たないのです。
この場合はd_1で完備ならd_2で完備などというのは成り立たないのでしょうか？
239:なんつっ亭 ◆YLhguIEUXM
07/01/19 19:26:53
距離空間の位相は一様位相だから完備性とかいう概念は一般位相空間には適用できない。
なんつって＾＾；
240:１３２人目の素数さん
07/01/19 19:28:57
一様同値についてググれば>>235の反例くらいすぐに見つかるだろ。
241:235
07/01/19 19:37:01
ただ今混乱中です。もう少し詳しく教えていただけないでしょうか。
>>240
実際ぐぐって見ましたが、「一様同値」という言葉自体あまり検索にかかりませんでした。
反例がある、つまり不成立なのでしょうか。
>>237
これは収束についてはd_1収束⇔d_2収束ということでしょうか。
とくに>>235は成立で良いのでしょうか。
242:237
07/01/19 19:43:38
最初の包含関係はd1が完備なことから従う。次の包含関係はd1≦d2から従う。
243:１３２人目の素数さん
07/01/19 19:51:30
邦書で一様構造をきちんと扱った本はほとんど無いからな
244:１３２人目の素数さん
07/01/19 20:17:07
(収束点列全体の集合)とありますが、d_1収束⇔d_2収束がいまいち分かりません。
教えていただけないでしょうか。
245:１３２人目の素数さん
07/01/19 20:50:45
あげ。
246:237
07/01/20 07:41:05
(収束点列全体の集合)は位相構造で決まる。
ある集合上の２つの距離が同じ位相を与えれば
それぞれの距離についての収束点列全体の集合は変らない。
247:１３２人目の素数さん
07/01/20 10:50:04
位相構造だけで決まることは、それ以外を無視して考えれば良い。
248:１３２人目の素数さん
07/01/20 16:00:20
どうも有り難うございました。
途中、反例あり等の回答もありドキッとしましたが、
237を見る限りでは成立するようなので安心しました。
249:１３２人目の素数さん
07/01/23 09:59:59
問１－１）（X、Ox）(Y,Oy)を位相空間とする
X × Yの直積位相とは何か？
これがさっぱりわかりません。
問１－２）XとYがハウスドルフ空間ならば、X × Yもハウスドルフ空間であることを示せ。
これもさっぱりです。たぶん問１－１を使うと思います。
問２）（X、ｄ）を距離空間とする
距離ｄの定めるXの位相Oｄの定義とはなにか？
これもわかりません、どういう意味でしょうか？位相Oｄが距離空間の定義を満たすということでしょうか？
問３）Xがコンパクトで、A⊂Xが閉集合ならAもコンパクトであることをしめせ。
Xがコンパクトだから、Xの任意の開被覆が必ずXの有限被覆を部分集合として含んでいる。ここまではいいと思います。たぶんAがコンパクトでないと仮定して矛盾を示すと思います。これ以上がどうしてもわからないです。
この問題がわからん。教えてくれ
250:１３２人目の素数さん
07/01/23 10:01:49
全部教科書に書いてある（はず）
251:１３２人目の素数さん
07/01/23 10:07:30
>>249
問１－１は定義を知ってるかどうかという問題だから考えても無駄。
本嫁よ
252:２４９
07/01/23 10:14:41
教科書にはこういうふうにかいてある。
直積位相
Sは位相空間です。Qはそれの位相
各λ∈∧についてSからSλ（λは添え字）への射影
をprλ（λは添え字）とするとき、写
像族（prλ）λ∈∧もうｐって（（Sλ、Qλ））λ∈∧からSに
誘導される位相、すなわち、すべてのprλが連続となるようなSに
おける際弱の位相QをSの直積位相という。
これをX×Yにどうやるのかがわかりません。問１－１をお願いです
こうやって答えろっていう解答を教えてください。
あと問１－２、問３も解いて答えを教えてください。
問２は解けました。
253:１３２人目の素数さん
07/01/23 10:18:07
>>243
See 一松信：多変数会席函数論
254:２４９
07/01/23 10:23:21
＞２５２ もしかして、SのことをX×Yに置き換えるだけ？
255:１３２人目の素数さん
07/01/23 12:14:58
>>253
へぇー。一松爺さんどこかで、位相の一様構造の知識が標準装備で
ないことを嘆いていたけど、そうなるべく自著で書いていたのね。見てみるわ。
256:１３２人目の素数さん
07/01/23 12:18:01
>>249
どれも定義の系だな。教科書を読めば直ぐに分かることばかりだ。
勉強をさぼった罰だ。あきらめれ。もしちゃんと教科書を読んで分からない
のなら数学をあきらめたほうがいい。（読んだテキストにもよるがな）
257:１３２人目の素数さん
07/01/23 12:31:57
位相構造を説いた教科書は巷に多数あるけど、一般の一様構造を説いた
入門テキストはほとんどない。>>249のような怠け学生をより苦しめるべく、
この概念を数学科学生の標準装備にしたいが、何か良い方策はあるだろうか？
258:２４９
07/01/23 12:57:30
怠けてないって、松坂和夫の集合・位相入門よんでいるが、全然わからん。
おれ一生懸命にやったぜ。でもわかんねーんだよ。教科書ぼろぼろに
なるまで読み込んでもわからん。たのむ教えてくれ。
問１－２、問３を解いてくれ頼む！！！
259:１３２人目の素数さん
07/01/23 12:59:53
>>258
松坂にこだわらず、他のテキストも見てみれ。開眼するかも知れん。
260:１３２人目の素数さん
07/01/23 13:04:47
松坂には>>249への回答が全て書いてあるが？
261:１３２人目の素数さん
07/01/23 13:06:52
＞松坂和夫の集合・位相入門よんでいるが、全然わからん。
＞教科書ぼろぼろになるまで読み込んでもわからん。
「読んだ」だけでは、理解し、使いこなせるようにはならない。
ではどうすればいいのか？自分でコツを見つけるしかない。人に
よって解決法は違う。これは自力で乗り越えなければならない壁。
262:２４９
07/01/23 13:10:41
＞２６０ まじで！！何ページ？
263:１３２人目の素数さん
07/01/23 13:16:40
>>261
ようするに教科書はぼろぼろにしただけね？
264:１３２人目の素数さん
07/01/23 13:27:32
>>261
近くにおれば助けてやれるだろうが、掲示板では無理だよ。
265:１３２人目の素数さん
07/01/23 13:30:09
>>249は分からないところがあるというより、分かってることが何もないレベルだな。
266:１３２人目の素数さん
07/01/23 13:42:11
>>260
>>249にページ数教えてやって。松坂は持っていないんだ。
267:犬笠銀次郎
07/01/23 13:44:24
>>1
位相論とは「開集合族の性質」と考えれば良いのでは？
>>249
集合論・位相論はただそれだけでは具現化された意味を持たない。位相幾何、函数解析など様々な具体例を学ぶ中で徐々に理解出来てくる。さしあたりは可能なかぎり簡単な例で考えるのが良かろう。（例えば位相空間なら \mathbb{R} 上の普通位相など。）
URLﾘﾝｸ(ginjiro.blogspot.com)
268:１３２人目の素数さん
07/01/23 14:32:50
ほんとに、ぼろぼろになるまで松坂を読んだのか？
それでも >>249 がわからないってのはある意味すごいな・・・
とりあえず位相空間と距離空間の定義をここに書いてみて。
269:１３２人目の素数さん
07/01/23 14:33:43
>>249 に対しては >>267 はよいアドバイスとはおもわれない．
270:２４９
07/01/23 16:02:32
何ページか発見した。書いてあった、ありがとう。である問題がどうしても
解けないこれの答えを教えてくれ。位相空間と距離空間の定義はわかる。
問１）
（X、ｄ）を距離空間とする。
Xの点列｛Xn｝(∞ n=1, この数列の上が∞、下がn=1)が点x∈Xに収束するとは
何か？その定義を書け。これがどうしてもわからない。定義だから
かいてあるようなきがするが見つからん。頼む教えてくれ時間がないのだ
問２）
Xの部分集合A内の点列｛Xn｝(∞ n=1, この数列の上が∞、下がn=1)が
ある点ｘ∈Xに収束するならｘ∈A（Aの上にはーがつく）であること示せ
271:１３２人目の素数さん
07/01/23 16:14:15
またすぐに新しい質問ですか。
272:１３２人目の素数さん
07/01/23 16:15:08
時間が無いってテスト前とかそういうことだろ。
勉強して無かったやつが悪い。そんだけ。
273:１３２人目の素数さん
07/01/23 16:16:57
>>271
レポート問題か何かだろう。
大方、丸写しで提出するんだろうなｗ
274:きまぐれ
07/01/23 17:00:20
問１はRの時を考えてみたらわかりやすい。
x_n→xってのは、任意のε>0に対して、ある自然数Nが存在して
任意のNより大きいnに対して、|x-x_n|<εってことだったわけで、
これを距離空間の話に焼直せばいい。
問２は、もしもxが\bar{A}に入らないとしたら、、、
X-\bar{A}は開集合だから、、、
矛盾みたいな感じです。
いずれも定義をしっかり確認すればなんとかなる筈。
275:１３２人目の素数さん
07/01/23 17:20:11
正直249はセンスが絶望的にないので数学辞めた方がいいと思う。
勉強するだけ時間の無駄だ。
276:１３２人目の素数さん
07/01/23 17:27:42
釣りじゃねーのか？ほんとは良く分かっている奴の。
277:１３２人目の素数さん
07/01/23 17:51:32
>>249
超準解析をやりなさい。位相が分かるようになる。
278:２４９
07/01/23 20:04:40
まじで俺数学天才だったのに
数学オリンピックの日本代表になりかけたのに・・ショックだぜ
279:１３２人目の素数さん
07/01/23 20:18:14
日本代表か、すげーな。
280:１３２人目の素数さん
07/01/23 20:20:07
釣り決定だな
281:１３２人目の素数さん
07/01/23 20:24:44
弟子かと思ってた
282:２４９
07/01/23 20:25:42
まじでつりじゃなくて、本当だって。東大くらいの入試問題なら
全部１０分くらいで解ける。でも位相数学意味不明・・・
なにこれ？抽象的すぎ
283:１３２人目の素数さん
07/01/23 20:27:42
またまたご謙遜をｗ
284:１３２人目の素数さん
07/01/23 20:30:13
>>270
こんなに不勉強なやつ、初めて見た。
今までずっと遊んでたんじゃないの？
285:１３２人目の素数さん
07/01/23 20:35:06
自信過多、実力過小の典型だな
286:１３２人目の素数さん
07/01/23 21:55:50
日本代表になりかけた程度で天才か
天才の質も落ちたもんだ
定義すら理解はおろか暗記すらしてないなんて
小学生でも暗記するだけならできるというのに
287:２４９
07/01/23 23:17:38
お前らじゃ合宿にもいけないだろ。
288:１３２人目の素数さん
07/01/23 23:41:37
そうだな、お前は天才だよ。
289:１３２人目の素数さん
07/01/24 01:29:39
>>287
問題を解く能力と、数学を理解する能力は全くの別物。両者では思考の方法が全然違う。
オマエは後者が著しく欠落している。＼(＾0＾)／ｵﾜﾀ！
290:１３２人目の素数さん
07/01/24 01:42:22
>>289 釣りにマジレスすんなよ。代表になるには相当の能力が要るから
彼の潜在力は相当なものがあると思うよ。成長を妨げているのは多分
自惚れだろうね。
291:１３２人目の素数さん
07/01/24 01:58:01
数学科に行ったのに勉強してないって阿呆だろ。
まあ自分の将来なんだから自己責任なんだけど。
分からない場合は何冊も教科書を読むとかいう手もあるので
集合位相の似たような本の関連箇所を何冊も読んでみたら良い。
30講にもUrysohnの定理とかは載ってたはず。
自分には能力があるからKellyとかでも読めるはずだ、と思って
読み始めたが全く分からない、とかならただの自惚れだけど
単に勉強してないんだと思うな。
或いは現代数学がどういうものか全く知らずに数学科に来てしまったか。
「教科書をボロボロにするまで読んだ」のに書いてあることが分かってないみたいだから
単に日本語を理解する能力が無いのかもしれないが。
数学オリンピックの問題とか大数の宿題とかを一問に何日もかけて解いた経験とか無いのか？
>>258から次の質問の>>270まで5時間も立ってないぞ。
そんな短時間で数学が理解できるわけない。もっと自分で考えろ。図書館で調べろ。
少なくともこんな教科書が溢れているような分野で定義読めば分かることを聞くようなことは無いはず。
>>287
行ったことあるよ。三度も四度もじゃないけど。
292:１３２人目の素数さん
07/01/24 02:33:29
>>290
オマエのその書き込みは「マジレス」とは言わないのか？
293:１３２人目の素数さん
07/01/24 05:50:47
>>287
人のことはいいから、まず、自分のことを片付けな。
君の質問は、教科書を丁寧に読めば、すぐにも解ける問題。
あせらないこと。
294:１３２人目の素数さん
07/01/24 09:58:35
「教科書をボロボロにするまで読んだ」というのは
ヒステリを起こして、投げつけたりしたんだろーな
295:１３２人目の素数さん
07/01/24 10:03:38
>>294
俺にも経験ある（笑）
296:２４９
07/01/26 10:54:45
おまえらは数学の才能がないから俺に嫉妬してるだけだろ。
悔しかったら俺の出した問題といてみろっての。解けないから
能がきたれるんだろ。おれ昨日テスト受けてばっちりできたぜ。
やっぱ俺すげーかもな。
297:１３２人目の素数さん
07/01/26 11:03:14
そーだね。
すごいね。
298:１３２人目の素数さん
07/01/26 11:16:22
>>296
そうかそうか
299:１３２人目の素数さん
07/01/26 12:20:54
>>296
ああすごいすごい。
300:１３２人目の素数さん
07/01/26 15:47:00
やはり弟子だったか
301:１３２人目の素数さん
07/01/26 15:48:42
師の躾がなっとらん
302:１３２人目の素数さん
07/01/26 16:11:26
>>296
お前には才能がある
多分天才だ
だから教科書なんかで勉強しなければもっと伸びる
自分で数学を掘り込んでいけ
303:１３２人目の素数さん
07/01/26 18:10:43
>>296
位相の初歩の問題でつまづくようなクズに誰が嫉妬するのか？
304:１３２人目の素数さん
07/01/26 18:34:31
そういえばkingの弟子も全然位相の問題ができなかったな
305:１３２人目の素数さん
07/01/26 18:57:01
出来るのは当たり前。出来たからって、それをネタに研究が出来るわけでもあるまい。
306:１３２人目の素数さん
07/01/26 18:58:28
今更だが
× 安く
○ 易く
307:１３２人目の素数さん
07/01/26 19:00:03
安い女 vs. 落とし易い女。
308:２４９
07/01/26 19:46:21
いまさゴールドバッハの予想が解けたわ。
フランス語に訳してパスツール研究所（だっけ？）に送ると判定してくれる
んだっけ？
309:２４９
07/01/26 20:01:35
ikkoさんかわいい・・結婚してー
310:１３２人目の素数さん
07/01/26 20:55:17
釣りだったことにしておこうとする>>249
(；ω；)ｳｯ
311:１３２人目の素数さん
07/01/26 21:02:11
>>305
位相ぐらいチョソでもやる
312:１３２人目の素数さん
07/01/27 02:28:19
あまり舐めてるとコンパクトにしちゃうぞ♥
313:１３２人目の素数さん
07/01/28 02:08:32
111
314:２４９
07/01/31 14:30:26
おれこないだ受けた位相数学のテスト帰ってきた。
悪くなかった１００点中７９点だった。一安心だぜ。
コンパクトと連結の定義を丸暗記して意味わからず書いたのがよかった。
315:１３２人目の素数さん
07/01/31 16:05:10
もう釣られません
316:１３２人目の素数さん
07/01/31 16:48:54
>>249
本当に直積の位相が解からんのか？
（X,O_X),(Y,O_Y)を位相空間とする。
U（resp. V)をX(resp.Y)の任意の開集合として
UｘV達で生成元される集合族を考えてみな！
317:１３２人目の素数さん
07/01/31 17:15:07
>>316
また釣られたか・・・
318:316
07/01/31 23:40:52
>>317
ご忠告、有難うございます。
>>314 のコメント読んで、249は品性に欠ける方とわかりました。
319:１３２人目の素数さん
07/02/01 02:03:53
>>1
安くって、いくら位で？
320:１３２人目の素数さん
07/02/01 12:27:45
>>319
「いかにも安っぽく（いい加減に）教えてくれ！」
ということか？
321:２４９
07/02/01 17:18:27
俺位相数学を丁寧にちゃんと調べて勉強してみたらなんかわかってきたかも
322:１３２人目の素数さん
07/02/01 17:37:07
何でもちゃんとやればそのうちわかるようになる
323:２４９
07/02/01 22:33:46
やっぱ数学オリンピックにでかけた俺の実力はすごいということが
身にしみてきた。俺は天才か・・・
ゴールドバッハの予想も証明できたしな
324:１３２人目の素数さん
07/02/01 23:11:00
ボンクラの、むなしい自己賛辞。
325:菅_理人@kmath1107BBS ◆.ffFfff1uU
07/02/01 23:35:46
位相がわかっただけで天才か。
まるで弟子のようだ。
326:１３２人目の素数さん
07/02/02 02:51:10
グロタンディック位相の定義が分かっても
それだけじゃどうしようもならないようやな
327:１３２人目の素数さん
07/02/02 03:08:31
小学生時代に算数オリンピックにでかけた中学生が
「俺は天才。なのに二次方程式が分からない」
「二次方程式を丁寧にちゃんと調べて勉強してみたらなんかわかってきたかも」
「やっぱ算数オリンピックに出かけた俺の実力はすごいということが身にしみてきた。俺は天才か…」
とか言っているようなもんだな。
328:１３２人目の素数さん
07/02/02 10:40:23
数オリの代表になれなかったやつの釣りにつきあってあげるなんて、みんな優しいね
329:１３２人目の素数さん
07/02/05 18:19:12
638
330:１３２人目の素数さん
07/03/02 09:08:37
>>ｽﾚﾘﾝｸ(math板:81番)
＞近傍について質問です。
＞
＞Vがxの近傍というのは、x∈U⊂Vを満たす開集合Uが存在するということですけど、Vの開核が存在すればそれはUになりえるので、必然的にVは近傍になっちゃうと思うのですがどうなんですか？
Vの開核が存在しても、xはVの境界上に載ってるかも知れない、
そもそもVの開核は空集合かもしれない。
U≠φでないといけないことに注意。
331:１３２人目の素数さん
07/03/02 09:33:59
> Vの開核が存在すればそれはUになりえるので
Vの開核がxを含んでるかどうか考えなさい、ってこったね。
332:１３２人目の素数さん
07/03/02 19:20:58
>>330
>>331
なるほど。わかりやすい解説ありがとうございました。
333:１３２人目の素数さん
07/03/02 19:26:49
点xの近傍はxを含むので空集合ではありようが無い。
したがって、空集合φはいかなる点の近傍にもならない。
開集合ではあるがね。
334:１３２人目の素数さん
07/03/03 01:36:00
近傍系を考えることのできない痩せた幾何学で何か面白いのある？
335:１３２人目の素数さん
07/03/11 21:15:46
384
336:１３２人目の素数さん
07/05/20 00:34:27
いつの間にか伸びてるな
337:１３２人目の素数さん
07/05/20 01:28:46
最新の「数理科学」にいろいろ載ってるぞ
338:１３２人目の素数さん
07/05/20 15:02:08
>334
xの近傍＝xを含むXの開集合
だから、
近傍系自体は、いつでも定義可能なのだが。
339:１３２人目の素数さん
07/05/26 18:48:25
やっぱりフィルタが本質を物語っているように思う
340:１３２人目の素数さん
07/06/15 10:47:22
いつの間にか１年たつのか
341:１３２人目の素数さん
07/08/26 12:23:05
数学専攻ではないのですが、必要があって位相の勉強始めてます。
松坂和夫の集合・位相入門169ページ
で
前項では、P(S)の任意の部分集合M (※1)を与えて、
Mで生成される位相を考えたのであるが、
逆に、Sにおける1つの位相Oが与えられたとき、
Oのある部分集合M (※2)に対してO=O(M)が成り立つならば、
Mは位相Oの(あるいは位相空間(S,O)の)準基底であるという。
とあります。
ここに出てくる※１のMと※２のMは、両方ともSの部分集合の集合だけれども、
※1のMを構成するのは任意の部分集合。
※2のMを構成するのは開集合のみ。
というように、少し違うものを指している、ととらえてよいのでしょうか？
342:１３２人目の素数さん
07/08/26 12:36:16
俺も数学非専攻だけど
>※2のMを構成するのは開集合のみ。
ちがうんじゃなかろか
※１のMと※２のMはどちらも任意の部分集合でいっしょ
前項ではＭから位相空間の作り方を
該当項では、位相ＯとＯ（Ｍ）が仮に一致したら
Ｍを『準基底』と呼ぶ定義を述べてるだけでは？
343:１３２人目の素数さん
07/08/26 12:43:04
>>341
それ, 教科書としてはあんまり良い書き方じゃないね. 「逆に」以下の
> Oのある部分集合M (※2)に対してO=O(M)が成り立つならば、
> Mは位相Oの(あるいは位相空間(S,O)の)準基底であるという。
を次のように読み換えたほうがいいように思う:
「P(S) の部分集合 M が O = O(M) を満たすとき, M を位相 O の準基底という」
もし M がこの定義の意味で準基底であれば, 定理として, M は O の部分集合となる.
その意味では同値な定義. いずれにせよポイントは
(1) S に位相 O が定義されていても,それをいったんわすれる.
(2) P(S) の部分集合 M を持ってきて,前項での説明通りに O(M) を構成する.
(3) もし O と O(M) が一致していたら, M を準基底と呼ぶ.
344:３４２
07/08/26 12:50:47
>>341
ごめん書き方がまずかったかもしれなかった。
結局は、ＭはＯ（Ｍ）とＯの開集合となるので、
>※2のMを構成するのは開集合のみ。
はただしい。ただ、Ｏの開集合系の一部
ただ、前項のように位相Ｏを作り出す構成要素みたいなもんと思っていいんでは
>※1のMを構成するのは任意の部分集合。
という上の意味からすると、これもＯ（Ｍ）を構成する開集合系の一部
つまり、準基というのは、位相を規定するのに全部の開集合を指定しなくても
その構成要素を示す手段と考えられるってことでは
345:１３２人目の素数さん
07/08/26 14:50:36
>>342-344
迅速なレスありがとうございます。
>>343
>もし M がこの定義の意味で準基底であれば, 定理として, M は O の部分集合となる.
そうなんですか。
この定理は松坂本に載ってますかね？
松坂本177pに、
定理１９ 写像f:S->S'が連続であるためには、M'を位相空間S'の１つの準基底（すなわちO(M')=O'）とするとき、任意のm∈M'に対してf'(m)∈Oとなることが、必要かつ十分である。
証明 定理にいう条件が必要であることはいうまでもないから、。。。
とあります。（f'はfの逆関数です。）
「いうまでもない」とは、fが連続であるならばm∈M'に対してf'(m)∈Oとなることが明らかであるということなのですが、
準基底M'が開集合の集合ならば、これは連続写像の定義より明らかなのですが、
準基底M'が任意の部分集合の集合ならば、これは明らかなのだろうか？と疑問に思ったのです。
346:１３２人目の素数さん
07/08/26 15:14:42
線形代数の復習をしたほうが良さげ。
この手のことは、線形空間の基底系（開基とは異なるもの。念のため。）
とのアナロジーですぐに了解できるはず。
347:１３２人目の素数さん
07/08/26 15:21:12
>>345
>M は O の部分集合となる.
前項の（３．１）、（３．２）より明らか
つまり、（３．１）でＭ自身は（３．１）があらわす集合系の部分集合となり
同様に（３．２）があらわす集合系の部分集合となる
従って位相Ｏの部分集合（開集合）となる
348:１３２人目の素数さん
07/08/26 15:32:03
>>345
> この定理は松坂本に載ってますかね？
松坂さんの本は持ってないので知りません。
O(M)の構成方法から直ちに従うべきことなんですが、>>347 さんが書いてくれたので
それを見てください。M ⊂ O(M) を確かめることができると思います。
349:１３２人目の素数さん
07/08/26 15:53:04
ありがとうございます。
疑問が解けました。
>>346
元文系、今も半分文系なので線形代数も知らないんですよね。
集合位相入門を終えたら、松坂先生の線形代数入門で勉強する予定です。
勉強する順番間違えたかな。
350:１３２人目の素数さん
07/08/26 16:05:50
>>349
くどくて悪いけど、一応例を挙げると
実数Ｒをイメージすれば
[∞,a)と(b,∞]が準基
(a,b)が基底（基本近傍系にもなるかな）
上の準基の元２つの積を取れば（３．１）、基底を作ることが出来
さらに基底の無限和（３．２）を取れば位相を構成する
任意の開集合を作ることが出来る
351:１３２人目の素数さん
07/08/26 16:14:51
今頃>>140が繋がりという表現が
連続性の事を言っているのではなく
連結性の事を言っていた事に気付いた俺は空気嫁てない＆痴呆
352:１３２人目の素数さん
07/08/26 18:50:39
>>349
線型代数・多変数微積分・集合は基礎部分でいろいろ
かかわりを持つことも多いので、並行してやるべき。
群論も並行してやると線型代数の理解が早いかもしれない。
353:１３２人目の素数さん
07/08/26 18:53:16
>>349
『集合位相入門』は集合と位相を一緒にしているが、
位相（ジェネラルトポロジー）は後回しにすべき。
位相に入るならR^nの位相の最初のほうで一旦切れ。
354:１３２人目の素数さん
07/08/26 19:08:04
>>352,353
そうなんですか。
位相も、線型代数や解析と関連するところがあるのでしょうか？
四章「位相空間」がもう少しで終わるので、そこで一旦止めて
『線型代数入門』読み始めることにします。
ついでにといってはなんですが、松坂先生の『解析入門』も平行して読むと効率的なんですかね？
355:１３２人目の素数さん
07/08/26 19:18:43
てゆうか、文系で位相が必要なのは何を勉強したいの？
単なる趣味？
356:１３２人目の素数さん
07/08/26 19:31:57
優先順位は
１．解析＝微積に毛の生えたもの
２．線形代数
３．集合・位相．
１～３を同時進行すべきだが、時間が取れんのならこの順にやるべし。
357:１３２人目の素数さん
07/08/26 19:32:06
今は情報です。
位相が出てくるもので。
まあ、分からないまま飛ばしてもよかったんですが。。
線型代数と解析は関係ないですけど。こっちは趣味ですね。
理系科目をひととおり勉強しておきたい、と思いまして。
358:１３２人目の素数さん
07/08/26 19:47:33
>>357
へえ、情報で位相が出てくるんだ
差し支えなっかたら、どんな分野か教えて貰えるとうれすい
機械学習だと、学習理論で位相幾何とか関係するとか聞いたことあるんだけど
あとは、やはり学習でマハラビス距離だっけ？そこらあたりなんかな？
ちなみに、位相は通常学部レベルの非数学科理系の学生は学ばない
線型代数や解析は必須だけど
俺は電気系の学生だったけど、位相は、量子論や相対論より難しいかもしれない
ぐらい難しいんじゃないかと （異論ある人多数かもしんないけどｗ）
359:１３２人目の素数さん
07/08/26 20:00:41
プログラミング言語理論です。
型理論や意味論など。
あまり抽象的なところを専門にするつもりはないですけど、分からないのも癪なので。
360:１３２人目の素数さん
07/08/26 20:03:17
>>359
Ｔｈｘ 初耳だった
ちょっと、調べてみる
>>358の位相幾何は代数幾何の間違いだた
361:１３２人目の素数さん
07/08/26 20:43:02
>>358
初歩の位相は単なる言葉なので、抽象的な理論を苦にしない
タイプのひとならば理解は簡単。量子論や相対論のほうが遥かに
難しい。
362:１３２人目の素数さん
07/08/27 02:01:13
>>361
相対性理論なんて数学科なら山である共変微分や、測地線の方程式あたりは
楽勝じゃないかと
あとはアインシュタインの方程式を残すだけかと
量子力学は、桜井ジュン氏の本とか選べばシュレディンガーの方程式あたりまで
結構スムーズにいくような気がするんだけど（線型代数＋関数解析の初歩知識があれば）
山内氏の解析力学が事前準備に必要だけどこれも問題になるような部分はないかと
363:１３２人目の素数さん
07/08/31 09:09:28
解析入門(杉浦)で位相軽くでてきたけど意味わかんねー
位相は位相でちゃんとやらないとダメそうだな
364:１３２人目の素数さん
07/09/01 19:07:44
>>363
分るって。おめー英語読めるだろ。英語同様、最初苦しいだけだ。
位相は言葉だから、慣れりゃ大したこと無い(w
365:１３２人目の素数さん
07/09/03 10:20:03
いや解析入門だけ読んでも分からんけどね
366:１３２人目の素数さん
07/09/13 19:12:09
ある閉集合Fを含むすべての開集合の共通部分はFになるんですか？
367:１３２人目の素数さん
07/09/13 19:18:28
>>366
2点集合で反例が構成できる。
T3空間なら正しい。
368:１３２人目の素数さん
07/09/14 00:22:42
>>367
ハウスドルフ空間で成り立たないものにはどのようなものがあるんですか？
369:１３２人目の素数さん
07/09/14 02:33:49
>>368
ハウスドルフ空間では>>366は常に成り立つ
より一般に、T1空間でもよい
Fが閉集合でなくてもよい
370:１３２人目の素数さん
07/09/14 02:39:54
ハウスドルフ空間でT3空間でないものにはどのようなものがあるんですか？
371:１３２人目の素数さん
07/09/14 18:55:06
>>370
シンガー＆ソープ著
「トポロジーと幾何学入門」
に，反例が載っていたような希ガス．
372:１３２人目の素数さん
07/09/18 15:57:14
Counterexamples in Topology にいくつか反例がある。
373:１３２人目の素数さん
07/09/28 14:38:11
あんまりいいやり方とはいえないかもしれんが
今なら有限集合上での位相空間を片っ端から調べれば
大抵の反例はすぐに見つかるんじゃないかな
374:１３２人目の素数さん
07/09/29 00:12:14
>>373
コンピュータシミュレーションでもするってこと？
375:１３２人目の素数さん
07/09/29 00:38:55
シミュレーションも何も、ただのバカサーチでしょ
376:１３２人目の素数さん
07/09/29 08:23:21
>>373
有限集合は、ハウスドルフならばT3
377:１３２人目の素数さん
07/09/29 09:53:36
>>376
有限集合は、ハウスドルフなら離散
378:１３２人目の素数さん
07/09/30 17:32:42
Ｔ1の時点で離散じゃねぇか使えねーな
379:１３２人目の素数さん
07/10/30 13:20:11
989
380:１３２人目の素数さん
07/10/30 21:04:27
n個の元からなる有限集合に位相は何種類ありますか?
381:１３２人目の素数さん
07/10/30 21:10:02
今のところnの式では表せないね
382:１３２人目の素数さん
07/10/30 21:27:55
おまいさんにとっては表せないけど、普通の人には表せるんじゃないのか？
383:１３２人目の素数さん
07/10/30 21:29:45
んじゃ表してみてくれ
384:１３２人目の素数さん
07/10/30 21:55:13
位相空間Ｘにおける分離公理
★Ｔ１－空間
任意のｘ∈Ｘおよびｘと異なるｙ∈Ｘに対し、ある開集合Ｕが存在し
、ｘ∈Ｕかつｙ∈／Ｕ
★Ｔ２－空間（ハウスドルフ）
任意の異なる２点ｘ、ｙ∈Ｘに対し、ある開集合Ｕ、Ｖが存在し、
ｘ∈Ｕ、ｙ∈Ｖ、ＵとＶの共通部分は空
★Ｔ３－空間
任意のｘ∈Ｘとｘを含まない閉部分集合Ｆに対し、ある開集合
Ｕ、Ｖが存在して、ｘ∈Ｕ、Ｆ⊂Ｖ、ＵとＶの共通部分は空
★Ｔ４－空間
任意の交わらない閉部分集合Ｆ、Ｇに対し、ある開集合Ｕ、Ｖが
存在して、Ｆ⊂Ｕ、Ｇ⊂Ｖ、ＵとＶの共通部分は空
※このほかにもチコノフの分離公理がある。
385:１３２人目の素数さん
07/10/30 22:04:14
ウリゾーンの補題
Ｘを正規位相空間とする。Ａ、Ｂを交わらない閉部分集合とする。
このとき、ある連続関数ｆ：Ｘ→［０，１］が存在して、
ｆ（ｘ）＝０（∀ｘ∈Ａ）、ｆ（ｘ）＝１（∀ｘ∈Ｂ）
このほかにもティーツェの拡張定理がアルヨ！
386:１３２人目の素数さん
07/10/30 22:21:10
>>383
俺は普通の人じゃなくて、馬鹿だからわからん
387:１３２人目の素数さん
07/10/31 02:55:02
>>384
T3.5とかT5,T6とか、出すなら全部出せよ
388:１３２人目の素数さん
07/10/31 17:56:31
お前もT0忘れてるじゃんｗ
389:１３２人目の素数さん
07/10/31 18:05:11
n=0～60くらいのとき、 n個の元からなる有限集合に位相は何種類くらいありますか?
390:１３２人目の素数さん
07/10/31 18:52:17
>>389
URLﾘﾝｸ(www.research.att.com)
ｽﾚﾘﾝｸ(math板)
f(0)=1, f(1)=1, f(2)=4, f(3)=29, f(4)=355, f(5)=6942, f(6)=209527, f(7)=9535241,
f(8)=642779354, f(9)=63260289423, f(10)=8977053873043, f(11)=1816846038736192,
f(12)=519355571065774021, f(13)=207881393656668953041, f(14)=115617051977054267807460,
f(15)=88736269118586244492485121, f(16)=93411113411710039565210494095,
f(17)=134137950093337880672321868725846, f(18)=261492535743634374805066126901117203
途中から種類の数が跳ね上がるからn=60くらいなんてとてもじゃないが計算無理
f(17),f(18)もやっと今年計算出来たばかり
391:１３２人目の素数さん
07/10/31 19:26:07
>>388
誰が??
392:１３２人目の素数さん
07/10/31 19:40:18
>>390
うおぉ～、そんなスレがあったんか
ありがとん
393:１３２人目の素数さん
07/10/31 19:49:04
有限集合上の位相ってパズルみたいな物だね
394:１３２人目の素数さん
07/10/31 19:54:44
要素数ｎの有限集合上の位相の数で同相なものは除いたものと
位数ｎの有限群の分類、どちらがおおいか？私は前者と思う
395:１３２人目の素数さん
07/10/31 22:55:06
ガウスの素数定理よろしく、結果を眺めてなんか発見でもしようとしたのかね？
自分でプログラムすら組もうとしない人間に簡単にわかる種類の問題じゃないんだが。
396:１３２人目の素数さん
07/11/01 01:49:46
まだ位相を勉強しだしたばかりです
n=3 のときも自分で考えて面倒臭くて嫌になりました
入門書にこんな難しいなんて書いてありましたっけ?
397:１３２人目の素数さん
07/11/01 02:11:05
>>396
位相が役に立つのは函数解析や偏微分方程式をやったときダヨ！
398:１３２人目の素数さん
07/11/01 09:00:08
>>396
有限集合の位相なんてそんな組合せ論的対象が
数えるの大変なことぐらい言われなくてもわかれよ。
399:１３２人目の素数さん
07/11/01 11:28:38
>>396
そもそも難しくないから難しいなどとと書く必要がない。
400:１３２人目の素数さん
07/11/01 15:19:51
↑天才あらわる
401:１３２人目の素数さん
07/11/01 15:41:39
面倒なのと難しいのとは混同すべきではないよな。
有限集合の位相を書き出す問題は、ただ面倒なだけで
論理的には簡単だろう。計算量的な問題と思うと
その困難さは組合せ論的な特徴が出てるけど。
402:１３２人目の素数さん
07/11/01 16:08:59
有限単純群の分類も簡単
403:１３２人目の素数さん
07/11/01 16:09:41
四色問題も簡単
404:なんつっ亭 ◆YLhguIEUXM
07/11/01 22:44:16
>>402-403
それイーソー。
なんつって＾＾； （詳しくは、「アイドリング」で検索）
405:１３２人目の素数さん
07/11/02 02:36:47
実際には十何桁を越したあたりで、
現代的な計算機を使ってもしらみつぶしに全数数え上げるのは難しくなるから
それなりの工夫をしないといけないんだろうけどね。
406:１３２人目の素数さん
07/11/02 07:32:28
素因数分解も簡単
407:１３２人目の素数さん
07/11/02 09:07:32
RSA暗号解読も簡単
408:１３２人目の素数さん
07/11/06 02:54:58
>>397
>位相が役に立つのは函数解析や偏微分方程式をやったときダヨ！
非ハウスドルフな位相が、関数解析は偏微分方程式で役に立つ例を
教えてくれ！
409:１３２人目の素数さん
07/11/06 02:56:07
×関数解析は偏微分方程式で
○関数解析や偏微分方程式で
410:１３２人目の素数さん
07/11/06 09:38:40
A君の家とB君の家を考える。
距離ｄ（A,B）をA君の家からB君の家に行く時間と考えると
ｄ（A,B)≠ｄ（B,A)
なぜならばA君の家とB君の家の間には坂道があるから。
このように考えると距離空間というのは
非常にまれなケースでしかない。
411:１３２人目の素数さん
07/11/06 09:58:15
単純に所要時間は距離の公理を満たさないというだけで、
距離空間が特殊だってことの説明にはなってないと思う
412:１３２人目の素数さん
07/11/06 10:04:43
単純にd(x,y)≠d(y,x)が成り立たない例を考えたんだけど
他の公理が成り立たないようにして
距離空間をくずしてもいいんだよね。
413:１３２人目の素数さん
07/11/06 10:15:22
[0,1]上の関数の集合で
距離d(f,g)=|f-g|の面積で定義したら
d(x,y)=0 → x=y
が成り立たなくから距離空間でなくなるね。
414:１３２人目の素数さん
07/11/06 10:21:48
反例がいくつも容易に作れるからといって
それが特殊な概念だということには繋がらない。
喩えるなら、具体的に数を思い浮かべるとき、
有理数をたくさん容易に思いつくことはできるが
実数は有理数よりも高い濃度で無理数を含むとか、
思いつく自然数をたくさん言えといわれると、どうしても
ある程度以下であることになるが、それよりも
はるかに大きな自然数がいつでも無限にとれるとか。
415:１３２人目の素数さん
07/11/06 11:51:41
位相を進めるってどうやるんですか？
416:１３２人目の素数さん
07/11/06 12:33:52
ここに出ているよ↓
URLﾘﾝｸ(pinktower.com)
417:１３２人目の素数さん
07/11/06 12:42:54
>>415
それはここで話題にしてる位相 (topology) じゃなくて
物理なんかで言う位相 (phase) じゃないのか？
418:１３２人目の素数さん
07/11/06 12:45:28
phaseのスレじゃないのですか…
失礼しました
419:１３２人目の素数さん
07/11/06 14:50:29
位相をphaseと勘違いする奴がなんで数学板にいるんだろう
420:１３２人目の素数さん
07/11/06 18:22:30
phase で topology を調べる話が量子力学にあるけどね。
421:１３２人目の素数さん
07/11/06 18:28:31
そりゃまた日本語で書くとややこしそうな話だな
422:１３２人目の素数さん
07/11/06 20:07:22
普通は距離空間が充分一般的でないことを言いたいなら、
距離が入らない位相空間で、重要なものがたくさんあることを
例示して説明したりすんじゃないの。
423:１３２人目の素数さん
07/11/08 09:21:03
>>422
例えばどんなの？
424:１３２人目の素数さん
07/11/08 23:45:48
俺は別に距離空間が特殊だとは思ってないんだけど、
例えば代数幾何で出てくるZariski位相とか。
あとどの程度重要なのか分からんけど、
集合論で順序数とか一般の順序集合に順序位相入れて議論したりすることもある。
425:１３２人目の素数さん
07/11/08 23:52:00
あげ
426:１３２人目の素数さん
07/11/09 01:37:54
関数空間の弱位相とか
427:１３２人目の素数さん
07/11/09 02:07:04
逆に距離の入る位相でも、p進位相のように初学の際には
「なんつー距離の入れ方するんだ」みたいなのもあるね。
428:１３２人目の素数さん
07/11/09 09:46:50
>>424
424さんは数学に慣れてるか、頭がいいかのどっちかだと思う。
今までネコしか見た事無い子供にイヌを見せてもネコという判断をしてしまうらしい。
その子には「これはイヌだよ」と言って、沢山のイヌとネコを見せて
違いをうえつけていかねばならないそうだ。
つまり、今まで距離空間しか体験した事の無い人に位相空間を教えるには
たくさんの距離空間と位相空間を見せて
その人の頭の中に、距離空間と位相空間のクオリアを作り上げていかねばならないと思う。
（位相空間を距離空間でない位相空間だという意味で書いてるよ）
429:１３２人目の素数さん
07/11/09 10:28:08
>>422-424 は >>410 に対するものじゃないの？
だとすると >>428 はズレてる気ガス
430:１３２人目の素数さん
07/11/10 09:12:07
>>429
確かにちょっとずれてるかも。
ただ俺としては距離空間の世界観で生きてきた人に対して
位相空間というものを実感させるには
位相空間をたくさん見せる事が必要だと思ったんだ。
それも距離空間に近いものからの方が実感しやすいと思った。
まず、イヌとネコの違いが分かるようになってから
イヌやネコについて知識を深めていけるからね。
431:１３２人目の素数さん
07/11/10 09:57:20
何も足さない、何も引かない。
位相は位相として理解すべし。
432:１３２人目の素数さん
07/11/10 10:54:17
>>410
はフィンスラー幾何だね。
433:１３２人目の素数さん
07/11/10 11:11:17
位相の基ってなんだよ
434:１３２人目の素数さん
07/11/10 14:21:53
物理、それも理論物理屋ですが・・・。位相の言葉づかいには困っています。
(1) sin(φ）, sin(k x + φ）, exp(i Φ) の形式では、φ、k x + φ、Φを
位相と言う。k x に対して、k x + φでは、位相がφだけすれている。（位相のずれ）
(2) 横軸ｘ、縦軸ｐの空間で、１粒子の１次元の質点の運動が記述できる。
ある時刻tの(x,p) は、位相点、位相点が運動するこの空間は位相空間.
ハミルトン力学はこの空間上での記述がふさわしい。他、リウヴィルの定理
（位相空間内での運動系の流体のような扱い）はこの上で成り立つ保存則。
(3) 位相幾何学、位相数学の「位相」
量子力学の波動関数はノルムを別にすれば複素単位円上、U(1)の世界にあり、
量子ピンの代数は、パウリ行列を使って、SU(2)の代数を持つ。
さて伺いたいことあり。数学屋は、(2)の位相空間も関知しないのですか？
いや、意義は認めても、(2)の件は、位相空間とは呼ばないののですか？
物理屋に向かって、これは位相と呼ぶな、という提案があればどうぞ。
我々も混乱していますので。
435:１３２人目の素数さん
07/11/10 14:49:41
エーゲに位相は入りますか
436:１３２人目の素数さん
07/11/10 15:14:20
提案など無いが、数学では phase space を相空間という。
437:１３２人目の素数さん
07/11/10 15:39:44
>>431 古くね?
438:１３２人目の素数さん
07/11/10 20:09:49
洋書を読め。単に日本語訳の問題だ。
439:１３２人目の素数さん
07/11/12 11:10:43
>>434
よく分からない。
物理はあまり知識ない。
440:１３２人目の素数さん
07/11/12 11:31:51
phase
topology
441:１３２人目の素数さん
07/11/13 19:52:18
bourbaki の下巻だけきた
上巻はまだヽ(*｀Д´)ノ
442:１３２人目の素数さん
07/11/13 19:59:38
ブル履きってまだ売っているの？
443:１３２人目の素数さん
07/11/13 20:05:55
英語版
444:１３２人目の素数さん
07/11/13 20:30:56
ブル履きって二巻で終わりか
445:１３２人目の素数さん
07/11/14 00:23:47
売ってるよ。英語版とか仏語版とか。
446:１３２人目の素数さん
08/01/30 23:27:21
niemytzki平面
これなんて読むの？
447:１３２人目の素数さん
08/03/28 15:07:09
480
448:１３２人目の素数さん
08/04/12 12:36:06
age
449:１３２人目の素数さん
08/04/22 00:49:11
age
450:１３２人目の素数さん
08/04/22 20:26:36
位相セレナーデ by 井上陽水
451:素人
08/05/18 05:47:00
どなたか具体的な例を教えていただけませんか？
L2(a,b)に属してL2(R)に属さない関数はf(x)=x等ありますが、
L2(R)に属する関数がわかりません
もひとつ、L1の属する具体的な関数を教えてください
452:１３２人目の素数さん
08/05/18 09:45:17
>>451
f(x)=1 (0<x<1) f(x)=0 (その他のx)とかがある
453:１３２人目の素数さん
08/05/18 17:32:39
>>451
compact support（要するにある有限区間の外では0である関数）はL1(R)にもL2(R)
にもL2(a,b)にも属するのは明らかで, >>452はその一例.
連続関数でってことなら, f(x)=e^{-x^2}とか.
なお, L2(R)に属していてL2(a,b)に属さないということはない. 念のため.
L1(R)に属してL2(R)に属さない例は, 原点付近で1/√|x|みたいになっていれば桶（遠方は適当にちょん切る）.
L2(R)に属してL1(R)に属さない例は, 遠方で1/|x|みたいになっていれば桶（原点付近は適当にちょん切る）.
454:素人
08/05/21 05:46:22
ありがとうございます
L1(R)に属してL2(R)に属さない例は, 1/√|x|
L2(R)に属してL1(R)に属さない例は, 1/|x|
と言ってはいけないのですか？
455:１３２人目の素数さん
08/05/21 08:07:55
>>1
長さを測る定規についての決め事。
456:１３２人目の素数さん
08/05/21 11:58:16
>>455
それは距離じゃないのか。
457:453
08/05/21 12:27:36
>>454
積分を(|x|<a)と(|x|>a)に分けて考えよ. （面倒なので以下x>0の部分だけで書く）
a>0は何でも同じなので以下a=1として書く.
1/xの積分は(0,1)でも(1,∞)でも発散で, 1/x^p (p>0)の積分が収束するか発散するか
は(0,1)でも(1,∞)でもp=1が境目だが, (0,1)ではpが大きいほど収束しにくく（原点
での発散度が強くなるから）, (1,∞)ではpが小さいほど収束しにくい（x→∞のときの
減少度が弱くなるから）.
というわけで,
1/√xの積分は(0,1)では収束するが(1,∞)では発散するから, x>0全体でずっと1/√xの
ままだとL1でない.
1/x^2の積分は(1,∞)では収束するが(0,1)では発散するから, x>0全体でずっと1/xの
ままだとL2でない.
458:素人
08/05/23 06:52:44
ありがとうございました
459:１３２人目の素数さん
08/06/02 23:49:15
二年。
460:１３２人目の素数さん
08/07/23 04:06:10
902
461:無限に悩む
08/08/16 19:22:58
どなたか無限次元ヒルベルト空間と有限次元ヒルベルト空間の違いを教えて下さい
無限次元になると何がうれしいのでしょうか？
462:１３２人目の素数さん
08/08/17 11:47:51
関数空間を考えられる。
463:１３２人目の素数さん
08/08/17 16:03:21
>>450
吹いた
464:１３２人目の素数さん
08/08/17 22:00:17
完備とコンパクトの違いについて教えてください。
完備が距離空間での言葉、コンパクトが距離空間または位相空間での言葉でよいですか？
465:１３２人目の素数さん
08/08/17 22:17:13
定義見れば違いがわかるだろ
むしろどこに似たものだと勘違いする要素があるのか逆に問いつめたいくらいだ。
466:１３２人目の素数さん
08/08/17 22:25:27
だって、位相の30講の第17講のコンパクトの定義が、
【定義】距離空間(X,d)が次の性質(C)をもつとき、Xはコンパクトであるという：
(C) Xから任意に無限点列をとったとき、この無限点列はXの中に必ず集積点をもつ
って書いてあるけど、これじゃ完備の定義と一緒に見えます。
第19講義に書いてある完備の定義は
【定義】距離空間(X,d)において、任意のコーシー列が、必ずある点に収束するとき、
Xを完備であるという
です。
どっちも集積点を含んでいればおｋの様に思えるのですが。
この定義の違いってなに？
467:１３２人目の素数さん
08/08/17 22:35:31
完備距離空間でコンパクトでない例を考えれば定義の違いは自ずと明らかだろ
468:１３２人目の素数さん
08/08/17 22:53:50
まさか、Rは完備だけど、コンパクトじゃないって事か・・・
469:１３２人目の素数さん
08/08/18 00:58:27
集積テント極限店の違いがわからんとは
なかなか面白いことを言う。
470:１３２人目の素数さん
08/08/22 19:37:13
>>466
>どっちも集積点を含んでいればおｋの様に思えるのですが。
>この定義の違いってなに？
完備の定義って、集積点含んでないじゃん。
471:１３２人目の素数さん
08/08/24 20:56:18
じゃあ、有理数Qは完備でコンパクトではないんだ。ほんとかよ。
472:１３２人目の素数さん
08/08/24 20:59:08
完備距離空間
出典: フリー百科事典『ウィキペディア（Wikipedia）』
（完備 から転送）
移動: ナビゲーション, 検索
数学において距離空間 M が完備（かんび、complete）であるとは、距離空間 M におけるいかなるコーシー列も M 内の点に収束することである。またこの空間のことを完備距離空間（complete metric space）と呼ぶ。
[編集] 例
絶対値による通常の距離を入れた有理数全体の集合 Q は完備ではない。例えば x1 = 1 と xn+1 = xn/2 + 1/xn で定義された数列で考えると、これは有理数からなるコーシー列であるが、収束点は √2、即ち無理数に収束しており、完備でないことがわかる。
距離空間 M を通常の距離を入れた開区間 (0, 1) と定める。このときコーシー列 {1/2, 1/3, 1/4, 1/5, ...} は M 内に収束しないので、完備ではない。しかし閉区間 [0, 1] は完備である。
通常の距離を持つ実数直線 R、複素数平面 C および、n 次元ユークリッド空間 Rn は完備である。
[編集] 定理
距離空間 M がコンパクトであることと、M が完備かつ全有界であることは同値である。
473:１３２人目の素数さん
08/08/24 21:00:47
Rは完備だがコンパクトではない。
474:１３２人目の素数さん
08/08/24 21:02:19
無限数列 (xn) について
が成立するとき、数列 (xn) はコーシー的である、コーシー性を持つ、あるいはコーシ－列であるという。
475:結論
08/08/24 21:03:16
無限点列とコーシー列は同じ物ではない。
476:１３２人目の素数さん
08/08/24 21:04:33
確認になったから、文句もないが、何故、自分で調べない？
477:１３２人目の素数さん
08/08/24 21:05:59
コーシー列は距離が０に収束していくが、無限点列は必ずしもそうはならない。
478:１３２人目の素数さん
08/08/24 21:10:38
669 ：１３２人目の素数さん：2008/08/24(日) 19:58:59
Mが境界のあるk次元多様体ならば∂Mはk-1次元多様体、M-∂Mはk次元多様体であることを証明せよ
お願いします
670 ：１３２人目の素数さん：2008/08/24(日) 20:05:08
>>669
多様体の基礎とかに
そのまま載ってなかったか？
671 ：１３２人目の素数さん：2008/08/24(日) 20:19:45
多様体をどれででもいいから構成しないと確か証明できないのでは、、、？
479:１３２人目の素数さん
08/08/24 22:56:03
>>472
そんなゴミみたいなサイトからゴミみたいなもん引用してくんなよ
480:１３２人目の素数さん
08/08/25 02:00:38
英語版は結構知らないことも書いてあって勉強になるよ。
481:１３２人目の素数さん
08/08/25 02:32:41
英語版の話なんか誰もしていないわけだが
482:１３２人目の素数さん
08/08/25 05:57:47
俺がしてるよ
483:１３２人目の素数さん
08/09/10 21:01:22
hage
484:2ちゃんねる
08/09/28 06:28:36
R^ω(R^ωはRの可算個の直積)における一様位相⊂箱位相を示しています。
距離空間(R^n,f) (但し fはユークリッドの距離). その時,g:R^n×R^n→[0,1]をR^n×R^n∋∀(x,y)g(x,y):=min{f(x,y),1}と定義し,fにおける標準有界距離(standard bounded metric)という。
そしてh:{{x_λ};x_λ∈R}×{{y_λ};y_λ∈R}→[0,1]を
∀({x_λ}, {y_λ})→h({xλ},{yλ}):=sup{g(x_λ,y_λ)∈R;λ∈Λ}と定義し,一様距離という。
そしてこの一様距離から誘導される位相T_u:={h^-1(s);s∈T (TはRの通常の位相)}はR^ω上での位相をなす(?)。
この一様位相と
箱位相T_b:={∪[b∈B']b;B'⊂{Π[λ∈Λ]U_λ;U_λ∈T_λ}}
との包含関係を示しています。T_u⊂T_bだと思うのですが
T_uの元h^-1(s)は{({x_λ},{y_λ});{x_λ},{y_λ}⊂R}という形(つまり,2^(2^R×2^R)の元)していて
T_bの元∪[b∈B']bは(B'∈2^2^R^ωなので)2^2^2^R^ωの形をしていてどうもT_u⊂T_bになりそうに無いのですが、、、
どうすれば示せますでしょうか?