位相についてわかり安く教えてくれ

位相についてわかり安く教えてくれ at MATH

1:１３２人目の素数さん
06/06/02 23:49:15
公理から意味不明

2:１３２人目の素数さん
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にどうやるのかがわかりません。問１－１をお願いです
こうやって答えろっていう解答を教えてください。
あと問１－２、問３も解いて答えを教えてください。
問２は解けました。

次ページ