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

1 ：１３２人目の素数さん：2006/06/02(金) 23:49:15

公理から意味不明

2 ：１３２人目の素数さん：2006/06/03(土) 00:10:29

お前馬鹿

3 ：１３２人目の素数さん：2006/06/03(土) 00:18:22

位相セレナーデ

4 ：１３２人目の素数さん：2006/06/03(土) 03:02:24

>>3＝おっさん

5 ：１３２人目の素数さん：2006/06/03(土) 03:20:07

つはじめよう位相空間

6 ： ◆27Tn7FHaVY ：2006/06/03(土) 13:53:10

「できる！位相空間」

7 ：１３２人目の素数さん：2006/06/05(月) 00:18:33

位相king死ね

8 ：１３２人目の素数さん：2006/06/05(月) 04:39:52

なっとくできる位相？とかどうよ。

でも松坂和夫を読んでわからないヤシは、どうしようもないらしいが。
個人的には、内田伏一が薄くてバックの幅を取らないから好き。

9 ：１３２人目の素数さん：2006/06/05(月) 05:52:15

一番分かりやすいのは・・・

実平面R^2を考える。普通のxy平面のことね。
そこで「距離」の性質を考えるわけだ。
んで、その距離が持つ性質を一般化したものが位相。

10 ：１３２人目の素数さん：2006/06/05(月) 05:54:05

居候

11 ：１３２人目の素数さん：2006/06/05(月) 05:56:06

>>10

ねぇ、楽しいの？
何でここで駄洒落言ってくるかな？
楽しいの？ねぇ？？？
何で駄洒落書くのさ・・・。何でだ！！！

12 ：１３２人目の素数さん：2006/06/05(月) 06:12:56

糞スレなので

king

13 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/05(月) 07:25:21

talk:>>7 お前に何が分かるというのか？
talk:>>12 何考えてんだよ？

14 ：１３２人目の素数さん：2006/06/05(月) 07:29:14

>>10
うまいっ！

15 ：greensleeves☆KINGの弟子 ◆bhb.NJHtRg ：2006/06/05(月) 17:30:59

talk:>>7 お前に何が分かるというのか？
talk:>>1 距離空間からやってみよう。

16 ：１３２人目の素数さん：2006/06/05(月) 18:05:46

俺、数学専門じゃないけど、実用上はほとんど距離空間でOKじゃね？

俺の知る限り、一般の位相空間が必要になる状況って・・・
バナッハ空間に弱位相入れれば距離空間扱いできず、
（ハウスドルフ）位相空間として処理せざるをえない。

他にも一般の位相空間 使うの？

17 ：１３２人目の素数さん：2006/06/05(月) 18:08:00

海草食うかい？

18 ：１３２人目の素数さん：2006/06/05(月) 18:22:14

借りた海草はちゃんと返そう

19 ：１３２人目の素数さん：2006/06/05(月) 18:25:06

安ければ

20 ：１３２人目の素数さん：2006/06/05(月) 18:53:22

今日、演習の時間に位相がわかりません。
って言ってた子がいた。

21 ：１３２人目の素数さん：2006/06/05(月) 18:58:25

king

22 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/05(月) 19:33:03

talk:>>21 私を呼んでないか？

23 ：１３２人目の素数さん：2006/06/05(月) 19:39:48

king

24 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/05(月) 19:44:05

talk:>>23 私を呼んだだろう？

25 ：１３２人目の素数さん：2006/06/05(月) 19:47:07

king

26 ：１３２人目の素数さん：2006/06/05(月) 19:53:42

キングー

27 ：１３２人目の素数さん：2006/06/05(月) 20:05:44

kinj

28 ：１３２人目の素数さん：2006/06/05(月) 20:06:56

k

29 ：１３２人目の素数さん：2006/06/05(月) 20:36:43

i

30 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/05(月) 22:06:43

talk:>>25-26 私を呼んだだろう？

31 ：１３２人目の素数さん：2006/06/05(月) 22:59:56

内田が薄くて良い
あれが分からなかったらまず志賀の30講から始めれば
まず挫折することは無い

で、或る程度勉強したらちくまから出てる位相のこころが非常に分かりやすくて良い
ちょっと難しいけどね

>>16
代数幾何のZariski位相とかはHausdorffですらない

32 ：１３２人目の素数さん：2006/06/06(火) 04:25:08

Zariski位相って何で重要なの？

33 ：１３２人目の素数さん：2006/06/06(火) 04:26:37

king

34 ：１３２人目の素数さん：2006/06/06(火) 04:30:22

氏ね

35 ：１３２人目の素数さん：2006/06/06(火) 05:02:25

king

36 ：１３２人目の素数さん：2006/06/06(火) 05:31:20

スキーム

37 ：１３２人目の素数さん：2006/06/06(火) 08:06:16

>>32
代数的多様体に入る唯一の位相。
位相概念を拡張すればグロタン位相とかあるけどね。

38 ：１３２人目の素数さん：2006/06/06(火) 10:28:08

>>37
厳密に言えば、複素数体上の代数多様体には
通常の位相も入るぞ・・・細かい事なので下げる

39 ：１３２人目の素数さん：2006/06/06(火) 10:46:47

位相がわからんと言う椰子は、決まって距離空間が分かってない。
分かってると、距離空間を土台にして、
抽象化へのモチベーションになる。
なんでこんなものを考えるのかっていう
モチベーションみたいなものがないと、位相で崩れる。
俺も去年はそうだった

40 ：１３２人目の素数さん：2006/06/06(火) 10:57:20

>>37
そうだね。言い方が悪かった。
任意の体上の代数多様体に入れることの出来る唯一有効な位相。

41 ：k,fh：2006/06/06(火) 14:23:38

内田伏一「集合と位相」

42 ：１３２人目の素数さん：2006/06/06(火) 14:32:56

早めに崩れた方がよいそうだ。

43 ：１３２人目の素数さん：2006/06/06(火) 14:44:54

知識としては３０講に書いてあるくらいでほとんど間に合うと思う。
あとは公理に従った形式的議論を使いこなせるよう演習しておけば十分。

・・・なんて書いたらたたかれそうだな。
おれのリアルな現状なんだがorz

44 ：１３２人目の素数さん：2006/06/06(火) 14:46:39

>>43
>>42

45 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/06(火) 15:09:00

talk:>>33,>>35 私を呼んだだろう？
talk:>>34 何考えてんだよ？

46 ：１３２人目の素数さん：2006/06/06(火) 15:13:23

king

47 ：１３２人目の素数さん：2006/06/06(火) 15:16:15

k

48 ：１３２人目の素数さん：2006/06/06(火) 15:17:59

>>43
いや全然間に合わないから

49 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/06(火) 15:19:19

talk:>>46 私を呼んだだろう？

50 ： ◆PWskHOpZC2 ：2006/06/06(火) 15:32:08

ね

51 ：きん ◆D555SWUd6Y ：2006/06/06(火) 15:52:18

ね

52 ：king ◆Q4FzmqJhB6 ：2006/06/06(火) 16:27:18

ね

53 ：１３２人目の素数さん：2006/06/06(火) 16:46:05

king

54 ：１３２人目の素数さん：2006/06/06(火) 16:48:46

1 名前：１３２人目の素数さん 投稿日：2006/06/02(金) 23:49:15
公理から意味不明


2 名前：１３２人目の素数さん 投稿日：2006/06/03(土) 00:10:29
お前馬鹿


ﾜﾛﾀ

55 ：１３２人目の素数さん：2006/06/06(火) 17:06:14

>>54
king氏ね

56 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/06(火) 21:11:51

talk:>>52 お前誰だよ？
talk:>>53 私を呼んだだろう？
talk:>>55 お前に何が分かるというのか？

57 ：１３２人目の素数さん：2006/06/06(火) 21:58:00

>>54
死ね

58 ：１３２人目の素数さん：2006/06/06(火) 22:33:26

高橋渉著（だったと思う）の薄い本もいいような希ガス。
有向集合に対する収束とかも書かれているし…
解析向きかな…

59 ：１３２人目の素数さん：2006/06/07(水) 18:50:05

うざ

60 ：greensleeves☆KINGの弟子 ◆bhb.NJHtRg ：2006/06/07(水) 18:54:12

位相空間はとても重要なものだぞ

61 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/07(水) 18:55:09

talk:>>57 何やってんだよ？

62 ：１３２人目の素数さん：2006/06/07(水) 18:56:39

うざこ

63 ：１３２人目の素数さん：2006/06/07(水) 20:10:40

>>61
可哀想

64 ：１３２人目の素数さん：2006/06/07(水) 20:57:12

かわ位相

65 ：１３２人目の素数さん：2006/06/08(木) 03:11:00

森毅の位相のｺｺﾛって文庫が出てるから読め

66 ：１３２人目の素数さん：2006/06/08(木) 05:20:25

メールLANの奴死ね

67 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/08(木) 07:38:56

talk:>>63,>>66 何やってんだよ？

68 ：１３２人目の素数さん：2006/06/08(木) 08:51:09

>>64
なんでそこでシャレがでるかな〜
なんでかな〜

69 ：１３２人目の素数さん：2006/06/08(木) 08:52:50

>>42も誉めてね☆

70 ：１３２人目の素数さん：2006/06/08(木) 08:54:06

猛者はブルバキ

71 ：１３２人目の素数さん：2006/06/08(木) 09:03:47

>>1
おおざっぱに言えば「距離という概念の拡張・一般化」だろ

ふだん当たり前のように使っている距離という概念の本質は何なのか？
それを抽出することで、日常の3次元空間とはかけ離れた
抽象的な空間の中でも「距離」を考えることが出来る。

72 ：１３２人目の素数さん：2006/06/08(木) 10:50:55

位相概念が集合概念と一緒にまとめられるのはなんかおかしいと思う

73 ：１３２人目の素数さん：2006/06/08(木) 14:21:21

XからYへの写像とその連続性さえ定義できればXは集合でなくてもいいのです

74 ：１３２人目の素数さん：2006/06/08(木) 18:10:31

tan(π/7)+tan(2π/7)-tan(3π/7)の値はどうすれば求めれますか？

75 ：１３２人目の素数さん：2006/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 ：１３２人目の素数さん：2006/06/09(金) 20:56:06

「近く」または「つながっている」を表現した概念。

しかし、p進的に近いとか遠いとか未だにわからない俺。

77 ：１３２人目の素数さん：2006/06/09(金) 21:18:40

解り易いが正しい。
安いではない。

78 ：１３２人目の素数さん：2006/06/10(土) 11:48:40

何を言ってるんだこのクズは

79 ：１３２人目の素数さん：2006/06/10(土) 12:25:13

>>78 お前に何が分かるというのか？

80 ：１３２人目の素数さん：2006/06/10(土) 12:51:35

>>1がぶち切れ

81 ：１３２人目の素数さん：2006/06/10(土) 23:10:55

カス乙

82 ：１３２人目の素数さん：2006/06/11(日) 00:31:55

分かり易い、だし。

83 ：１３２人目の素数さん：2006/06/11(日) 00:45:35

安めぐみがどうしたって？

84 ：１３２人目の素数さん：2006/06/11(日) 08:26:48

超king関数は位相的性質を満たしますか？

85 ：1〜84：2006/06/11(日) 12:04:07

○　位相セレナーデ（小夜曲）
○　xy平面での｢距離」の概念を拡張したものが位相
○　実用上ほぼ実空間でＯＫじゃね？　だが一般の位相空間の必要状況とし
　　バナッハ空間に弱位相入れると距離空間扱い不能→ハウスドルフ空間処理・・
○　代数幾何でのザリスキー位相はハウスドルフですらない
○　ザリスキー位相、何で重要？
　　　　→　代数的多様体に入る唯一の位相
　　・厳密には複素数体上の代数多様体には通常の位相も入る

○　距離空間＋抽象化＝位相
○　志賀の３０講、内田伏一「集合と位相」
　　あとは公理に従った形式的論理使いこなせるよう演習・・
○　位相空間はとても重要・・
　

86 ：１３２人目の素数さん：2006/06/11(日) 12:10:09

>>85
○　おおざっぱに距離概念の拡張・一般化
　　距離の本質＋α＝位相
○　｢近く」または「つながっている」を表現した概念
○　ＸからＹへの写像とその連続性さえ定義できればＸは集合でなくてもよい・
○　安めぐみがどうしたって？
　　　　　　　　　　　　　　　　　　　　　　　とりあえずメモった。

87 ：１３２人目の素数さん：2006/06/11(日) 12:12:11

えらいっ！

88 ：１３２人目の素数さん：2006/06/11(日) 13:20:21

↓お前の言ってる事は胡散臭いんだよ

89 ：１３２人目の素数さん：2006/06/11(日) 13:25:22

宮内さんが『それ行け、やれ行け、ニッポン放送だ』と言うのを聞いちゃったと言われれば、聞いちゃった。

90 ：１３２人目の素数さん：2006/06/12(月) 08:31:48

距離概念の拡張・一般化は一様空間と考えるのが適当。
距離空間だと一様位相独自の性質、例えば完備性とか全有界などが
あるから、位相空間を距離空間の一般化と単純に考えるとおかしなことになる。

91 ：１３２人目の素数さん：2006/06/12(月) 08:54:16

うんだから単純には言えないけど
とりあえず初学者の入門のために

92 ：１３２人目の素数さん：2006/06/12(月) 09:00:20

教科書読め

93 ：１３２人目の素数さん：2006/06/12(月) 10:06:18

読んでも分からないから
こういうスレが立つんだろうに

94 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/12(月) 13:33:00

talk:>>84 何やってんだよ？

95 ：１３２人目の素数さん：2006/06/12(月) 15:07:29

こう、例えば、「次元」とは何かを考えた時に、「位相」が不可欠なのではないのか？
つまり、こんな感じにつながってるんだよね、って言わないと次元は定義できないのではないのか？

96 ：１３２人目の素数さん：2006/06/12(月) 15:09:52

関係ない

97 ：１３２人目の素数さん：2006/06/12(月) 15:12:18

要素と集合と濃度だけだと「次元」は決まらないですよね。
これに「位相」だけでは、「次元」は決まりませんか？

98 ：１３２人目の素数さん：2006/06/12(月) 15:15:48

質問内容から察するに線型空間の次元をイメージしていると思う。
線型代数の教科書を読めば少しははっきりするでしょう。
他にもいろいろな「次元」があるけど、それは少し先の話題ですな。

99 ：１３２人目の素数さん：2006/06/12(月) 15:18:46

基底が入って、線形独立とかって話がないと決まらないですか？

100 ：１３２人目の素数さん：2006/06/12(月) 15:26:51

次元 dimension
[定義]
正規位相空間Ｒの任意の有限開被覆に対し、 細分として位数 たかだかｎ＋１の開被覆がある場合、 dimＲ≦ｎとする。
dimＲ≦ｎ かつ dimＲ＜ｎ−1 でない時 dimＲ＝ｎ とし、これをＲの次元という。 （次元には様々な定義があるため、
特にこの定義を 被覆次元 covering dimension または レベッグ次元 Lebesgue dimension とも言う。）
[イメージ]
ある点に対して、お互いが重ならない近傍がｎ＋１個取れるが、 ｎ＋２個目を取ろうとすると既に取ったｎ＋１個の
どれかに重なってしまう。 （もし重なりが出来ると、その重なった部分もまた開被覆なので、 位数の定義である
「ｎ＋２個目を取ろうとすると共通点が無くなる」 という定義に反してしまう。） ０次元(点)の場合は１個までしか
開集合を取れないが、 １次元(線)という広がりの構造を入れることで追加で一つの近傍を取れる。
以降、次元が１つ増える都度、独立に「近く」の概念を一つ追加できる、 というわけである。

101 ：１３２人目の素数さん：2006/06/12(月) 15:27:56

>>99
あなたが話している「次元」の定義は何？

102 ：１３２人目の素数さん：2006/06/12(月) 15:32:59

>>95のいうような次元はn次元ユークリッド空間というモデルを前提にしてイメージされる次元。
つまりは多様体の次元ということになる。
しかし、>>97のように位相「だけ」から次元を定義しようとすると話はもっとややこしくなる。

103 ：１３２人目の素数さん：2006/06/12(月) 16:00:49

ブルーバックスの「次元とはなにか―高次元への扉を開く」（田尾鶉三）がいい。
たしか絶版だったと思うが図書館にあるかな。

104 ：１３２人目の素数さん：2006/06/12(月) 18:24:12

king位相はどんな位相よりも強い位相である。

105 ：１３２人目の素数さん：2006/06/12(月) 18:27:53

離散位相ってことね。
すべての点が孤立している。

106 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/12(月) 20:41:41

talk:>>104 私を呼んでないか？

107 ：１３２人目の素数さん：2006/06/12(月) 20:45:10

呼んでない

108 ：１３２人目の素数さん：2006/06/12(月) 21:07:12

次元=基底の数
としかわからん

109 ：１３２人目の素数さん：2006/06/12(月) 22:00:24

>>97
次元論を知りたいなら、今手に入る本としては
　「集合論的位相幾何学」古関 健一
ttp://www.amazon.co.jp/exec/obidos/ASIN/4837503802/qid=1150116908/sr=1-1/ref=sr_1_0_1/503-8636275-1755969
がある。
　「次元論」森田紀一　岩波書店
はこれより詳しいが、古い本で絶版。図書館で見るしかない。

110 ：１３２人目の素数さん：2006/06/12(月) 22:17:52

横から質問すまそ。
何で被覆次元なんてものを考えるようになったの？

111 ：１３２人目の素数さん：2006/06/13(火) 09:29:36

積分論的な次元を考えたかったんじゃないの？

112 ：１３２人目の素数さん：2006/06/13(火) 16:58:49

>>111
その独創的なあいであを説明しちはくれんか？

113 ：１３２人目の素数さん：2006/06/16(金) 02:24:49

340

114 ：１３２人目の素数さん：2006/06/16(金) 23:21:55

ああ、思い出した。思い出した。
つまり、カントールを少し読むと、集合って今みたいにのっぺりしてないのね。
まあ、それはいいんだけど、つまり、最初は次元が上がれば、濃度が増えるって
思ってた訳ですよね。なんて言うか、次元を測れない測定法で一生懸命、これで
違うんじゃないのって、少なくとも、最初は思った訳ですよね。
でも、まあ、測れないと、、、。それで、そうだとしたら、後、この素朴な対象
（つまり、要素と集合とまあ濃度程度）に、どれくらいの、「何か」を想定する
と「次元」が「定まるんですか？」って言う、ごく素朴な疑問です。
で、それが多様体だと、あんまりおもしろくはないです。だって、R^nが
先に考えられてて、あんまり、次元の本質って何だって話にはならないから、、、。

115 ：１３２人目の素数さん：2006/06/17(土) 00:46:08

整理せよ

116 ：１３２人目の素数さん：2006/06/17(土) 05:05:41

>>1
「無意味なスレ立て厳禁」
って読めませんか？
そういうくだらない話は質問スレでやってください


　
　　　　　　　　　　　　　　　　　終　　　了


そして>>1はすぐ死ね

117 ：１３２人目の素数さん：2006/06/17(土) 19:45:06

age

118 ：１３２人目の素数さん：2006/06/17(土) 19:49:39

ケーニヒスベルグの7つの橋の問題って位相の問題ですか？

119 ：１３２人目の素数さん：2006/06/17(土) 19:50:34

ケーニヒスベルグの7つの橋の問題って位相の問題ですか？

120 ：１３２人目の素数さん：2006/06/17(土) 19:51:11

間違えて2回書き込んでしまった
ごめんなさい

121 ：１３２人目の素数さん：2006/06/17(土) 19:58:04

今ではその問題はグラフ理論の問題と考える事が出来るが、
その問題が考えられた当時は幾何の問題の一種だった。そして位相幾何⊂幾何

122 ：１３２人目の素数さん：2006/06/17(土) 20:16:57

>>121
なるほど、ありがとうございました

123 ：１３２人目の素数さん：2006/06/17(土) 20:25:04

king関数の連続性は位相の問題ですか？

124 ：１３２人目の素数さん：2006/06/17(土) 21:12:29

>>123
連続じゃないから（笑）

125 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/17(土) 22:25:46

talk:>>123 お前は連続性を何だと思っている？

126 ：１３２人目の素数さん：2006/06/17(土) 22:44:27

king はうんこ。

127 ：１３２人目の素数さん：2006/06/17(土) 23:55:16

Kingのうんこは鹿の糞のように不連続

128 ：１３２人目の素数さん：2006/06/18(日) 01:44:33

演習１　Kingのうんこのなす不連続点を図示せよ。
（含まれる寄生虫も描いてもよい）

129 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/18(日) 10:57:55

talk:>>126 お前の食事は今日からお前の糞だからな。
talk:>>127-128 何考えてんだよ？

130 ：犬笠銀次郎：2006/06/18(日) 14:48:35

>>1
開集合公理を満たす開集合族。

http://kagakuhodan.blogspot.com

131 ：１３２人目の素数さん：2006/06/21(水) 16:14:52

132 ：１３２人目の素数さん：2006/06/23(金) 12:28:05

「距離空間＋抽象化＝位相」

には、抵抗がある。

「集合＋つながり＝位相」

が正解。と専門でない俺が言ってみる。
実際、位相の定義（例えば：開集合系）って
集合と集合のつながりを表現していると考えればわかりやすくねー。
であとは、それから派生する概念（連結とか連続とかコンパクトとか）を
まとめたものが位相かと。

133 ：１３２人目の素数さん：2006/06/23(金) 14:21:20

連続性をつながりと言い換えて心理的平安を得ているようだが、理解が不正確
になるので止めたほうがいい。人がつながり具合と言った場合、単なる連続性
を越えて連結性を問題にしていることが多い。つながりとは、連続性+連結性
の複合概念と見るのが妥当である。素朴な理解、位相とは連続性を定義するた
めに必要十分な数学的構造で十分。言葉をこねくり回す必要は無い。距離位相
＋抽象化うんぬんだが、これは単に捨象を抽象化と言ってしまっただけのこと
だろう。距離空間をそのまま抽象化すると、一様位相空間という位相空間＋α
の数学的構造となる。一般位相とするには一様構造を捨てる必要があり、確か
に「一般の位相空間」ではない。心理的抵抗感が生ずるのはそのためだろう。
もっとも身近かつ重要で最初に認識された位相空間が距離空間であることは
否定できないと思う。（もっとも身近で重要な位相はザリスキー位相なんて
人がいたりしてｗ）

134 ：１３２人目の素数さん：2006/06/23(金) 14:37:40

位相くらいで語るなよｗ

135 ：１３２人目の素数さん：2006/06/23(金) 15:08:32

>>134
おまえ 132 だろう。133 の指摘がくやしいんだろうが見苦しいな。
位相の入門スレなんだから語るのは当然じゃん。
ゼミでいい加減なこと言ってボコボコにされた経験ないの？

136 ：１３２人目の素数さん：2006/06/23(金) 15:39:26

目くそ(=132)、鼻くそ(=133)だなｗｗ

137 ：１３２人目の素数さん：2006/06/23(金) 19:17:00

たかが位相の理解に四苦八苦している喪前たち↑は無能だよ。数学やる資格なんてない。
目糞鼻糞にも劣る。Kingのうんこ以下だね(ww
よってただちに

＃＃＃＃＃＃＃＃＃＃　終　　　了　＃＃＃＃＃＃＃＃＃＃

138 ：１３２人目の素数さん：2006/06/23(金) 22:37:48

ｋｉｎｇ乙

139 ：１３２人目の素数さん：2006/06/23(金) 23:51:31

Kingうざ
おめえが出没するとスレが腐る

140 ：132だけど：2006/06/24(土) 02:33:36

>>133
念のために、132にも書いたように俺は数学を専攻していない素人と前置き下上で、

>連続性をつながりと言い換えて心理的平安を得ているようだが
うーん、ちょっと俺の言いたいことと指摘が違っているような。
集合そのものの連続を言っているつもりは無く、集合間のつながりを言ったつもりだったんだが、
これでも間違ってる？
つまり、集合には、離散的な集合も含まれていてそのつながりを開集合系や、近傍系で定義したものが、
位相という理解なんだけど。
で、つながりの表現が近さ（距離ではない）の概念につながると。
でもって、位相とは何を言いたいかというと、
集合そのものではバラバラというイメージがあるのに対し、
位相ではつながりを定義することにより、空間を表現する手段だと思っている。
だから、位相＝空間の抽象化といってもいいのかな？

後半部の距離の抽象化の違和感についてはその通りです。

141 ：132,140だけど：2006/06/24(土) 02:56:35

集合と書いてあるところが、集合の元と表現し直した方が
いいところが多数。謝々。

142 ：１３２人目の素数さん：2006/06/24(土) 05:32:29

馬鹿だな
位相＝位＋相なんだよ。
念のために言っとくと
位＝イ＋立
相＝木＋目ね。

143 ：１３２人目の素数さん：2006/06/24(土) 09:09:45

位相ってsin とか cos の中身のことだろ。　角度だよラジアンってやつや

144 ：１３２人目の素数さん：2006/06/24(土) 10:17:29

　　　　　　ﾐﾐ彡彡
　　　　　ミ◎◎彡彡
　　　　ミ◎◎◎◎彡
　　　＞(・)◎◎◎彡
　　　 ／|（||||||||　 ＼
　　　 |.　＼＿__） 　 |
　　　 ￣￣_| _|￣￣

145 ：１３２人目の素数さん：2006/06/24(土) 12:37:41

>>143
訳語が衝突してます。
Topological Space　　　位相空間、このスレのテーマ。
Phase Space 　　　　　相空間、位相空間とか状態空間ともいう。このすれの非テーマ。
　　　　　　　　　　　　解析力学とか物理に出てくる。

146 ：１３２人目の素数さん：2006/06/24(土) 13:11:24

>>140
近さというのは、近傍位相で言う位相空間Xの点aの近傍をA,Bとするとき
の、近傍A,Bの包含関係⊆のことですよね。距離空間なら点xがyよりaに近いとか
個々の点の遠近を比較できるけど、一般の位相空間では点集合=近傍間の遠近
しか定義できないと。

147 ：１３２人目の素数さん：2006/06/24(土) 13:30:50

まあ三つか四つの条件で、大事なことはみな表現できてしまったんだから
しょうがないじゃないかってことなのかも

位相が定式化されたのは抽象化が最も盛んな時期だったし

148 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/24(土) 13:57:05

talk:>>137-138 私を呼んでないか？
talk:>>139 お前に何が分かるというのか？

149 ：１３２人目の素数さん：2006/06/24(土) 14:02:46

talk:>>1 位相の何が分かりにくいというのか？

150 ：１３２人目の素数さん：2006/06/24(土) 14:04:12

およびでないよ

151 ：なんつっ亭 ◆YLhguIEUXM ：2006/06/24(土) 14:41:46

なんつって＾＾；

152 ：１３２人目の素数さん：2006/06/24(土) 16:56:55

Kingに質問。Kingって彼女いないよね？一日何回オナニーしますか？

153 ：140：2006/06/24(土) 17:20:41

>>146
自分の大枠のイメージもそんなとこです。
ただ、近さの大小関係を包含関係でうまく説明出来るのは、
１次元（数直線といった）の場合だけなのかなーっと。

で、勘違いしてはいけないのが、近さというものは
あくまでも概念であって、ある点Ｏにたいし、点Ａと点Ｂの
どちらが近いという比較はナンセンスであると思うとです。
初学者にわかりやすいように近さという言葉を利用しているだけかと。

自分の場合、位相に手を出したのが、ヒルベルト空間というか、
フーリエ関数といった直交関数がらみや一部リーマン幾何を理解したくて、
位相からルベーグ積分や関数空間の基礎（まあ、これも概念程度なんですが）に
手を出した程度で、位相には距離が必ず入るんですよね。
従って、距離が入らない位相が十分イメージ出来てないんですよ。

でちょっと、質問なんですが、
理工系（数学科を除く）にとって大事な距離の入らない空間
の例ってあるんですかねー？
例えば多様体あたりに進むとそのような例にであえるんですかね？

154 ：１３２人目の素数さん：2006/06/24(土) 17:40:59

無味乾燥な集合に”構造”を入れて要素同士を関連付けた"集合"を"空間"と呼ぶ。

よく知られた具体的な"空間"に統一的に研究するために共通な性質を見出して改めて公理とする。

この"一般化"された空間で成り立つ"定理（性質）"は同じ"公理"を満たす限りどんな具体的な"空間"でも成り立つ。

"位相"もそんな"構造の公理"の１つである。

155 ：１３２人目の素数さん：2006/06/24(土) 17:58:15

>>153
一般位相の理解の第一歩は近傍位相です。
直感的意味付けのほとんどは、近傍位相を使って行われます。

有向集合という概念を学習してください。１点の近傍系（近傍フィルター）
は包含関係について有向集合をなす。有向集合と言うのは擬順序関係の定義
された集合の特殊なものです。いわゆる任意の２元が比較可能な全順序集合とは
違います。遠近の概念の一般化になっていることが理解できるでしょう。
有向点族、フィルターの収束を扱った位相空間のテキストを見る必要があります。

156 ：１３２人目の素数さん：2006/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 ：１３２人目の素数さん：2006/06/24(土) 18:47:12

>>153
岩波科学ライブラリー「現代数学への招待　多様体とは何か」（志賀浩二）
を読んでごらん。

158 ：140：2006/06/24(土) 18:55:43

>>155
ご指摘ありがとうございます。

>１点の近傍系（近傍フィルター）は包含関係について有向集合をなす。
包含関係の大小の比較が出来るということですか？
（擬順序関係と言っているのだから、大小そのものではないとは思いますが）
その大小関係で遠近の概念を表現するということですね。
包含関係の大小比較については疑問に思っていたことですので
（脳内で出来ないものと決めつけて納得してました。）
Goodな指摘だと思います。

>有向点族、フィルターの収束
距離空間では収束の話題が出てきますが、距離を外した位相の中には出てきません（？）。
多分位相を理解するのに必要な概念だと思うのですが、
点列の収束といった話題があると思って良いですか？

で最後に、数学科以外の学生でも読める「位相空間」の推薦の本はありますか？
松阪先生の「集合・位相入門」は持っていたのでちらっと見てみたんです
があまり載ってなかったような。

159 ：140：2006/06/24(土) 19:03:44

>>156
>各点収束の空間は距離付けできない身近で重要な空間
うーん。ルベーグ積分やる中で、各点や一様収束が出てきましたので、
大枠書かれた内容は理解できますが（つまり関数空間の収束）、
あまり各点収束を用いた理論というものにお目にかからないので、
ぴんときませんが。

>>157
該当書籍は評判いいので購入したかったんですが、
残念ながら絶版状態でして。
さらに、社会人ということで、復刻版を待ち状態です(^^;)。

160 ：140：2006/06/24(土) 19:08:12

>>159の修正
たぶん、（つまり関数空間の収束）はおかしいですね。
L1やL2空間と混同しています。

161 ：GiantLeaves ◆6fN.Sojv5w ：2006/06/24(土) 19:15:21

talk:>>152 あの女とは誰だ？

162 ：１３２人目の素数さん：2006/06/24(土) 20:13:10

>>31にあるように、ちくまから出てる「位相のこころ」が良い。

163 ：１３２人目の素数さん：2006/06/24(土) 20:58:11

位相もそうなんだけど、正直数学科の物知りにはかなわんなーと思うことがしょっちゅう。
どうしたら、そんな沢山知識頭に詰め込めるの？　本嫁たって読みきれんしー。
何か秘訣でもあるのかなー

164 ：１３２人目の素数さん：2006/06/24(土) 21:41:21

理解すれば詰め込まなくても身につくだろう

165 ：１３２人目の素数さん：2006/06/25(日) 01:58:16

その理解するがムズイ

166 ：140：2006/06/25(日) 11:43:09

>>162
Thx

実をいうと、最近購入したんですよ>「位相のこころ」
>>158あたりを期待してよんでみまふ。

167 ：１３２人目の素数さん：2006/06/25(日) 12:12:38

>>158
> で最後に、数学科以外の学生でも読める「位相空間」の推薦の本はありますか？
> 松阪先生の「集合・位相入門」は持っていたのでちらっと見てみたんです
> があまり載ってなかったような。

当然のことだが、松坂『集合・位相入門』には位相空間のことが詳しく書かれている。

168 ：140：2006/06/25(日) 12:43:22

>>167
記述が悪かったとおもいますが。
有向点族、フィルター関連の話題でつ。

「位相のこころ」をちらちら見てると、
よさげなのでそっちを当たってみます。

169 ：１３２人目の素数さん：2006/06/25(日) 13:01:35

>>168
何を読むかはあなたの自由だけど、位相空間を理解していないと
有向点族やフィルターは分かりにくいと思うよ。

170 ：１３２人目の素数さん：2006/06/25(日) 15:04:11

>>168
( a(λ) )λ∈Λ
で、Λが非可算集合の場合、

Σ[λ]a(λ)

を考えたいのだけど、このときに有向集合に対する収束で定義したり
します。

解析だと、関数とかの連続性を「開集合の逆像が…」とかでやっていると
非常に不便なので、点列を一般にした有向集合に対する収束で考えた方が、
不等式等、今までの道具が自由に使えて、とても便利ってことがあるかも…

有向集合の話は、河田・三村先生の「現代数学概説２」とか、高橋渉先生の
本がいいんじゃないかな、とか個人的に思ったり。

171 ：１３２人目の素数さん：2006/06/25(日) 23:09:43

有向集合について詳しく知りたかったら
手頃な本で勉強するのはもう諦めてKelley読んだほうが案外早道かも、とか言ってみる

172 ：140：2006/06/26(月) 11:05:59

>>169
>位相空間を理解していないと
そうですね。その点は気をつけながら勉強します。

>>170
現状では理解できませんが、ＰＣの中にコピペしておきました。
後日再度見てみます。
>河田・三村先生の「現代数学概説２」
品切れ(^^;)ですね。高橋渉先生は「位相のこころ」で挫折したら
そちらの方を当たってみます。

>>171
>Kelley読んだほうが案外早道かも
たぶん私には早すぎるかと・・・。

173 ：140：2006/06/26(月) 11:11:54

いろいろお世話になりましたので、
お気に入りのＨＰを紹介します。

位相に関する問答集があるよ！！

【入り口】
http://www.math.sci.hokudai.ac.jp/~ishikawa/index.html
【位相問答あるよ】
http://www.math.sci.hokudai.ac.jp/~ishikawa/mondou.html

174 ：１：2006/06/26(月) 23:42:56

色々と書いてくれてありがと

今日位相の中間試験があったんだが、結局微妙な出来だったよｗ

175 ：１３２人目の素数さん：2006/06/27(火) 00:10:38

名大生乙

176 ：１３２人目の素数さん：2006/06/27(火) 14:18:08

定義

177 ：１３２人目の素数さん：2006/06/27(火) 22:04:24

意添う

178 ：１３２人目の素数さん：2006/06/29(木) 15:42:40

あそう
いそう
うそう
えそう
おそう

179 ：１３２人目の素数さん：2006/06/29(木) 18:59:42

1の試験が終わったのでこのスレもQ.E.D.か・・・

180 ：１３２人目の素数さん：2006/06/30(金) 15:11:21

追試がある

181 ：１３２人目の素数さん：2006/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 ：１３２人目の素数さん：2006/06/30(金) 18:39:18

目から鱗です！！！！！！！！１

183 ：１３２人目の素数さん：2006/07/17(月) 04:45:44

なんで、密着位相や離散位相は密着だの離散だのいうの？
密着とか離散ていうイメージがつかめません・・・

184 ：１３２人目の素数さん：2006/07/17(月) 05:32:10

なんとなく

185 ：１３２人目の素数さん：2006/07/17(月) 05:33:32

つーか>>1とオナ大かも
中間試験っていうか期末じゃないか？

186 ：１３２人目の素数さん：2006/07/17(月) 23:23:17

何でもかんでも略すんじゃねーよ！キモイんだよ！
オナ大じゃオナニー大好きみたいだろ！

まあ、俺はオナ大だけどさ！

187 ：１３２人目の素数さん：2006/07/17(月) 23:34:10

俺も思ったｗ

188 ：１３２人目の素数さん：2006/07/17(月) 23:43:18

＞183 名前：１３２人目の素数さん ：2006/07/17(月) 04:45:44
＞ なんで、密着位相や離散位相は密着だの離散だのいうの？
＞ 密着とか離散ていうイメージがつかめません・・・

訳に問題あり、かな？
Trivial　Topology　：　自明なトポロジー
Discrete　Totology　：　は、やっぱり離散的なトポロジーか・・・

189 ：１３２人目の素数さん：2006/07/17(月) 23:46:32

>>183>>188
近傍系を考えればわかるだろ

190 ：１３２人目の素数さん：2006/07/17(月) 23:47:12

まああれだ、勉強していきゃわかる。
それまではそういうもんだと思ってれば良いのでは。

191 ：１３２人目の素数さん：2006/07/17(月) 23:56:59

＞183

「定義しうる最弱（最強）のトポロジー」という内容で覚えてくれ。

192 ：１３２人目の素数さん：2006/07/18(火) 00:00:53

覚えるも何も直観通りだろｗ

193 ：１３２人目の素数さん：2006/07/18(火) 00:02:25

位相のこころに書いてあったけど、あまり理解してない

194 ：１３２人目の素数さん：2006/07/18(火) 02:24:22

密着と離散の形容の意味が自力で分からんようでは数学科でやっていくのはきついだろうな。
公理的に展開された抽象数学の勉強の仕方を知らないのか？定義や術語の意味、意義は
すぐには分からないのが普通だよ。190 の言うように学習が進めば自然分かる。

せっかちな、初心者用にたとえ話を進呈しよう。Xを全空間とする。近傍を個室と考える。

離散位相:１点集合{x}がすべて開集合。よって、任意の点xは自分自身以外の
　点を含まない個室（近傍）{x}を持つ。Xは離散家族だ。

密着位相:Xの任意の点xに対し、xの近傍は全空間Xしかない。全員が一つの家
　Xに住まっている。適当な開集合で家族を分かつことは不可能だ。密着して
　生きている。

195 ：１３２人目の素数さん：2006/07/18(火) 02:49:18

＞公理的に展開された抽象数学
まあ初心者には直ぐにわからないように書く
必然性も無いんだけどね

面倒だからあまり説明はしないのが普通かもしれないけど
あるいは演習問題や例を見ていけば分かるからそれで説明の代わりとか

196 ：１３２人目の素数さん：2006/07/18(火) 10:55:14

位相空間≠ユークリット空間
位相空間 =非ユークリッド空間
つまり、ユークリッド＝xyzで表現される三次元、位相空間＝n次元多様体（相対性理論のローレンツ理論に基づき、局所的には近似できるが、大域的にはまがっているn次元という考え方。ルートを含むローレンツの公式はアインシュタインの相対性理論にある）

197 ：１３２人目の素数さん：2006/07/18(火) 11:20:12

( ´д)ﾋｿ(´д｀)ﾋｿ(д｀ )ﾋｿ

198 ：１３２人目の素数さん：2006/07/18(火) 11:20:55

>>196
多様体も位相空間も分かっていないようだね。

199 ：１３２人目の素数さん：2006/07/18(火) 12:29:10

King >>196 に位相空間と多様体を教えてやれ

200 ：１３２人目の素数さん ：2006/07/18(火) 15:19:20

>>199
奴はしゃれになっていないリアルキチ○○らしいから無理だろうｗ
ついでにムー○○ホ目前らしいｗ
いい年こいてアニオタで、女にキモいと言われてチ○○立てる変態らしいぞｗ
見た目はオタクコピペのまんまらしいｗ

201 ：１３２人目の素数さん：2006/07/18(火) 15:31:45

ちん○もスレも勃てると快感

202 ：１３２人目の素数さん：2006/07/18(火) 16:09:22

>196
まさか本気じゃないだろうね？

203 ：１３２人目の素数さん：2006/07/18(火) 18:06:28

基地外にはアイデアがある

204 ：１３２人目の素数さん：2006/07/18(火) 18:13:26

メコスジについてわかり安く教えてくれ

205 ：１３２人目の素数さん：2006/07/18(火) 18:29:59

>>196
多様体⊆位相空間　だyo。
一般相対性理論の時空のモデルに使うのは、各接空間に不正定値の内積、ローレンツ計量の
入った、ローレンツ多様体（リーマン多様体の一般化）だよ。

丸暗記して振り回せば、チミも立派な数ヲタだ。

206 ：１３２人目の素数さん：2006/07/19(水) 00:22:32

リーマン多様体、トーラスが位相幾何学の考え方の基本だお。
二次元球面とトーラスは同相でないんだお。

207 ：１３２人目の素数さん：2006/07/19(水) 00:31:39

手術理論やh同境定理により、高次元多様体の問題が代数的な問題に帰着されたんだお。

208 ：１３２人目の素数さん：2006/07/19(水) 01:02:17

ここで低次元屋が離散群の話を少々

209 ：１３２人目の素数さん：2006/07/19(水) 01:30:13

無知なやつをからかうのはやめれ

210 ：１３２人目の素数さん：2006/07/19(水) 10:19:25

ディーン手術またはデーン手術でぐぐりなよ。医者でも、ないのに数学で手術するんだよ。
あと、位相幾何学（トポロジー）におけるxyz座標は少しずれてるんだお。

211 ：KingOfUniverse ◆667la1PjK2 ：2006/07/19(水) 18:05:35

talk:>>199 R^3は開球族を開基として定まる位相空間である。R^3は多様体である。

212 ：１３２人目の素数さん：2006/07/28(金) 17:33:05

844

213 ：１３２人目の素数さん：2006/07/31(月) 17:19:33

hosyu,hosyu,hosyu.

214 ：１３２人目の素数さん：2006/08/20(日) 18:42:35

ヘーガード（へゴール）デーン手術


別名 Heegard分解

215 ：１３２人目の素数さん：2006/08/21(月) 09:51:02

誰も突っ込まないんで一言。
多様体⊆位相空間ってのは間違いです。

216 ：１３２人目の素数さん：2006/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 ：１３２人目の素数さん：2006/08/21(月) 10:51:46

ほんとだ、ｽｹﾞｰ・・・！！！！

218 ：１３２人目の素数さん：2006/08/22(火) 01:33:41

↑　自作自演。自分でスゲーていってりゃ世話無いよ。

219 ：１３２人目の素数さん：2006/08/30(水) 17:15:01

541

220 ：１３２人目の素数さん：2006/09/15(金) 20:22:38

ザリスキー位相ってなんの役に立つの？

221 ：１３２人目の素数さん：2006/10/03(火) 01:07:18

117

222 ：１：2006/10/12(木) 14:59:07

前期の位相の成績は「良」ですた

223 ：１３２人目の素数さん：2006/10/12(木) 15:02:35

>>222
みんなに、ありがとうは

224 ：１３２人目の素数さん：2006/10/12(木) 15:05:32

>>220
代数多様体の圏での射が連続になる。

225 ：１３２人目の素数さん：2006/11/13(月) 01:11:49

999

226 ：１：2006/11/28(火) 16:33:42

後期の中間試験は８５／１００点でした

227 ：１３２人目の素数さん：2006/12/07(木) 18:46:45

位相で苦労して、かわいそう。

228 ：１３２人目の素数さん：2006/12/31(日) 23:27:19

年末カキコ

229 ：１３２人目の素数さん：2007/01/12(金) 15:46:44

閉鎖記念

230 ：１３２人目の素数さん：2007/01/14(日) 23:55:41

閉鎖前記念

231 ：１３２人目の素数さん：2007/01/15(月) 00:17:54

位相って要するに
D(x,y)=√(x^2+y^2)となる関数のことだろ

232 ：１３２人目の素数さん：2007/01/15(月) 17:54:36

集合・位相に関してオススメの問題集ってある？
独習でやってるんだが、どうも演習が足りない
ちなみに教科書としては内田本を使ってる

233 ：１３２人目の素数さん：2007/01/15(月) 19:38:12

どれでもあまり変わんないと思うけど、マグロウヒル大学演習シリーズが問題たくさんあってよかった。
サイエンス社の黄色い本も会ったと思うけど記憶が定かでない。

234 ：１３２人目の素数さん：2007/01/18(木) 20:13:50

>>233
�d
サイエンス者のを見てみるわー

235 ：１３２人目の素数さん：2007/01/19(金) 19:02:26

距離空間の完備性について分からないことがあるので、教えていただけないでしょうか。
空間の位相を一つ固定し、その位相を定める距離d_1, d_2について、d_1 < d_2 が成り立つとき、
完備性について、d_1で完備ならd_2で完備、などということは成り立つのでしょうか？

236 ：１３２人目の素数さん：2007/01/19(金) 19:05:29

一様同値についてぐぐれ。以上

237 ：１３２人目の素数さん：2007/01/19(金) 19:18:39

(収束点列全体の集合)⊃(d1でのコーシー点列全体の集合)⊃(d2でのコーシー点列全体の集合)

238 ：１３２人目の素数さん：2007/01/19(金) 19:21:10

すばやい返答有難うございます。しかしながら、以上でもないような気もします。
一様同値は、両一様連続だと書いてありましたが、今回は片側しか成り立たないのです。
この場合はd_1で完備ならd_2で完備などというのは成り立たないのでしょうか？

239 ：なんつっ亭 ◆YLhguIEUXM ：2007/01/19(金) 19:26:53

距離空間の位相は一様位相だから完備性とかいう概念は一般位相空間には適用できない。

なんつって＾＾；

240 ：１３２人目の素数さん：2007/01/19(金) 19:28:57

一様同値についてググれば>>235の反例くらいすぐに見つかるだろ。

241 ：235：2007/01/19(金) 19:37:01

ただ今混乱中です。もう少し詳しく教えていただけないでしょうか。
>>240
実際ぐぐって見ましたが、「一様同値」という言葉自体あまり検索にかかりませんでした。
反例がある、つまり不成立なのでしょうか。

>>237
これは収束についてはd_1収束⇔d_2収束ということでしょうか。
とくに>>235は成立で良いのでしょうか。

242 ：237：2007/01/19(金) 19:43:38

最初の包含関係はd1が完備なことから従う。次の包含関係はd1≦d2から従う。

243 ：１３２人目の素数さん：2007/01/19(金) 19:51:30

邦書で一様構造をきちんと扱った本はほとんど無いからな

244 ：１３２人目の素数さん：2007/01/19(金) 20:17:07

(収束点列全体の集合)とありますが、d_1収束⇔d_2収束がいまいち分かりません。
教えていただけないでしょうか。

245 ：１３２人目の素数さん：2007/01/19(金) 20:50:45

あげ。

246 ：237：2007/01/20(土) 07:41:05

(収束点列全体の集合)は位相構造で決まる。
ある集合上の２つの距離が同じ位相を与えれば
それぞれの距離についての収束点列全体の集合は変らない。

247 ：１３２人目の素数さん：2007/01/20(土) 10:50:04

位相構造だけで決まることは、それ以外を無視して考えれば良い。

248 ：１３２人目の素数さん：2007/01/20(土) 16:00:20

どうも有り難うございました。
途中、反例あり等の回答もありドキッとしましたが、
237を見る限りでは成立するようなので安心しました。

249 ：１３２人目の素数さん：2007/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 ：１３２人目の素数さん：2007/01/23(火) 10:01:49

全部教科書に書いてある（はず）

251 ：１３２人目の素数さん：2007/01/23(火) 10:07:30

>>249
問１−１は定義を知ってるかどうかという問題だから考えても無駄。
本嫁よ

252 ：２４９：2007/01/23(火) 10:14:41

教科書にはこういうふうにかいてある。
直積位相

Sは位相空間です。Qはそれの位相
各λ∈∧についてSからSλ（λは添え字）への射影
をprλ（λは添え字）とするとき、写
像族（prλ）λ∈∧もうｐって（（Sλ、Qλ））λ∈∧からSに
誘導される位相、すなわち、すべてのprλが連続となるようなSに
おける際弱の位相QをSの直積位相という。

これをX×Yにどうやるのかがわかりません。問１−１をお願いです
こうやって答えろっていう解答を教えてください。
あと問１−２、問３も解いて答えを教えてください。
問２は解けました。

253 ：１３２人目の素数さん：2007/01/23(火) 10:18:07

>>243
See 一松信：多変数会席函数論

254 ：２４９：2007/01/23(火) 10:23:21

＞２５２　もしかして、SのことをX×Yに置き換えるだけ？

255 ：１３２人目の素数さん：2007/01/23(火) 12:14:58

>>253
へぇー。一松爺さんどこかで、位相の一様構造の知識が標準装備で
ないことを嘆いていたけど、そうなるべく自著で書いていたのね。見てみるわ。

256 ：１３２人目の素数さん：2007/01/23(火) 12:18:01

>>249
どれも定義の系だな。教科書を読めば直ぐに分かることばかりだ。
勉強をさぼった罰だ。あきらめれ。もしちゃんと教科書を読んで分からない
のなら数学をあきらめたほうがいい。（読んだテキストにもよるがな）

257 ：１３２人目の素数さん：2007/01/23(火) 12:31:57

位相構造を説いた教科書は巷に多数あるけど、一般の一様構造を説いた
入門テキストはほとんどない。>>249のような怠け学生をより苦しめるべく、
この概念を数学科学生の標準装備にしたいが、何か良い方策はあるだろうか？

258 ：２４９：2007/01/23(火) 12:57:30

怠けてないって、松坂和夫の集合・位相入門よんでいるが、全然わからん。
おれ一生懸命にやったぜ。でもわかんねーんだよ。教科書ぼろぼろに
なるまで読み込んでもわからん。たのむ教えてくれ。

問１−２、問３を解いてくれ頼む！！！

259 ：１３２人目の素数さん：2007/01/23(火) 12:59:53

>>258
松坂にこだわらず、他のテキストも見てみれ。開眼するかも知れん。

260 ：１３２人目の素数さん：2007/01/23(火) 13:04:47

松坂には>>249への回答が全て書いてあるが？

261 ：１３２人目の素数さん：2007/01/23(火) 13:06:52

＞松坂和夫の集合・位相入門よんでいるが、全然わからん。
＞教科書ぼろぼろになるまで読み込んでもわからん。
「読んだ」だけでは、理解し、使いこなせるようにはならない。
ではどうすればいいのか？自分でコツを見つけるしかない。人に
よって解決法は違う。これは自力で乗り越えなければならない壁。

262 ：２４９：2007/01/23(火) 13:10:41

＞２６０　まじで！！何ページ？

263 ：１３２人目の素数さん：2007/01/23(火) 13:16:40

>>261
ようするに教科書はぼろぼろにしただけね？

264 ：１３２人目の素数さん：2007/01/23(火) 13:27:32

>>261
近くにおれば助けてやれるだろうが、掲示板では無理だよ。

265 ：１３２人目の素数さん：2007/01/23(火) 13:30:09

>>249は分からないところがあるというより、分かってることが何もないレベルだな。

266 ：１３２人目の素数さん：2007/01/23(火) 13:42:11

>>260
>>249にページ数教えてやって。松坂は持っていないんだ。

267 ：犬笠銀次郎：2007/01/23(火) 13:44:24

>>1
位相論とは「開集合族の性質」と考えれば良いのでは？

>>249
集合論・位相論はただそれだけでは具現化された意味を持たない。位相幾何、函数解析など様々な具体例を学ぶ中で徐々に理解出来てくる。さしあたりは可能なかぎり簡単な例で考えるのが良かろう。（例えば位相空間なら \mathbb{R} 上の普通位相など。）

http://ginjiro.blogspot.com

268 ：１３２人目の素数さん：2007/01/23(火) 14:32:50

ほんとに、ぼろぼろになるまで松坂を読んだのか？
それでも >>249 がわからないってのはある意味すごいな・・・

とりあえず位相空間と距離空間の定義をここに書いてみて。

269 ：１３２人目の素数さん：2007/01/23(火) 14:33:43

>>249 に対しては >>267 はよいアドバイスとはおもわれない．

270 ：２４９：2007/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 ：１３２人目の素数さん：2007/01/23(火) 16:14:15

またすぐに新しい質問ですか。

272 ：１３２人目の素数さん：2007/01/23(火) 16:15:08

時間が無いってテスト前とかそういうことだろ。
勉強して無かったやつが悪い。そんだけ。

273 ：１３２人目の素数さん：2007/01/23(火) 16:16:57

>>271
レポート問題か何かだろう。
大方、丸写しで提出するんだろうなｗ

274 ：きまぐれ：2007/01/23(火) 17:00:20

問１はRの時を考えてみたらわかりやすい。
x_n→xってのは、任意のε>0に対して、ある自然数Nが存在して
任意のNより大きいnに対して、|x-x_n|<εってことだったわけで、
これを距離空間の話に焼直せばいい。
問２は、もしもxが\bar{A}に入らないとしたら、、、
X-\bar{A}は開集合だから、、、
矛盾みたいな感じです。
いずれも定義をしっかり確認すればなんとかなる筈。

275 ：１３２人目の素数さん：2007/01/23(火) 17:20:11

正直249はセンスが絶望的にないので数学辞めた方がいいと思う。

勉強するだけ時間の無駄だ。

276 ：１３２人目の素数さん：2007/01/23(火) 17:27:42

釣りじゃねーのか？ほんとは良く分かっている奴の。

277 ：１３２人目の素数さん：2007/01/23(火) 17:51:32

>>249
超準解析をやりなさい。位相が分かるようになる。

278 ：２４９：2007/01/23(火) 20:04:40

まじで俺数学天才だったのに
数学オリンピックの日本代表になりかけたのに・・ショックだぜ

279 ：１３２人目の素数さん：2007/01/23(火) 20:18:14

日本代表か、すげーな。

280 ：１３２人目の素数さん：2007/01/23(火) 20:20:07

釣り決定だな

281 ：１３２人目の素数さん：2007/01/23(火) 20:24:44

弟子かと思ってた

282 ：２４９：2007/01/23(火) 20:25:42

まじでつりじゃなくて、本当だって。東大くらいの入試問題なら
全部１０分くらいで解ける。でも位相数学意味不明・・・
なにこれ？抽象的すぎ

283 ：１３２人目の素数さん：2007/01/23(火) 20:27:42

またまたご謙遜をｗ

284 ：１３２人目の素数さん：2007/01/23(火) 20:30:13

>>270

こんなに不勉強なやつ、初めて見た。
今までずっと遊んでたんじゃないの？

285 ：１３２人目の素数さん：2007/01/23(火) 20:35:06

自信過多、実力過小の典型だな

286 ：１３２人目の素数さん：2007/01/23(火) 21:55:50

日本代表になりかけた程度で天才か
天才の質も落ちたもんだ

定義すら理解はおろか暗記すらしてないなんて
小学生でも暗記するだけならできるというのに

287 ：２４９：2007/01/23(火) 23:17:38

お前らじゃ合宿にもいけないだろ。

288 ：１３２人目の素数さん：2007/01/23(火) 23:41:37

そうだな、お前は天才だよ。

289 ：１３２人目の素数さん：2007/01/24(水) 01:29:39

>>287
問題を解く能力と、数学を理解する能力は全くの別物。両者では思考の方法が全然違う。
オマエは後者が著しく欠落している。＼(＾0＾)／ｵﾜﾀ！

290 ：１３２人目の素数さん：2007/01/24(水) 01:42:22

>>289　釣りにマジレスすんなよ。代表になるには相当の能力が要るから
彼の潜在力は相当なものがあると思うよ。成長を妨げているのは多分
自惚れだろうね。

291 ：１３２人目の素数さん：2007/01/24(水) 01:58:01

数学科に行ったのに勉強してないって阿呆だろ。
まあ自分の将来なんだから自己責任なんだけど。

分からない場合は何冊も教科書を読むとかいう手もあるので
集合位相の似たような本の関連箇所を何冊も読んでみたら良い。
30講にもUrysohnの定理とかは載ってたはず。

自分には能力があるからKellyとかでも読めるはずだ、と思って
読み始めたが全く分からない、とかならただの自惚れだけど
単に勉強してないんだと思うな。
或いは現代数学がどういうものか全く知らずに数学科に来てしまったか。
「教科書をボロボロにするまで読んだ」のに書いてあることが分かってないみたいだから
単に日本語を理解する能力が無いのかもしれないが。

数学オリンピックの問題とか大数の宿題とかを一問に何日もかけて解いた経験とか無いのか？
>>258から次の質問の>>270まで5時間も立ってないぞ。
そんな短時間で数学が理解できるわけない。もっと自分で考えろ。図書館で調べろ。
少なくともこんな教科書が溢れているような分野で定義読めば分かることを聞くようなことは無いはず。

>>287
行ったことあるよ。三度も四度もじゃないけど。

292 ：１３２人目の素数さん：2007/01/24(水) 02:33:29

>>290
オマエのその書き込みは「マジレス」とは言わないのか？

293 ：１３２人目の素数さん：2007/01/24(水) 05:50:47

>>287

人のことはいいから、まず、自分のことを片付けな。
君の質問は、教科書を丁寧に読めば、すぐにも解ける問題。
あせらないこと。

294 ：１３２人目の素数さん：2007/01/24(水) 09:58:35

「教科書をボロボロにするまで読んだ」というのは
ヒステリを起こして、投げつけたりしたんだろーな

295 ：１３２人目の素数さん：2007/01/24(水) 10:03:38

>>294
俺にも経験ある（笑）

296 ：２４９：2007/01/26(金) 10:54:45

おまえらは数学の才能がないから俺に嫉妬してるだけだろ。
悔しかったら俺の出した問題といてみろっての。解けないから
能がきたれるんだろ。おれ昨日テスト受けてばっちりできたぜ。
やっぱ俺すげーかもな。

297 ：１３２人目の素数さん：2007/01/26(金) 11:03:14

そーだね。
すごいね。

298 ：１３２人目の素数さん：2007/01/26(金) 11:16:22

>>296
そうかそうか

299 ：１３２人目の素数さん：2007/01/26(金) 12:20:54

>>296

ああすごいすごい。

300 ：１３２人目の素数さん：2007/01/26(金) 15:47:00

やはり弟子だったか

301 ：１３２人目の素数さん：2007/01/26(金) 15:48:42

師の躾がなっとらん

302 ：１３２人目の素数さん：2007/01/26(金) 16:11:26

>>296
お前には才能がある
多分天才だ
だから教科書なんかで勉強しなければもっと伸びる
自分で数学を掘り込んでいけ

303 ：１３２人目の素数さん：2007/01/26(金) 18:10:43

>>296
位相の初歩の問題でつまづくようなクズに誰が嫉妬するのか？

304 ：１３２人目の素数さん：2007/01/26(金) 18:34:31

そういえばkingの弟子も全然位相の問題ができなかったな

305 ：１３２人目の素数さん：2007/01/26(金) 18:57:01

出来るのは当たり前。出来たからって、それをネタに研究が出来るわけでもあるまい。

306 ：１３２人目の素数さん：2007/01/26(金) 18:58:28

今更だが

×　安く
○　易く

307 ：１３２人目の素数さん：2007/01/26(金) 19:00:03

安い女　vs. 落とし易い女。

308 ：２４９：2007/01/26(金) 19:46:21

いまさゴールドバッハの予想が解けたわ。
フランス語に訳してパスツール研究所（だっけ？）に送ると判定してくれる
んだっけ？

309 ：２４９：2007/01/26(金) 20:01:35

ikkoさんかわいい・・結婚してー

310 ：１３２人目の素数さん：2007/01/26(金) 20:55:17

釣りだったことにしておこうとする>>249

(；ω；)ｳｯ

311 ：１３２人目の素数さん：2007/01/26(金) 21:02:11

>>305
位相ぐらいチョソでもやる

312 ：１３２人目の素数さん：2007/01/27(土) 02:28:19

あまり舐めてるとコンパクトにしちゃうぞ♥

313 ：１３２人目の素数さん：2007/01/28(日) 02:08:32

111

314 ：２４９：2007/01/31(水) 14:30:26

おれこないだ受けた位相数学のテスト帰ってきた。
悪くなかった１００点中７９点だった。一安心だぜ。
コンパクトと連結の定義を丸暗記して意味わからず書いたのがよかった。

315 ：１３２人目の素数さん：2007/01/31(水) 16:05:10

もう釣られません

316 ：１３２人目の素数さん：2007/01/31(水) 16:48:54

>>249
本当に直積の位相が解からんのか？
（X,O_X),(Y,O_Y)を位相空間とする。
U（resp. V)をX(resp.Y)の任意の開集合として
UｘV達で生成元される集合族を考えてみな！

317 ：１３２人目の素数さん：2007/01/31(水) 17:15:07

>>316
また釣られたか・・・

318 ：316：2007/01/31(水) 23:40:52

>>317
ご忠告、有難うございます。
>>314　のコメント読んで、249は品性に欠ける方とわかりました。

319 ：１３２人目の素数さん：2007/02/01(木) 02:03:53

>>1
安くって、いくら位で？

320 ：１３２人目の素数さん：2007/02/01(木) 12:27:45

>>319
「いかにも安っぽく（いい加減に）教えてくれ！」
ということか？

321 ：２４９：2007/02/01(木) 17:18:27

俺位相数学を丁寧にちゃんと調べて勉強してみたらなんかわかってきたかも

322 ：１３２人目の素数さん：2007/02/01(木) 17:37:07

何でもちゃんとやればそのうちわかるようになる

323 ：２４９：2007/02/01(木) 22:33:46

やっぱ数学オリンピックにでかけた俺の実力はすごいということが
身にしみてきた。俺は天才か・・・
ゴールドバッハの予想も証明できたしな

324 ：１３２人目の素数さん：2007/02/01(木) 23:11:00

ボンクラの、むなしい自己賛辞。

325 ：菅_理人@kmath1107BBS ◆.ffFfff1uU ：2007/02/01(木) 23:35:46

位相がわかっただけで天才か。
まるで弟子のようだ。

326 ：１３２人目の素数さん：2007/02/02(金) 02:51:10

グロタンディック位相の定義が分かっても
それだけじゃどうしようもならないようやな

327 ：１３２人目の素数さん：2007/02/02(金) 03:08:31

小学生時代に算数オリンピックにでかけた中学生が

「俺は天才。なのに二次方程式が分からない」
「二次方程式を丁寧にちゃんと調べて勉強してみたらなんかわかってきたかも」
「やっぱ算数オリンピックに出かけた俺の実力はすごいということが身にしみてきた。俺は天才か…」

とか言っているようなもんだな。

328 ：１３２人目の素数さん：2007/02/02(金) 10:40:23

数オリの代表になれなかったやつの釣りにつきあってあげるなんて、みんな優しいね

329 ：１３２人目の素数さん：2007/02/05(月) 18:19:12

638

330 ：１３２人目の素数さん：2007/03/02(金) 09:08:37

>>http://science6.2ch.net/test/read.cgi/math/1170584559/81
＞近傍について質問です。
＞
＞Vがxの近傍というのは、x∈U⊂Vを満たす開集合Uが存在するということですけど、Vの開核が存在すればそれはUになりえるので、必然的にVは近傍になっちゃうと思うのですがどうなんですか？

Vの開核が存在しても、xはVの境界上に載ってるかも知れない、
そもそもVの開核は空集合かもしれない。

U≠φでないといけないことに注意。

331 ：１３２人目の素数さん：2007/03/02(金) 09:33:59

> Vの開核が存在すればそれはUになりえるので

Vの開核がxを含んでるかどうか考えなさい、ってこったね。

332 ：１３２人目の素数さん：2007/03/02(金) 19:20:58

>>330
>>331

なるほど。わかりやすい解説ありがとうございました。

333 ：１３２人目の素数さん：2007/03/02(金) 19:26:49

点xの近傍はxを含むので空集合ではありようが無い。
したがって、空集合φはいかなる点の近傍にもならない。
開集合ではあるがね。

334 ：１３２人目の素数さん：2007/03/03(土) 01:36:00

近傍系を考えることのできない痩せた幾何学で何か面白いのある？

335 ：１３２人目の素数さん：2007/03/11(日) 21:15:46

384

336 ：１３２人目の素数さん：2007/05/20(日) 00:34:27

いつの間にか伸びてるな

337 ：１３２人目の素数さん：2007/05/20(日) 01:28:46

最新の「数理科学」にいろいろ載ってるぞ

338 ：１３２人目の素数さん：2007/05/20(日) 15:02:08

>334
xの近傍＝xを含むXの開集合
だから、
近傍系自体は、いつでも定義可能なのだが。

339 ：１３２人目の素数さん：2007/05/26(土) 18:48:25

やっぱりフィルタが本質を物語っているように思う

340 ：１３２人目の素数さん：2007/06/15(金) 10:47:22

いつの間にか１年たつのか

341 ：１３２人目の素数さん：2007/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 ：１３２人目の素数さん：2007/08/26(日) 12:36:16

俺も数学非専攻だけど

>※2のMを構成するのは開集合のみ。
ちがうんじゃなかろか
※１のMと※２のMはどちらも任意の部分集合でいっしょ

前項ではＭから位相空間の作り方を
該当項では、位相ＯとＯ（Ｍ）が仮に一致したら
Ｍを『準基底』と呼ぶ定義を述べてるだけでは？

343 ：１３２人目の素数さん：2007/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 ：３４２：2007/08/26(日) 12:50:47

>>341
ごめん書き方がまずかったかもしれなかった。
結局は、ＭはＯ（Ｍ）とＯの開集合となるので、

>※2のMを構成するのは開集合のみ。
はただしい。ただ、Ｏの開集合系の一部
ただ、前項のように位相Ｏを作り出す構成要素みたいなもんと思っていいんでは

>※1のMを構成するのは任意の部分集合。
という上の意味からすると、これもＯ（Ｍ）を構成する開集合系の一部

つまり、準基というのは、位相を規定するのに全部の開集合を指定しなくても
その構成要素を示す手段と考えられるってことでは

345 ：１３２人目の素数さん：2007/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 ：１３２人目の素数さん：2007/08/26(日) 15:14:42

線形代数の復習をしたほうが良さげ。
この手のことは、線形空間の基底系（開基とは異なるもの。念のため。）
とのアナロジーですぐに了解できるはず。

347 ：１３２人目の素数さん：2007/08/26(日) 15:21:12

>>345
>M は O の部分集合となる.
前項の（３．１）、（３．２）より明らか

つまり、（３．１）でＭ自身は（３．１）があらわす集合系の部分集合となり
同様に（３．２）があらわす集合系の部分集合となる
従って位相Ｏの部分集合（開集合）となる

348 ：１３２人目の素数さん：2007/08/26(日) 15:32:03

>>345
> この定理は松坂本に載ってますかね？

松坂さんの本は持ってないので知りません。
O(M)の構成方法から直ちに従うべきことなんですが、>>347 さんが書いてくれたので
それを見てください。M ⊂ O(M) を確かめることができると思います。

349 ：１３２人目の素数さん：2007/08/26(日) 15:53:04

ありがとうございます。
疑問が解けました。

>>346
元文系、今も半分文系なので線形代数も知らないんですよね。
集合位相入門を終えたら、松坂先生の線形代数入門で勉強する予定です。
勉強する順番間違えたかな。

350 ：１３２人目の素数さん：2007/08/26(日) 16:05:50

>>349
くどくて悪いけど、一応例を挙げると

実数Ｒをイメージすれば
[∞,a)と(b,∞]が準基
(a,b)が基底（基本近傍系にもなるかな）

上の準基の元２つの積を取れば（３．１）、基底を作ることが出来
さらに基底の無限和（３．２）を取れば位相を構成する
任意の開集合を作ることが出来る

351 ：１３２人目の素数さん：2007/08/26(日) 16:14:51

今頃>>140が繋がりという表現が
連続性の事を言っているのではなく
連結性の事を言っていた事に気付いた俺は空気嫁てない＆痴呆

352 ：１３２人目の素数さん：2007/08/26(日) 18:50:39

>>349
線型代数・多変数微積分・集合は基礎部分でいろいろ
かかわりを持つことも多いので、並行してやるべき。
群論も並行してやると線型代数の理解が早いかもしれない。

353 ：１３２人目の素数さん：2007/08/26(日) 18:53:16

>>349
『集合位相入門』は集合と位相を一緒にしているが、
位相（ジェネラルトポロジー）は後回しにすべき。
位相に入るならR^nの位相の最初のほうで一旦切れ。

354 ：１３２人目の素数さん：2007/08/26(日) 19:08:04

>>352,353
そうなんですか。
位相も、線型代数や解析と関連するところがあるのでしょうか？

四章「位相空間」がもう少しで終わるので、そこで一旦止めて
『線型代数入門』読み始めることにします。

ついでにといってはなんですが、松坂先生の『解析入門』も平行して読むと効率的なんですかね？

355 ：１３２人目の素数さん：2007/08/26(日) 19:18:43

てゆうか、文系で位相が必要なのは何を勉強したいの？
単なる趣味？

356 ：１３２人目の素数さん：2007/08/26(日) 19:31:57

優先順位は
１．解析＝微積に毛の生えたもの
２．線形代数
３．集合・位相．

１〜３を同時進行すべきだが、時間が取れんのならこの順にやるべし。

357 ：１３２人目の素数さん：2007/08/26(日) 19:32:06

今は情報です。
位相が出てくるもので。
まあ、分からないまま飛ばしてもよかったんですが。。

線型代数と解析は関係ないですけど。こっちは趣味ですね。
理系科目をひととおり勉強しておきたい、と思いまして。

358 ：１３２人目の素数さん：2007/08/26(日) 19:47:33

>>357
へえ、情報で位相が出てくるんだ
差し支えなっかたら、どんな分野か教えて貰えるとうれすい
機械学習だと、学習理論で位相幾何とか関係するとか聞いたことあるんだけど
あとは、やはり学習でマハラビス距離だっけ？そこらあたりなんかな？

ちなみに、位相は通常学部レベルの非数学科理系の学生は学ばない
線型代数や解析は必須だけど

俺は電気系の学生だったけど、位相は、量子論や相対論より難しいかもしれない
ぐらい難しいんじゃないかと　（異論ある人多数かもしんないけどｗ）

359 ：１３２人目の素数さん：2007/08/26(日) 20:00:41

プログラミング言語理論です。
型理論や意味論など。
あまり抽象的なところを専門にするつもりはないですけど、分からないのも癪なので。

360 ：１３２人目の素数さん：2007/08/26(日) 20:03:17

>>359
Ｔｈｘ　初耳だった
ちょっと、調べてみる

>>358の位相幾何は代数幾何の間違いだた

361 ：１３２人目の素数さん：2007/08/26(日) 20:43:02

>>358
初歩の位相は単なる言葉なので、抽象的な理論を苦にしない
タイプのひとならば理解は簡単。量子論や相対論のほうが遥かに
難しい。

362 ：１３２人目の素数さん：2007/08/27(月) 02:01:13

>>361
相対性理論なんて数学科なら山である共変微分や、測地線の方程式あたりは
楽勝じゃないかと
あとはアインシュタインの方程式を残すだけかと

量子力学は、桜井ジュン氏の本とか選べばシュレディンガーの方程式あたりまで
結構スムーズにいくような気がするんだけど（線型代数＋関数解析の初歩知識があれば）
山内氏の解析力学が事前準備に必要だけどこれも問題になるような部分はないかと

363 ：１３２人目の素数さん：2007/08/31(金) 09:09:28

解析入門(杉浦)で位相軽くでてきたけど意味わかんねー
位相は位相でちゃんとやらないとダメそうだな

364 ：１３２人目の素数さん：2007/09/01(土) 19:07:44

>>363
分るって。おめー英語読めるだろ。英語同様、最初苦しいだけだ。
位相は言葉だから、慣れりゃ大したこと無い(w

365 ：１３２人目の素数さん：2007/09/03(月) 10:20:03

いや解析入門だけ読んでも分からんけどね

366 ：１３２人目の素数さん：2007/09/13(木) 19:12:09

ある閉集合Fを含むすべての開集合の共通部分はFになるんですか？

367 ：１３２人目の素数さん：2007/09/13(木) 19:18:28

>>366
2点集合で反例が構成できる。
T3空間なら正しい。

368 ：１３２人目の素数さん：2007/09/14(金) 00:22:42

>>367
ハウスドルフ空間で成り立たないものにはどのようなものがあるんですか？

369 ：１３２人目の素数さん：2007/09/14(金) 02:33:49

>>368
ハウスドルフ空間では>>366は常に成り立つ
より一般に、T1空間でもよい
Fが閉集合でなくてもよい

370 ：１３２人目の素数さん：2007/09/14(金) 02:39:54

ハウスドルフ空間でT3空間でないものにはどのようなものがあるんですか？

371 ：１３２人目の素数さん：2007/09/14(金) 18:55:06

>>370
シンガー＆ソープ著
「トポロジーと幾何学入門」
に，反例が載っていたような希ガス．

372 ：１３２人目の素数さん：2007/09/18(火) 15:57:14

Counterexamples in Topology にいくつか反例がある。

373 ：１３２人目の素数さん：2007/09/28(金) 14:38:11

あんまりいいやり方とはいえないかもしれんが
今なら有限集合上での位相空間を片っ端から調べれば
大抵の反例はすぐに見つかるんじゃないかな

374 ：１３２人目の素数さん：2007/09/29(土) 00:12:14

>>373
コンピュータシミュレーションでもするってこと？

375 ：１３２人目の素数さん：2007/09/29(土) 00:38:55

シミュレーションも何も、ただのバカサーチでしょ

376 ：１３２人目の素数さん：2007/09/29(土) 08:23:21

>>373
有限集合は、ハウスドルフならばT3

377 ：１３２人目の素数さん：2007/09/29(土) 09:53:36

>>376

有限集合は、ハウスドルフなら離散

378 ：１３２人目の素数さん：2007/09/30(日) 17:32:42

Ｔ1の時点で離散じゃねぇか使えねーな

379 ：１３２人目の素数さん：2007/10/30(火) 13:20:11

989

380 ：１３２人目の素数さん：2007/10/30(火) 21:04:27

n個の元からなる有限集合に位相は何種類ありますか?

381 ：１３２人目の素数さん：2007/10/30(火) 21:10:02

今のところnの式では表せないね

382 ：１３２人目の素数さん：2007/10/30(火) 21:27:55

おまいさんにとっては表せないけど、普通の人には表せるんじゃないのか？

383 ：１３２人目の素数さん：2007/10/30(火) 21:29:45

んじゃ表してみてくれ

384 ：１３２人目の素数さん：2007/10/30(火) 21:55:13

位相空間Ｘにおける分離公理
★Ｔ１−空間
任意のｘ∈Ｘおよびｘと異なるｙ∈Ｘに対し、ある開集合Ｕが存在し
、ｘ∈Ｕかつｙ∈／Ｕ
★Ｔ２−空間（ハウスドルフ）
任意の異なる２点ｘ、ｙ∈Ｘに対し、ある開集合Ｕ、Ｖが存在し、
ｘ∈Ｕ、ｙ∈Ｖ、ＵとＶの共通部分は空
★Ｔ３−空間
任意のｘ∈Ｘとｘを含まない閉部分集合Ｆに対し、ある開集合
Ｕ、Ｖが存在して、ｘ∈Ｕ、Ｆ⊂Ｖ、ＵとＶの共通部分は空
★Ｔ４−空間
任意の交わらない閉部分集合Ｆ、Ｇに対し、ある開集合Ｕ、Ｖが
存在して、Ｆ⊂Ｕ、Ｇ⊂Ｖ、ＵとＶの共通部分は空
※このほかにもチコノフの分離公理がある。

385 ：１３２人目の素数さん：2007/10/30(火) 22:04:14

ウリゾーンの補題
Ｘを正規位相空間とする。Ａ、Ｂを交わらない閉部分集合とする。
このとき、ある連続関数ｆ：Ｘ→［０，１］が存在して、
ｆ（ｘ）＝０（∀ｘ∈Ａ）、ｆ（ｘ）＝１（∀ｘ∈Ｂ）
このほかにもティーツェの拡張定理がアルヨ！

386 ：１３２人目の素数さん：2007/10/30(火) 22:21:10

>>383
俺は普通の人じゃなくて、馬鹿だからわからん

387 ：１３２人目の素数さん：2007/10/31(水) 02:55:02

>>384
T3.5とかT5,T6とか、出すなら全部出せよ

388 ：１３２人目の素数さん：2007/10/31(水) 17:56:31

お前もT0忘れてるじゃんｗ

389 ：１３２人目の素数さん：2007/10/31(水) 18:05:11

n=0〜60くらいのとき、 n個の元からなる有限集合に位相は何種類くらいありますか?

390 ：１３２人目の素数さん：2007/10/31(水) 18:52:17

>>389
http://www.research.att.com/~njas/sequences/A000798
http://science6.2ch.net/test/read.cgi/math/1097082554/
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 ：１３２人目の素数さん：2007/10/31(水) 19:26:07

>>388
誰が??

392 ：１３２人目の素数さん：2007/10/31(水) 19:40:18

>>390
うおぉ〜、そんなスレがあったんか
ありがとん

393 ：１３２人目の素数さん：2007/10/31(水) 19:49:04

有限集合上の位相ってパズルみたいな物だね

394 ：１３２人目の素数さん：2007/10/31(水) 19:54:44

要素数ｎの有限集合上の位相の数で同相なものは除いたものと
位数ｎの有限群の分類、どちらがおおいか？私は前者と思う

395 ：１３２人目の素数さん：2007/10/31(水) 22:55:06

ガウスの素数定理よろしく、結果を眺めてなんか発見でもしようとしたのかね？

自分でプログラムすら組もうとしない人間に簡単にわかる種類の問題じゃないんだが。

396 ：１３２人目の素数さん：2007/11/01(木) 01:49:46

まだ位相を勉強しだしたばかりです
n=3 のときも自分で考えて面倒臭くて嫌になりました
入門書にこんな難しいなんて書いてありましたっけ?

397 ：１３２人目の素数さん：2007/11/01(木) 02:11:05

>>396
位相が役に立つのは函数解析や偏微分方程式をやったときダヨ！

398 ：１３２人目の素数さん：2007/11/01(木) 09:00:08

>>396
有限集合の位相なんてそんな組合せ論的対象が
数えるの大変なことぐらい言われなくてもわかれよ。

399 ：１３２人目の素数さん：2007/11/01(木) 11:28:38

>>396
そもそも難しくないから難しいなどとと書く必要がない。

400 ：１３２人目の素数さん：2007/11/01(木) 15:19:51

↑天才あらわる

401 ：１３２人目の素数さん：2007/11/01(木) 15:41:39

面倒なのと難しいのとは混同すべきではないよな。
有限集合の位相を書き出す問題は、ただ面倒なだけで
論理的には簡単だろう。計算量的な問題と思うと
その困難さは組合せ論的な特徴が出てるけど。

402 ：１３２人目の素数さん：2007/11/01(木) 16:08:59

有限単純群の分類も簡単

403 ：１３２人目の素数さん：2007/11/01(木) 16:09:41

四色問題も簡単

404 ：なんつっ亭 ◆YLhguIEUXM ：2007/11/01(木) 22:44:16

>>402-403
それイーソー。


なんつって＾＾；　　　（詳しくは、「アイドリング」で検索）

405 ：１３２人目の素数さん：2007/11/02(金) 02:36:47

実際には十何桁を越したあたりで、
現代的な計算機を使ってもしらみつぶしに全数数え上げるのは難しくなるから
それなりの工夫をしないといけないんだろうけどね。

406 ：１３２人目の素数さん：2007/11/02(金) 07:32:28

素因数分解も簡単

407 ：１３２人目の素数さん：2007/11/02(金) 09:07:32

RSA暗号解読も簡単

408 ：１３２人目の素数さん：2007/11/06(火) 02:54:58

>>397
>位相が役に立つのは函数解析や偏微分方程式をやったときダヨ！

非ハウスドルフな位相が、関数解析は偏微分方程式で役に立つ例を
教えてくれ！

409 ：１３２人目の素数さん：2007/11/06(火) 02:56:07

×関数解析は偏微分方程式で
○関数解析や偏微分方程式で

410 ：１３２人目の素数さん：2007/11/06(火) 09:38:40

A君の家とB君の家を考える。
距離ｄ（A,B）をA君の家からB君の家に行く時間と考えると

ｄ（A,B)≠ｄ（B,A)

なぜならばA君の家とB君の家の間には坂道があるから。

このように考えると距離空間というのは
非常にまれなケースでしかない。

411 ：１３２人目の素数さん：2007/11/06(火) 09:58:15

単純に所要時間は距離の公理を満たさないというだけで、
距離空間が特殊だってことの説明にはなってないと思う

412 ：１３２人目の素数さん：2007/11/06(火) 10:04:43

単純にd(x,y)≠d(y,x)が成り立たない例を考えたんだけど
他の公理が成り立たないようにして
距離空間をくずしてもいいんだよね。

413 ：１３２人目の素数さん：2007/11/06(火) 10:15:22

[0,1]上の関数の集合で
距離d(f,g)=|f-g|の面積で定義したら
d(x,y)=0 →　x=y
が成り立たなくから距離空間でなくなるね。

414 ：１３２人目の素数さん：2007/11/06(火) 10:21:48

反例がいくつも容易に作れるからといって
それが特殊な概念だということには繋がらない。

喩えるなら、具体的に数を思い浮かべるとき、
有理数をたくさん容易に思いつくことはできるが
実数は有理数よりも高い濃度で無理数を含むとか、
思いつく自然数をたくさん言えといわれると、どうしても
ある程度以下であることになるが、それよりも
はるかに大きな自然数がいつでも無限にとれるとか。

415 ：１３２人目の素数さん：2007/11/06(火) 11:51:41

位相を進めるってどうやるんですか？

416 ：１３２人目の素数さん：2007/11/06(火) 12:33:52

ここに出ているよ↓


http://pinktower.com/pukapuka.sakura.ne.jp/cgi-bin/upload/puka/img-box/1194160463812.jpg

417 ：１３２人目の素数さん：2007/11/06(火) 12:42:54

>>415
それはここで話題にしてる位相 (topology) じゃなくて
物理なんかで言う位相 (phase) じゃないのか？

418 ：１３２人目の素数さん：2007/11/06(火) 12:45:28

phaseのスレじゃないのですか…
失礼しました

419 ：１３２人目の素数さん：2007/11/06(火) 14:50:29

位相をphaseと勘違いする奴がなんで数学板にいるんだろう

420 ：１３２人目の素数さん：2007/11/06(火) 18:22:30

phase で topology を調べる話が量子力学にあるけどね。

421 ：１３２人目の素数さん：2007/11/06(火) 18:28:31

そりゃまた日本語で書くとややこしそうな話だな

422 ：１３２人目の素数さん：2007/11/06(火) 20:07:22

普通は距離空間が充分一般的でないことを言いたいなら、
距離が入らない位相空間で、重要なものがたくさんあることを
例示して説明したりすんじゃないの。

423 ：１３２人目の素数さん：2007/11/08(木) 09:21:03

>>422
例えばどんなの？

424 ：１３２人目の素数さん：2007/11/08(木) 23:45:48

俺は別に距離空間が特殊だとは思ってないんだけど、
例えば代数幾何で出てくるZariski位相とか。

あとどの程度重要なのか分からんけど、
集合論で順序数とか一般の順序集合に順序位相入れて議論したりすることもある。

425 ：１３２人目の素数さん：2007/11/08(木) 23:52:00

あげ

426 ：１３２人目の素数さん：2007/11/09(金) 01:37:54

関数空間の弱位相とか

427 ：１３２人目の素数さん：2007/11/09(金) 02:07:04

逆に距離の入る位相でも、p進位相のように初学の際には
「なんつー距離の入れ方するんだ」みたいなのもあるね。

428 ：１３２人目の素数さん：2007/11/09(金) 09:46:50

>>424
424さんは数学に慣れてるか、頭がいいかのどっちかだと思う。

今までネコしか見た事無い子供にイヌを見せてもネコという判断をしてしまうらしい。
その子には「これはイヌだよ」と言って、沢山のイヌとネコを見せて
違いをうえつけていかねばならないそうだ。

つまり、今まで距離空間しか体験した事の無い人に位相空間を教えるには
たくさんの距離空間と位相空間を見せて
その人の頭の中に、距離空間と位相空間のクオリアを作り上げていかねばならないと思う。

（位相空間を距離空間でない位相空間だという意味で書いてるよ）

429 ：１３２人目の素数さん：2007/11/09(金) 10:28:08

>>422-424 は >>410 に対するものじゃないの？
だとすると >>428 はズレてる気ガス

430 ：１３２人目の素数さん：2007/11/10(土) 09:12:07

>>429
確かにちょっとずれてるかも。

ただ俺としては距離空間の世界観で生きてきた人に対して
位相空間というものを実感させるには
位相空間をたくさん見せる事が必要だと思ったんだ。

それも距離空間に近いものからの方が実感しやすいと思った。

まず、イヌとネコの違いが分かるようになってから
イヌやネコについて知識を深めていけるからね。

431 ：１３２人目の素数さん：2007/11/10(土) 09:57:20

何も足さない、何も引かない。
位相は位相として理解すべし。

432 ：１３２人目の素数さん：2007/11/10(土) 10:54:17

>>410
はフィンスラー幾何だね。

433 ：１３２人目の素数さん：2007/11/10(土) 11:11:17

位相の基ってなんだよ

434 ：１３２人目の素数さん：2007/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 ：１３２人目の素数さん：2007/11/10(土) 14:49:41

エーゲに位相は入りますか

436 ：１３２人目の素数さん：2007/11/10(土) 15:14:20

提案など無いが、数学では phase space を相空間という。

437 ：１３２人目の素数さん：2007/11/10(土) 15:39:44

>>431 古くね?

438 ：１３２人目の素数さん：2007/11/10(土) 20:09:49

洋書を読め。単に日本語訳の問題だ。

439 ：１３２人目の素数さん：2007/11/12(月) 11:10:43

>>434
よく分からない。
物理はあまり知識ない。

440 ：１３２人目の素数さん：2007/11/12(月) 11:31:51

phase
topology

441 ：１３２人目の素数さん：2007/11/13(火) 19:52:18

bourbaki の下巻だけきた
上巻はまだヽ(*｀Д´)ノ

442 ：１３２人目の素数さん：2007/11/13(火) 19:59:38

ブル履きってまだ売っているの？

443 ：１３２人目の素数さん：2007/11/13(火) 20:05:55

英語版

444 ：１３２人目の素数さん：2007/11/13(火) 20:30:56

ブル履きって二巻で終わりか

445 ：１３２人目の素数さん：2007/11/14(水) 00:23:47

売ってるよ。英語版とか仏語版とか。

446 ：１３２人目の素数さん：2008/01/30(水) 23:27:21

niemytzki平面

これなんて読むの？

447 ：１３２人目の素数さん：2008/03/28(金) 15:07:09

480

448 ：１３２人目の素数さん：2008/04/12(土) 12:36:06

age

449 ：１３２人目の素数さん：2008/04/22(火) 00:49:11

age

450 ：１３２人目の素数さん：2008/04/22(火) 20:26:36

位相セレナーデ　　by 井上陽水

451 ：素人：2008/05/18(日) 05:47:00

どなたか具体的な例を教えていただけませんか？
L2(a,b)に属してL2(R)に属さない関数はf(x)=x等ありますが、
L2(R)に属する関数がわかりません
もひとつ、L1の属する具体的な関数を教えてください

452 ：１３２人目の素数さん：2008/05/18(日) 09:45:17

>>451
f(x)=1 (0<x<1) f(x)=0 (その他のx)とかがある

453 ：１３２人目の素数さん：2008/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 ：素人：2008/05/21(水) 05:46:22

ありがとうございます
L1(R)に属してL2(R)に属さない例は, 1/√|x|
L2(R)に属してL1(R)に属さない例は, 1/|x|
と言ってはいけないのですか？

455 ：１３２人目の素数さん：2008/05/21(水) 08:07:55

>>1
長さを測る定規についての決め事。

456 ：１３２人目の素数さん：2008/05/21(水) 11:58:16

>>455
それは距離じゃないのか。

457 ：453：2008/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 ：素人：2008/05/23(金) 06:52:44

ありがとうございました

459 ：１３２人目の素数さん：2008/06/02(月) 23:49:15

二年。

460 ：１３２人目の素数さん：2008/07/23(水) 04:06:10

902

461 ：無限に悩む：2008/08/16(土) 19:22:58

どなたか無限次元ヒルベルト空間と有限次元ヒルベルト空間の違いを教えて下さい
無限次元になると何がうれしいのでしょうか？

462 ：１３２人目の素数さん：2008/08/17(日) 11:47:51

関数空間を考えられる。

463 ：１３２人目の素数さん：2008/08/17(日) 16:03:21

>>450
吹いた

464 ：１３２人目の素数さん：2008/08/17(日) 22:00:17

完備とコンパクトの違いについて教えてください。

完備が距離空間での言葉、コンパクトが距離空間または位相空間での言葉でよいですか？

465 ：１３２人目の素数さん：2008/08/17(日) 22:17:13

定義見れば違いがわかるだろ
むしろどこに似たものだと勘違いする要素があるのか逆に問いつめたいくらいだ。

466 ：１３２人目の素数さん：2008/08/17(日) 22:25:27

だって、位相の30講の第17講のコンパクトの定義が、
【定義】距離空間(X,d)が次の性質(C)をもつとき、Xはコンパクトであるという：
(C) Xから任意に無限点列をとったとき、この無限点列はXの中に必ず集積点をもつ
って書いてあるけど、これじゃ完備の定義と一緒に見えます。

第19講義に書いてある完備の定義は
【定義】距離空間(X,d)において、任意のコーシー列が、必ずある点に収束するとき、
Xを完備であるという
です。

どっちも集積点を含んでいればおｋの様に思えるのですが。
この定義の違いってなに？

467 ：１３２人目の素数さん：2008/08/17(日) 22:35:31

完備距離空間でコンパクトでない例を考えれば定義の違いは自ずと明らかだろ

468 ：１３２人目の素数さん：2008/08/17(日) 22:53:50

まさか、Rは完備だけど、コンパクトじゃないって事か・・・

469 ：１３２人目の素数さん：2008/08/18(月) 00:58:27

集積テント極限店の違いがわからんとは
なかなか面白いことを言う。

470 ：１３２人目の素数さん：2008/08/22(金) 19:37:13

>>466
>どっちも集積点を含んでいればおｋの様に思えるのですが。
>この定義の違いってなに？

完備の定義って、集積点含んでないじゃん。

471 ：１３２人目の素数さん：2008/08/24(日) 20:56:18

じゃあ、有理数Qは完備でコンパクトではないんだ。ほんとかよ。

472 ：１３２人目の素数さん：2008/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 ：１３２人目の素数さん：2008/08/24(日) 21:00:47

Rは完備だがコンパクトではない。

474 ：１３２人目の素数さん：2008/08/24(日) 21:02:19

無限数列 (xn) について


が成立するとき、数列 (xn) はコーシー的である、コーシー性を持つ、あるいはコーシ−列であるという。

475 ：結論：2008/08/24(日) 21:03:16

無限点列とコーシー列は同じ物ではない。

476 ：１３２人目の素数さん：2008/08/24(日) 21:04:33

確認になったから、文句もないが、何故、自分で調べない？

477 ：１３２人目の素数さん：2008/08/24(日) 21:05:59

コーシー列は距離が０に収束していくが、無限点列は必ずしもそうはならない。

478 ：１３２人目の素数さん：2008/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 ：１３２人目の素数さん：2008/08/24(日) 22:56:03

>>472
そんなゴミみたいなサイトからゴミみたいなもん引用してくんなよ

480 ：１３２人目の素数さん：2008/08/25(月) 02:00:38

英語版は結構知らないことも書いてあって勉強になるよ。

481 ：１３２人目の素数さん：2008/08/25(月) 02:32:41

英語版の話なんか誰もしていないわけだが

482 ：１３２人目の素数さん：2008/08/25(月) 05:57:47

俺がしてるよ

483 ：１３２人目の素数さん：2008/09/10(水) 21:01:22

hage

484 ：2ちゃんねる：2008/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)�Og(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になりそうに無いのですが、、、

どうすれば示せますでしょうか?

485 ：485：2008/09/29(月) 03:23:09

f:R→R×{1};X∋∀x→f(x)=(x,1)とするとこれが連続である事を示したく思っています。

(R^2⊃)Vを(x,1)の任意の近傍とします。 このVに対してRでのxの近傍Uをどのように取れば
f(U)⊂Vが示せますでしょうか?

486 ：１３２人目の素数さん：2008/09/29(月) 11:54:35

↑
R×{1}における点（x,1）の近傍VはV'×{1}(但しV'はRにおけるxの近傍)のかたちです。
よってU＝V'ととればよい。

487 ：485：2008/10/01(水) 02:29:09

> R×{1}における点（x,1）の近傍VはV'×{1}(但しV'はRにおけるxの近傍)のかたちです。
>
> よってU＝V'ととればよい。

ありがとうございます。納得です。

488 ：１３２人目の素数さん：2008/10/05(日) 12:34:35

上半連続と下半連続の定義について教えてください。

(X,T)と(Y,S)をそれぞれ位相空間(TとSは位相)とする。
f:X→Yとする。
fがx∈Xで上半連続であるとは，
と
fがx∈Xで下半連続であるとは，

それぞれどのように述べれますでしょうか?

489 ：１３２人目の素数さん：2008/10/05(日) 15:16:02

上半連続かつ下半連続であることが連続の定義

490 ：１３２人目の素数さん：2008/10/06(月) 02:04:25

>489

連続ではなく上半連続と下半連続の定義を教えていただきたいのですが(位相空間上での)

491 ：１３２人目の素数さん：2008/10/06(月) 06:57:39

>(X,T)と(Y,S)をそれぞれ位相空間(TとSは位相)とする。
>f:X→Yとする。
Yが実数の空間Rの場合の定義なら
fがa∈Xで上半連続⇔∀c>0に対し{x∈X|f(x)<f(a)+c}に含まれるaの近傍がある
（下半連続の場合はf(x)>f(a)-c）
だろうけどあんたが聞きたいYが実数の空間Rでない場合の定義は知らぬ
というかあるの…？

492 ：１３２人目の素数さん：2008/10/07(火) 06:58:29

よろしくお願い致します。

Let T and T' be two topologies on X. If T'⊃T,what does connectedness of X in one topology imply about connectedness in the other?

と言う問題です。

Xの片方での連結性は他方での連結性の何を意味しているか?

と言う問題です。

連結なのだから
φ≠∀A,B∈T,X=A∪BならばA∩B≠φ
と
φ≠∀A,B∈T',X=A∪BならばA∩B≠φ

と書けますがこれから何がいえますでしょうか?

493 ：１３２人目の素数さん：2008/10/07(火) 12:38:15

>>488
折れも>>491と同意見で、少なくとも(Y,S)は順序位相空間でなければいけないと
思うんだが、そうでなくてもよい定義があるんなら知りたい。

494 ：１３２人目の素数さん：2008/10/07(火) 12:43:51

>>492
A,B∈TならばA,B∈T'だが一般に逆はいえないのだから、
T'で連結ならばTでみても連結だが、逆はいえないというだけのことでは？

495 ：１３２人目の素数さん：2008/10/07(火) 23:13:53

> Xの片方での連結性は他方での連結性の何を意味しているか?
>
> と言う問題です。

もうちょっと真面目に訳せよ、と言いたい。

496 ：１３２人目の素数さん：2008/10/07(火) 23:17:21

英語も数学もダメダメな奴だな、こんなのが大学生なのか…

ゆとり教育も行き着くとこまで来たと言う感じだ

497 ：１３２人目の素数さん：2008/10/08(水) 01:55:06

> 494
どうもありがとうございました。

498 ：１３２人目の素数さん：2008/10/08(水) 05:39:37

英語が駄目でもノーベル賞は取れる

499 ：１３２人目の素数さん：2008/10/08(水) 06:45:21

>>498
すげー希望が湧いた

500 ：１３２人目の素数さん：2008/10/08(水) 06:48:24

いや、数学専攻なら英語くらい覚えろよ
論文書けないし、文献読めないだろ

501 ：１３２人目の素数さん：2008/10/08(水) 08:01:34

論文は日本語でおｋ

502 ：１３２人目の素数さん：2008/10/08(水) 16:10:38

たぶん、英語が出来ないからプレゼンテーションが出来ず
評価されず結果としてノーベル賞を取れなかった、
という人は相当数居ると思うぞ

503 ：１３２人目の素数さん：2008/10/08(水) 22:05:28

へー、例えば誰？
相当数いるのなら一人くらいは例を挙げられるよね。

504 ：１３２人目の素数さん：2008/10/10(金) 10:24:42

p:X→Yを商写像とせよ。もし各p^-1({y})が連結でYが連結ならばXは連結である。

の問題です。

TをXの位相とSをTからのpによるYでの商位相とするとpは商写像だと言うのだから定義から
pは全射で,
s∈S⇔p^-1(s)∈T
と書け、
各p^-1({y})が連結だからp^-1({y})の位相として相対位相T_(y):={p^-1({y})∩t;t∈T}が採れ,
φ≠∀A,B∈T_(y),p^-1({y})=A∪BならばA∩B≠φ
Yが連結だからφ≠∀A,B∈S,Y=A∪BならばA∩B≠φ

でこれらからφ≠∀A,B∈T,X=A∪BならばA∩B≠φ

を示したいのですが

Xが連結ではないと仮定すると、X=A∪B、A∩B＝φとなる、
空でない、A,B∈Tが存在します。
p(A),p(B)∈Sが言えれば
P(A)∪P(B)=P(A∪B)=P(X)=Y(∵pは全射)。
A∩B≠φよりφ≠P(A∩B)⊂P(A)∩P(B)
で矛盾となり。
Xは連結(終り)

となるのですが
どうすれば「p(A),p(B)∈Sが言えれば」がいえますでしょうか?

505 ：１３２人目の素数さん：2008/10/11(土) 06:03:04

p^-1({y})はｈｏｍｏだからXは連結

506 ：１３２人目の素数さん：2008/10/12(日) 04:27:31

>>504
X=U∪V（UとVはXの空でない開集合）＆U∩V＝φ
と仮定すると、
∀ｙ∈Y:ｆ^-1(y)は連結
ゆえ
∀ｙ∈Y:ｆ^-1(y)∈U　またはｆ^-1(y)∈V.
∴
Y=ｆ(U)∪f(V)（ｆ(U)とf(V)はYの空でない開集合）＆ｆ(U)∩f(V)＝φ.
∴
X:不連結⇒Y:不連結.
i.e.
Y:連結⇒X:連結. Q.E.D. ♪

507 ：１３２人目の素数さん：2008/10/12(日) 04:30:52

↑訂正:f→ｐ

508 ：１３２人目の素数さん：2008/10/12(日) 04:36:15

もういちど書く.
X=U∪V（UとVはXの空でない開集合）＆U∩V＝φ
と仮定すると、
∀ｙ∈Y:p^-1(y)は連結
ゆえ
∀ｙ∈Y:p^-1(y)∈U　またはp^-1(y)∈V.
∴
Y=p(U)∪p(V)（p(U)とp(V)はYの空でない開集合）＆p(U)∩p(V)＝φ.
∴
X:不連結⇒Y:不連結.
i.e.
Y:連結⇒X:連結. Q.E.D. ♪

509 ：１３２人目の素数さん：2008/10/12(日) 04:42:02

>どうすれば「p(A),p(B)∈Sが言えれば」がいえますでしょうか?
∀y∈Y：ｐ^-1(y)⊆Aまたはｐ^-1(y)⊆B　であることからいえます。

510 ：１３２人目の素数さん：2008/10/12(日) 04:44:17

さらに訂正を書く
X=U∪V（UとVはXの空でない開集合）＆U∩V＝φ
と仮定すると、
∀ｙ∈Y:p^-1(y)は連結
ゆえ
∀ｙ∈Y:p^-1(y)⊆U　またはp^-1(y)⊆V.
∴
Y=p(U)∪p(V)（p(U)とp(V)はYの空でない開集合）＆p(U)∩p(V)＝φ.
∴
X:不連結⇒Y:不連結.
i.e.
Y:連結⇒X:連結. Q.E.D. ♪

511 ：１３２人目の素数さん：2008/10/12(日) 04:45:36

さらに訂正を書く
X=U∪V（UとVはXの空でない開集合）＆U∩V＝φ
と仮定すると、
∀ｙ∈Y:p^-1(y)は連結
ゆえ
∀ｙ∈Y:p^-1(y)⊆U　またはp^-1(y)⊆V.
∴
Y=p(U)∪p(V)（p(U)とp(V)はYの空でない開集合）＆p(U)∩p(V)＝φ.
∴
X:不連結⇒Y:不連結.
i.e.
Y:連結⇒X:連結. Q.E.D. ♪

512 ：１３２人目の素数さん：2008/10/13(月) 05:37:12

さらに訂正を書く
X=U∪V（UとVはXの空でない開集合）＆U∩V＝φ
と仮定すると、
∀ｙ∈Y:p^-1(y)は連結
ゆえ
∀ｙ∈Y:p^-1(y)⊆U　またはp^-1(y)⊆V.
∴
Y=p(U)∪p(V)（p(U)とp(V)はYの空でない開集合）＆p(U)∩p(V)＝φ.
∴
X:不連結⇒Y:不連結.
i.e.
Y:連結⇒X:連結. Q.E.D. ♪

513 ：１３２人目の素数さん：2008/10/13(月) 23:22:43

二次元ユークリッド空間と三次元ユークリッド空間は同相でないことを証明せよ

514 ：１３２人目の素数さん：2008/10/14(火) 12:24:56

>512
納得できました。どうもありがとうございました。

515 ：１３２人目の素数さん：2008/10/16(木) 06:48:33

>>> 492
> A,B∈TならばA,B∈T'だが一般に逆はいえないのだから、
> T'で連結ならばTでみても連結だが、逆はいえないというだけのことでは？

すいません。逆が言えない場合の簡単な例ってありますでしょうか?
(すいません。ずっと考えてたのですが思いつきません)

516 ：１３２人目の素数さん：2008/10/16(木) 07:29:25

>>513
１点取り除け

517 ：１３２人目の素数さん：2008/10/16(木) 07:31:41

>>515
2点集合{0,1}に対する密着位相Tと離散位相T'を考えればいいんじゃないの
本当に思いつかないのか？

518 ：１３２人目の素数さん：2008/10/16(木) 17:45:35

>>516
もうちょっと書いてよ

519 ：１３２人目の素数さん：2008/10/16(木) 19:33:41

畑崎広敏（仕手筋）グループの本当の狙い


　経営再建中の宮入バルブ製作所の株を買い占め、取締役五人と監査役一人を経営陣に送り込んだ畑崎広敏グループと会社側との経営権争奪戦が続いている。
　畑崎グループには数学者の広中平祐の影もチラホラ。株価操縦疑惑も浮上している。広中も関わっていたのか。

畑崎グループが一位〜五位株主に

　東証二部上場のバルブメーカー、宮入バルブ製作所（本社・東京都中央区、大山沢成社長）の株が大量に買い占められた。
　宮入バルブ株買い占めの本尊は畑崎広敏。畑崎は仕手筋として知られ、株好きの数学者広中平祐と仕手戦を展開、兜町では「買い占めのＨ�ﾀ（エッチツー）コンビ」といわれている。
　畑崎は‥

520 ：１３２人目の素数さん：2008/10/17(金) 01:13:39

>>518
1点取り除いたら連結と非連結に分かれる
よって同相とすると矛盾

521 ：１３２人目の素数さん：2008/10/17(金) 02:16:38

>517

> 2点集合{0,1}に対する密着位相Tと離散位相T'を考えればいいんじゃないの
> 本当に思いつかないのか？

X:={0,1}においてT':={φ,{0},{1},{0,1}}、T:={φ,{0,1}}
とすると
Tの場合はX:=A∪B,A∩B=φとするとAかBはφなのでXは連結。
T'の場合はX:=A∪B,A∩B=φでA={0},B={1}と取れるのでXは非連結。

となるのですね。
ありがとうございました。

522 ：１３２人目の素数さん：2008/10/17(金) 11:41:35

>>520 連結じゃなくて単連結ですね。♪

523 ：１３２人目の素数さん：2008/10/20(月) 19:58:21

位相速度とベリー位相、単連結なのはどっち？

524 ：１３２人目の素数さん：2008/10/29(水) 03:20:51

XとYを位相空間とする。
Yがコンパクトならπ_1:X×Y→Xは閉写像

を示してます。

仮定からYがコンパクトだから任意の開被覆UA_λ(⊃Y)から有限個の{A_1,A_2,…A_n}でYを覆える。
X×Yの位相はT:={∪[(t,s)∈T'](t,s);T'⊂T_x×T_y} (但し,T_xとT_yはXとYの位相)と書け、
π_1:X×Y→Xは閉写像を示すには
任意のX×Yでの閉集合Fに対してπ_1(F)はXでの閉集合を示さねばならないと思います。
それでまず,
F^c∈Tを採ると,F^c=∪[(t,s)∈T'](t,s) (T'⊂T_x×T_y)の形になっていて,
F=(∪[(t,s)∈T'](t,s))^c=∩[(t,s)∈T']((t,s)^c) (∵ド・モルガンの法則)
π_1(F)=∩[t∈π_1(T')]t^cという形になると思います。
(∩[t∈π_1(T')]t^c)^c=∪[t∈π_1(T')]t∈T_x(∵位相の定義)
つまり∪[t∈π_1(T')]tはXでの開集合、即ち∩[t∈π_1(T')]t^cはXでの閉集合。
よって π_1は閉写像となったのですがこれで正しいでしょうか?

525 ：１３２人目の素数さん：2008/10/30(木) 18:03:31

位相レベルで議論してる人たちは数学の初心者だよね

526 ：１３２人目の素数さん：2008/10/31(金) 14:50:30

位相空間論にも専門家は居るので
そういうのはどうかと思う。

527 ：１３２人目の素数さん：2008/10/31(金) 15:33:27

>>526
位相空間論の話なのか?

528 ：１３２人目の素数さん：2008/11/15(土) 20:06:22

正規 T_1 空間 X とコンパクト T_2 空間 Y が与えられたとする。
このとき，もし積空間 X x Y が正規空間ならば積空間 X x Y x Y も正規空間か？

529 ：132番目の素数さん：2008/11/19(水) 06:32:15

compact Hausdorff は　normal,
( X x Y )　は　normal.
よって

X x Y x Y　＝(X x Y) x　Y　はnormal

530 ：132番目の素数さん：2008/11/19(水) 14:05:06

>>529
すまん。まちがえた。結論は正規かどうかわからない。

531 ：１３２人目の素数さん：2008/11/20(木) 04:06:51

(X,T)を位相空間とし,f,f'を[0,1]→Xへのpath(f([0,1])⊂Xで[0,1]で連続)とし,f(0)=f'(0),f(1)=f'(1)とする。
fとgがpath homotopicとは
H(s,0)=f(s),H(s,1)=g(s),H(0,t)=x_0,H(1,t)=x_1なる
連続写像H:[0,1]×[0,1]→Xが存在することです(この時のHをhomotopyと呼ぶ)。

その時,f〜gと表記する事にする。そしてx_0,x_1をそれぞれ始点,終点と呼ぶ。
そして[f]:={f';f〜f'}をpath classと呼ぶ。

そして,2つのpath f,gにおいてfとgの始点,終点を夫々,x_0,y_0,x_1,y_1とすると
x_1=y_0の時(つまりfの終点とgの始点が同じ点),
f*g:=

f(2s) (0≦s≦1/2の時)
g(2s-1) (1/2≦s≦1の時)

と定義し, [f]*[g]:=[f*g]で定義する。

この時,結合法則([f]*[g])*[h]=[f]*([g]*[h])が成立する。
そして 左単位元[e_{x_0}]と右単位元[e_{x_1}]が存在する。
これらは [e_{x_0}]*[f]=[f],[f]*[e_{x_1}]=[f]を満たす。

532 ：１３２人目の素数さん：2008/11/20(木) 04:07:32

そこで本題は実際に[e_{x_0}]*[f]=[f],[f]*[e_{x_1}]=[f]が正しい事を確かめたいという事です。

0≦s≦1/2の時,e_{x_0}(s)=x_0と定義し,

e_{x_0}*f:=

e_{x_0}(2s) (0≦s≦1/2の時)
f(2s) (1/2≦s≦1の時)

と定義し、[e_{x_0}]*[f]=[f]が成立するか。

1/2≦s≦1の時,e_{x_1}(s)=x_1と定義し,

f*e_{x_1}:=

f(2s) (0≦s≦1/2の時)
e_{x_1}(2s-1) (1/2≦s≦1の時)

と定義すると

[f]*[e_{x_1}]=[f]が成立するか

と思ったのですが成立を示すためにはそれぞれのhomotopy Hを見つけなければなりません。
それぞれHをどのように定義できますでしょうか?

533 ：１３２人目の素数さん：2008/11/20(木) 14:10:07

>>531 >>532
すでに、この種のホモトピーは、作られている：
[f]*[e_{x_1}] のほうは、
H(t, s) = f(min(1, 2t/(1+s)))
[e_{x_0}]*[f] のほうは、自分でやれ。

文献：岩波書店　位相幾何学I 小松・中岡・菅原 pp.61-62

534 ：１３２人目の素数さん：2008/11/20(木) 16:07:20

私も30越えなんスけど、今度電気回路、電子回路の部署にいくことに
なりました。でも私、もともと文系。
電気回路の数学では、複素数、ベクトル、三角関数、微分積分、フーリエ級数
なんか出てくるようですが、
私、中学卒業いらい、まともに数学してませんでした。
今から、高校数学はどの順序で何を勉強すりゃいいんでしょ?
マジすれキボンです。
ヘルプみー

535 ：533：2008/11/20(木) 16:10:14

スマソ　スレ間違えてかきこんじゃいました

536 ：１３２人目の素数さん：2008/11/20(木) 16:29:35

マジすれ？

537 ：１３２人目の素数さん：2008/11/20(木) 19:02:51

>>534

仕事あるだけ付いてるよね。その知識ある奴でも仕事がない奴がいるだろうに

538 ：１３２人目の素数さん：2008/11/20(木) 20:13:19

>>534
せや、おみゃーは恵まれとる

539 ：１３２人目の素数さん：2008/11/20(木) 22:28:35

>>534
たぶん本格的な数学をやる必要はあまりないとおもうよ。
大体仕事の場合することが規格化されてることがほとんどで
高級理論を知ってようが知るまいが仕事はできる場合がほとんど。
まあ実際にその部署に配属されなきゃわからないよ。

540 ：１３２人目の素数さん：2008/11/20(木) 23:13:38

つうかスレ違い

541 ：１３２人目の素数さん：2008/11/21(金) 09:50:56

まるちしね

542 ：１３２人目の素数さん：2008/11/22(土) 13:36:06

>533

ありがとうございます。


>>>531 >>532
> すでに、この種のホモトピーは、作られている：
> [f]*[e_{x_1}] のほうは、
> H(t, s) = f(min(1, 2t/(1+s)))

早速,
H(s,0)=f(s),
H(s,1)=(f*e_{x_1})(s),
H(0,t)=x_0,
H(1,t)=x_1
となる事をチェックしてみました。
H(s,0)=f(min(1,0))=f(0)
H(s,1)=f(min(1, 2/(1+s)))=f(1) (∵0≦s≦1なので)
H(0,t)=f(min(1, 2t/(1+0)))=f(1)
H(1,t)=f(min(1, t))=f(t) (∵0≦t≦1なので)
となり,
H(s,0)=f(s),
H(s,1)=(f*e_{x_1})(s),
H(0,t)=x_0,
H(1,t)=x_1
となりません。何処を間違っているのでしょうか?

543 ：１３２人目の素数さん：2008/11/23(日) 00:32:22

>>542
H の定義は、H(t, s) = f(min(1, 2t/(1+s))) 。

>H(s,0)=f(min(1,0))=f(0)
H(s,0) = f(min(1,2s))。H(t,s) の定義を良く見ようね。

>H(s,1)=f(min(1, 2/(1+s)))=f(1) (∵0≦s≦1なので)
H(s,1)=f(min(1,2s/(1+1))) = f(s)。H(t,s) の定義を良く見ようね。

>H(0,t)=f(min(1, 2t/(1+0)))=f(1)
H(0,t)=f(min(1, 2*0/(1+t))) = f(0)。 H(t,s) の定義を良く見ようね。

>H(1,t)=f(min(1, t))=f(t) (∵0≦t≦1なので)
H(1,t) = f(min(1, 2/(1+t))) =f(1)。 H(t,s) の定義を良く見ようね。

>何処を間違っているのでしょうか?
H(t,s) のかわりに H(s,t) を計算するときに、
定義：H(t, s) = f(min(1, 2t/(1+s))) で、
t と s を入れ替えるのを忘れている。

544 ：１３２人目の素数さん：2008/11/23(日) 09:00:32

> H(t,s) のかわりに H(s,t) を計算するときに、
> 定義：H(t, s) = f(min(1, 2t/(1+s))) で、
> t と s を入れ替えるのを忘れている。

ありがとうございます。
H(s,t)=f(min{1,2s/(1+t)})とすればいいのですね。
実際,H(s,0)=f(min{1,2s})=
f(2s) (0≦s≦1/2の時)
f(1) (1/2≦s≦1の時)
=
f(2s) (0≦s≦1/2の時)
e_{x_1}(2s-1) (1/2≦s≦2の時)
=
f*e_{x_1}(s)

H(s,1)=f(min{1,s})=f(s)
H(0,1)=f(min{1,0})=f(0)=x_0
H(1,t)=f(min{1,2/(1+t)})=f(1)=x_1=f*e_{x_1}(1)

となってf*e_{x_1}〜fのホモトピーであることが分かりました。

続いてf〜e_{x_0}*fのホモトピーを探しているのですが
H(s,t)=f(max{1,2s/(1+t)})とかしてみたのですが
H(s,0)=f(max{1,2s})=f(2s)となりf(s)になりません。
どのようにこのホモトピーを定義すればいいのでょうか?

545 ：１３２人目の素数さん：2008/11/23(日) 10:13:19

>>544
ヒントをあげるから、自分でやってごらん。
f_1(t) = f(1-t) (0≦t≦1) とおくと、
(f_1)*e_{x_0}(1-t) = e_{x_0}*f(t) と、なる。

この種の操作を覚えておくと、
path に関するホモトピーの構成の手間を省けるよ。

546 ：１３２人目の素数さん：2008/11/24(月) 09:58:17

ありがとうございます。

>>>544
> ヒントをあげるから、自分でやってごらん。
> f_1(t) = f(1-t) (0≦t≦1) とおくと、
> (f_1)*e_{x_0}(1-t) = e_{x_0}*f(t) と、なる。
> この種の操作を覚えておくと、
> path に関するホモトピーの構成の手間を省けるよ。

tを1-tと置き換えてみるのですね。
f*e_{x_0}〜fのホモトピーが　
H(s,t)=f(min{1,2s/(1+t)})だったのでt部分を1-tに置き換えて
H(s,t)=f(min{1,2s/(2-t)})としてみると
H(s,0)=f(min{1,s)})=f(s)でOKです。

しかし
H(s,1=f(min{1,2s})=
f(2s) (0≦s≦1/2の時)
f(1) (1/2≦s≦1/2の時)
となりここから下記に繋がって欲しいのですが繋がりません。
f(0) (0≦s≦1/2の時)
f(2s-1) (1/2≦s≦1の時)
=
e_{x_0}(s) (0≦s≦1/2の時)
f(2s-1) (1/2≦s≦1の時)
=
f*e_{x_0}(s)

H(s,t)=f(min{0,2s/(2-t)})やH(s,t)=f(max{1,2s/(2-t)})やH(s,t)=f(max{0,2s/(2-t)})
でも上手くいきませんでした。
どうすればいいのでしょうか?

547 ：１３２人目の素数さん：2008/11/24(月) 10:36:04

>>546

>H(s,t)=f(min{1,2s/(1+t)})だったのでt部分を1-tに置き換えて
>H(s,t)=f(min{1,2s/(2-t)})としてみると

f のかわりに、f_1, s のかわりに 1-s を使い、
H(s, t) = f(1-min(1, 2(1-s)/(1+t)))
で、試してみてくれ。

ホモトピーのパラメーター t と、path のパラメーター s を、
慎重に区別してください。
特に、記法上の都合で、t と s を入れ替えたときなど、要注意です。
慣れている人でも、結構間違えます。

548 ：１３２人目の素数さん：2008/11/26(水) 08:38:39

>547
ありがとうございます。
やっと上手くいきました。m(_ _)m

549 ：１３２人目の素数さん：2008/11/26(水) 18:10:49

うるさい。

550 ：１３２人目の素数さん：2008/12/05(金) 08:26:34

018

551 ：１３２人目の素数さん：2009/01/11(日) 09:47:14

681

552 ：１３２人目の素数さん：2009/01/15(木) 02:26:37

つまりユークリッド空間Ｒ^3を一般のＲ^nまで拡張したのが距離空間Ｒ^∞まで拡張したのが位相空間でおｋ？

553 ：１３２人目の素数さん：2009/01/15(木) 02:52:19

全然違う

554 ：１３２人目の素数さん：2009/01/15(木) 03:44:09

何が「つまり」なんだ
帰れ

定義くらいきちんと読め

555 ：１３２人目の素数さん：2009/01/15(木) 07:34:13

>>552
まったくR^∞なんて出てこないんだけどｗ

556 ：１３２人目の素数さん：2009/01/15(木) 13:31:58

>>555
コルモゴルフの拡張定理知らないでしょ？

557 ：１３２人目の素数さん：2009/01/15(木) 13:40:44

僕の校門も拡張されそうです

558 ：１３２人目の素数さん：2009/01/15(木) 15:08:50

何で主に確率論で使う定理が出て来るんだか

559 ：１３２人目の素数さん：2009/01/22(木) 07:41:25

少なくとも>>552がコルモゴルフの拡張定理を知ってるとは思えないんだが。

560 ：１３２人目の素数さん：2009/01/22(木) 18:39:46

age

561 ：１３２人目の素数さん：2009/01/27(火) 05:28:37

∩[n∈N]G_nが開集合(但し,G_1,G_2,…は開集合)とならない例や
∪[n∈N]F_nが閉集合(但し,F_1,F_2,…は閉集合)とならない例は何がありますでしょうか?

簡単な例をお教え下さい。

562 ：１３２人目の素数さん：2009/01/27(火) 05:49:30

(0,1+1/n)
[0,1-1/n]

563 ：１３２人目の素数さん：2009/01/28(水) 06:11:18

> 562

どうもありがとうございました。

564 ：１３２人目の素数さん：2009/01/30(金) 23:10:38

電圧と電流のはなしではないようで
しつれいしますた
いなかものは　ひっこみます
カップやドーナツがでてくるやつですね
さようなら

565 ：１３２人目の素数さん：2009/01/31(土) 00:26:55

>562

どうもありがとうございました。

566 ：１３２人目の素数さん：2009/02/13(金) 00:07:50

(X,T)を位相空間とする。
孤立点(x∈AがAの孤立点 iff xを中心とする十分小さな近傍を取ればx以外にAの点を含まない)
が開集合(Aが開集合 iff ∀x∈Aに対し,xの近傍はAに含まれる)なのは何故なのでしょうか?

xがAの孤立点ならxの近傍を幾ら小さくとってもAに含まれる事はありえないと思うのですが…

567 ：１３２人目の素数さん：2009/02/13(金) 00:23:50

開集合の定義でしょ

568 ：１３２人目の素数さん：2009/02/13(金) 10:26:51

>>566
そもそも「孤立点が開集合」という命題が意味不明。
「Aの孤立点」は、Aを指定してはじめて、Aとの関係で定まる概念。
「開集合」は、(X,T)を定めると、Xの各部分集合について（そうであるかないかが）定まる概念。

ある１点からなる集合{x}が開集合かどうかは、(X,T)がどんな空間かで変わるが、
(X,T)が定まれば決まる。
たとえばユークリッド空間の通常の位相では、1点だけからなる集合はすべて、開集合ではない。

>>566はこれをイメージしているぽいが、問題にしている(X,T)が普通と違うんじゃないか？
XがRの部分集合であっても、あるx∈Xの「Rでの」近傍の点がx以外はXの点じゃないとか。
（その場合xの「Xでの」近傍は{x}しかないから、{x}は「Xでは」開集合になったりする。）

569 ：１３２人目の素数さん：2009/02/13(金) 11:12:33

どもありがとうございます。


> >>566
> そもそも「孤立点が開集合」という命題が意味不明。

何処かで見かけたのです。
証明は「開集合の定義から明らか」となってました。


> >>566はこれをイメージしているぽいが、

そうですね。


>問題にしている(X,T)が普通と違うんじゃな
> いか？
> XがRの部分集合であっても、
> あるx∈Xの「Rでの」近傍の点がx以外はXの点じゃない
> とか。
> （その場合xの「Xでの」近傍は{x}しかないから、{x}は「Xでは」開集合になったり
> する。）

うーん。。何か簡単な具体例はありますでしょうか?

570 ：１３２人目の素数さん：2009/02/13(金) 12:18:23

>>566
{x} は、(X の開集合ではなく) A の開集合ということ。詳しく言うと、

位相空間 X の部分集合 A の点 x が A の孤立点
⇔
xを中心とする十分小さな近傍 U を取ればx以外にAの点を含まない
⇔
A を部分位相空間と考えて、{x} が A の開集合
（∵ {x} ∩ U ∩ A = φ だから部分位相の定義より）

571 ：１３２人目の素数さん：2009/02/13(金) 12:23:35

最後の式間違えた。
正しくは、U ∩ A = {x}

572 ：１３２人目の素数さん：2009/02/13(金) 15:41:36

>>569
>何処かで見かけたのです。
>証明は「開集合の定義から明らか」となってました。

いやだから、「孤立点」は点であって（そしてどの部分集合にとっての孤立点なのか？）
「集合」じゃないでしょ

>うーん。。何か簡単な具体例はありますでしょうか?

たとえば数直線R上で,
点0はRの部分集合A={0}∪[1,2]について孤立点で,
また集合{0}はRの開集合ではない（閉集合ではある）が,

X={0}∪[1,2]を全空間とし, Rの相対位相をTとすると,
(X,T)では, 0が孤立点になるような部分集合はないし,
{0}は開集合である（閉集合でもある）.

573 ：１３２人目の素数さん：2009/02/13(金) 17:42:00

> 何処かで見かけたのです。

文章の置かれた文脈をとり損ねて、単なる見かけ上の文字列のみを取り出しても
何も理解できませんし、誰とも状況を共有することは出来ません。

574 ：１３２人目の素数さん：2009/02/13(金) 17:50:09

>>570 に書いたように、別に部分集合を指定しなくても「孤立点」って概念は
　x が孤立点 ⇔ {x} が開集合
で定義される。
>>566 は部分位相をよく理解してないだけじゃね？

575 ：１３２人目の素数さん：2009/02/13(金) 18:08:22

>>572
>> X={0}∪[1,2]を全空間とし, Rの相対位相をTとすると,
>> (X,T)では, 0が孤立点になるような部分集合はないし,

あるよ。0 は部分集合 {0}　の孤立点

576 ：１３２人目の素数さん：2009/02/15(日) 12:54:49

>570,,575

どうもありがとうございました。

577 ：１３２人目の素数さん：2009/02/15(日) 15:04:13

>>575
てゆーか、Xにおいては0は0を含む任意の部分集合の孤立点だな

578 ：１３２人目の素数さん：2009/02/15(日) 15:12:46

>>574
>x が孤立点 ⇔ {x} が開集合

「x は任意の部分集合の孤立点 ⇔ {x} が開集合」 ではあるけど、

普通のユークリッド空間では１点集合は開集合にはならないが、
xを孤立点とする部分集合はいろいろ作れる

「絶対的孤立点」みたいな概念を作るのならともかく、
「孤立点」自体は部分集合とxの関係で決まる概念だよ

579 ：１３２人目の素数さん：2009/04/25(土) 11:25:59

332

580 ：１３２人目の素数さん：2009/04/28(火) 09:49:57

レヴィ＝ストロースの為に勉強するお（＾ω＾）

581 ：１３２人目の素数さん：2009/06/02(火) 23:49:18

三年。

582 ：１３２人目の素数さん：2009/07/10(金) 08:54:02

759

583 ：１３２人目の素数さん：2009/08/09(日) 16:33:26

スレチかもしれないが
f:X→Yが単射ならばA∩B＝０なるXの任意の部分集合A、Bに対してｆ(A)∩ｆ(B)＝０が成り立つ
これの証明わかる？

584 ：１３２人目の素数さん：2009/08/09(日) 16:39:44

>>583
君がしているのはマルチポストと言って、たいへん憎まれている行為だ
どこか1か所以外すべて謝って取り下げるんだ

585 ：１３２人目の素数さん：2009/08/09(日) 17:53:01

>>583
わかるよ

586 ：１３２人目の素数さん：2009/09/05(土) 02:42:43

758

587 ：１３２人目の素数さん：2009/10/01(木) 05:39:00

∀x∈Ωに対し,切片{y∈Ω;y<x}が可算集合となるような非可算な整列集合Ωの例が思いつきません。
何か簡単な例をお教え下さい。

588 ：１３２人目の素数さん：2009/10/01(木) 06:50:37

>>587 可算順序数の全体

589 ：１３２人目の素数さん：2009/10/01(木) 07:06:56

> 588
可算順序数って自然数Nと対等関係にある集合の事でしょうか。
どうしてこれがΩになるのでしょうか?

ご教示ください。

590 ：１３２人目の素数さん：2009/10/01(木) 08:26:20

まず順序数について勉強しろ

591 ：１３２人目の素数さん：2009/10/01(木) 11:09:08

順序数とは
「Xを順序集合全体とすると同値類{A'∈X;A〜A'}(但し,〜は順序同型の意味)はAの順序型と呼ばれる。
そしてAが整列集合の時,順序型{A'∈X;A〜A'}を順序数と言う。」
でいいでしょうか?

592 ：１３２人目の素数さん：2009/10/01(木) 11:19:13

>>587
次の事項は理解できていますか。

整列集合の比較可能性。
切片 {y∈Ω;y<x} は可算な整列集合であること。
そのような例は一つしか存在しない。

593 ：１３２人目の素数さん：2009/10/01(木) 12:05:24

>>591 ダメ

594 ：１３２人目の素数さん：2009/10/01(木) 12:54:41

>>1
日本語も正しく言えない奴がスレ立てるな

595 ：１３２人目の素数さん：2009/10/02(金) 00:25:58

> 592
> 次の事項は理解できていますか。

はい。一応。

> 整列集合の比較可能性。

これはW,W'を2つの整列集合とすれば次の3つの場合のいずれか一つだけが起こる(〜は順序同型の意)。
(i) W〜W'
(ii) ∃a∈W;{w∈W;w<a}〜W'
(iii) ∃a'∈W';W〜{w'∈W';w'<a'}
ですね。

> 切片 {y∈Ω;y<x} は可算な整列集合であること。
> そのような例は一つしか存在しない。

簡単な例は何がありますでしょうか?

596 ：１３２人目の素数さん：2009/10/02(金) 00:29:13

>> 切片 {y∈Ω;y<x} は可算な整列集合であること。
>> そのような例は一つしか存在しない。
> 簡単な例は何がありますでしょうか?


やべｗｗｗｗｗ
腹の筋肉千切れそうなくらいﾜﾛｽｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ

597 ：１３２人目の素数さん：2009/10/02(金) 01:12:54

>> そのような例は一つしか存在しない。
> 簡単な例は何がありますでしょうか?

本当に理解しているのか？

598 ：１３２人目の素数さん：2009/10/02(金) 01:59:06

>597
はっはい。

599 ：１３２人目の素数さん：2009/10/02(金) 02:06:55

>>598

本当に理解しているならば、そもそもああいう質問は出てこないはずだか。

600 ：１３２人目の素数さん：2009/10/02(金) 02:15:59

>>599
日本語が理解できない人にそれはしつれいですよ。

601 ：１３２人目の素数さん：2009/10/03(土) 10:09:48

598
です。
すいません。ご教示ください。m(_ _)m

602 ：１３２人目の素数さん：2009/10/03(土) 22:26:05

>>601

非可算集合 A を一つ取る。整列定理より、A には、整列順序が一つ入る。
それを ≦ で表す。x, y ∈ A に対し、x<y ⇔ (x≦y かつ x≠y)
S(x) = {z ∈ A | z<x} とおく。

場合分けをする。

case 1
全ての x ∈ A に対し、S(x) が可算集合のとき。
このときは、A に整列順序 ≦ を与えたものが、問いに答えるものである。

case 2
ある x ∈ A に対し、S(x) が非可算集合のとき。
そのような x ∈ A で最小のものを a とする。
このときは、A の切片 S(a) に、A の順序 ≦ から導入された順序
{(x, y) ∈ S(a)×S(a) | x≦y}　が、問いに答えるものである。

603 ：１３２人目の素数さん：2009/10/03(土) 23:10:40

補足

>>602 でいう可算とは、濃度がアレフゼロ以下の意味ね。

604 ：１３２人目の素数さん：2009/10/04(日) 01:40:05

> 602

どうもありがとうございます。

> case 2
> ある x ∈ A に対し、S(x) が非可算集合のとき。
> そのような x ∈ A で最小のものを a とする。
> このときは、A の切片 S(a) に、A の順序 ≦ から導入された順序
> {(x, y) ∈ S(a)×S(a) | x≦y}　が、問いに答えるものである。

つまり{(x, y) ∈ S(a)×S(a) | x≦y}がΩの性質を満たすのですね。
(x,x)∈{(x, y) ∈ S(a)×S(a) | x≦y}でx∈S(a)でS(a)は非可算なので
{(x, y) ∈ S(a)×S(a) | x≦y}は非可算になりますね。
そして,
S'(a):={(x, y) ∈ S(a)×S(a) | x≦y}とすると
∀b∈S'(a)に対し,S'(b)={(x, y) ∈ S(b)×S(b) | x≦y}で
S(b)は可算なのでS(b)×S(b)も可算になりますね。

ん?
a:=min{a∈A;S(a)は非可算}の時,∀x∈S(a)に対してS(x)は可算になるのでよね。
なのでΩ:=S(a)とする事はできませんか?

605 ：１３２人目の素数さん：2009/10/04(日) 01:50:13

こいつ、あの主か

606 ：１３２人目の素数さん：2009/10/04(日) 03:15:59

>>604

ははは。どうやら、僕の書き方が紛らわしかったようですね。
あなたの言うとおりです。

>>602 で、以下の訂正をしてください。

訂正前：

> このときは、A の切片 S(a) に、A の順序 ≦ から導入された順序
> {(x, y) ∈ S(a)×S(a) | x≦y}　が、問いに答えるものである。

訂正後：

> このときは、A の切片 S(a) に、A の順序 ≦ から導入された整列順序
> G:={(x, y) ∈ S(a)×S(a) | x≦y}　を与えた整列順序集合
> S(a) が問いに答えるものである。

確かに Ω = S(a) とするのですが、この場合は、土台となる集合が S(a)(=Ω)
で、その集合 S(a) 上の整列順序構造が G となるのです。
普通は、整列集合 S(a) とだけ書いて G は省きますね、確かに。
小うるさい本では、整列集合としては (S(a), G) と書いて、
その土台集合として S(a) を問題にします。
僕自身は、整列集合としては、(pr_1(G) = S(a) なので)
整列構造込みで扱うために、G だけ問題にしていました。

607 ：１３２人目の素数さん：2009/10/04(日) 06:46:57

> 確かに Ω = S(a) とするのですが、この場合は、土台となる集合が S(a)(=Ω)
> で、その集合 S(a) 上の整列順序構造が G となるのです。

なるほど。S(a)×S(a)は順序関係を表していたのですね。
∀x,y,z∈S(a)に対して,(x,x)∈S(a)×S(a)(∵x≦x)。
(x,y)∈S(a)×S(a)かつ(y,x)∈S(a)×S(a)ならx=y。
(x,y)∈S(a)×S(a)かつ(y,z)∈S(a)×なら(x,z)∈S(a)×S(a)
が成立する事は容易に確かめられますね。

> 普通は、整列集合 S(a) とだけ書いて G は省きますね、確かに。
(snip)
> 整列構造込みで扱うために、G だけ問題にしていました。

了解いたしました。

ところで
非可算で任意の切片が可算になるようなΩの具体例はどのようなものが挙げられますか?
実数とかでそのようなΩが作れないか考えてみたのですがなかなか思いつきません。

608 ：１３２人目の素数さん：2009/10/04(日) 07:39:57

まだ、そのような例は一つしかない、と言われていることも
既にその例が挙げられていることも気付かないのか主は。
まあ、主だものな。無理は言わないよ。

609 ：１３２人目の素数さん：2009/10/04(日) 07:46:09

>>607

整列順序構造は S(a)×S(a) ではなく、x≦y をみたす (x,y)∈S(a)×S(a) の全体です。

ご質問の具体例は、公理的集合論の本で順序数というものを勉強されてください。アレフワンと呼ばれる基数がそうです。

610 ：１３２人目の素数さん：2009/10/04(日) 20:49:13

離散距離空間の開集合系がベキ集合で
密着準距離空間の開集合系が｛x , 空集合｝
なのはなぜですか？
日本語になってるかわかりませんが、
どなたか救いの手を差し伸べてくださいm(_ _ )m

611 ：１３２人目の素数さん：2009/10/04(日) 20:58:34

>>610
俺にはそれが定義に見えるけど、何故というからには違うんだろ？

お前の言う
> 離散距離空間
> 密着準距離空間
の定義は何？

612 ：１３２人目の素数さん：2009/10/04(日) 23:22:33

610です。

Xの任意の元ｘ、ｙに対してｄ（ｘ、ｘ）＝０、ｄ（ｘ、ｙ）＝１　（ｘ！＝ｙ）
とおいたとき、（X、ｄ）を離散距離空間という。
Xの任意の元ｘ、ｙに対してd0（ｘ、ｘ）＝０
と定めるととき（X、d0）を密着準距離空間という。

距離空間（X、ｄ）において開集合全体の作るべき集合の部分集合を
O（X)で表すとき、（X、O(X))は位相空間である。これを距離函数ｄ
の定める位相という。

【問題】

離散距離空間（X、d１)に対して、ｄ１の定める開集合系をO１とすれば
O１＝（Xのべき集合）
密着準距離空間（X、d2）に対して、d2の定める開集合系はO2＝｛X、空集合｝

613 ：１３２人目の素数さん：2009/10/05(月) 02:14:38

>>612
距離から定まる通常の位相ってのは、開集合系 O(X) がXの開円板で生成される
ということなのだから、自明。

てか、定義でd,d0を使ったのに、なぜ問題でd1,d2に変えるんだよｗｗ

614 ：１３２人目の素数さん：2009/10/05(月) 02:19:39

>>613
ありがとうございます。
確かに文字の設定おかしいですねｗ
すみませんでした汗

615 ：１３２人目の素数さん：2009/10/05(月) 02:31:08

> 自明

問題の主張が自明、という意味だからな。為念。

616 ：１３２人目の素数さん：2009/10/05(月) 03:31:03

証明教えてくださいm(_ _ )m

【問題】―――――――――――――――――――
O’が開集合系Oの基底であるためには、
任意のP∈Oと任意のx∈Pとに対して
　　　　　　　x∈W⊂P
となるW∈O’が存在することが、必要十分である。
――――――――――――――――――――――

どうかよろしくお願いします。

617 ：１３２人目の素数さん：2009/10/05(月) 15:28:05

>>616
これは、ほとんど基底の定義。
位相がわからないのではなくて、もっと基本的な集合の扱いができないのだと思う。

618 ：１３２人目の素数さん：2009/10/05(月) 20:40:23

>>616
開集合系Oの基底の定義と
開集合の定義

この２つを理解してれば簡単

619 ：１３２人目の素数さん：2009/10/12(月) 00:06:32

>609

607です。

> そのような x ∈ A で最小のものを a とする

整列集合だからそのようなaが存在しますね。
もし,min{a∈(A,≦);{x∈A;x<a}は可算}=min(A,≦)の場合には,{x∈A;x<a}=φでこれも可算になっていると言えますね。

どうもありがとうございました。

620 ：１３２人目の素数さん：2009/10/12(月) 22:53:07

619です。

> 602
すいません。また分からなくなりました。

> 全ての x ∈ A に対し、φ≠S(x) が可算集合のとき。

本当にこのような集合は作れるのでしょうか?
Aは非可算で∀x∈Aに対してS(x)は可算ですよね。。。

621 ：１３２人目の素数さん：2009/10/12(月) 22:58:14

>>620
もういっかいスレを読み直せ

622 ：１３２人目の素数さん：2009/10/13(火) 03:51:49

>>620
>Aは非可算で∀x∈Aに対してS(x)は可算ですよね
N は無限集合で∀n∈Nに対してS(n)は有限集合ですよね

623 ：１３２人目の素数さん：2009/10/13(火) 04:02:09

つか、既に答えが書かれていてそれが唯一であるということも述べられているのに
それにもかかわらず簡単な例は無いかとか本当に作れるのかとか、
ただの愉快犯だろ。相手をするだけ無駄だよ。

624 ：１３２人目の素数さん：2009/10/14(水) 01:40:54

> 622

>>>620
>>Aは非可算で∀x∈Aに対してS(x)は可算ですよね
> N は無限集合で∀n∈Nに対してS(n)は有限集合ですよね

それはそうですね。∀nに対して,S(n)は有限集合なので可算ではありますが
Nは非可算ではないですよね。

625 ：１３２人目の素数さん：2009/10/14(水) 02:18:52

普通に考えたら>>620の
> 本当にこのような集合は作れるのでしょうか?
というクラスが上がるのは疑わしいという先入観に対する
> N は無限集合で∀n∈Nに対してS(n)は有限集合ですよね
なのだから

>>624のようなレスは文盲としか言いようが無い。
>>623に同意。

626 ：１３２人目の素数さん：2009/10/17(土) 23:56:47

>625

やっと分かりました。

自然数の整列集合(N,≦_n)と実数の整列集合(R,≦_R)でx≦yをx,y∈Nの時,x≦_n yで
x,y∈Rの時,x≦_R yでx∈N,y∈Rの時,x≦yと定義して
b:=min{a∈N∪R;{x∈N∪R;x<a}は非可算}と取れるから
{x∈N∪R;x<b}がΩとなりますね。

どうもありがとうございます。

627 ：１３２人目の素数さん：2009/10/18(日) 01:49:56

>>626
おまえ、文盲にも程がある。
それはΩではない

628 ：１３２人目の素数さん：2009/10/18(日) 01:54:00

>>626

587 名前：１３２人目の素数さん [] 投稿日：2009/10/01(木) 05:39:00
∀x∈Ωに対し,切片{y∈Ω;y<x}が可算集合となるような非可算な整列集合Ωの例が思いつきません。
何か簡単な例をお教え下さい。


588 名前：１３２人目の素数さん [] 投稿日：2009/10/01(木) 06:50:37
>>587 可算順序数の全体

----
ここまでで話は終わっている。さらにいえば↓のレスの意味をお前はまったく理解していない。

592 名前：１３２人目の素数さん [sage] 投稿日：2009/10/01(木) 11:19:13
>>587
次の事項は理解できていますか。

-整列集合の比較可能性。
-切片 {y∈Ω;y<x} は可算な整列集合であること。
-そのような例は一つしか存在しない。