５ちゃんねる ★スマホ版★ ■掲示板に戻る■ 全部 1- 最新50  

■ このスレッドは過去ログ倉庫に格納されています

1 ：G.Cantor：03/09/23 15:42

基礎論から抜け出して、数学としての集合論を語るスレ

基礎論なぜなにスレッド　その{φ,{φ},{φ,{φ}}}
http://science.2ch.net/test/read.cgi/math/1043049229/

2 ：１３２人目の素数さん：03/09/23 15:42

222222222222

3 ：１３２人目の素数さん：03/09/23 15:43

742 ：１３２人目の素数さん ：03/09/20 04:35
皆さんの集合論の教科書でおすすめのものはどれですか？

4 ：１３２人目の素数さん：03/09/23 15:43

743 ：１３２人目の素数さん ：03/09/20 06:59
>>742
標準的な教科書ならば、Thomas Jechの「Set Theory」と
Kenneth Kunenの「Set theory : an introduction to independence proofs」。
Kunenの本の方がコンパクトにまとまっていて読みやすいけど副題の通り
独立性証明への導入がメインでlarge cardinalもdescriptive set theoryも
ほとんど扱ってないので、Jechの本と合わせて読むのがいいと思う。


744 ：１３２人目の素数さん ：03/09/21 01:58
>>742
Kunen や Jech よりも introductory で、しかも安価で手に入りやすいのは、
Levy の Basic Set Theory かな。値段のわりに話題豊富で、最初の一冊として
はおすすめ。

http://www.amazon.co.jp/exec/obidos/ASIN/0486420795/249-7984170-9566721

ちなみに Kunen の本はもう品切れになってる。Jech は事典みたいな本。

5 ：１３２人目の素数さん：03/09/23 15:44

745 ：１３２人目の素数さん ：03/09/22 02:50
ありがとうございます。
ところで、Jech　の最近の版と以前のものでは違いがあるのでしょうか？

746 ：１３２人目の素数さん ：03/09/22 03:23
>>745
分量が大幅に増えてて、構成も一新されてます。
別の本といったほうがいいかもしれない。

とりあえず、あの一冊さえあれば、たいていのことは
載ってると思って間違いないです。

6 ：１３２人目の素数さん：03/09/23 15:44

747 ：746 ：03/09/22 04:18
>>745
補足。第一版と第二版は、そんなに差はありません。誤植が直ってるのと、
多少増補されてる程度です。最新の第三版で大幅に改訂されました。古本等で
古い版を買われる場合には注意してください。

あと、さらに特化されたトピックに関しては、次のようなモノグラフがあります。

巨大基数全般：
A. Kanamori, _The Higher Infinite_, Springer, Springer, 2003.
http://www.amazon.co.jp/exec/obidos/ASIN/3540003843/

内部モデルと巨大基数：
M. Zeman, _Inner Models and Large Cardinals_, de Gruyter, 2002.
http://www.amazon.co.jp/exec/obidos/ASIN/3110163683/

実数の集合論：
T. Bartoszynski & H. Judah, _Set Theory: On the Structure of
the Real Line_, A. K. Peters, 1995.
http://www.amazon.co.jp/exec/obidos/ASIN/156881044X/

記述集合論：
A. S. Kechris, _Classical Descriptive Set Theory_, Springer, 1995.
http://www.amazon.co.jp/exec/obidos/ASIN/3540943749/

基数算術：
E. Weitz, et al., _Introduction to Cardinal Arithmetic_, Birkhaeuser,
1999.
http://www.amazon.co.jp/exec/obidos/ASIN/3764361247/

7 ：１３２人目の素数さん：03/09/23 15:45

748 ：１３２人目の素数さん ：03/09/22 18:38
絶版になってない邦書ではあるでしょうか？

749 ：１３２人目の素数さん ：03/09/23 02:53
>>748
田中尚夫、『公理的集合論』、培風館、1982年

っていうのが和書では一番いいんだけど、残念ながら品切れ。
現在でも手に入るものだと、

倉田令二朗・篠田寿一、『公理論的集合論』、河合文化教育研究所、1996年
http://www.amazon.co.jp/exec/obidos/ASIN/4879999679/

難波完爾、『集合論』、サイエンス社、1975年
http://www.amazon.co.jp/exec/obidos/ASIN/4781901468/

の二点が、独立性証明まで扱ってていいと思います。
ただ、倉田・篠田本はすごく 素っ気無いです。
難波本は著者の不思議なつぶやきがいっぱいだけど、
Boolean valued model をあつかってる貴重な本。

8 ：supermathmania ◆ViEu89Okng ：03/09/23 15:50

φ,{φ},{φ,{φ}},...からなる集合を自然数全体の集合とし、これを{0,1,2,3,...}とかく。
自然数の順序対(0,0),(1,1),(2,2)などを0とみなし、(1,0),(2,1)などを1とみなし、
(0,1),(1,2)などを1の加法における逆元とみなし、...として整数を作る。
整数環の商体を有理数体というのだ。そして、有理コーシー列またはデデキントカットによって実数を作り、
実数の2次拡大として複素数を作る。
これで数はできた。さて、写像は、公理的集合論ではどう定義するのか？やはり二項関係を使うのか？

9 ：１３２人目の素数さん：03/09/23 16:01

写像の実体は集合だよ

10 ：１３２人目の素数さん：03/09/23 16:01

数列は写像だよ

11 ：１３２人目の素数さん：03/09/23 16:03

オマンコも写像だよ

12 ：１３２人目の素数さん：03/09/23 16:03

掴もうぜ！ オマコンボール ！

13 ：１３２人目の素数さん：03/09/23 18:43

外史のブルーバックは良書

14 ：KingOfMath ◆p38EzHwbPY ：03/09/23 19:57

集合論は現代数学の基礎だ。
自然数、整数、有理数、実数、複素数はすべて集合で定義できる。
さらにステップアップしよう。
Rを整数、有理数、実数、または複素数として、さらに和と積が入っているとしよう。
R[X]の元は�蚤_kx^k(k=0からnまでの和)と書ける。(a_k∈R)
R[X]の元は、Rの直和として書けることはすぐにわかる。
(和は各項の和で、積はk番目は添え字の和がkになるものの積全体の和になるようにする。)
これで新しい数空間(環という。)ができる。
これの商集合を考えることもできる。
(よく知られているように、複素数体は実数係数多項式環をイデアル(x~2+1)で割ったものだ。)

15 ：KingOfMath ◆p38EzHwbPY ：03/09/23 20:04

おかしいなぁ。カレットを書いたつもりがティルデになってしまった。
語るにも語りつくせない集合論。
初等幾何学の三角形、直線、円、直角(角度)なんかは公理的集合論の範疇に収められるのか？気になるところだ。

16 ：１３２人目の素数さん：03/09/23 20:49

集合の本質とは何か
http://science.2ch.net/test/read.cgi/math/1047674196/
参考までに

17 ：１３２人目の素数さん：03/09/23 21:12

>>15 それって圏論に転ぶ前にブルバキがやっちゃってたことでは。

18 ：１３２人目の素数さん：03/09/24 00:19

　　　　　 .l''',!　　　　 .r-、　　　　　 .,､�＝@　　　　　　.l''',!　　　　 ./ｰ､,,,_　　　　 .r-，　　　　　
　　 .广''''″.¨ﾞﾞ!　 .,,,丿 {,,､､，　　.ｖ-lﾞ .!-ｒ/i､　　广''''″.¨ﾞﾞ!　　　.!､,　　lﾞ　　　　 | .｝　,�＝@　　
　　 .ﾞl---， ぃ"　 .|　　　　 .|　　 .|　　 _,,{ﾞl .ヽ　 ヽ--i､ .ぃ"　　.,,,,,,,,二ｉ"　　 .,..-" .ヽl、ﾞl　　　
　　 r---┘.―'i､　"',! ./ﾆﾆﾆ、　 ￣| .Ｌ,,,,,ﾞl,,i´ .r---┘.―'i､　 .|　　　 :,!　　 |　　　　.l　.|、　　
　　 |＿＿　._,,,,｝　　ﾉ .| |　　 lﾞ　　.／　　　ﾞ'i､　.|＿＿　._,,,,｝　　"''''ﾂ ./　　　"''ﾄ .|ﾞi､ ||、ﾞl　　　
　　　.,―-" |　　　 .ﾉ .lﾞ `"ﾞﾞﾞ'"　 ,i´,�〕ﾞﾞ^'i､ |　　.,―-" |　　　　 ../　 `i､　　　 lﾞ ,lﾞ |　|.ﾞl.,ﾉ　　
　　 .lﾞ .,,,,,,　.＼　　.lﾞ .lﾞ ,，　　　 .lﾞ .|.｝ |　　| .|　 / .,,,,,,　.＼　　 ../　.,.i､ |　　　 lﾞ .lﾞ .| .,! .゛　　　
　　 |　し,,lﾞ .、 ﾞ,!　,lﾞ ,lﾞ.i".ﾞﾞ'''''"!　ﾞl .″.|.,!'''゛ lﾞ　 | .lﾞ,,,,lﾞ .、 ﾞ,!　,/｀／ .| ."'ﾞﾞl　./ .lﾞr┘,lﾞ　　　　　
　　 .ﾞl,　　.,/｀∪　 ﾞ〃 .`ｰ--丿　.ﾞ'--ヽ{,,,.／　 .ﾞl,,　　_/｀∪　.ﾞl.,i´　 .!,_,,,／ .lﾞ../ |　.,i´　　　　

19 ：１３２人目の素数さん：03/09/24 05:04

今外史のブルーバックス読んでる。

20 ：１３２人目の素数さん：03/09/24 07:35

751 ：加護天使 ◆j/LLggzims ：03/09/24 01:26
>>749
難波本と倉田・篠田本の違いは、
難波本では、述語論理の完全性証明が付いていて、最初からBoolean valued model でやる、
倉田・篠田本では、NBGとのつながりをつけて、Forcing で独立性やったあと、
Boolean valued mode と Forcing のつながりをつけるぐらい。

21 ：supermathmania ◆ViEu89Okng ：03/09/24 12:38

私は初等幾何学のモノを公理的集合論でどんな集合で表すか知らないが、
三角形、円、直角、直線、線分、半直線、点、面などに対応する集合を適当に定めて、
対応する公理を付け加えればいいのではないか？

22 ：１３２人目の素数さん：03/09/24 17:44

本当の意味での集合なんて無いってテレビで数学者の誰かが言ってたんだが、
どんな意味なんですか？

23 ：KingOfMath ◆p38EzHwbPY ：03/09/24 18:41

本当の集合は、公理的集合論から作られる。
ツェルメロの公理は、
外延性公理で集合の相等を定め、
空集合公理、対集合公理、和集合公理、冪集合公理、無限公理、分出公理、正則性公理から作られる。
さらに、置換公理、選出公理を付け加える理論もある。

24 ：１３２人目の素数さん：03/09/24 19:24

「有る」とか「無い」ってのはこの場合、どのように考えれば？

25 ：１３２人目の素数さん：03/09/24 19:38

>>22
前後の文脈は？　それがわからないと、それだけでは答えようがないよ。

26 ：KingOfMath ◆p38EzHwbPY ：03/09/26 06:53

ひとついえる事は、公理的集合論の公理から生成され得ない"集まり"は集合ではないということだ。
たとえば、身長180cm以上の人の集合とか、重さ10グラム以上の硬貨の集合とかは公理的集合論では考えられない(?)ということだ。

27 ：１３２人目の素数さん：03/09/26 09:19

>>23
別にいいけど、正則性公理はノイマンが付け足した公理だから
ツェルメロの公理じゃねーぞ。

28 ：１３２人目の素数さん：03/09/26 10:20

>>27 一般的にはよくそういうことがいわれてるけど、それ、ちょっと微妙
なんじゃなかったっけ。ツェルメロも正則性公理をノイマンと独立に発見
していた、というような話を聞いたことがある。ちょっと文献ソースが
いまわからない。ごめん。

29 ：１３２人目の素数さん：03/09/26 11:03

正則性公理は含めるの普通みたいだね。数学史的にはどうなんだか
しらないけど。

30 ：１３２人目の素数さん：03/10/14 21:23

Paul Cohen って，フィールズ賞とったあとにどんな仕事してるの？
少なくとも集合論ではほとんど文献をみかけないんだが．

Stanford のページをみると，専門分野として集合論のほかに，
調和解析，偏微分方程式論があがってるけど，それぞれの分野では有名な
んでしょうか．誰か詳しい方，情報を求む．

31 ：１３２人目の素数さん：03/10/18 12:07

新数学におびえる集合論マンセー君↓

889 ：１３２人目の素数さん ：03/10/14 19:05
｢新数学｣はどうなったん？期待してまってんだけど。

908 ：１３２人目の素数さん ：03/10/15 15:00
実無限を認めない｢新数学｣ってのはいつんなったらでてくるの？
きちんと体系だった理論として構築するのに成功した人いるの？
それともいまんとこ｢間違ってる派｣の人の脳内にしかないの？
さすがにそんなことないと思うんだけど。知ってるしといないん？

917 ：１３２人目の素数さん ：03/10/16 03:53
｢新数学｣でも｢旧数学｣でもいいからその｢可能無限｣のみで
規定される数学というのを規定すりゃいいじゃん。
ず〜〜〜〜〜と楽しみにまってるんだから。
誰が理解してようとしてまいと関係ないでしょ？
極端な話もしこの板にオレを含めてだれも理解できないにしても
それをしないことにはなんにもはじまらないでしょ？

32 ：１３２人目の素数さん：03/10/18 12:19

>>31
誰も、おびえてはいないと思うよ。
31を書いている人が、誰かをおびえさせてると思いたいだけ
なんだろう。
対角線論法のスレッドたてた人は明らかにその傾向あり、ひょっと
して、あなたが、その人だったりして、、、。

33 ：１３２人目の素数さん：03/10/18 12:57

>32
リクエストに答えられなかったってのが
トラウマになっちゃってるんだよ、彼は

34 ：１３２人目の素数さん：03/10/19 21:26

Keith Devlin:
The Joy of Sets: Fundamentals of Contemporary Set Theory,
2nd ed., Springer, 1993.
は、どうでしょうか。
手近にあるのですが、読もうかどうか、迷っています。

35 ：１３２人目の素数さん：03/11/01 22:41

おまいらにとって集合論って一体何の役に立つんだ？

36 ：１３２人目の素数さん：03/11/03 20:02

Shelah の pcf theory についての解説希望！

37 ：１３２人目の素数さん：03/11/03 21:43

>>36
数セミ 2001年7月号に、1/2ページ程度の概略が載っています。

38 ：１３２人目の素数さん：03/11/05 03:50

>>37
ありがとう。その記事はみてみましたが、さすがにそれだけではほとんどわからないですね。
そこで挙がってる参考文献にあたってみます。

39 ：37：03/11/05 04:09

>>38
Jechの Singular cardinals and the pcf theory にはもう少々書いてあります。
概略としてはこちらも良いと思います。

40 ：１３２人目の素数さん：03/11/05 23:55

>>39
サンクス！　さっき Jech のサイトからとってきました。読んでみます。
関係ないですが、Jech のサイトにあるプラハのパノラマ写真は素敵ですね。

41 ：１３２人目の素数さん：03/11/17 06:35

保守age

42 ：１３２人目の素数さん：03/12/01 23:28

やさしい入門書を教えてください。

43 ：１３２人目の素数さん：03/12/01 23:48

集合への３０講とかどうでしょう？
わからないことがあったら、この俺が教えてあげますよ。

44 ：４２：03/12/02 21:22

さっそく買ってみます。
仕事があるので遅々として進まないかもしれませんが、よろしくお願いします

45 ：１３２人目の素数さん：03/12/12 17:15

ﾋﾞﾝﾋﾞﾝﾏｯﾁｮﾃﾞ(ﾟдﾟ)ｵｰｴｰｵｰｴｰ

46 ：１３２人目の素数さん：03/12/19 06:22

今年のカープ賞は記述集合論の二人でしたね。

> 2003 Carol Karp Prize
> Gregory Hjorth, UCLA and Alexander Kechris, Caltech
>
> The sixth Carol Karp Prize was awarded at the ASL Annual Meeting to
> Gregory Hjorth and Alexander Kechris for their recent work on Borel
> equivalence relations, in particular for their results on turbulence
> and countable Borel equivalence relations.

From: http://www.aslonline.org/Karp_recipients.html

というかこの賞、モデル論と集合論の人しかとってないような気がするんだが…

47 ：１３２人目の素数さん：03/12/20 10:33

(0,1)と[0,1]の間の全単射写像をつくれ。

48 ：１３２人目の素数さん：03/12/20 15:41

兄さん姉さん！僕に数学を教えてくれ！

49 ：１３２人目の素数さん：03/12/21 02:52

f(1/2)=0
f(1/4)=1
f(1/2^n)=1/2^(n-2)　(n≧3)
f(x)=x　(otherwise)

50 ：１３２人目の素数さん：03/12/21 03:12

これってどういうジャンル？

51 ：１３２人目の素数さん：04/01/08 20:51

455

52 ：１３２人目の素数さん：04/01/15 20:20

016

53 ：１３２人目の素数さん：04/01/28 21:22

田中尚夫『公理的集合論』では、一般連続体仮説の独立性証明が載っていないのですが、その証明をフォローするのに適した本を教えていただけるとありがたいです。

54 ：１３２人目の素数さん：04/01/28 21:29

>>1
ﾃﾝﾌﾟﾚ(･∀･)ｲｲ!!

55 ：１３２人目の素数さん：04/02/01 05:20

106

56 ：１３２人目の素数さん：04/02/08 02:27

集合論の言語では、普通、変数とか個々の対象とかは
皆、集合をあらわしますけど、
集合をあらわす記号体系と、命題を表す記号体系を別々に同時にもってる
言語が考察された例ってありますか

57 ：１３２人目の素数さん：04/02/08 23:49

56の言ってることが良く分らんが、多領域論理のことを
いってるのかな？　それとも、任意の命題に対して〜というような
二階述語論理みたいなことがやりたいのだろうか。

個々の言語自体が数学の考察の対象になることは少ないと思うのだが。

58 ：１３２人目の素数さん：04/02/11 16:24

集合の定義を教えてください。

59 ：KingMathematician ◆5lHaaEvFNc ：04/02/12 05:11

Re:>>58 集合とは、公理的集合論の外延性公理、空集合公理、対公理、和集合公理、冪集合公理、無限公理、分出公理、正則性公理、置換公理、選択公理によって規定される述語のことである。
(述語でいいのだろうか？)

60 ：１３２人目の素数さん：04/02/12 07:59

集合と第一階述語論理の関わりを教えてください。
公理的集合論と第一階述語論理の関わりを教えてください。

61 ：１３２人目の素数さん：04/02/12 08:24

集合の定義とは一つしかないんですか？

62 ：58：04/02/12 19:20

>>59
ありがとうございました。
あと、ｋ口調が似てるけど自分は>>60,>>61とは別人です。

63 ：１３２人目の素数さん：04/02/13 19:42

「集合の定義」を定義せよ。
さもなくば答えられん。

64 ：KingMathematician ◆5lHaaEvFNc ：04/02/14 00:11

Re:>>63 無定義語って知ってるか？

65 ：１３２人目の素数さん：04/02/14 09:42

ヤマジンのP=NPとかだろ

66 ：１３２人目の素数さん：04/02/15 01:15

開集合の公理の条件の中に、開集合系｛U｝は空集合を含んでいること、
って言う条件が入ってたんですが、むしろ空集合含んでない集合なんてあるのか？？
と思た・・・（空集合自身は除くとして・・・

67 ：１３２人目の素数さん：04/02/15 10:20

空集合は空集合を含まないし、{a,b}は空集合を含まないよ。
開集合云々は位相の話だから関係なし。

68 ：１３２人目の素数さん：04/02/15 10:22

a≠φ, b≠φな

69 ：KingMathematician ◆5lHaaEvFNc ：04/02/15 17:13

Re:>>66 「含む」という語は大変行儀が悪い。
ここでは素直に数学記号を使ったほうがよい。
任意の集合Xに対して、空集合⊆Xだが、
空集合∈Xになるとは限らない。
{a}⊆{a,b,c}であり、a∈{a,b,c}である。

70 ：１３２人目の素数さん：04/02/16 02:53

あーなるほど分かったぽい、⊂の意味ではつねに含んでるけど、∈の意味では含んでるとは限らないって事か・・・メンドクセー（；；・Д・）！

71 ：１３２人目の素数さん：04/02/16 16:28

>>69
＞「含む」という語は大変行儀が悪い。
だから普通は、「部分集合である」とか「要素である」とかいうぞ。

72 ：１３２人目の素数さん：04/02/20 00:09

やはり、これからの時代は、何と言っても、御大の「論*狸*学」でしょう。

http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html

73 ：１３２人目の素数さん：04/02/20 05:17

うちの数学科の学部の人は、みんな必ず「含む」っていってる。
本当に勘違いするひとがいる以上、みんなにはやめてもらおう。
頭悪く見えるし。

74 ：１３２人目の素数さん：04/02/20 05:42

なに考えても無駄！
どうせ、パラドックスにより消滅するのだから！

75 ：KingMathematician ◆5lHaaEvFNc ：04/02/20 07:35

Re:>>74 消滅したのは素朴集合論だ。
公理的集合論が消滅したわけではない。

76 ：１３２人目の素数さん：04/02/20 08:31

素朴集合論って消滅したんですか？

77 ：KingMathematician ◆5lHaaEvFNc ：04/02/20 08:36

Re:>>76 ラッセルのパラドックスって聞いたことないか？

78 ：１３２人目の素数さん：04/02/20 08:40

さて、皆さん
自分自身を要素とする集合と
自分自身を要素としない集合を
考えましょう。

79 ：１３２人目の素数さん：04/02/22 02:57

ところで、
結局自分自身を要素として含む集合は無いし
自分自身を要素として含むプロパークラスも無いでFAなんだよね？

80 ：１３２人目の素数さん：04/03/02 02:43

やはり、これからの時代は、何と言っても、御大の「論*狸*学」でしょう。

http://www.age.ne.jp/x/eurms/Ronri_Kaikaku.html

81 ：１３２人目の素数さん：04/03/04 03:01

がんばるねー、もしくはスクリプトか？

82 ：１３２人目の素数さん：04/03/07 13:35

796

83 ：１３２人目の素数さん：04/03/09 00:59

http://www.amazon.co.jp/exec/obidos/ASIN/4130629093
のと
http://www.amazon.co.jp/exec/obidos/ASIN/4000054244
とはどう違うんですか？
（上の本持ってます。）

84 ：１３２人目の素数さん：04/03/09 01:01

著者が違う

85 ：１３２人目の素数さん：04/03/09 01:03

具体的に、多くの人に有益であるような、二者の違いを教えてください。

86 ：勉強君 ◆1uDXXnSkf6 ：04/03/09 04:58

だれか初心者にお勧めな集合論の本教えてください
なるべくわかりやすいやつお願いします
そしてなるべく日本語で書かれたやつお願いします

87 ：１３２人目の素数さん：04/03/09 08:35

どこまでやりたいかによる

88 ：１３２人目の素数さん：04/03/09 11:33

集合、位相って上のヤツで勉強できるんですか？
個人的には集合論も位相空間論も公理的集合論も中途半端
（あるいは適度に）書いた本だと思ったんだけど。
自分で読んだわけじゃないが。

89 ：１３２人目の素数さん：04/03/14 01:55

連続体仮説って本当に正しいんですか？

90 ：１３２人目の素数さん：04/03/14 01:57

それは部外秘なんじゃよ‥

91 ：１３２人目の素数さん：04/03/14 01:58

まあ勉強君はブルーバックスでも読んで出直してきていただきたい

92 ：１３２人目の素数さん：04/03/14 01:59

感覚的には可算集合と連続体の中間には無限集合は存在しないと思うんでですよ。

93 ：１３２人目の素数さん：04/03/14 03:13

http://www.amazon.co.jp/exec/obidos/ASIN/4130629093/は微妙？

94 ：１３２人目の素数さん：04/03/14 13:50

選出公理の意味がよくわかりません。
例えば、A＝｛1｝、B＝｛2｝、C＝｛1、2｝
からひとつづつ元を選び出して、新しい集合を作ったら
Cと同じ集合になるでしょ。それって新しい集合ではないけど、
それでもいいんですか？誰か教えてください。

95 ：KingMathematician ◆5lHaaEvFNc ：04/03/14 13:59

Re:>>94 新しい集合とは？
とりあえず、A,B,Cの元を少なくとも一つ含む集合が存在することは選択公理からもいえるが。

96 ：１３２人目の素数さん：04/03/14 14:29

>>94
選択公理は有限の範囲では自明なので、間違ってはいないけど、
そう考えても選択公理のアイデアをつかむことはできない。

97 ：94：04/03/14 14:42

>>95
選出公理：どれも空でないような集合を元とする集合(すなわち、集合の集合)があったときに、
それぞれの集合から一つずつ元を選び出して新しい集合を作ることができるというものである。
↑
この文章の意味もよく分からない。
その新しい集合の元の数は一個でも無限でもいいって事ですか？
空でない集合の族の直積集合が空でないっていうのも同じ意味なんですか？

98 ：１３２人目の素数さん：04/03/14 14:43

>>94
そうだ・・・・選択公理ってようするに何だ？　ないとどう困るのだ？

99 ：94：04/03/14 14:46

>>97
選択公理のアイデアを使えば、
何か自明でない事が証明できるんですか？

100 ：94：04/03/14 14:54

94の集合の場合だとCの元からは必然的に1と2の二つの元を選ばなければならなくなるので、
定義に書かれているように一つずつ元を選び出して新しい集合を作ることはできない事になる。
そう考えると選出公理は嘘って事にならないのか？

101 ：KingMathematician ◆5lHaaEvFNc ：04/03/14 15:01

Re:>>100 選択公理：
空でない集合の列{A_λ}_λ∈Λに対して、選択関数Λ→ΠA_λが存在する。

102 ：１３２人目の素数さん：04/03/14 15:07

選択関数とは、どういう働きをするもの？　中学生にもわかるような
説明のしかたはない？

103 ：KingMathematician ◆5lHaaEvFNc ：04/03/14 15:14

Re:>>102 選択関数の像を考えればいいだろう。
当然ながら、選択関数は、λに対してはA_λの元を対応させるものとする。

104 ：94：04/03/14 15:27

>>101
ΠA_λの記号の意味が分かりません。
Πと_　の意味は？

105 ：１３２人目の素数さん：04/03/14 16:21

どうでもいいって言えばどうでもいいことなんだが､「選出公理」はもともと「分出公理」の別名であって､選択公理の意味はなかったのだが､誤用する人が結構多いと､難波先生が著書で嘆いておられますた｡

106 ：KingMathematician ◆5lHaaEvFNc ：04/03/14 17:29

Re:>>104 Πは直積、_はsubscript

107 ：１３２人目の素数さん：04/03/15 16:17

なんとなく>>94=>>92だろうな
なんという本を読んでいるの？
ちょっと早とちりして色々頭に詰め込みすぎなんだと思います

108 ：１３２人目の素数さん：04/03/15 20:50

>>102
勉強中なので間違ってるかもしれないけど、選択公理によって
無限集合を一つのまとまりとして取り出したり、扱えたりする
ことができるようになるんだと思う。

109 ：１３２人目の素数さん：04/03/15 22:32

>>102
「公理的集合論」ISBN4-563-00430-8 より引用
ラッセルの例
ここに無限足の靴の集合がある。
これらの対から片方だけとり出して集合をつくることができる。
それには例えば各対から右足用の靴を選び出してきてまとめればよい。
しかし無限足の靴下の集合が与えられたときは､
これらの対から片方だけとり出して集合をつくることは困難であろう。
なぜならどのようにして片方を選ぶかわれわれにはその手段がないのである。
そこで神様にお願いして各対から片方をとり出す一種の関数をつくってもらう。
ここに天下り式に選択集合を受け取らざるを得ない一例をみるのである。
（引用終）
上の「一種の関数」が選択関数の例で、
選択関数の存在を保証しているのが選択公理

110 ：１３２人目の素数さん：04/03/16 22:36

結構色々な人が、「靴下には洗濯が必要、と覚えておこう」
なんて通俗的な解説を付けているよね。
個人的には、ACの発表に際して、すぐさま「いや、ACは必ずしも
直観的に明らかではない」と反対した数学者達のセンスは
素晴らしいと思う。

111 ：１３２人目の素数さん：04/03/16 23:36

左右の靴下の区別がつかないんだったら
｛Ａ，Ａ｝＝｛Ａ｝じゃん、既にはじめから

112 ：１３２人目の素数さん：04/03/17 00:09

「左右の靴下を区別できない」ではなく、「靴下に左右の区別はない」。
選択公理の ZF からの独立性証明のアイデアは、
Russell の靴下 ⇒ Fraenkel-Mostowski's model ⇒ Cohen's model
と継承されているので、Russell の例を馬鹿にしちゃいけません。

113 ：１３２人目の素数さん：04/03/17 02:15

>>112 も書いてるけど、靴は左右という一言で言える区別があるけど、
靴下は区別はあっても、左右とかいう一言で言えるものではない。

もすこし数学な例を挙げると、自然数の空でない部分集合全体
から代表元を選ぶには、各部分集合の最小のものを選べばよくて、
選択公理はいらないけど、
実数の空でない部分集合全体から代表元を選ぶには選択公理がいる。
（{x｜x⊆Ｎ ∧ x≠φ} には、選択公理によらない選択関数
{<x,y>｜x⊆Ｎ ∧ x≠φ ∧ y∈x ∧ (∀z∈x(z≧y))} が存在するが、
{x｜x⊆Ｒ ∧ x≠φ} には、そういうものがない）
実際、コーエンは整列不可能な実数を持つＺＦのモデルを作ることで、
選択公理の独立性を証明している。

114 ：１３２人目の素数さん：04/03/17 11:43

選択公理とツオルンの補題はなぜ同値なんですか？

115 ：１３２人目の素数さん：04/03/17 12:01

集合論の本読め
だいたいどの本にでも書いてあるだろ

116 ：１３２人目の素数さん：04/03/18 01:14

選択公理は、quantifierの順番を∀∃から∃∀に
変えるおまじない

と誰かが言ってたような気がする。

117 ：１０２：04/03/18 01:46

>>109
わかりやすい例をありがとうございます。しかし、靴下のどちらを選んでいいのか
手段がないにしても、適当にどちらかひとつを選ぶことは出来るのではないでしょ
うか？　ある集合が空でないなら、すくなくともひとつの元をそこから取り出せる
でしょう。それを無限回くりかえせば、選択はつねに可能なのではないでしょうか？

118 ：１３２人目の素数さん：04/03/18 01:56

ツオルンの補題の帰納的全順序集合のイメージがわきません。
例えば、集合｛ｘ｜0＜ｘ＜1、ｘは実数｝はどうして帰納的全順序集合にならないんですか？

119 ：１０２：04/03/18 02:14

・・・たぶん、そのようにして作った無限集合は、集合の定義に反する
という事なのだと思いますが、選択公理というのは、そのような本来、
集合の定義に反するようなものも集合として認める・・・という考え方
なのでしょうか？

120 ：１３２人目の素数さん：04/03/18 02:20

靴下の数は可算個ですよね。
集合の数が非可算の場合にも選択公理は成り立ちますか？

121 ：１３２人目の素数さん：04/03/18 02:37

>>117
んじゃ「その選択の仕方を説明してくれ。俺も全く同じようにやってみるから」って言われたらどうする？
有限回で説明出来ないって言ったら「その選択ほんとに出来るの？妄想じゃねーの？」と言われるかも。
そう考えるとこれが思ってるほど簡単な話じゃないってことがわかるでしょ。

122 ：１０２：04/03/18 02:44

誰か、お願いします。なぜ、代表元が任意のものであってはならないの
でしょうか？

123 ：１０２：04/03/18 02:51

いや。だから選択の仕方は無作為に行なうのです。それを無限回繰り返す
ことがなぜ出来ないのでしょうか。その結果、同一の集合は出来ないでしょうが
無限の集合族からそれぞれひとつずつの代表元を選んで集合をつくるという
条件はクリヤー出来ているのではないですか？

124 ：１３２人目の素数さん：04/03/18 03:18

>>123
その選択の仕方が、誰でも同じように実行出来るような形で与えられないとダメだとする立場もあるの。
今は君がそういう立場をとってないだけ。だから選択「公理」なんだよ。

125 ：１０２：04/03/18 03:34

では、選択公理のいう選択関数とは、それを使えば、誰が実行しても
ある同一の集合が構成できる。ただ、その関数を明示的には特定できない。
という意味なのですね？　ある同一の集合が構成できるというのが、選択公理
ですね？

126 ：１３２人目の素数さん：04/03/18 04:31

>>125
同一の集合が構成出来るというのとはちょっと違うかな。具体的には構成出来なくても存在だけは保証する、ということ。
逆に存在するってのは構成出来ることだという立場もあるから選択公理を認めるかどうかが議論の的になるわけ。

127 ：１０２：04/03/18 10:21

実にあいまいですね。ある空でない集合から任意にひとつの元を取り出す
というのは、我々がつねにおこなっている操作です。
ある無限集合族Ｘがあるとして、その中に空集合が含まれていないならば、
Ｘに属する集合からひとつずつ任意の代表元を持って来て、集合を作る事
自体はそれが出来ないかも知れないという可能性を持たないもののように
僕には思えるのですが・・・。問題の所在は何処にあるのか・・・。

128 ：１３２人目の素数さん：04/03/18 12:57

>>127
既に>>113で例に挙げてあるけど、例えば実数体のべき集合P(R)から
空集合を除いたものをXとすればXは空でない集合からなる集合族になる。
この全ての元からどうやって一つずつ元をとりだす？その手続き全部を
示せる？

129 ：１０２：04/03/18 13:22

手続きを示さなくても、空でない以上、Ｘに属する集合から代表元を任意に
ひとつ取れるはずではないだろうか。それが空でないという意味なのだから。

130 ：１３２人目の素数さん：04/03/18 13:33

>>129
選出可能　→手続を示せる
手続を示せない　→　選出可能ではない

131 ：１０２：04/03/18 13:45

そうですか。つまり、手続きを示せないから、選択可能でないが、しかし
手続きが示せなくとも、公理として選択が可能である、という事にするわけ
ですか？　つまり、ほんとうは手続きを必要とするのだが、それが不可能
そうなので、公理として可能という事にする・・・と。屈折してますよね？
それから、１２８さんの挙げた例ですが、手続きを示せないという証明は
出来るのでしょうか。もしかしたら、ある日誰かが手続きを発見するかも
知れない・・。

132 ：１３２人目の素数さん：04/03/18 14:16

>>131
その場合(>>128)の手続を発見する事ができたのならその場合の選出には選出公理を必要としないが
全ての場合において選出公理を必要とせずに選出の手続（選出関数という）を示す事は出来ない

逆にいえば、選出公理を認める事と、選出関数の存在を認める事は同値
だから屈折してない

133 ：１３２人目の素数さん：04/03/18 14:27

>>131
もう一度>>113をよく読んで。P.Cohenが選択公理の独立性を
証明するのに実際に「証明」している。整列不可能な実数の
構成がZF(Zermelo-Fraenkelの集合論公理)から可能だという
ことは、とりもなおさず、この実数体に対して選択公理と同
値な整列定理が成立しないことを意味している。つまり
「手続き」が存在しない。実際「手続き」が存在するとすれば
それを選択関数として使って整列定理が成立する。

134 ：１０２：04/03/18 14:38

なるほど。勉強してみます。ありがとうございました。

135 ：１３２人目の素数さん：04/03/18 14:39

誤解を招きそうなので補足。

> 整列不可能な実数の
> 構成がZF(Zermelo-Fraenkelの集合論公理)から可能

もちろんZFだけでは無理。そうでなけりゃ選択公理はZFにおける
命題(恒偽命題)になって独立ではなくなる。

# これでいいのかな? 基礎論に詳しい人お願い。

136 ：１３２人目の素数さん：04/03/18 15:17

>>131
>>109にある靴と靴下の例で考えてみたらどうかな。
靴の場合は右の靴だけ選ぶという「手続き」があるけど、
靴下の場合はそういう「手続き」を定める事が出来ない。
つまり、何番目かの靴下の左右が入れ替わったとしても、
元の選び方と違っている事を示す「手続き」がないわけ。
ただ選択公理を仮定すれば、それぞれが異なる選択関数だという事になる。

これは通俗的な説明に聞こえるかもしれないけど、
選択公理の独立性の証明を読むと、結構的を射てるように思えるんだよね。
この場合は「入れ替わり」は置換による自己同型に相当して、
「手続きがある」というのが hereditarily ordinal definable (HOD)に相当する。
HOD の範囲内では実数が整列不可能であるようなモデルを構成して
それが選択公理が成立していないモデルである事を示すんだけど、
これが「手続きを示せない証明」に当たるわけだね。

137 ：１３２人目の素数さん：04/03/18 21:24

>>118
それは純粋に、その部分集合として(0,1)をとったとしたら、それには上界
が存在してないからじゃない？

138 ：１３２人目の素数さん：04/03/18 21:36

>>113
性格に意味は取れないんだけど、それってRを整列可能にするような
順序≦を具体的には構成できないってこと？

139 ：１３２人目の素数さん：04/03/18 21:50

>>131
> つまり、ほんとうは手続きを必要とするのだが、

それが違う。
手続きがあれば十分だが、ほんとうは必要かどうかはわからない。

140 ：１３２人目の素数さん：04/03/18 22:57

>>102>>138
このへんの話に興味があるなら↓を勧める。面白くていい本だと思う。
「選択公理と数学」
http://www.amazon.co.jp/exec/obidos/ASIN/4795268908/249-4710288-9644317
序文と組見本
http://www2.odn.ne.jp/yuseisha/logic/ac.htm

141 ：１３２人目の素数さん：04/03/18 23:10

>>138
ＺＦだけではＲを整列する２項関係≦（に対応する集合）が存在することを
証明できない。
もちろん、ＺＦＣまで行っても≦を具体的に構成するのは無理。

142 ：１３２人目の素数さん：04/03/18 23:28

>>140-141
ありがとう。図書館で借りて見てみる。

143 ：１３２人目の素数さん：04/03/19 03:38

>>135
余り集合論に詳しくないんだけど、それはZFで、
ZF+notACを満たす「或る」モデルを構成しただけで、
任意のモデルについてnotACを示したわけじゃないから
必ずしも恒偽とはならないんじゃないの？
ユークリッド幾何(-第5公準)のなかで非ユークリッド幾何
のモデルをつくるようなイメージ。逆に分かりがたかったら
スイマセン。

……というか、それほど基礎論に詳しい漏れが
答えてよいのだろうか。関係ないけど集合論はモデルの話が
混み合ってくる（数学の理論のモデル自体が、集合論の対象
なので、自分自身のなかにモデルを作って、命題の独立性や
無矛盾性を示したりする）面白いらしいです。

144 ：１３２人目の素数さん：04/03/19 22:44

>>143
成り立つモデルもあるから恒偽ではないでしょう。

145 ：１３２人目の素数さん：04/03/20 21:34

とりあえず。選択公理がなぜ必要なのかわからない人は、現代数学がとことん
「実在的」に扱われていることがわかっていないんだと思う。前別スレでも書
いたが、数学的帰納法を

１で成立。よって、n で成立なら n＋1 でも成立するので２でも成立。
　　　　　　　　　　　　　　　　　　　　　　　よって３でも成立。
　　　　　　　　　　　　　　　　　　　　　　　よって４でも成立。
　　　　　　　　　　　　　　　　　　　　　　　よって………………
　　　　　　　　　　　　　　　　　　　　　　　………………………
よって、すべての自然数で成り立つ。

と思っているうちはだめ。

146 ：１３２人目の素数さん：04/03/20 23:08

>>145
それじゃだめだったのか。もし良かったらどう考えればいいのか教えて
欲しい。

147 ：１３２人目の素数さん：04/03/20 23:24

数学的帰納法の公理によって成り立つと考える。
「なんじゃそりゃ？」
と思うかもしれんが、それが正しい解釈。
つまり、１４５のように考えるのではなく、

「『１で成り立つ』ことと、
　『n で成り立てば n＋１ でも成り立つ』ことから、
　いっきに『すべての自然数で成り立つ』を言う」

という数学的帰納法によって、その成立が保証されるというのが正しい解釈。
決して順番に成立がいえると言うことからいえるわけではない。

選択公理も同様で、
「順番にとってこれるからそういう関数があるのは当たり前」
というのは、間違い。そのような構成的な考え方を現代数学は
（敢えてそういう研究をしている分野を除いて）していない。
選択関数はあくまでも
「いっきに」
選択できるものでなくてはならない。したがって、明らかな規
則がある場合を除くと、その存在保証は難しくなってしまう。
それを保証するのが、選択公理である。

148 ：１３２人目の素数さん：04/03/21 01:18

よくわからないのです。空でない集合からは任意にひとつの元が取り出せる。
という理屈が正しいならば、それが無限個集まろうが理屈はおなじで、それぞれ
から元をひとつずつ持ってこれる・・・と考えても良さそうに思えるのに、それ
はいけなくて、わざわざ公理を作る必要がある、というのが・・・

149 ：１３２人目の素数さん：04/03/21 02:52

まあ数学的帰納法は明らかだから、公理は要らない、
なんてもし言ったらだめだよね。でも自然数は、集合論に
よって正当化したくないからか、(以上の操作によって創られる
もの「のみ」が自然数である)の代わりとして数学的帰納法の公理が
あるのだからXの代わりに何らかの仕方でその生徒が自然数を理解
しているなら、その仕方にそって説明しなければならないのでは
ないだろうか。まず最初に（有限個の）公理を定めて、それから
議論を展開する、と言うやり方はヒルベルト辺りからそうなって来た
だけで、ヒルベルトは「数学」を再定義してしまった、と言える。
まあ、直感（観の方が正しいかも）的な理解と正確な理解が異なる、
という意見には勿論同意。
……なんかプラスクワスみたいな話になっちゃった。でも漏れは
数学の人間であってそっち系ではないので悪しからず。

>>敢えてそういう研究をしている分野を除いて
構成主義数学のことを言っているのなら少し不正確なんじゃ?

150 ：１３２人目の素数さん：04/03/21 03:00

(誤)自然数は→(正)ペアノの公理系には
Xの代わり→その代わり
実在的、というより公理的じゃないの?、何故公理的に扱うか、
というと扱っている対象が実在すると信じているため、
議論の拠り所をハッキリさせるためetc.だ、と言うことだと思う。
>>決して順番に成立がいえると言うことからいえるわけではない。
そうだけど、それこそが、帰納法の公理を認める理由だよね。

151 ：１３２人目の素数さん：04/03/21 03:08

>>148
よくわからないと言われても、ZFからは証明できないという結果がある以上
公理にするしかないでしょう。
それに選択公理自体は直観的に受け入れやすいとしても、
そこから導かれる結果もそうだとは限らないですよ。
バナッハ-タルスキの定理なんかは「パラドクス」と呼ばれてますし。

152 ：１３２人目の素数さん：04/03/21 03:10

公理主義が正しいかどうかも、決定できることではないのかも知れない・・・

153 ：１３２人目の素数さん：04/03/21 03:13

>>148
素朴に考えれば明らかそうなんだけど、選択公理が、他の公理
から証明できない以上公理を作らないとしょうがないでしょう。
その意味ではユークリッドの第五公準と同じです。ユークリッドも
どうしても平行線は交わらない、ということが証明できなかった
からしようがなく公理に加えたのだろうから。明らかそうなことは、
公理をたてなくても良い理由にはなりません。
それに、実は選択公理はそれほど明らかな公理ではありません。
Banach-Tarskiのパラドックスだとか、決定の公理だとかを
調べてください。

154 ：153：04/03/21 03:18

おお、同じこと書いてる人が居た。
因みに152に対するレスですが、アルティンみたいに、
厳密さは時代の函数だからあまり気にせんでいい、
なんてすごいことを言う数学者もいるみたいですよ。
達観しすぎ！（ｗ

155 ：１３２人目の素数さん：04/03/21 19:43

どなたかわかる方、教えて下さい。

Löwenheim-Skolemの定理を実数論に当て嵌めると、
可算個の元からなる実数のモデルM_0（可算モデル）が存在し、
その上での実数全体R_0および自然数全体N_0は集合論の意味で可算集合になります。
従って、通常の意味で、R_0とN_0の間に一対一対応φ：R_0→N_0（全単射）が存在します。
しかし、R_0はM_0の意味で非可算だから、M_0ではR_0とN_0の間に一対一対応がありません。
つまり、φは、可算モデルM_0上では全単射として存在しない訳です（Skolemの逆理）。

通常の本では、ここまでしか説明していませんが、
通常の集合論上での解釈と可算モデル上での解釈とが違う、
というというところが私の鈍い頭では直感的に理解できません。
M_0を実際に集合論上に構成し、集合論上でφ：R_0→N_0（全単射）を作り、
これが可算モデルでは全単射として存在しないことを示すことは可能でしょうか？

因みに、これの逆の超準モデルM*について、超準モデル上での自然数全体N*は集合論上非可算ですね？
これも理解しにくいのですが、N*は、超積を使い実際に構成することができるので、
幸い私でも認識可能なのです。

156 ：１３２人目の素数さん：04/03/22 01:49

>>155
だいぶ前にその話に対するレスをどっかで見たんだけど…忘れた。
例えば実数を有理数のコーシー列の極限として考えたときに
通常のモデルと可算モデルで考えられる有理数のコーシー列全体の集合に違いがあり
それが実数にまで持ち込まれる、という内容だった気がする。

157 ：１３２人目の素数さん：04/03/22 11:12

まあ、Loewenheim-Skolemは世界の七不思議の一つだから。
「可算」とはNとの間に全単射が存在する、と言うことだから、
自然数と写像の概念のどちらかが元と比べて狂っているのでしょう。
恐らく後者でしょうね。

158 ：155：04/03/22 23:32

>>156
なるほど、Cauchy列に違いがあるのですか。
それならば、Dedekindの切断でも両者の間に違いが出るんでしょうね。
詳しく知りたいです。

>>157
確かに、写像の概念が狂ってるんでしょうね。
私にとって、Löwenheim-Skolemは、七不思議どころか最大の不思議です。

う〜ん。わからん？？？
加算モデルと標準モデルの差異を詳しく説明した本はないものでしょうか。

159 ：１３２人目の素数さん：04/03/23 06:27

>>155
「φ は R_0 から N_0 への全単射写像である」という命題の解釈が
通常の場合と M_0 での場合で違うかどうかが問題になってるんだよね。
異なるモデルで解釈が一致する事を「絶対的」と言うんだけど、
M_0 の構成の仕方によっては「絶対的」になってるケースも考えられる。
その場合は、そもそもφが M_0 の要素になっていない
（よって M_0 の中では全単射が存在しない）って事になるね。

レーヴェンハイム-スコーレムの定理に限った話じゃないけど、
証明を読んで分かるだけじゃなくて「こういう事か！」と
直観的に把握するのって、勉強の蓄積が必要で
かえって大変な事なんじゃないかな。

160 ：１３２人目の素数さん：04/03/23 09:06

＞レーヴェンハイム-スコーレムの定理

みたいなことは、公理系を「記述できる述語にしか成り立たない」と
考えるから起きるんで、「記述できようができまいがどの述語でも成り立つ」
とすると無くなる。でも、その場合、必然的に二階の限量子が出てきてしまうが

161 ：１３２人目の素数さん：04/03/23 10:23

それは２階の述語論理ということなのでしょうか

162 ：１３２人目の素数さん：04/03/23 11:38

そうだね。
ただ、ここで重要なのは、ニ階の論理を一階に還元したりしないこと。
それやっちゃうと、レーヴェンハイム-スコーレムの定理が復活するから。

163 ：155：04/03/23 13:16

>>159
>証明を読んで分かるだけじゃなくて「こういう事か！」と
>直観的に把握するのって、勉強の蓄積が必要で
まさにそのとおり！この定理の証明は簡単だけど、その解釈がとてつもなく難しい。
私にはお手上げです。　(ノд<)

>>160-162
知識不足でちんぷんかんぷんです。　(/；_・、)
Löwenheim-Skolemを理解するためには、もっと基礎論を学ばないとダメでしょうか？
できたら、基礎論に深入りせず、前記の超準モデルの場合みたいに、具体的な例で納得したいのですが。

164 ：１３２人目の素数さん：04/03/23 14:00

モデル論を勉強すればいいのかな？
漏れは余り良く知らない。

165 ：１３２人目の素数さん：04/03/23 20:57

>>163
ま、そういわずにお前にも脳味噌あるんだろ。考えろよ。
つまりだな。モデルでは、記述できる集合しか考えなくていいんだよ。
だからモデルの中で「嘘」の実数の集合をつくってしまって、
それがモデルの中で、自然数の集合と一対一対応になる写像を
持たなければいいってだけのこと。
もちろん、モデルで記述できない写像によって一対一対応があっても
あくまでモデルの外のこととしてシラを切りとおしてよい。
なんたって記述できないんだから集合論上に現れようがない。
つまりモデルを作るってのは「ばれない嘘をつく」って感じだな

ところで作れるから理解できたってのはうそだよ。
簡単に騙されるようじゃ数学はやめたほうがいいね。

166 ：１３２人目の素数さん：04/03/24 14:05

低俗プラトニスト万歳！

167 ：１３２人目の素数さん：04/03/25 00:36

集合の集合の事を族というのはどうしてですか？
族も集合なんでしょ？

168 ：１３２人目の素数さん：04/03/25 01:16

集合と区別したい時に族と呼ぶ

169 ：１３２人目の素数さん：04/03/25 01:47

族と写像って違うの？

170 ：１３２人目の素数さん：04/03/25 13:17

函数と写像って同じなんでしょ。何で写像って呼ぶの？

と同じこと。ニュアンスの違い。（もっとも族の場合……
と変なことを言う香具師もいるが）

171 ：１３２人目の素数さん：04/03/25 16:05

>>170
サンクス。俺の持っている本が族を写像のように定義してないから、
何か特別な概念なのかと思った。

172 ：１３２人目の素数さん：04/03/25 21:24

ニュアンスとして、函数の族、と言えば
ある特別なイメージはあるけどね。
通常の数学では、集合と、集合の集合はイメージが
違うだろうから。

173 ：１３２人目の素数さん：04/03/26 00:56

商集合って意味不明なんですけど(つД｀)

そもそも何で商集合っていう名前が付いてるんでしょう？
同値類までは分かったのに、その定義の仕方が意味不明・・・

「三角形の形」を数学的に厳密に定義するのに、
三角形全体の集合をTとすると、「T/∽」だって・・・

ｳﾂﾀﾞｼﾉｳ

174 ：１３２人目の素数さん：04/03/26 02:10

>173
相似∽が同値類であることは分かる？

175 ：１３２人目の素数さん：04/03/26 02:13

>>174
分かります。
だってΔABC∽ΔDEF、 ΔDEF∽ΔGHIなら
ΔABC∽ΔGHI
ですよね？

176 ：１３２人目の素数さん：04/03/26 02:14

>>174訂正
相似が同値関係になっているのはわかる？

177 ：１３２人目の素数さん：04/03/26 02:20

>175
いたのか。

それなら、ΔABC∽ΔDEFだとすると、
ΔABCとΔDEFは相似が定義する同じ同値類にはいる。
角括弧[]が同値類をあらわすとすると、
[ΔABC] = {Δxyz | ΔABC∽Δxyz} = [ΔDEF]
ということになる。ここまでは理解した？

178 ：１３２人目の素数さん：04/03/26 02:21

>>177
おっけーです

179 ：１３２人目の素数さん：04/03/26 02:32

そうしたら「三角形の形」を理解するのは簡単。

例えば正三角形を考えてみる。

正三角形にはいろいろな大きさがある。
一辺の長さが1ミリのもあれば、1キロのもある。
一辺1ミリの正三角形は一辺1キロの正三角形とは全く別ものだよね。

ところが、相似を同値関係として商集合を作ると（つまりT/∽）、
その商集合の中では一辺の長さに関係なく正三角形は同じ同値類にはいる。

なぜ商集合T/∽が「三角形の形」を数学的に厳密に定義しているかは、
もう分かったと思う。つまり、「三角形の形」を考えるときは、サイズは
関係ない、すなわち、相似を基準に同じものは同じクラスに分類しよう、
というわけ。

180 ：１３２人目の素数さん：04/03/26 02:47

>>179
なるほど。よくわかりました。

ところで、「商」として定義しているのは形式的なものなのですか？
例えば、X/R = C から、(Rは関係、Cは同値類の集合)
Xなる集合が定義されるとかそういう発展があるのですか？

181 ：１３２人目の素数さん：04/03/26 02:47

さて、>179ではわざと厳密でない言い方をしてイメージをつかんでもらった。
具体的に言うと、
> ところが、相似を同値関係として商集合を作ると（つまりT/∽）、
> その商集合の中では一辺の長さに関係なく正三角形は同じ同値類にはいる。
この部分は少し厳密さにかける。

どこら辺が厳密さにかけるかというと、商集合(T/∽)の要素は同値類であって、商集合の
もとになった集合(ここではT)の要素、例えば一辺1ミリの正三角形は商集合(T/∽)の要素
ではない。

もう少し一般的に、定義し直そう。今集合Sに同値関係Rが定義されているとする。
そのとき、SにおけるRに基づく同値類[a]とは、Sの部分集合{x∈S | a∈S & aRx}の
ことである。

さらに、同じように集合Sに同値関係Rが定義されているとする。
すると、商集合S/Rとは、Sの部分集合の集合{[a]| a∈S }となる。

182 ：１３２人目の素数さん：04/03/26 02:51

＞　Sの部分集合{x∈S | a∈S & aRx}

このxとaとは、Sの任意の元ということですよね。
つまり、関係を持つ元がつくる部分集合が同値類、だと。

183 ：１３２人目の素数さん：04/03/26 02:52

あ、aは任意の元じゃないや。
[a]で指定した元だった・・・吊ってくる

184 ：１３２人目の素数さん：04/03/26 02:53

かきなおすと
＞　Sの部分集合{x∈S | a∈S & aRx}
とは、aと関係持つ元が作る部分集合が同値類[a]、だと。

185 ：１３２人目の素数さん：04/03/26 02:54

もしかして、「商」っていう言葉自体に引っかかっているのかな？

この「商」はもちろん割算の答えの意味の「商」と同じなんだけど、
集合論の中で考えるときは割算をあまり考えない方がいいかも。

どうしても割算の答の意味での「商」をとらえたいと思ってるなら、
剰余群ってのを考えてみるのがいいかもしれない。

郡論の教科書の頭の方に出てくるからちょっとみてみたら？

186 ：１３２人目の素数さん：04/03/26 02:58

>>185
あ、集合に和集合とか差集合とかのイメージで考えようとしてたので
わり算のイメージを頭から無くしたら
前よりイメージがわいてきました。

今分かったのは、
商集合っていうのは、同じグループ(同値類)に属さない
部分集合を洗いだすようなイメージですが、
誤りでないですか？

187 ：１３２人目の素数さん：04/03/26 02:58

>183
こちらの定義の仕方が不親切でした。

こう書き直すといいかも。
> そのとき、Sの任意の要素aに関して、SにおけるRに基づく同値類[a]とは、Sの部分集合{x∈S | a∈S & aRx}の
> ことである。

188 ：１３２人目の素数さん：04/03/26 03:06

>>187
だんだん分かってきました。

Z/5Zだったら、
整数を5で割ったあまりが同じものを同値関係と定義し、
あまりがそれぞれ0,1,2,3,4の部分集合を商集合として取り出す、
ってことですかね？

189 ：１３２人目の素数さん：04/03/26 03:13

で、更に言うと、とりだされた部分集合は
[0] = {0,5,10,15,・・・}
[1] = { 1,6,11,16・・・}
[2] = {2,7,12,17・・・}
[3] = {3,8,13,18,・・・}
[4] = {4,9,14,19,・・・}
という風に正整数全体を分類できる、と。

190 ：１３２人目の素数さん：04/03/26 03:13

>>186
> 今分かったのは、
> 商集合っていうのは、同じグループ(同値類)に属さない
> 部分集合を洗いだすようなイメージですが、
> 誤りでないですか？

近くなってきた。ここで商集合に関する次の重要な事実を思い出してみるといい。
すなわち、(集合Sに同値関係Rが定義されているのは変わらないとして、)
商集合S/Rは集合Sの直和分割である、つまり、
i) ∪S/R = Sであり、かつ、
ii) S/Rの任意の要素[a]と[b]に関して、[a]≠[b]ならば[a]∩[b] = φ

191 ：１３２人目の素数さん：04/03/26 03:14

>188-189
完璧！！

192 ：１３２人目の素数さん：04/03/26 03:17

>189
細かいこといえば、Zで考えたなら、負の整数も入れなければいけないね。

193 ：１３２人目の素数さん：04/03/26 03:19

>>190
ああ、そうか！
同値関係には推移律があるから
[a]=[b]だったら、同値類全体が等しくなるはずですね。

それで同値類の集合全部を商集合として定義すれば、
集合全体についてもれなく定義することができるんですね。

194 ：１３２人目の素数さん：04/03/26 03:20

>>192
あ、そうですね。
正整数ならNか。

195 ：KingMathematician ◆5lHaaEvFNc ：04/03/26 07:27

ところで、同値類は何故「類」なのか？
どうも集合であるものが多いような気がするのだが。

それと、「群論」ぐらい、漢字を正しく書いて欲しいところだ。

196 ：１３２人目の素数さん：04/03/26 13:35

>>195
死ねよ

197 ：１３２人目の素数さん：04/03/26 13:57

QmanとMathmaniaとKingMathは皆同類です．

198 ：１３２人目の素数さん：04/03/27 08:54

同値類って英語で何ていうの

199 ：１３２人目の素数さん：04/03/29 03:53

>>198
equivalence class

200 ：１３２人目の素数さん：04/03/30 18:16

カントル「おい、おまいら！！濃度の異なる無限集合発見しますた。集合しる！」
ポアンカレ「詳細ｷﾎﾞｰﾇ」カントル「N＜P(N)ですが何か?」
ヒルベルト「集合論ｷﾀーーーーーーーーー」ブルバキ「ｷﾀーーーーーーーーーー」クロネッカー「無限集合ごときで騒ぐ奴は逝ってヨシ(そんな物は存在しないのだからw)」
カントル「オマエモナー」
ポアンカレ --------終了-------
ヒルベルト --------再開-------
クロネッカー「再開すなＤＱＮが！それより直観主義うｐキボンヌ」
カントル「排中律うp」
ポアンカレ「↑誤爆？」
ヒルベルト「形式主義age」
クロネッカー「糞形式主義ageんな！sageろ」
ヒルベルト「形式主義age」
ブルバキ「形式主義age厨uzeeeeeeeeeeee！！」
クロネッカー「ageって言ってればあがると思ってるﾔｼはＤＱＮ」ラッセル「イタイパラドックスが生まれるのはこの公理系ですか？」
カントル「氏ね」
ブルバキ「むしろイ�`」
ヒルベルト「形式主義age」
クロネッカー「ヒ ル ベ ル ト　、　必　死　だ　な　（　藁　」

201 ：１３２人目の素数さん：04/03/30 18:19

カントル「おい、おまいら！！濃度の異なる無限集合発見しますた。集合しる！」
ポアンカレ「詳細ｷﾎﾞｰﾇ」
カントル「N＜P(N)ですが何か?」
ヒルベルト「集合論ｷﾀーーーーーーーーー」
ブルバキ「ｷﾀーーーーーーーーーー」
クロネッカー「無限集合ごときで騒ぐ奴は逝ってヨシ(そんな物は存在しないのだからw)」
カントル「オマエモナー」
ポアンカレ --------終了-------
ヒルベルト --------再開-------
クロネッカー「再開すなＤＱＮが！それより直観主義うｐキボンヌ」
カントル「排中律うp」
ポアンカレ「↑誤爆？」
ヒルベルト「形式主義age」
クロネッカー「糞形式主義ageんな！sageろ」
ヒルベルト「形式主義age」
ブルバキ「形式主義age厨uzeeeeeeeeeeee！！」
クロネッカー「ageって言ってればあがると思ってるﾔｼはＤＱＮ」
ラッセル「イタイパラドックスが生まれるのはこの公理系ですか？」
カントル「氏ね」
ブルバキ「むしろイ�`」
ヒルベルト「形式主義age」
クロネッカー「ヒ ル ベ ル ト　、　必　死　だ　な　（　藁　」

202 ：１３２人目の素数さん：04/03/31 08:16

ゲーデル落ちかと思いきや。
ところでクロネッカーって、自然数全体の集合すら認めなかったん？

203 ：１３２人目の素数さん：04/03/31 13:11

というかそもそも集合論を認めなかった。

204 ：１３２人目の素数さん：04/03/31 21:11

>>203
なんだ、クロネッカーって有名だけど
俺よりバカだったんだな

205 ：１３２人目の素数さん：04/03/31 23:32

>>204
どうして集合論を否定しただけで馬鹿になるんだ？

206 ：１３２人目の素数さん：04/03/31 23:47

>>205
数学の超基礎の集合論も理解できないなんてタダのバカだろ

207 ：１３２人目の素数さん：04/04/01 00:15

別に集合論は必ずしも数学をやる上で必要ないだろ。
現にワイエルシュトラスなんかは集合論を知らずに
解析学の基礎付けに成功したわけだし

208 ：１３２人目の素数さん：04/04/01 00:19

>>207
しかし現実に集合論は数学にとって必須だろ

209 ：１３２人目の素数さん：04/04/01 00:49

ガウスの時代に集合論がなかったことはどうやって説明するんですか？

というかクロネッカーは極端だと思うが、彼が責められるべきは
そんなところじゃないだろ

210 ：１３２人目の素数さん：04/04/01 00:50

>>209
だからガウスなんて現代数学じゃないだろ。
現代数学＝集合論と言ってもいいほど密接だぞ。（言い過ぎだが）

211 ：１３２人目の素数さん：04/04/01 00:53

>>206
理解するのと否定するのは別じゃないか?
いや、クロネッカーが理解していたかどうかはしらんが

212 ：１３２人目の素数さん：04/04/01 01:13

どっちにしても、クロネッカーが現代に蘇ったら成功すると思うか？
集合論も認められない立場では無理に気魔ってんだろ。

213 ：１３２人目の素数さん：04/04/01 01:21

いや、アメリカには構成主義数学者がいるから、
どうにかなるかもしれない（ｗ
というかクロネッカーの時代の数学ではまだ集合論に
密接に関与した数学なんて殆どなかっただろ

214 ：１３２人目の素数さん：04/04/01 02:10

高級な数学使ってれば大丈夫？
基礎ってあと百年ぐらいしたら取り替えられるかもしれない
それが不安で仕様がない。選択公理よりも良いものが出てきたりとか…。

215 ：１３２人目の素数さん：04/04/01 04:49

関数ってどっちの定義かな。
俺は
f : A → Bなら
f ⊂ A×B
＃ただし ∃!b∈B ∀a∈{a∈A | (a,b) ∈f }　( (a,b)∈f )
だと思ってたんだが、
http://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0_(%E6%95%B0%E5%AD%A6)
の流儀は違うっぽい。

どっちでもいいの？

216 ：KingMathematician ◆5lHaaEvFNc ：04/04/01 12:44

疑問！
とりあえずSを空集合でない集合とし、φを空集合としよう。
また、写像の始域をdom()で、終域をcod()で示そう。
写像fで、dom(f)=φ,cod(f)=Sとなるものは唯一つ存在し、
dom(f)=S,cod(f)=φとなるものは存在しない。
では、dom(f)=cod(f)=φとなるfは存在しないのだろうか、それとも唯一つ存在するのか？

217 ：KingMathematician ◆5lHaaEvFNc ：04/04/01 12:49

Re:>>215 [>>216]とは関係ないのだが、どうも云いたいことがよく分からない。

218 ：１３２人目の素数さん：04/04/01 12:57

>>217
関数の定義の仕方の違いについて、です。

219 ：１３２人目の素数さん：04/04/01 14:40

>>215
> ＃ただし ∃!b∈B ∀a∈{a∈A | (a,b) ∈f }　( (a,b)∈f )

限定の仕方が逆じゃなかろうか？これだと定値写像になるような。
写像だからそもそも定義域と始集合が一致して、

(f⊂A×B)∧(∀a∈A(∃!b∈B ((a,b)∈f)) )

となるような気がするけど。

>>216
ただ一つ存在する。始集合が空だから、空集合は直積の部分集合と
して写像のグラフの条件を満足する。つまりφ^φ={φ}で濃度は0^0=1。

220 ：KingMathematician ◆5lHaaEvFNc ：04/04/01 15:20

Re:>>219 やはり存在するの方が有力ですね。

221 ：１３２人目の素数さん：04/04/02 01:55

>>219
うわうわっ
記号、勘違いしてました。

すみません。それで…
http://ja.wikipedia.org/wiki/%E9%96%A2%E6%95%B0_(%E6%95%B0%E5%AD%A6)
これの流儀じゃなくてもOKですか？

222 ：１３２人目の素数さん：04/04/02 03:40

どっちでもいいが、どっちの定義か分かるように
書いた方が良い。
全域函数、函数といって使い分けるか、
函数、部分函数といって使い分けるかの差

223 ：１３２人目の素数さん：04/04/08 16:03

無限集合の要素∞個と
無限集合の冪集合の要素2＾∞個と
を一対一対応させてから
無限集合の冪集合の要素2＾∞個以外の要素もう1個を
対角線論法で作ると
無限集合から冪集合への上への一対一の写像にならなくなって
冪集合はもっと大きい濃度の無限集合になるのだそうですが
∞=∞+1　（　2＾∞=2＾∞+1　）　なのに
なぜ要素を1個プラスすると濃度が大きくなるのですか

224 ：１３２人目の素数さん：04/04/08 16:27

∞ < 2^∞

225 ：１３２人目の素数さん：04/04/08 18:18

>>223
どんな一対一対応を仮定しても対角線論法で崩れるんだから
一対一対応が存在するという仮定がそもそも間違っている。
従って∞≠2^∞

226 ：１３２人目の素数さん：04/04/08 21:28

実際にプラスすることができる要素はとてもたくさんある

227 ：１３２人目の素数さん：04/04/08 22:12

実際には少なくても（十進法で対角線論法をやったときには）
9*9*9*9*9*9*……個一対一対応で自然数と対応しない実数がある。

228 ：１３２人目の素数さん：04/04/25 23:09

476

229 ：１３２人目の素数さん：04/04/28 08:11

集合の集まりがクラスならクラスの集まりって何なの

230 ：１３２人目の素数さん：04/04/28 23:23

すくーる

231 ：１３２人目の素数さん：04/04/29 17:02

集合の族
集合族の族

232 ：１３２人目の素数さん：04/04/30 15:56

善良な生徒も居ると言うに、何故、族になってしまうのだ？

233 ：１３２人目の素数さん：04/05/01 14:57

そうだよ。真性包茎のクラスもあるというのに…

234 ：１３２人目の素数さん：04/05/01 15:48

ずいぶんと臭そうなクラスだな

235 ：KingMathematician ◆5lHaaEvFNc ：04/05/01 16:36

クラスの集まりはクラス。

236 ：１３２人目の素数さん：04/05/01 17:04

１９世紀の投稿がなぜ今頃

237 ：１３２人目の素数さん：04/05/01 17:10

例えば自然数の集合Ｎの存在は認めたとしてそのべき集合2^Nの
存在は自明ではないだろう。何故ならその要素をすべて生成
する方法などないだろうから。構成不可能なものの全体を
あたかも存在するかのように思う。
これがクロネッカーが集合論に反対した理由ではないか？

以上は無限論の教室という本の受け売りであるかもしれない。

238 ：KingMathematician ◆5lHaaEvFNc ：04/05/01 20:15

Re:>>237 だがしかし、公理的集合論には、冪集合公理がある。

239 ：１３２人目の素数さん：04/05/02 01:30

そういえばべき集合公理からはなんか妖しげな結果とかでてこないの？

240 ：１３２人目の素数さん：04/05/02 03:38

>>238
だから？ 何を言いたいのか不明。べき集合公理があるから
べき集合が存在すると考えて問題ないという意味か。
それとも、べき集合の存在はあやしいから公理もあやしいという
意味なのか？　それとも単純にそういう公理があるよという
ことを書いただけなのか？

241 ：１３２人目の素数さん：04/05/02 17:41

グラスの集まりはシャンペンタワー

242 ：１３２人目の素数さん：04/05/03 11:51

クラスは集めちゃいかん

243 ：１３２人目の素数さん：04/05/03 13:07

クラスA、B、Cが
A = { x | p(x) }
B = { y | q(y) }
C = { z | r(z) }
の時（ x,y,zはx,y,z∈aを満たさなくてもよい ）、
D = { α | p(α) ∨ q(α) ∨ r(α) }
のDはクラスの集まりっていえる？

244 ：１３２人目の素数さん：04/05/05 16:08

集合の可算族の和や共通分の演算は測度論で頻繁に使うし、
集合論ではCantor-Bernsteinの定理の証明にも使われたり
するけど、どうもきちんと丁寧に解説してある教科書が少
ない気がする。何故だろう？そのくらい自分でやれ、とい
うことかな？

245 ：１３２人目の素数さん：04/05/20 16:14

<script language="JavaScript">
roop = prompt("好きな数字を入れてください(20)以上はブラクラになります…","");
roop = parseInt(roop) - 1;
if(roop > -1){
initial = "{φ}";
for(i=0;i<roop;i++){
initial = initial + ",{" + initial+ "}";
}
document.write(roop+1+"="+initial+"<br/>");
}else{
document.write("Error - 1以上で入力しませう");
}
</script>

適当に作ったんだけど、これって妥当？

246 ：KingMathematician ◆5lHaaEvFNc ：04/05/20 16:26

Re:>>245 11行目のメッセージおかしくない？

247 ：１３２人目の素数さん：04/05/20 16:31

>>246
なんとなく意味は汲み取ってくれよん。
message - detail
形式だす。0が駄目なのは仕様ということで。

248 ：KingMathematician ◆5lHaaEvFNc ：04/05/20 16:59

<!-- こんなとこ手抜きすんなよ -->
<script language="JavaScript">
roop = prompt("好きな数字を入れてください(20)以上はブラクラになります…","");
roop = parseInt(roop) - 1;
if(roop > -1){
initial = "{φ}";
for(i=0;i<roop;i++){
initial = initial + ",{" + initial+ "}";
}
document.write(roop+1+"="+initial+"<br/>");
}else if(roop==-1){
document.write("0=φ<br/>");
}else{
document.write("Error 0以上で入力しませう");
}
</script>

249 ：１３２人目の素数さん：04/05/20 17:05

荒らすなボケども。

250 ：１３２人目の素数さん：04/05/21 01:45

N^∞　の濃度って何になるんですか？

251 ：１３２人目の素数さん：04/05/29 13:50

基礎論Part4は立てないんですか？

252 ：１３２人目の素数さん：04/05/29 17:07

180

253 ：１３２人目の素数さん：04/06/06 05:43

336

254 ：１３２人目の素数さん：04/06/07 02:25

同値類の集合の定義ってなんです？
定義と言われても、同値類の集合としか答えようが無いと思うのですが・・・。

255 ：１３２人目の素数さん：04/06/07 04:41

>>254
何が言いたいんだ？

256 ：１３２人目の素数さん：04/06/07 14:55

商集合のことではなかろうか？分からなきゃ代数学は全滅だと思うが。

257 ：１３２人目の素数さん：04/06/07 15:06

>>254
日本語としてよくわからんのだが。
「同値類の集合の定義を書け」とかいう問題が出されたとかってことか？

258 ：256：04/06/07 15:21

>>257
漏れへのレスだと思うが、〜をX上の同値関係として

[a]={x∈X; a〜x},
X/〜={[a]; a∈X}

と書け、ってことなんでないの？

259 ：１３２人目の素数さん：04/06/08 13:46

集合論の基礎の基礎を学んでるけど、なんというか、
頭の中のイメージでは分かるけどそれを鉛筆で紙に書くとなると…う?ん?
って感じだ......orz

先生の話聞いてる分には面白いんだけどなあ

260 ：１３２人目の素数さん：04/06/08 20:48

それは物理学で量子力学の啓蒙っぽい話聞くのとおなじような
かんじだと思うがどうだろうか…？

261 ：１３２人目の素数さん：04/06/08 22:48

元とはなんですか？

262 ：１３２人目の素数さん：04/06/08 22:58

要素のことです。

263 ：１３２人目の素数さん：04/06/08 23:37

>>262さん
ありがとうございました

264 ：１３２人目の素数さん：04/06/09 09:18

>>259
うーん、素朴集合論なら高校生でも
普通に分かると思うんだけどな…
（基数、序数云々はどうか知らんが）
竹内外史のブルーバックスはまあまあいいよ。
ただ彼は集合論は専門ではないけど。
（証明論が専門だから基礎論つながりではある。
じっさい公理的集合論の本も何冊か書いている）

265 ：１３２人目の素数さん：04/06/09 11:42

環とか体とか郡とはなんの事？

266 ：２６５：04/06/09 11:46

郡→群のまちがいです。

267 ：１３２人目の素数さん：04/06/09 15:02

ぐぐったら定義ぐらい出てくるんでない？
UFDってなんのこと？とか聞かれたら本を買えと言うけれども

268 ：１３２人目の素数さん：04/06/09 16:08

>>264
公理的集合論も偏差値55以上の高校生なら理解可能。

269 ：１３２人目の素数さん：04/06/10 01:45

>>268
でも成績は良いけど一寸勘違いした系の
電波の入った香具師が訳分からんことを言い出す
可能性がある（ｗ
というか数学なんだから別に独学でも若くても
才能があれば理解可能なのは当たり前

270 ：１３２人目の素数さん：04/06/10 03:48

>>269
そこが数学好き。

っていうかたまに偏差値よくても感覚の海を渡り歩いてる香具師に
出会うことがある。文系にやや多め。

271 ：１３２人目の素数さん：04/06/10 18:13

数学科だったら「集合と位相」って重要でしょうか？

272 ：KingMathematician ◆5lHaaEvFNc ：04/06/10 18:23

Re:>>271 おそらく、位相は殆どの分野で現れる。

273 ：１３２人目の素数さん：04/06/10 19:59

＞272
工学系でも位相は重要になってくるのでしょうか？

274 ：KingMathematician ◆5lHaaEvFNc ：04/06/10 22:21

Re:>>273
工学系で何をやるのかよく知らないが、
位相の概念は、位相的性質(同相写像によって変わらない性質)を扱うにあたっても重要だし、
点列の収束、連続写像の概念も位相の話題である。
時間が許すなら、やって損は無いと思う。

275 ：１３２人目の素数さん：04/06/10 23:49

つまり、工学系ではあまり重要でないということだ。

276 ：１３２人目の素数さん：04/06/11 03:51

工学の人にはそこまで重要ではないと思うけどなあ
まあ朝倉の30講くらい読んでも罰は当たらんよ。
ただ役に立つことは度外視してもらわないといけないが。

277 ：１３２人目の素数さん：04/06/11 11:43

本を読んでいてLevyの原理が云々と書いてあったんですが
どなたか大雑把にでもどういうものか教えていただけませんか？

278 ：１３２人目の素数さん：04/06/13 15:43

集合の濃度の概念がよく分かりません

279 ：１３２人目の素数さん：04/06/13 15:51

図書館に行って調べましょう

280 ：１３２人目の素数さん：04/06/13 23:39

>>278
有限集合の場合、その濃度は集合の要素の個数となる
個数の概念を拡張した考え方。

質問する時は具体的に書かないと無視される一方です

281 ：１３２人目の素数さん：04/06/14 19:39

大きな図書館の管理人が、
本のタイトルに関し、
（1）いずれかの本の本分中に記載されている本　と、
（2）記載されていない本　との
2種類に分類した。

そして、
（1）と（2）の一覧をまとめた本をそれぞれ新たにつくり、
その2冊の本を図書館に置いた。

しかし、
（2）の一覧に載っている本は、
「タイトルがいずれかの本の本文中に記載されていない本」では
なくなるため、
（1）に分類されることとなる。

管理人はどうやってこの問題を解決したか。

282 ：１３２人目の素数さん：04/06/15 09:23

管理人をやめて旅に出た。

283 ：１３２人目の素数さん：04/06/16 23:47

外延性公理についてなのですが、
∀x∀y( ∀a(a∈x ⇔ a∈y) ⇒ a=b )
であるということなのですが、
∀a(a∈x ⇔ a∈y) ← a=b
を満たさない集合でもあるのでしょうか？

284 ：KingMathematician ◇5lHaaEvFNc：04/06/17 00:14

∀x∀y( ∀a(a∈x ⇔ a∈y) ⇒ a=b )
でbは急に出てくるのかい？変だな？

285 ：１３２人目の素数さん：04/06/17 00:22

x=yの間違いじゃない？

286 ：１３２人目の素数さん：04/06/17 00:31

多分等号（に関する）公理equality axiomが前提されているんだろ。
一方公理が等号を定義しているとみなすときには⇔を使う。
だから難波『集合論』では⇒を使っているけど
それ以前に＝に関する公理に対する言及がある。
ShoenfieldのSet Theoryの章も同じ。
田中『公理的集合論』では⇔を使っている。

ということだと思う。違ったら失礼。

287 ：１３２人目の素数さん：04/06/26 14:40

122

288 ：１３２人目の素数さん：04/07/06 02:14

565

289 ：１３２人目の素数さん：04/07/07 21:22

正則性公理は集合論の帰納法の原理。

290 ：１３２人目の素数さん：04/07/08 00:56

ＪｅｃｈのSet Theory を読むぞー！！！

291 ：１３２人目の素数さん：04/07/08 01:21

>>290
ｶﾞﾝｶﾞﾚｰ

292 ：１３２人目の素数さん：04/07/08 23:46

A,B,Cを集合とする。次の中で成り立つとは限らないものをすべてあげ、その理由を具体的に説明せよ。

1, AxB=BxCならば、A=B
2, A+C=B+Cならば、A=B
3, 2^A=2^Bならば、A=B

わかりましたら、お願いします。

まったく

293 ：１３２人目の素数さん：04/07/09 00:16

誤記?
> AxB=BxCならば、
AxC=BxCならば、

294 ：UltraMagic ◆NzF73DOPHc ：04/07/09 06:12

Re:>292 直和なんだろうけど、一応+の意味を説明してくれ。

295 ：加護天使 ◆j/LLggzims ：04/07/10 01:50

>>289
古典論理の上の集合論では同じだが、直観主義になると違うのでご注意を。

296 ：UltraMagic ◆NzF73DOPHc ：04/07/10 06:55

Re:>295 私はそれを、パラドクスを排除するためにあるものだと認識していた。

297 ：１３２人目の素数さん：04/07/10 07:23

>>296
日本だけに広まっている迷信ですね。

298 ：１３２人目の素数さん：04/07/10 14:09

斉藤正彦が集合論を知らずに数学者になっている人も大勢いると言っていたが、本当？

299 ：１３２人目の素数さん：04/07/10 14:22

公理的集合論なら別に知らなくてもいいんじゃない？

300 ：１３２人目の素数さん：04/07/10 15:03

>>298
齊藤正彦さんって集合論知ってるわけ?

301 ：１３２人目の素数さん：04/07/10 15:16

>>300
さすがに、講義で超準集合論の話をするためには集合論を知らないと。
一般教養ゼミナールで学生とゲーデルの本も読んだそうです。

302 ：１３２人目の素数さん：04/07/10 17:52

そもそもカントール以降だから、
リーマン以前は集合論なんてしらなかったっと…

303 ：１３２人目の素数さん：04/07/10 18:47

>>302
現代の話をしているのではないかと。

304 ：１３２人目の素数さん：04/07/12 08:57

非標準解析はモデル理論だからモデルの構成法を沢山知る必要性はある。
Brun 理論だとか・・・

305 ：１３２人目の素数さん：04/07/12 09:19

もし可測基数がが存在すればネーター環のウルトラ積がネーター環になるから、
代数の反例が一挙に構成される。

306 ：１３２人目の素数さん：04/07/13 17:11

>>298
日本語？

>>300
そいつの本を読んでいる俺は…

307 ：１３２人目の素数さん：04/07/14 21:58

>>306
へたくそだと言いたいのか？

308 ：１３２人目の素数さん：04/07/15 09:02

Monatshefte fur Mathematik und Physikを1931前後だけ入れてる図書室はモグリ

309 ：１３２人目の素数さん：04/07/15 16:08

Monatshefte fur Mathematik und Physikを1932前後だけ入れてる図書室はモグラ

310 ：１３２人目の素数さん：04/07/15 20:26

Monatshefte fur Mathematik und Physikを1932前後だけ入れてる図書室はモジラ

311 ：１３２人目の素数さん：04/07/16 08:55

Monatshefte fur Mathematik und Physikを1933前後だけ入れてる図書室はゴジラ

312 ：１３２人目の素数さん：04/07/25 02:28

集合族と集合系の違いって何？
集合族は集合が像の写像で、記号だと（Ｏλ）λ∈Λ
集合系は集合の集合だと思ってたけど。
なんか、同じ意味だって人もいるし、全く逆の意味で使ってる本もあるし…。
どうなってるの？

313 ：１３２人目の素数さん：04/07/25 03:07

>>312
集合系って見たことないなあ。
集合族ならその意味（添数付けられた集合の集まり）でいいと思うよ。

314 ：１３２人目の素数さん：04/07/25 20:18

開集合系（開集合全体の集まり）って言うじゃん。
記号で書くとしたら{Ｏλ｜λ∈Λ}　？
この言葉自体一般的じゃないのかな。

とにかく集合族で検索したら（集合の集合）の意味で定義したページが多数ヒットするのが気になる。

315 ：１３２人目の素数さん：04/07/25 23:53

クラス？

316 ：１３２人目の素数さん：04/07/26 18:48

同じ

317 ：１３２人目の素数さん：04/07/26 23:44

集合族は集合の集合

集合系（Ｏλ）λ∈Λ　は（集合に限らず）
λ　が異なっていても　Ｏλ　が同じでも良い

318 ：１３２人目の素数さん：04/07/28 22:21

内田伏一ってひとの本では
集合系＝添字のついた集合
集合族＝集合の集合
ってなってるんだけど、松坂さんの本だと全く逆だった。
ちなみに東大出版の数学の基礎には集合系は載ってないが
集合族は添字集合の意味で載っていた。
結論：どっちでもいい。

319 ：１３２人目の素数さん：04/07/28 22:55

定義はそれぞれの本に依る
その本の定義に従うのが一番良い
書かれていなければ、どのような定義が最適か自分で考える

320 ：１３２人目の素数さん：04/07/28 23:13

世界統一定義決めちゃった方が早くね？

321 ：１３２人目の素数さん：04/07/28 23:18

統一定義なんて作るほどのことじゃあない

322 ：１３２人目の素数さん：04/07/28 23:32

でも面倒だし
さっさと数学の標準機関でも作って表記法とか統一しちゃえよ

323 ：１３２人目の素数さん：04/07/29 07:23

「添字のついた集合」なんて言葉で数学的対象が確定している
ような気持ちになっている著者がおかしい。
>312 にあるように、添字集合からの写像が数学的対象であり、
A_i のようなものは A が写像、A_i はその値を表す。いまの場合
これが集合である。
(一般に集合 X があるとき、X の要素に X を添字集合として自然に
添字をつけたものが、X 上の identity となる。)
「添字のついた集合」という言葉を使っている人のなかには、形式
記号 x_1, x_2 と上記の A_i の区別がない人が多い。

324 ：１３２人目の素数さん：04/07/29 14:53

>323
そんなこたぁない
「添字のついた集合」っていうとき、
厳密には「A_i のようなものは A が写像、A_i はその値」なのは当たり前で、
いまさら誰もそんなことでごたごた言わないだけ。

そんなのいちいち解説するのは大学初年度向け（集合・位相など）の本で十分。
また大学初年度向け（集合・位相など）の本で説明して無いなら本は落第点。
添字集合と集合族（考察対象）がはっきりしていれば普通は脳内補完

>形式 記号 x_1, x_2 と上記の A_i の区別がない人が多い。
「形式記号」か「写像の像」なのかの区別も初心者向けの本だけで十分

325 ：312＝318：04/07/29 21:11

>>323
いや、本にはちゃんと「写像」って書いてあるんだけど
俺が勝手に添字集合って呼んでるだけです。すみません

326 ：１３２人目の素数さん：04/07/29 21:31

>>325
それなら、324 さんのいわれるとおりで問題ないと思います。
>>324
「形式記号」か「写像の像」なのかの区別は初心者向けの本には
書かない方が無難と思われます。この区別が本当に必要なのは、
形式体系をコード化するときで、そのことが問題になるのは本当に
一部の人だけでしょうから。

327 ：１３２人目の素数さん：04/07/29 21:40

形式体型をコード化するか…
なんだか空しいように思える

確かに、意味があるのにはあるのだが、意味がないといえばない気がしてしまう

328 ：１３２人目の素数さん：04/07/29 22:44

>326
そうだね

>>324の最後の行
↓
〜の区別もその手の分野の初心者向けの本、もしくはそれが主題の本だけで十分

329 ：１３２人目の素数さん：04/08/08 23:09

141

330 ：１３２人目の素数さん：04/08/09 15:03

集合論って将来性ありますか?
専攻にしたいんだけど。

331 ：１３２人目の素数さん：04/08/09 19:54

>>330
これでも読んで判断してみてください。

S. Shelah, “The future of set theory”
ttp://shelah.logic.at/E16/E16.html

332 ：１３２人目の素数さん：04/08/09 22:04

>>331
thx
そんなに悲観的なことは書いてないですね。

333 ：１３２人目の素数さん：04/08/10 22:16

S. Shelah
は有能な人。
Qの微分代数閉方が存在しないことを示した。

334 ：１３２人目の素数さん：04/08/10 22:27

ttp://www.geocities.co.jp/SweetHome-Ivory/6352/sub3/soft.html
↑
弦集合論について誰か解説して！！

335 ：１３２人目の素数さん：04/08/10 22:28

有能というのは、激辛な評価ではないだろうか。

336 ：１３２人目の素数さん：04/08/10 23:11

まったくだ

337 ：１３２人目の素数さん：04/08/11 16:51

現役でやってる著名な集合論の研究者って誰?
コーエンってまだやってるのかな。

338 ：１３２人目の素数さん：04/08/17 18:08

>>337
モデル論なら、集合論と近いのが沢山居るけれども･･･

339 ：１３２人目の素数さん：04/08/18 05:58

>>337
淵野さんもお嘆きのように日本であまり集合論が講義されないから、
著名な学者は昔の学者に限られてしまうのかな。

340 ：１３２人目の素数さん：04/08/25 14:39

819

341 ：１３２人目の素数さん：04/09/01 14:59

786

342 ：１３２人目の素数さん：04/09/04 06:37

>>335
論理的には、「激辛」といういえないが、通常の感覚でいえばそうだね。
Shelah はすごい! Fileds 賞は受賞しなかったが、すごさは数学者の
間でも有名らしいね。

343 ：哲屑の読書記録：04/09/08 22:00

http://www010.upp.so-net.ne.jp/intruder/books.htm
哲クズが数学について偉そうにコメントしている。
哲くずって、なんでこうも数学に粘着するんだ?

例)
松坂和夫『集合・位相入門』、岩波書店、1968
集合論はやはり古さを感じる。素朴集合論だし。
位相空間論の方はとても面白かった。
最初のinformalな動機づけの方がむしろ私には分かりにくかったりした
（これは前に志賀浩二を読んでいたので、informalな考えは少し身に付いていたからかもしれない）。
この本の位相空間論の読書は、日々の読書の中でもっとも楽しい時間だった。

344 ：１３２人目の素数さん：04/09/09 07:23

333

345 ：１３２人目の素数さん：04/09/09 16:01

「集合全体の集合」というものが集合にならないって本当ですか？

346 ：１３２人目の素数さん：04/09/09 16:22

>>345
本当

347 ：FeaturesOfTheGod ◆UdoWOLrsDM ：04/09/09 16:23

Re:>345 正則性公理を満たさない。

348 ：１３２人目の素数さん：04/09/09 20:08

>>345
集合全体は、集合でないというべきでは無いでしょうか？
これが集合であるとすると矛盾するというのが有名な話しで、正則性公理
とは関係なく矛盾がでる。(ラッセルのパラドックス)

349 ：加護天使 ◆j/LLggzims ：04/09/12 02:47:12

そうそう、順序数全体、基数全体でもラッセルのパラドックスのたぐいが生じる。
だから、普通はクラスを導入する。

でも、Fefermanみたいなその他の道もあり。

350 ：関連スレ：04/09/13 22:41:39

http://academy3.2ch.net/test/read.cgi/sociology/1094986423/
「ゲーデル不完全性定理と学問の客観性」

351 ：加護天使 ◆j/LLggzims ：04/09/14 02:30:01

自己言及やミクロコスモスとマクロコスモスの対応や観察って、
古より連綿と続く問題なのに、
いまさら不完全性定理にだけ結びつけられてもモナー。

352 ： ：04/09/14 06:47:38

>>350
不完全性定理、相対性理論、不確定性原理




電波ＤＱＮの三種の神器と言われていることを

知っておくように

353 ：１３２人目の素数さん：04/09/14 09:54:42

Fefermanは何をしたのですか。

354 ：加護天使 ◆j/LLggzims ：04/09/15 02:22:19

集合を内包的に扱い、外延的でない扱いの理論もあるよという程度のつもりが、
べき集合もなりたたないので私が書きすぎた。
集合全体ではelementarinessを満たさないし、、。

林晋先生の本にも紹介してあったと思う。

355 ：１３２人目の素数さん：04/09/16 22:58:19

「集合全体」が集合にならないのだとしたら、どれくらいの大きさ
までは集合と見なして問題ないのでしょうか。

356 ：pyupyon：04/09/16 23:58:03

巨大基数について、素人にでも分かる本を教えてください。

357 ：１３２人目の素数さん：04/09/17 00:15:23

>>355
集合に関する公理破んなきゃOK。公理から導きだされればOK。

358 ：１３２人目の素数さん：04/09/17 04:35:11

>>356
素人って、どれくらいの素人？　構成可能宇宙や強制法の知識があるんなら、

・A. Kanamori, _Higher Infinite: Large Cardinals in Set Theory from Their Beginnings_,
　2nd ed., Springer, 2000.

がいいと思う。もっと初歩的なところから知りたいのなら、ちょっと古いけど、

・F. Drake, _Set Theory: An Introduction to Large Cardinals_, North-Holland, 1974.

ぐらいかなあ。

359 ：１３２人目の素数さん：04/09/17 09:19:45

>355

>>357のような公理集合を目一杯見つけていこうとしている所

360 ：pyupyon：04/09/18 00:52:29

>>358
本のことを教えていただき、ありがとうございました。
高校の数学程度しかわからず、また、あとは、いわゆる素人向けの
ブルーバックスや一般読者向けの数学のガイドものしか知りません。
最近では「素数に憑かれた人たち・リーマン予想への挑戦」（ジョン・ダービージャー著）
などを読んでいる程度です。
頭も悪いし、ここの板に書き込みをされているみなさんのように、明晰、博学でも
ありませんが、素人向けの本の中に、
到達不可能個数、弱コンパクト数、ラムゼイ個数、、、、超膨大個数などという言葉があり、
いずれも、想像上の巨大な基数で、その存在を認めると、実数の集合にまで影響を及ぼすとか。
可算無限と実数の無限などはイメージできても、さらにそれらさえ、どんな操作をしても、
届かない無限となると、イメージすることさえ、かないません。
本当に残念です。せめて、間違っていても、自分なりに少しでも納得、イメージできれば、と思うのですが、
なにしろ、無学。余裕ができれば、大学の一回生の講義を受けて、時間がかかっても死ぬまでに、
到達したいと思います。
ご親切に、感謝します。
もし、どなたか、イメージできる方法を教えてくだされば、助かります。
よろしくお願いいたします。

361 ：pyupyon：04/09/18 00:55:43

すいません、続きです。
もし、どなたか、巨大基数のイメージをつかむ、簡単な方法が
あれば、お教えいただけると幸いです。
よろしく、お願いいたします。

362 ：１３２人目の素数さん：04/09/18 01:25:50

可測基数を考えてみろ

363 ：１３２人目の素数さん：04/09/18 02:20:36

１，３，７，１３，２１・・・

364 ：１３２人目の素数さん：04/09/18 10:33:49

>>360, 361
到達不能なκとは「κより小さい基数」を「κより小さい基数」用いただけでは表現できない基数
もうちょっと詳しく言うと、次の2条件をみたすκが到達不能基数

　１．regular：
　　　κより小さい基数の上昇列の極限としてκをあらわそうとすると、その列の要素数はκとなる
　２．strong limit：
　　　κより小さい基数λのベキをとっても κに達しない （λ＜κ⇒ 2＾λ＜κ）

定義を説明しただけだが、これ以上は簡単にはならないと思う
巨大基数といってもZFCの公理だけからではその存在が証明できない基数の総称
当然、それぞれの巨大基数の定義によってイメージも異なる
巨大基数について簡単に検索しても↓だけあるね
ttp://www.fact-index.com/l/la/large_cardinal.html
イメージを掴むには、字面（論理式）から基数をイメージするトレーニングする、つまり基礎からやるしかないと思う

365 ：pyupyon：04/09/18 12:04:34

>>364
ありがとうございました。
この掲示板のお世話になる前に、ｋ大学の方のページにも、巨大基数の研究に
ついての記述がありました。それらを参考にしながら、いつかは、大学の集合論を
受けて、自分なりに、がんばってみます。
ご親切に大変、感謝いたします。

366 ：１３２人目の素数さん：04/09/18 12:10:20

>>364
条件が一つ抜けている
κ は極限基数である事。

367 ：pyupyon：04/09/18 12:40:57

極限基数にどんな操作を加えても、到達できない、巨大な基数があるとすれば、
どんな数学が考えられるのか、と理解すればいいのでしょうか？
そして、その仮定の方法によって、さまざまな巨大基数が考えられる。

それは、実際には“存在”しないのに、虚数の“存在”を仮定することで数学が進歩したのと
同じようなものと考えれば、いいのでしょうか？
もしよろしければ、どなたか、お教えください。

368 ：１３２人目の素数さん：04/09/18 13:00:00

０でない。

369 ：１３２人目の素数さん：04/09/18 13:54:19

pyupyonさんは
集合と論理に関してどの程度の知識をお持ちなのですか?

370 ：１３２人目の素数さん：04/09/18 17:16:47

>>369
高校の数学程度しかわからず

と書いてあるじゃん。
日常的な言葉で、素人にも分かったつもりになれるように、表現してくれ　ってことでしょ。おそらく。

371 ：１３２人目の素数さん：04/09/18 18:17:24

>>366
サンクス、けどそう細かいことまで要求されてないと思う、イメージしたいんでしょう

>367
ただ巨大基数に見せられてというヒトもいるだろうけど、やっぱり次の2つが動機じゃないかな
　ZFCだけでは解けない問題を解決するためには、どんな巨大基数存在公理を考えれば良いか
　またそのような巨大基数の存在から、他にどのようなことがいえるのか

>実際には“存在”しないのに
虚数の存在を否定しても、ただ実数の世界に狭まるだけ
「巨大基数」はさまざまに定義されたさまざまな基数の総称であって、
巨大基数の一つの存在性が何らかの意味で否定されても、別の巨大基数は否定されていない
実際に存在しないかどうかはわからないし、ただZFCのみを前提としただけではその存在がいえないってだけのこと
そう考えると虚数の存在よりもっと不確実で土台固めの段階のように見える

あと、定期的に「いつかは、大学の集合論」と言う人がでてくるが、公理的集合論やるなら大学を選ぶ必要があるよ

372 ：pyupyon：04/09/19 00:30:59

>>366
無学なものに貴重なお話、本当にありがとうございました。
ついでに、甘えてよいのでしたら、教えてください。
選択公理を認めるか、認めないかで、先の数学が変わるとききます。
バナッハの“定理”は選択公理を用いるそうですが、
明らかに現実の世界とは異なります。
ほかにも、現実に対応しないようなものもたくさんありそうです。
すると、どんな公理を選ぶかで、数学の世界が異なるのなら、
極論すると、公理を選択する人の数だけ、数学もあるのでしょうか？
となると、いったい、明晰、論理的に“正しい”といえるものはなくて、
恣意的に、人が選ぶ、大樹の枝分かれした形のように思えます。
そのあたりは、結局、選んだ公理の先で得られる世界が“豊か”かどうかで
数学の未来は続いていくのでしょうか？　その場合の豊かさの基準は？
本当に素人のバカな質問で恐縮ですが、どなたか、ご親切な方に
お教え頂ければ、幸いです。

373 ：１３２人目の素数さん：04/09/19 01:12:33

>>371
何大学がいいですか？ちなみにボクは、今浪人しています。

374 ：１３２人目の素数さん：04/09/19 06:09:15

>>372
>明晰、論理的に“正しい”といえるものはなくて、 恣意的に、人が選ぶ、大樹の枝分かれした形のように思えます。
>結局、選んだ公理の先で得られる世界が“豊か”かどうかで 数学の未来は続いていくのでしょうか？

そうだと思う。
ただ、今は「数学の未来」というより「公理的集合論の未来」という感じ
当事者には数学他分野の未来ももといわれるかもしれないが

そのＫ大学（Ｋって関西のでしょ？）の研究室に連絡とって聞けば良い
大学に入ってないからといって邪険にはされないはず

本当に研究したいなら、別のＯ大学に入ったとしても、Ｋ大学のセミナーに参加させてもらえばいい
仮にやりたい分野がある大学に入っても、普通は研究室配属は3年以降だから、
自分から連絡取らない限り、１，２年時は自分で勉強するしかなくなるぞ

375 ：pyupyon：04/09/19 10:25:13

>>374
ご親切、ありがとうございました。公理の選択の組み合わせの数だけ、数学の世界があると
分かっただけ、少し納得できました。現実の世界と矛盾しても、それはそれで数学。
面白いものですね。まだ、何年かは、仕事をしないと生活ができませんが、ひとりで
コツコツ、行けるところまで、行ってみます。
こうして、専門の方のお話を聞ける機会があって、本当にありがとうございました。

先端の数学で、神と戯れることのできる、みなさんが、うらやましく思いました。

376 ：１３２人目の素数さん：04/09/20 15:23:51

横レスすまんが。

>現実の世界と矛盾しても

ってのはちょっと、どうかと思うぞ。おそらくバナッハ・タルスキの
ことを指してるんだと思うが（違ってたら、ごめんね

アレは見ての通り、分割のやり方そのものが非可測的なのであって、
現実の感覚と異なる帰結となるのも、ある意味仕方がないというか。
要するに、「矛盾」っていう表現は不適切だと思われ。

最後の一文には、激しく同意だな(^^;

377 ：１３２人目の素数さん：04/09/20 17:28:01

Ｋ大は京大のことか？
集合論に限れば、他のほうがいいだろう。

378 ：１３２人目の素数さん：04/09/20 18:41:15

神戸じゃないの？

379 ：１３２人目の素数さん：04/09/20 18:50:37

集合論といえば、神戸でしょう。

380 ：１３２人目の素数さん：04/09/20 23:17:54

神戸だわな

381 ：１３２人目の素数さん：04/09/26 02:26:04

べっこうあめは神戸産だ

382 ：１３２人目の素数さん：04/09/26 06:33:38

881

383 ：１３２人目の素数さん：04/10/01 22:28:42

673

384 ：１３２人目の素数さん：04/10/06 15:31:41

526

385 ：１３２人目の素数さん：04/10/09 11:11:55

瓦せんべいｂ

386 ：１３２人目の素数さん：04/10/11 15:57:18

>>実際には“存在”しないのに
>虚数の存在を否定しても、ただ実数の世界に狭まるだけ
ある意味では，虚数の存在を否定する人が実数の存在を認めるというのは非常に妙な
話だったりするわけで。神が作ったのは整数までで，残りはすべて人工だという言葉も
あるし。

387 ：１３２人目の素数さん：04/10/11 17:42:11

神が造ったものは全てであり、また別の面では、最小の現実である。

人間が作ったものは、‘現実’や、自然数、整数、有理数、実数、複素数、四元数、
あげればキリがないし、これらは人間の頭の中にある論理体系から
出てくる構造、つまり神がもとから創っていたようなものだと考えられる。

つまり、神が誰だかわからない。何をしたのかわからない。
人間は人間の感じるものを作っている。目の前の現実というやつも人工だ。

388 ：１３２人目の素数さん：04/10/11 17:58:35

そういう時は神/人間を脱構築とかえぽけーとか、
ってこういう話からは脱却�k　

389 ：あぼーん：あぼーん

あぼーん

390 ：LettersOfLiberty ◆rCz1Zr6hLw ：04/10/11 22:27:08

Re:>389 お前何考えてんだよ？

391 ：１３２人目の素数さん：04/10/16 18:10:29

856

392 ：１３２人目の素数さん：04/10/16 19:02:32

うんちせんべいでも作って喰ってろ

393 ：LettersOfLiberty ◆rCz1Zr6hLw ：04/10/16 22:48:14

Re:>392 お前がやって見本を見せてくれよ。

394 ：１３２人目の素数さん：04/10/16 23:03:57

うんこ連発してる奴、なんか俺の大学の奴っぽい、
なんかウンコネタ書いていろんな奴にメールで送ってるし、
最初、何考えてんだコイツと思ってたけど、
はじめて数学版きて分かった、あいつ２ｃｈねらーだったのかー
俺が注意しとくから安心しとけKingサンよ

395 ：１３２人目の素数さん：04/10/16 23:16:49

ワロタ

396 ：１３２人目の素数さん：04/10/16 23:35:07

>>394
どこの大学だよ・・・('A`)

397 ：１３２人目の素数さん：04/10/16 23:52:26

>>394
言っていいのか？祭りになるぞ？？

398 ：397：04/10/17 00:00:38

↑
>>394じゃなくて>>396ね

399 ：辻斬り：04/10/20 15:00:45

＞巨大基数について

アレフ０は一応"到達不可能基数"だぞ。うわー巨大基数だ（ｗ
もっともこれで集合論のモデルを考えると、
全ての集合は有限だということになるが（ｗ

400 ：辻斬り：04/10/20 15:16:30

＞次の2条件をみたすκが到達不能基数
＞１．regular：
＞　　κより小さい基数の上昇列の極限としてκをあらわそうとすると、その列の要素数はκとなる
＞２．strong limit：
＞　　κより小さい基数λのベキをとっても κに達しない （λ＜κ⇒ 2＾λ＜κ）

これって結局、集合を空集合から構成していく場合の限界点なのよね。
有限集合の場合はω＝アレフ０がその限界になるわけだが
同様のものを無限集合の場合にも考えるとこうなるってわけだ。

で、そろそろ可測基数の話に逝かねぇ？

401 ：１３２人目の素数さん：04/10/20 19:14:38

>>400
可測基数の話ができるのであれば、ぜひおながいします。

402 ：１３２人目の素数さん：04/10/20 22:03:29

>>397
щ(ﾟДﾟщ)ｶﾓｫｫｫﾝ ﾏﾂﾘ (屮ﾟДﾟ)屮 ｶﾓｰﾝ

403 ：１３２人目の素数さん：04/10/25 08:16:29

627

404 ：１３２人目の素数さん：04/10/28 14:08:05

http://science3.2ch.net/test/read.cgi/math/1072058641/299
＞Bourbakiの集合論（実は結構公理的に面白く書かれていて
＞\epsilon(なぜか\tauが使われてるが)記号を使って
＞ZC^-位の強さでできるだけ集合論の公理を最小に抑えて現代数学を展開し、
＞例えば集合論的な公理の選択にできるだけ依存しないように定式化されている）

F(置換公理)を使わないことがそんなにおめでたいかな？

>>400も書いてるけど、集合全体のクラスの濃度が到達不可能基数
になるっていうのは、（集合論を認めるのであれば）自然な感覚なわけで、
その意味ではFが不合理だとは思わないな。

405 ：１３２人目の素数さん：04/10/28 14:46:47

別に不合理だとは思ってませんよ。おめでたいとも思いませんが、
特になくても数学の大部分が展開できるから
集合論を数学の設計思想と考えた「Bourbakiは」使わなかった、というだけです。
あの人たちは無くても良い公理は極力使いませんから。

406 ：１３２人目の素数さん：04/10/28 14:47:31

あ、>>405書いたのは…まあお分かりになりますよね。

407 ：１３２人目の素数さん：04/10/28 14:57:54

>>405
どうせなら集合論そのものを使わないのが一番。

無限集合とベキ集合を認めたら連続体の濃度の問題が出てくるのは
当然のことだが、結局のところこれは決定不能問題である。

しかし実際のところ、連続体の濃度なんて今の数学にいかほど
関わりがあるのか？大いに怪しいといわざるを得ない。

408 ：１３２人目の素数さん：04/10/28 15:06:15

> 連続体の濃度なんて今の数学にいかほど
> 関わりがあるのか？

（゜○゜）ﾎﾟｶｰﾝ

409 ：１３２人目の素数さん：04/10/28 15:09:33

>>407
解析をやるなら連続体を扱わざるを得ない。

410 ：１３２人目の素数さん：04/10/28 15:17:07

>>409
＞解析をやるなら連続体を扱わざるを得ない。

しかし、そこでは濃度を積極的に使っているかな？

411 ：１３２人目の素数さん：04/10/28 15:28:45

>>408
>>409
CHに依存した解析の問題って具体的にどんなの？
それに万が一あっても
「そういった集合論的な公理に依存する問題はさして重要ではない」と考える人が多い。
（「いいや、重要だよ！」といってくれれば集合論の人が喜びますｗ）

412 ：１３２人目の素数さん：04/10/28 15:31:24

積極的ってどういう意味？
扱うのは有限個の記号列であっても頭の中では使っている

413 ：１３２人目の素数さん：04/10/28 15:39:58

>>412
＞頭の中では使っている
ってどういう意味。
結局記述できることが全てではないかい。

414 ：１３２人目の素数さん：04/10/28 15:48:55

頭を使わない奴は馬鹿な事しか思いつかない。

415 ：１３２人目の素数さん：04/10/28 15:50:32

馬鹿はちょっとしか頭を使わないのに大いに考えたつもりになる。

416 ：１３２人目の素数さん：04/10/28 16:00:17

ああ、>>412さんにはL\"owenheim-Skolemの定理がお勧めです。
（基礎論や集合論を勉強し始めの頃ビックリしてついつい
変なことを口走っちゃう定理ですがｗ
ただ証明が文系の人には難しいので不完全性定理、相対論、
不確定性原理の二の舞にならずに済んでいる幸福な？定理です）
ついでに易しめのテキスト紹介
Ebbinghaus他"Mathematical Logic"
UTMの一冊なのでスイスイ読めます（少なくとも初めの方は）
紹介ページ
ttp://taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-1.html
倉田令二朗『数学基礎論へのいざない』
命題論理＋述語論理＋不完全性定理＋（公理論的）集合論入門
これもスイスイ読めます。
他にも良いヤツはあると思うけど

417 ：１３２人目の素数さん：04/10/28 16:02:48

じゃあ不完全性定理や相対論や不確定性原理が
あんな目に遭わされているのはL\"owenheim-Skolemよりも
証明が簡単だからだっての？

つうかL\"owenheim-Skolemのほうがよほど簡単だろ

418 ：１３２人目の素数さん：04/10/28 16:17:06

>>416
＞L\"owenheim-Skolemの定理がお勧め

なるほど、君は形式主義者というわけか。

＞ただ証明が文系の人には難しいので
＞不完全性定理、相対論、不確定性原理の
＞二の舞にならずに済んでいる幸福な？定理です

文系の人という言い方は不適切だなぁ。
それに非常識な定理には必ず絡む人がいるものだよ。

419 ：１３２人目の素数さん：04/10/28 16:23:22

L\"owenheim-Skolemの定理に絡む一般人がみられないのは
「濃度」という概念が、一般人にはピンと来ないからだろう。
それに対して
「真であるが証明できない命題がある！」
「光の速度は不変で同時は観測者に依存する！」
「位置と運動量、時間とエネルギーは同時に１つの値には決まらない！」
というのは、少なくとも言ってることが理解でき、さらに
素朴な常識に真っ向から反するので、思わず反発する（ｗ

420 ：１３２人目の素数さん：04/10/28 16:57:40

松本は白石スレへ

421 ：１３２人目の素数さん：04/10/28 17:08:03

白薙は数学板から退去しる

422 ：１３２人目の素数さん：04/10/28 19:50:49

>>418
いや、文系でも分析哲学の人とかだと証明論や非古典論理ばかり
やってる哲学者なのか数学者なのか良く分からん面白い院生が
居たりするみたいですｗ因みに漏れは理系ですしバリバリの
形式主義者でもないので誤解のなきよう。

>>418,419
そうでしょうね。「可算言語Lの上の理論は可算なモデルを持つ！」
とか言われても、数学が得意でなくて実数が非可算集合だかと
知らない人には( '_ゝ`)フーン……
……大体分かったんだけどさ、可算ってなに？とか、それで？となるでしょうしｗ
まあ大学教養までに実数が非可算個あることも教わらなければ
普通そうなるでしょうね。

423 ：１３２人目の素数さん：04/10/28 19:51:54

「ただ証明が文系の人には難しいので」
は不適切かつ誤った発言でした。

424 ：１３２人目の素数さん：04/10/29 00:38:25

文系のに人には優しいw

425 ：１３２人目の素数さん：04/10/29 00:51:16

このスレも意外と馬鹿が多いな
連続体仮説は真か偽かどちらかに決まっとる

426 ：１３２人目の素数さん：04/10/29 01:16:42

>>425
俺昨日、ZFで選択公理証明しちゃったぜ！！もう公理じゃNEEE!!
選択定理！！

427 ：１３２人目の素数さん：04/10/29 01:35:18

明日は選択補題？
あさってはやり放題?

428 ：１３２人目の素数さん：04/10/29 09:24:35

>>416　ただ証明が文系の人には難しいので
>>418　文系の人という言い方は不適切だなぁ。
>>422　いや、文系でも分析哲学の人とかだと
　　　　証明論や非古典論理ばかりやってる
　　　　哲学者なのか数学者なのか良く分からん
　　　　面白い院生が居たりするみたいですｗ

別に面白くもなんともない。
哲学者が数学してはいけないとか、
文系理系で区別するとかいうのは
愚の骨頂だとは思わんか？

429 ：１３２人目の素数さん：04/10/29 09:28:22

>>422　漏れは理系ですしバリバリの形式主義者でもないので

"理系"だから数学はバッチリってわけでもないだろう。
大抵の"理系君"は、そもそも形式主義とはどういうものか
全くわかっていないし。ロジック関係はいわゆる文系理系
に関わらず、簡単に誤解するからね。
君が単純素朴な誤解にドップリはまってる可能性は大いにあるよ。

430 ：１３２人目の素数さん：04/10/29 09:34:20

>>422　数学が得意でなくて実数が非可算集合だかと知らない人には…

そもそも"（無限集合の）濃度"というものが、
"(有限集合の)要素の個数"に比べて直観に
訴えにくいものだよ。

431 ：１３２人目の素数さん：04/10/29 15:38:30

>L\"owenheim-Skolemの定理がお勧め
こんなもの何の役にも立ちゃせん

　　　　　　 　　　 ...,､ -　 ､∞
　　　　　　,､ '　 ヾ　、;;;;;;;　 丶,､ -､
　　　　 ／;;;;;;;;;;;　　οヽ　ヽ;;;;＼＼:::::ゝ
　∞ヽ/;;;;;　i　 i　;;;;　　ヽ;;;;;;; __.ヽ ヽ::::ヽ
　ヽ:::::l　i.ο　l;;; ﾄ　　ヽ　 ヽ .___..ヽο丶::ゝ
　r:::::ｲ/ l:::.|　i ヽ　　＼　＼/ﾉﾉﾊ;;; ヽ
　l:/ /l　l.　　l;;;;;　i　 ヽ'"´__ヽ_ヽﾘ }. ',　　',
　'l. i　ト l;;;　ﾚ'__　　　　'"i#::::iﾞ〉l^ヾ　 |.i.　l
.　l l　lミ l ／r'++::ヽ　　　　'n‐／.}　/　 i l　l　／￣￣￣￣￣￣￣
　 l l　l.ヾlヽ　ヾ:‐°　 ,　　　　 !'" ♭i i/ i＜　　このスレ相変わらず
　 iﾊ　l　 (.´ヽ　　　　　_　　 .／　◎　 ,' ,'　'　|　馬鹿ばかりだわねぇ・
　　 |l. l　　♭ ''丶　　.. __　 イ　　∫　　　　　　 ＼＿＿＿＿＿＿＿
　　　ヾ!　　◎　　　　　 l.　//├ｧ ､
　　　　　　∫　　　／ﾉ!　◆　/　　｀　‐- 、
　　　　　　◎　 ／ ヾ_　 ◎/　≪≪ ,,;'' /:i
　　　　　　　 /King命;｀　∬/　　　,,;'''／:.:.i＼
　　　　　　　　　　　　というほど馬鹿じゃないわ。アホ

432 ：１３２人目の素数さん：04/10/30 16:44:47

役に立つ、立たないの話を始めたか
ほー・・・

433 ：１３２人目の素数さん：04/10/30 17:29:07

まるでイソップのキツネだな　>>431

434 ：ChaosicSoul ◆/yaJbLAHGw ：04/10/31 09:54:06

置換公理を使って、例えばどのような部分集合が作れて、どのような部分集合が作れないのだろう？

435 ：１３２人目の素数さん：04/10/31 10:32:58

>>434
岩波数学辞典の公理的集合論のところにも出ていますが
｛ω、P(ω）、P(P(ω))、･･･}　（P(ω)はωのベキ集合）
は、置換公理ぬきには作れません。

436 ：ChaosicSoul ◆/yaJbLAHGw ：04/10/31 12:20:15

Re:>435 サンクス。

437 ：１３２人目の素数さん：04/10/31 12:23:58

_,,.. -──‐- .､.._.
　　　　　　　 　 ,　'´　　　　　 ╋　　 ヽ
　　　　　　　　〈:::::::　　　　　　　　　　 _:::)
　　　　 　 　 /´＼:::::::::_,.　- ― -　､.〃/
　 　 　 　 , '/〈∨〉’‐'´ 　 　 　 　 　 ｀ ' ､
　　　　　/ ,'. 〈∧〉/ ,.' , ｉ , ｌ }　! `, ヽ ヽ　＼
　 　 　 ｛ｿ{. ﾆ二|,' / / _! Ll⊥ｌ|　.Ll_!　}　、.ヽ
　　　　 {ソl ﾆ二.!!ｲ /´/|ﾉ_l_,|.ﾉレ'ﾚ_l｀ﾉ|! | .l　}
　 　 　 ﾊｿt.ｰ-;ュ;Vl /,ｨｴ下 　 　 ｢ﾊ ﾚ| j| j|丿
＼　　　!（(.ヽﾆ{fj ! l ` ﾊ|li_]　　　　|iﾘ {､|,ﾉ!'　　　／￣￣￣￣￣￣￣￣￣￣￣￣￣￣
　 <＼ｎ　)’（ (‘ｰｌ |　 ° ´　　__,'　 ﾟ,' ）　　　　 |　 Kiｎgくん♪
　　/.）＼_,　 ｀ ） ﾉﾉ＼　　　　 ｔﾉ　／(（.　　　 ＜　 うんこ食べのお時間よ！
　　Ｖ二ｽ.Y´|　 （(　(ｒ个　 . ___. イヽ） ）)　 　 　 |　 他の素数さんに迷惑だからおとなしくしなさいね♪
　　 {. r_〉｀!　}>' 　） ／ ゝ ､,,_o]lム` ｰ- ､　　 　 ＼＿＿＿＿＿＿＿＿＿＿＿＿＿＿
　 　 ＼　 　 ｆ　 ,. '´／　　　　 　 o　..:::　 ＼
　 　 　 `!　　{／⌒ヽ::::::　　　 　:::.　　＼_::　 ヽ

438 ：１３２人目の素数さん：04/11/03 18:42:13

カントールの連続体仮説って
どうしてそういう名前がついたの？
連続体っていうからには
連続してるんだろうけど、
点とか面が連続してるってことかな？
賢いお兄さんたち、教えてちょ。

439 ：１３２人目の素数さん：04/11/03 18:57:21

連続 （実数や複素数などのこと）
体 （有理数や実数や複素数などのこと）
仮説 （仮説）

440 ：１３２人目の素数さん：04/11/03 20:54:07

なんとなく有理数体はスカスカ、実数体はギッシリベットリという感じがあるだろ。

441 ：１３２人目の素数さん：04/11/04 04:27:16

連続体とは直線等のようにその名のとおり連続したもののこと。
 平面の濃度も直線と同じくアレフであることが， カントルによって証明されている。

442 ：１３２人目の素数さん：04/11/04 06:57:36

>>441
カントールがaleph記号を導入したのは常識だけど
カントールが連続体濃度を「アレフ」と名づけたというのは初耳

443 ：１３２人目の素数さん：04/11/05 07:01:31

アレフについてる番号って、大きいほうが強いの？

444 ：１３２人目の素数さん：04/11/05 08:30:34

「強い」って何・・・？
　alpha ＜ beta ⇒ aleph_alpha ＜ aleph_beta
か？って聞いてるのならその通りだよ

445 ：１３２人目の素数さん：04/11/06 07:23:01

あれふぜろ＜あれふいち＜あれふに＜・・・・・・・・＜あれふ最強

446 ：１３２人目の素数さん：04/11/06 09:36:41

超実数体の濃度もアレフですか？

447 ：１３２人目の素数さん：04/11/06 10:08:21

だから「アレフなんたら」じゃない「アレフ」って何のことなんだよ

448 ：１３２人目の素数さん：04/11/06 10:37:15

>>445
＞あれふ最強

それって弱到達不可能基数のことを言ってるのかな？

449 ：１３２人目の素数さん：04/11/06 10:41:43

＞カントールが連続体濃度を「アレフ」と名づけたというのは初耳

多分wikipediaの基数のところを見たんだね。
これを書いた人が何を根拠にいってるのか知らないけど。

450 ：１３２人目の素数さん：04/11/06 10:42:52

まあ定義誰か書いたら。
ちなみに「アリ↑フ」みたいな感じで発音すると
いかにもアラビア語っぽくて吉。
しかしよりによってなんでCantorはアラビア語使ったんですかね

451 ：１３２人目の素数さん：04/11/06 10:54:53

>>450
アラビア語じゃなくてヘブライ語
まあ、同じセムハム語族だが。
wikipediaを見た限りでは連続体仮説の項を書いた
Alembertとかいうヤシが震源だな。

452 ：１３２人目の素数さん：04/11/06 11:03:37

ちなみに英語のwikipediaではちゃんと2^aleph0となってるね
その他のページでも連続体の濃度をalephとはしていない。
これは日本だけの現象のようだ。

453 ：１３２人目の素数さん：04/11/06 13:25:47

>>448
ただ単に最大の基数なんか存在しないってことが
わかってないだけじゃない

454 ：working woman：04/11/10 17:34:28

>>446
N 上のウルトラフィルターから構成すればアレフになるけれど、
もっと大きな集合を基礎にすればいくらでも大きい濃度になるわよ。

もし可測基数が存在したら面白いモデルや例・反例が沢山出来るわよ。

455 ：１３２人目の素数さん：04/11/10 21:56:48

>>454
ありがと

456 ：working woman：04/11/10 22:20:46

数学板にモデル理論のスレが無いわね。
誰か超準解析とまとめて新スレ作らないこと?

こういう事書くときっと誰かが
>>456が作れというわね。

457 ：１３２人目の素数さん：04/11/10 23:24:58

>>456
Kingスレが無事削除されたら記念に作ってもいいね
ただ、数学板にそういった話題を自信もって話せるだけの
実力を持った香具師がいないだろ
（かくいう漏れもそんな自信ないが）

それはともかく、超準解析スレを作る場合は
超準解析にはいくつか相異なった流儀があるみたいだから
（『二十世紀の数学』杉浦光夫編、の超準解析のところを参照）
テンプレをかなり工夫しないといけないと思う。
（まあ基本的に〜流で議論します、で済ませてもいいが）

458 ：１３２人目の素数さん：04/11/10 23:41:24

いっそ超準解析っていう名前をスレタイに入れないほうがいいかも
「超」っていう文字で厨が集まってくるので

459 ：１３２人目の素数さん：04/11/10 23:54:19

腸潤懐石ってすればいいんじゃない？

460 ：（´∀｀）：04/11/11 00:00:33

じゃあnonstandard analysisか、それを直訳して
非標準解析でいいんじゃ？
まあ「超準」は厨がよって来やすい事を考えなければ
悪い訳語じゃないと思うんだがなあ
英語に直すとsuperstandardかultrastandardみたいな語感だろうか

461 ：１３２人目の素数さん：04/11/12 03:38:51

nonstandard 教員＝婦女子を犯しまくりながら日教組活動に専念し、
馬鹿を作り出すことを専門にしている人

462 ：１３２人目の素数さん：04/11/12 04:41:55

>>89
連続体仮説が正しいかどうかは、
現時点では解決していません。

463 ：１３２人目の素数さん：04/11/12 04:46:32

>>462
なんか凄い遅レスみたいだがそれはともかく、、
一応"解決"したという見方もあるかと。
まあ各人の立場の違いだが。

464 ：１３２人目の素数さん：04/11/12 05:03:51

>>463
立場の違いもありますが、基礎論の専門家に限れば
未解決と言う方が多いのでは?

465 ：１３２人目の素数さん：04/11/12 05:25:26

>>464
それは所謂G\"odelの実在論ってヤツですかｗ
だとしたら断定しすぎだと思います。

466 ：１３２人目の素数さん：04/11/12 05:26:24

G\"odel「流」が抜けた
まあ微妙な脱字だが。

467 ：１３２人目の素数さん：04/11/12 10:04:44

>>464-465
G\"odel流の実在論による連続体問題の解決とは
「巨大基数の公理に基づく連続体問題もしくはその否定の証明」
を指しているのかな？

まあ、それはともかく、どんなに巨大基数の公理をいれても
集合全体の集まりは集合にならないし、全体でなくとも
集合の集まりが、集合にならない場合がどうしてもある。

468 ：１３２人目の素数さん：04/11/12 20:19:10

>>467
最後の3行はトートロジー

469 ：１３２人目の素数さん：04/11/13 04:26:38

>>468
「全体でなくとも集合の集まりが、集合にならない」
を「集合全体の集まりは集合にならない」と
読み間違えたな。ヴァカが

470 ：１３２人目の素数さん：04/11/13 19:06:08

お前こそ馬鹿
以下、
｢ののしり合いで１０００目指す｣
スレに変換

471 ：１３２人目の素数さん：04/11/16 22:39:51

立場じゃないよ、未解決なんだよ。

472 ：１３２人目の素数さん：04/11/16 23:15:52

あれふ１の濃度を持つものがなんであるかはいまだに分かってないらしいね。

473 ：１３２人目の素数さん：04/11/16 23:20:25

ゲーデルとコーエンの結果を参照しなさい

474 ：１３２人目の素数さん：04/11/16 23:29:11

>>473
全然意味が分かっていない香具師

475 ：１３２人目の素数さん：04/11/20 20:10:37

　　　　　　　　　　__ﾉ)-'´￣￣`ｰ- ､_
　　　　　　　 ,　'´　　_. -‐'''"二ニﾆ=-`ヽ、
　　　　　　／　　 ／:::::; -‐''"　　　　　 　 `ｰノ
　　　　　/　　　／:::::／　　　　　　　　　　　＼
　　　　 /　 　 /::::::/　　　　　　　　　 |　|　|　 |
　　　　 |　　　|:::::/　/　　　　　|　　|　|　|　|　 |
　 　 　 |　　　|::/　/　/　|　　| ||　 |　| ,ﾊ .| ,ﾊ|
　 　 　 |　　　|/　/　/　/|　,ﾊﾉ|　/|ﾉﾚ,ﾆ|ﾙ'　
　　　　 |　　　|　 |　/　/ ﾚ',二､ﾚ′ ,ｨｲ|ﾞ/　　　私は只の数ヲタなんかとは付き合わないわ。
.　　　 　|　　　＼ ∠イ　 ,ｲイ|　　　 ,`-' |　　　　　　頭が良くて数学が出来てかっこいい人。
　　　　 | 　　　　l＾,人| 　` `-' 　 　 ゝ　 |　　　　　　　　さらに独創的な人。人まねする人は嫌い。それが必要条件よ。
　 　 　 | 　　　　 ` -'＼　　　 　 　ｰ' 　人　　　　　　　　　　その上 Ann.of Math に論文書けば十分条件にもなるわよ。投稿料は私が払うわ。
　　　　|　　　　　　　 /(l 　　 　＿＿／　 ヽ、
　　 　 |　　　　　　　（:::::`‐-､__ 　|::::`､ 　 　 ﾋﾆﾆヽ、
　 　　|　　　　　　／ `‐-､::::::::::`‐-､::::＼　　 /,ﾆﾆ､＼
　　　|　　　　　　|::::::::::::::::::|` -､:::::::,ﾍ￣|'､　 ﾋﾆ二、　＼
.　　 |　　　　　　/::::::::::::::::::|::::::::＼/:::Ｏ`､::＼ 　 |　'､　　 ＼
　　 |　　　　　 /:::::::::::::::::::/:::::::::::::::::::::::::::::'､::::＼ﾉ　　ヽ、　 |
　　|　　　　　 |:::::／:::::::::/:::::::::::::::::::::::::::::::::::'､',::::'､ 　/:＼__/‐､
　　|　　　　　 |／:::::::::::/::::::::::::::::::::::::::::::::::Ｏ::| '､::|　く:::::::::::::￣|
　　 |　　　　 /_..-'´￣`ｰ-､:::::::::::::::::::::::::::::::::::|/:/`‐'::＼;;;;;;;＿|
　　　|　　　　|／::::::::::::::::::::::＼:::::::::::::::::::::::::::::|::/::::|::::/:::::::::::/
　　　 |　　　/:::::::::::::::::::::::::::::::::|:::::::::::::::::::::Ｏ::|::|::::::|:::::::::::::::/

476 ：１３２人目の素数さん：04/11/24 22:06:46

http://info.2ch.net/guide/map.htmlに載せる
紹介文を雑談スレで議論しています。
ご意見のある方は、ネタでも結構ですので是非いらしてください。

477 ：伊丹公理：04/11/27 17:18:32

>>473
何か言えよ

478 ：１３２人目の素数さん：04/12/03 12:55:56

教えて下さい

次の命題は証明されていますか？

「任意の集合でないクラスは、任意の集合よりも大きい」

479 ：１３２人目の素数さん：04/12/03 14:12:14

はい。
何らかの集合と同じ大きさかそれ以下だと示されたものは集合である、
というのが置換公理ですから、対偶をとれば
集合でないクラスはいかなる集合よりも大きい、
です。

480 ：１３２人目の素数さん：04/12/04 01:37:49

分出公理から従います

481 ：１３２人目の素数さん：04/12/04 03:23:46

大きいって何？

482 ：１３２人目の素数さん：04/12/04 10:34:51

集合を部分に含むって事か？

483 ：１３２人目の素数さん：04/12/04 17:23:33

大きさって普通は濃度じゃろ
部分集合ってだけじゃ任意の集合どうしの大きさを比べられんじゃろ

484 ：１３２人目の素数さん：04/12/05 01:54:44

>>483
一般のクラスに対して濃度は定まるんでしょうか？

485 ：１３２人目の素数さん：04/12/05 09:59:03

任意の二つのクラスの間には全単射があるんじゃないの？

486 ：１３２人目の素数さん：04/12/05 22:47:20

>>484
包含関係がつけば、大小が比較できますね。
>>485
任意のクラスのあいだの射をどうやって定義しますか？クラスにおさまりますか？

487 ：１３２人目の素数さん：04/12/05 23:10:19

> 任意のクラスのあいだの射をどうやって定義しますか？クラスにおさまりますか？

クラス関数だから実体は2項述語だよね。
でも「クラスにおさまらない」というのはどういう意味で
言ってるのかよくわからん。説明希望。

例えばVとV×Vが同じ「濃度」（厳密には比喩）をもつことは、
　R(u, v) iff v = (u, 0)
　S(u, v) iff u = v ∧ ∃x∃y . u = (x, y)
なる2項述語RとSがそれぞれ
　R : V >→ V×V
　S : V×V ⊂→ V
なるクラス関数になっているので示せるでしょ。

488 ：１３２人目の素数さん：04/12/06 10:55:21

age

489 ：１３２人目の素数さん：04/12/06 12:16:06

> 　R(u, v) iff v = (u, 0)
> 　S(u, v) iff u = v ∧ ∃x∃y . u = (x, y)

これは
　D(u, v) iff v = (u, u)
　I(u, v) iff u = v ∧ ∃x∃y . u = (x, y)
のほうがちょっと美しかったな、という自己レス

490 ：１３２人目の素数さん：04/12/06 17:01:25

集合Aと集合Bに対し集合A＋Bを以下のように定義する。
a∈A,b∈B→a+b∈A+B
もしAとBが閉集合ならばA+Bも閉集合であることを証明せよ。
又、上記の事が開集合に関しては言えない事を例を挙げて示せ。

皆さんならどう証明しますか？？

491 ：１３２人目の素数さん：04/12/06 17:05:43

>>490
まず、Ａ・Ｂに入る位相を決定せよ
お前の言っていることには何も定義されていない

492 ：１３２人目の素数さん：04/12/06 17:25:18

A,B∈R
で、おねがいします。

493 ：１３２人目の素数さん：04/12/06 17:26:01

A,B⊂R
ね。

494 ：伊丹公理：04/12/06 17:36:47

>>490>>493

A = Z, B = (√2)Z.

495 ：１３２人目の素数さん：04/12/06 17:41:21

A = Z, B = (√2)Z
の場合。Ａ＋Ｂも、limit-point(収束点？)が一つも無いことから、
開集合になりませんか？

あ。でもそのまえに　(√2)Z　の定義がつかめません。

496 ：伊丹公理：04/12/06 17:44:28

＞(√2)Z　= { 0, ±√2, ±2√2, ±3√2, .... }

＞limit-point(収束点？)が一つも無いことから、
閉集合となる。開集合にはならない。

497 ：１３２人目の素数さん：04/12/06 17:47:13

まちがいです。すんません。
そして問題の書き方も間違ってました、
後半の部分は、
Ａ，Ｂともに開集合のときＡ＋Ｂが開集合で無い例で、
おねがいします。

498 ：１３２人目の素数さん：04/12/06 17:48:53

あ、ごめんなさい。
おいらが開って言ってるところは閉で、
閉って言ってるところは開です。
たびたびもうしわけない、、、。

499 ：伊丹公理：04/12/06 17:51:20

Z + (√2)Z はdense だが可算なので閉集合でない。

500 ：１３２人目の素数さん：04/12/06 17:55:12

連続書き込み申し訳ないですがもう一度問題書き直させてください。

When A and B are sets of real numbers, define A+B as follows.
a∈A,b∈B→a+b∈A+B
Show that if A and B are open sets, A+B is also an open set.

ＡとＢがともに実数の集合であるとき、Ａ＋Ｂを以下のほうに定義する。
a∈A,b∈B→a+b∈A+B
もしＡとＢがともに開集合であるとき、Ａ＋Ｂが開集合であることを示せ。

です。ちなみに上記の英文が原文です。

501 ：１３２人目の素数さん：04/12/06 17:57:35

そんで持って、問題の後半は、

ＡとＢが開集合のとき、
Ａ＋Ｂは必ずしも開集合にならない事を例によって示せ。

です。

502 ：伊丹公理：04/12/06 17:59:56

問題をはっきりさせてくれ。
A, B の少なくとも一方が開ならば A + B も開になる。

503 ：１３２人目の素数さん：04/12/06 18:01:10

又間違った、、、ほんとにごめんなさい。
５０１の
「開」→「閉」です。

504 ：伊丹公理：04/12/06 18:04:35

>>501 は >>499 で反例を挙げている。
しばらくは自分で考えてください、

505 ：１３２人目の素数さん：04/12/06 18:06:39

しかし、
Ｚも(√2)Zもともに閉集合なので反例にはならないと思います。

506 ：１３２人目の素数さん：04/12/06 18:14:47

反例は、
ＡとＢがともに閉でＡ＋Ｂが閉で無い例です。

507 ：１３２人目の素数さん：04/12/06 18:27:58

>>505
意味分からん。どっちも閉だったら反例になるじゃん
Z＋\sqrt{2}Zが閉になる証明は結構難しいような
（Kroneckerの定理だっけ？）
しかも、どっちかというと集合スレじゃなくて
位相スレか微積スレの話題なような

508 ：１３２人目の素数さん：04/12/06 18:28:37

訂正
Kroneckerの定理（を使うん）だっけ
　　　　　　　　　　　

509 ：１３２人目の素数さん：04/12/06 18:42:46

>>507
＞Z＋\sqrt{2}Zが閉になる
閉にならないでは?

510 ：１３２人目の素数さん：04/12/06 19:56:41

閉にならないという事は、a_n→aかつa_n\in A+B := Z + \sqrt{2}Zで
しかもa\not \in A+Bとなる例があるということ？

なんか見にくいな

∃{a_n} a_n → a かつ a_n ∈ A+B := Z + √2 Zで
しかもa∈ A+Bとならない例がある？

511 ：伊丹公理：04/12/06 20:23:25

もう見てらん無いからレスする。

Z , √2 Z はともに閉集合
Z + √2 Z は dense なぜなら、|1 - √2| ＜ 1, (1 - √2)^n を展開して何倍かする。
ところが R は非可算。よって閉集合ではない。

512 ：１３２人目の素数さん：04/12/06 21:22:53

＞なぜなら、|1 - √2| ＜ 1, (1 - √2)^n を展開して何倍かする。
本当にそれだけでdenseが示せている？
もっとちゃんと書いてみれ

513 ：１３２人目の素数さん：04/12/06 22:29:22

なんだ出来ないのか

514 ：伊丹公理：04/12/06 22:32:33

(1 - √2)^n はいくらでも小さな数になる。
その整数倍はは Z + √2Z に属している。
だから当然 dense

515 ：１３２人目の素数さん：04/12/06 22:50:08

>>514
だからそれを厳密に書いてみれと言っている

516 ：伊丹公理：04/12/06 22:53:07

そのくらい自分で考えろ。

517 ：１３２人目の素数さん：04/12/06 22:53:34

>>516
簡単にはいかないことを認識しているのか？

518 ：１３２人目の素数さん：04/12/06 23:40:25

>>503
別な反例
A = {2+(1/2), 3+(1/3), 4+(1/4), …}
B = {-2, -3, -4, …}

A, B は閉集合で、A+B は 0 を含まない。
ところが、
A+B ⊃ {1/2, 1/3, 1/4, …}
なので、A+B は 0 を集積点に持つ。
ゆえに A+B は閉集合ではない。

519 ：１３２人目の素数さん：04/12/06 23:59:36

>>518
みごと

520 ：挑発筋肉 ◆POWERPUfXE ：04/12/07 00:01:13

>>518
美しいなぁ・・・

521 ：１３２人目の素数さん：04/12/07 00:57:02

とおもったら>>518乙。マジ乙。

522 ：うわっ逆に投稿しちまった：04/12/07 00:57:31

>>516
簡単にいくじゃん
(1 - √2)^n ∈ A + B は幾らでも小さく取れる。
つまり、任意の正数εに対して、a ∈ A + B で、a <εなるものが取れる。
a ∈A + Bなら、2a , 3a , … , na ∈ A + Bだから、長さ2εの範囲には
必ずA + Bの数が含まれる。　　　　　　　　　　　　　　　　　　　　　　　（q.e.d.）

というか、俺見てらんないレスの主だったりするけどｗ
「ところが R は非可算」が多少不適切なような……
濃度の問題じゃなくて、完備性の問題だと思う……

ここで類題ね。
http://science3.2ch.net/test/read.cgi/math/1099493043/511

523 ：１３２人目の素数さん：04/12/07 01:07:02

>>522
＞ところが R は非可算
A+B≠Rであることを云う為じゃねーの？A+Bは加算だから
一方denseであるから(A+Bの閉包)=R
よってＡ+Ｂは閉でない
という流れでは？

524 ：１３２人目の素数さん：04/12/07 17:41:45

皆さん頭いいね

525 ：１３２人目の素数さん：04/12/08 18:17:46

集合の初歩的質問ですが、集合A，Bの演算で
A∪B∩B
を簡略化すると
A∪（B∩B）＝A∪Bと結合則を使うのか
A∩（B∪B）＝A∩Bと交換してから計算するのか分かりません
どちらでもよいのですか？

526 ：BlackLightOfStar ◆ifsBJ/KedU ：04/12/08 20:10:03

Re:>525
集合の演算では、
(A∪B)∩C=A∪(B∩C)となるための必要十分条件は、
AがCの部分集合になること。
一般の束の場合は多分左からだろう。
(しかし、コンピュータのorとandの場合はandを優先するケースが多い。)

527 ：１３２人目の素数さん：04/12/08 20:27:11

ありがとうございます
上式のやり方が正解で下式は間違いのようですね
解答の文が難しくて正確に把握できていませんが

528 ：１３２人目の素数さん：04/12/09 04:13:36

ってか括弧つけて書け

529 ：１３２人目の素数さん：04/12/10 10:00:00

コンパクト集合＋コンパクト集合。
閉集合＋コンパクト集合。

530 ：１３２人目の素数さん：04/12/12 11:18:49

>>529
だから何?

531 ：１３２人目の素数さん：04/12/12 15:26:14

age

532 ：伊丹公理：04/12/13 23:16:17

位相空間論の本スレはどこいった

533 ：１３２人目の素数さん：04/12/13 23:52:49

位相について語ろう！２
http://science3.2ch.net/test/read.cgi/math/1101898799/l50

900くらいあった方はどうも落ちたっぽいですね
カウントさんがage忘れたんだと思うｗｗｗ
（数学板の人って過疎スレでもあまり保守しないでしょ？）

534 ：１３２人目の素数さん：04/12/14 00:10:00

移転後は一度も圧縮はないから
移転後に一度も書き込みがなくても落ちない。


1000 名前：伊丹公理 投稿日：04/11/30 22:46:39

535 ：伊丹公理：04/12/14 07:43:22

>>534
あれは俺じゃないよ馬鹿だな

536 ：１３２人目の素数さん：04/12/14 09:10:02

>>535
「十一月三十日に１０００いった。」が何故馬鹿なの。

537 ：伊丹公理：04/12/14 09:17:47

>>535
俺はあんなアホなAA貼ったりしないよ。

538 ：１３２人目の素数さん：04/12/14 09:36:24

単にレスの1行目をコピペしただけちゃうんか
別にあれがお前だとは特に言ってへんやろうに

539 ：１３２人目の素数さん：04/12/14 10:41:59

トリップも使わない馬鹿が何言ってんだかな

540 ：伊丹公理：04/12/14 21:02:11

>>538
お前だったのか

541 ：BlackLightOfStar ◆ifsBJhJOKE ：04/12/14 21:03:51

Re:>540 トリップも使えない奴は荒らし。

542 ：伊丹公理：04/12/14 21:12:07

BlackLightOfStar ◆ifsBJhJOKE
お前誰だ
よほどのアホである事は確か

543 ：BlackLightOfStar ◆ifsBJ/KedU ：04/12/14 22:26:25

Re:>541 どうもお前は自分が見えないらしい。

544 ：１３２人目の素数さん：04/12/21 21:46:06

908

545 ：１３２人目の素数さん：04/12/23 18:32:46

ここに二つの集合AとBがあったとして、
これらが共通要素を一つも持たない場合、
そういう関係を表す言葉って何を使うとよいのでしょうか？

出来ましたら英語表現もお願いしたいです。
よろしくお願いしまつ。

546 ：挑発筋肉 ◆POWERPUfXE ：04/12/23 18:34:29

互いに素と言う人もいる

547 ：１３２人目の素数さん：04/12/23 18:47:26

英語なら disjoint が一般的

548 ：１３２人目の素数さん：04/12/23 18:54:45

早速有難うございます。
互いに素という言い方はちょっとためらいがありますが(スイマセン)、参考にさせていただきます。

あと、追加で質問させてください。

A⊂B

のとき、AをBの部分集合と呼びますが、
BはAの何と呼ぶのでしょう?
全体集合とは違いますよね?

先ほどから変な質問ばかりですが、
プログラムのメソッド名をつけるのに
少々悩んでいるところなのです。

549 ：１３２人目の素数さん：04/12/23 18:56:22

>>547
あ、すれ違いでした。有難うございます、使わせていただきます!
感謝感謝!

550 ：548：04/12/23 19:02:11

あ、先ほどの質問自己解決です

上位集合(superset)

で良いようでした。
失礼しました。

551 ：１３２人目の素数さん：04/12/23 21:05:33

うん、supersetでいいよ。ただ、上位集合の反対語は
普通の感覚では下位集合になるとおもうけどね。
かといって、超集合なんて訳語使うのもｲｸﾅｲ。

うーん、なんだろう……

552 ：１３２人目の素数さん：04/12/24 05:22:37

age

553 ：１３２人目の素数さん：04/12/24 05:27:48

↓うざいコピペ

554 ：１３２人目の素数さん：04/12/24 05:46:00

age

555 ：１３２人目の素数さん：04/12/24 16:55:46

>>548
英語だとsupersetだな。日本語訳はあるのかな？

556 ：１３２人目の素数さん：04/12/28 20:20:42

『集合への30講』をやっているのですがだんだん分からないところがたまってきました
どなたか助けて下さいませんでしょうか

１．　p. 32 最終行「このとき、少なくとも１つのＭnに含まれる元全体を考えることによって」
　　　→　この条件文はどう効いているのでしょうか？

２．　p. 79 下から二行目「上に述べたような対応を知った上で、・・・」の文
　　　→ 直前の直積集合の話は理解できたのですが、
　　　　　なぜこのように言いかえられるのかがつかめません

557 ：１３２人目の素数さん：04/12/29 07:31:42

閉にならないでは

558 ：１３２人目の素数さん：04/12/30 01:14:15

>>556
『集合への30講』をもっていない人間が答えられるように質問の仕方を考えてくれ。

559 ：１３２人目の素数さん：04/12/31 21:50:12

age

560 ：１３２人目の素数さん：04/12/31 22:38:58

どうもすみません

１．「M1, M2, ・・・, Mn が加算集合ならば、M1∪M2∪・・・∪Mn も加算集合である。
　　もう一歩進めて加算個の和集合の場合も考えておこう。
　　M1, M2, ・・・, Mn, ・・・　を加算集合の系列とする。このとき　〜　によって、
　　和集合　M1∪M2∪・・・∪Mn∪・・・　が得られる」とあるのですが
　　なぜこのように考えることによってということなのでしょうか。
　　考えないとどうまずいのかがわかりません。
　　557の方が答えてくださっているのかもしれないのですが、
　　それが答えなのかどうかもわからないくらいのど素人です。
　　お暇な方年明けてからでかまいませんのでよろしくお願いします。
　　２はまたにします。

561 ：１３２人目の素数さん：05/01/01 00:04:42

>>560
「少なくとも１つのＭnに含まれる元全体」というのは
「和集合　M1∪M2∪・・・∪Mn∪・・・」の定義そのものだ。
おまいにとって和集合とはなんだ？

562 ：１３２人目の素数さん：05/01/01 01:06:04

>>560
少なくとも
「〜と考えることによって…が得られる」という文章を
「〜と考えないとまずい」と読み取る日本語能力に問題がある。
ということは言えるかもしれません。

563 ：１３２人目の素数さん：05/01/01 18:15:05

>>560
可算集合を加算してる時点でもうわかる筋からはずれている。
定義がなにかをしらないで、わかったとか、証明ができるとか、いう考え方
なんだろうと推察する。

564 ：１３２人目の素数さん：05/01/02 00:08:50

>>563
まぁまぁ、初学者の頃はこういう状態になることは珍しくないのだから
質問者本人が降臨するまで生暖かく見守ってあげようじゃないか。
最初は「M1またはM2に含まれる」という認識であったものを、次にどこかで
「M1とM2の少なくとも一方に含まれる」という認識に移行していく作業を行うのは
学習の流れとしては自然なことです。

565 ：１３２人目の素数さん：05/01/04 23:53:34

あけましておめでとうございます。
皆様ご解答ありがとうございました。

「少なくとも１つのＭnに含まれる元全体を考えることによって」 の
「少なくとも」を「１つの〜によって」にかけて読んでしまっていました。
なので、
「Ｍ１、Ｍ２などどれでもよいがそれらの集合の元全体を考えることによって、
だから例えばＭ１を考えることにしたのならばＭ１の元全体を考えることによって」
ととっていたので理解できませんでした。

「（以上の系列のどれでもよいが）少なくともいずれかのＭｎに含まれるような元、
そういった元の全体を考えることによって」ということだったのですね

566 ：１３２人目の素数さん：05/01/05 00:15:47

>>561
そのとおりです　おかげでわかりました

>>562
うーん　言葉のあやみたいなものだと思うのですがだめですか？
原文は日本語の文法から言って複数の読みを許しているので
私の読み取り能力だけのせいだとは思えないのですが
「少なくとも１つのＭｎ、このＭｎに含まれる元全体を考えることによって」
「少なくとも、１つのＭｎに含まれる元全体を考えることによって」
「少なくともいずれか１つのＭｎに含まれるような元、この全体を考えることによって」

>>563
「加算集合を加算」というのがちょっとわからないのですが、括弧内は一応全部引用です。
文章を見るに著者は「加算集合を加算」していて、それがまずいということでしょうか？

567 ：１３２人目の素数さん：05/01/05 00:26:53

>>564
アドバイス頂いているようでありがたいのですが、
「M1またはM2に含まれる」と「Ｍ１とＭ２の少なくとも一方に含まれる」の違いがわかりません。
両立的選言と背反的選言の話かなとも一瞬思ったのですが違いますよね。
なんとか違いを出そうと考えてみたのですが
前者が「（含まれるとしたら）M1またはM2に含まれる（が実際に含まれているかどうかは不明）」
後者が「M1とM2の少なくとも一方に含まれる（わけだから実際にどちらかに含まれている）」
とかなのでしょうか　すみませんがちょっとわかりません

568 ：１３２人目の素数さん：05/01/05 05:24:02

age

569 ：１３２人目の素数さん：05/01/05 05:37:18

これ答えれる方！
〇〇〇／〇〇〇＋〇〇／〇〇＝1
わかる方いますか？
後半のフタ桁の分母は36〜56以内です
お願いします

570 ：１３２人目の素数さん：05/01/05 05:57:30

>>566
>>561は疑問文で聞いているのに「そのとおりです」とはどういうことだ？

>>562は「こう考えれば〜が得られる」という文章を「こう考えないとまずい」ととらえるのがおかしいと言っているのだろう。
「こう」の部分の読み取り方が何通りあろうが関係ない。

>>563はおまいさんの学習レベルを推察しているのだろう。
有限集合の有限個の和集合をイメージだけでとらえているような学習段階なのではなかろうか？　と

>>567
>>564は同じことを二通りに言い換えているわけだが
和集合の素朴なイメージは「または」だが、この言い方では数えられる個数のものの和集合しか考えられない
しかし、「少なくとも」を用いるほうの言い方だと非可算個の和集合も考えられる。
まずは素朴なイメージから入って、その後抽象化してより一般的な概念に拡張してやる。
というのは学習の流れとして自然なことだ。と言っている。


このように>>561-564の文章すらまともに読解できていないので、まずは日本語を読み取る能力をつけましょう。
多分この文章も誤解されまくるんだろうな。ほんの少し注意深く読めばよいだけなのにな。

571 ：556：05/01/05 07:17:39

>>560 >>565 >>566 >>567 を書き込みました。

１．疑問文に対してではなく、「「〜」というのは「〜」の定義そのものだ」と書いて頂いた文章に対して
　　「そのとおりです」と返事をしたのですが、そんなにまずかったのでしょうか。
　　>>561を読んだ結果として、わからなかった文章が定義そのものだということに気づけたので、
　　その点に関してお礼の意味をこめてそう述べたのです。

　　後半の文については、>>561 の方が「おまいにとって和集合とはなんだ？」と聞かれたのは、
　　「そもそも和集合の定義を述べているに過ぎない文がわからないなら、
　　おまえは和集合を全く誤った仕方で理解しているのだろう、そうだとしたらそれはなんだ？」
　　という意味でのことだと思います。
　　私は、>>565 で、そもそもそれが定義だと気づかなかった旨を説明しました。
　　なので、>>565　をあわせて読んでいただければそんなにおかしいとは思えないのですが、
　　なにかまだ私が気づいていないような失礼をしてしまっているのでしょうか。

572 ：556：05/01/05 07:46:42

２．「まずい」文を書いた時点で、私は当の文章を全く誤った仕方で考えていました。
　　そのため、なぜその文章がそこにあるのか、その存在意義が理解できませんでした。

　　けれども、すべての文は、説明全体の過程の中で何らかの役割を大抵は果たしているのだから、
　　自分ではなぜそこにあるのかがわからない文も、きっと何らかの理由があってそこにあるはずだ、
　　と想定することはそれほど異常なことではないと思います。

　　そこで、当の文を全く誤った仕方で考えていた私は、
　　「一見関係ないように見えるこの文は、どのような理由でここにあるのでしょうか。
　　書いてあるからには何らかの理由があるのでしょうが、それはどのような理由なのでしょうか。
　　（もちろん何か意味があるのだろうから、取っ払ってしまってはまずいのだろうけれども）
　　仮にこの文をとっぱらってしまうと、どのように不都合が起こるのでしょうか」
　　というつもりであの文を書きました。

　　私はそんなにおかしな用法だとは思っていなかったのですが、
　　これからは認識を改めるよう気をつけます。

573 ：１３２人目の素数さん：05/01/05 08:24:43

563 を書いたものですが、可算集合、可算個と書くべきところが、加算(足し算)
となっていたので、ふざけて揚げ足をとったのです。
「可算集合を加算してる」というのは、いま、あなたが色々自分の表現について
説明しているようなやり方でいうなら、「加算と書き間違っている」というの
と、570 さんの説明のように「足し算と同じように漠然と考えているのではな
かろうか」、という2つのことをまぜこぜに書いたつもりだったのです。
数学における日本語表現は数学的に意味があるように理解するのが前堤ですか
ら、変なときは、自分の読み方を変えてみるべきなのです。ただ、変かどうか
はある程度の慣れが必要なのでしょう。それが 564 さんの優しいような、皮
肉のかたまりのような書き込みなのでしょう。

574 ：556：05/01/05 08:35:46

３、４．「まずは日本語を読み取る能力をつけましょう」とおっしゃって頂いているのですが、
　　　　私に日本語読解能力がないことが問題なのではないと思います。
　　　　日本語が使いこなせるということと、専門知識を有しているということは別の事柄で、　
　　　　私が　>>567 を理解できなかったのは、私が集合論を理解できていない、
　　　　つまり専門知識を有していないということがその理由なのだと思います。

　　　　すでに専門知識を使いこなせる方にとっては、その知識は日本語の一般的な知識と同様
　　　　誰でも知っている当たり前の事柄になるのでしょうが、非専門家にとってはそうではありません。
　　　　非専門家の私は、いくら注意深く読んでみても >>564 を理解できません。
　　　　だからこそ、これほどまでに初歩的な質問をさせて頂いているのです。

　　　　一応　>>560　で自分のことを「ど素人」と説明したのですが、>>570 さんの書かれた文の意味を
　　　　読み取ろうとすると、残念ながら「素人はこのスレにくるな」とおっしゃられているように思えます。
　　　　情け無い話ですが、素人であることを馬鹿にされるというのは結構しんどいものです。
　　　　スレの皆様、集合論とは関係ない話ばかりになってしまって申しわけありませんでした。
　　　　大変失礼なので、もう書き込むのをやめておきたいと思います。どうもありがとうございました。

575 ：556：05/01/05 09:49:21

>>573
失礼しました。私の書き誤りでした。ご指摘ありがとうございました。

576 ：１３２人目の素数さん：05/01/05 13:22:27

内容の無い長文レスはやめてくれ。（このように、短文ならば内容が無くても良い）

577 ：１３２人目の素数さん：05/01/07 16:44:03

>>571
いや、「おまいにとって和集合とはなんだ？」というのはただ単におまいが和集合をどのように定義しているのか聞きたかっただけだ
「AまたはBに含まれる要素の全体」として定義しているなら、その定義と
「A,Bの少なくとも一方に含まれる要素全体」というのは同じものを表すんだと説明するつもりだったし
他にも定義の言葉の言い換えは色々あるだろうから、おまいがどういう言葉で定義しているのかを聞かないと説明しづらいんだよ。
和集合という言葉を使っているからにはその言葉の意味を知っているはずだしな。正しいか誤りかにかかわらず。
おまいの理解が誤りかどうかなどはおまいがどうとらえているのか聞かないとわかるわけがないだろう。決め付けはいかんよ。

578 ：１３２人目の素数さん：05/01/09 16:27:10

数学板⊂２ちゃんねる⊂掲示板

「数学の素人だからイジメられた」などと勘違いしないせぬようにな。

579 ：１３２人目の素数さん：05/01/21 04:54:11

イジメ

580 ：１３２人目の素数さん：05/01/27 19:52:55

集合を集めたものが類なら類を集めたものは何ですか。

581 ：１３２人目の素数さん：05/01/27 21:31:09

集めてはいけない

582 ：１３２人目の素数さん：05/01/28 02:57:32

ルイルイ

583 ：１３２人目の素数さん：05/02/04 01:42:06

質問です　集合論や基礎論においてどんな事柄でもよいので
有限集合について成り立っている事柄が無限集合でも成り立つ
というような議論はありますか？

584 ：１３２人目の素数さん：05/02/04 01:46:52

べき集合が存在して、その濃度はもとの集合より高い、とかは、
どっちでも成り立つだろうけれど、それじゃダメ？

585 ：１３２人目の素数さん：05/02/04 01:51:02

>>583
何がしたいのかよくわからんな。
帰納的集合とか？

586 ：１３２人目の素数さん：05/02/04 04:14:48

何が言いたいの？
任意の有限集合で成り立っているから
ほぼ同様なカラクリで任意の無限集合でも成立、ということ？
それなら一寸違うけど、超限帰納法とかのことでしょうか。

それとも議論に有限性、無限性を使ってないから
どっちでも明らかに成立する、とただそれだけの
議論の事でしょうか。

587 ：583：05/02/05 19:46:13

例えば数列S={s_1, s_2, ・・・, s_n,・・・}に対して
任意の自然数n<∞に対して有限集合S_n={s_1, s_2, ・・・, s_n}を考え
この有限集合S_nに対してある量d(S_n)を設定します
このとき任意の自然数n<∞に対してd(S_n)=0となることがわかっています
主張はd(S)=0となることです
この主張の証明法には集合論あるいは基礎論的にどのような方法が考え得るでしょうか？
解析などで用いる普通の意味でのlimitはうまく機能してくれません

588 ：１３２人目の素数さん：05/02/05 19:54:32

>>587
not(d(S)=0）なら何らかのSnについてnot(d(Sn)=0)となることを
個別のdの定義から証明しなければならないんじゃないでしょうか？
（論理のコンパクトネスの証明みたいなものですよね。）

589 ：583：05/02/05 19:54:42

あともうひとつ質問なんですが
SetとClassの本質的な違いはなんですか？
あるＳがSetであるかClassであるかを判定する方法にはどのようなものがありますか？

590 ：１３２人目の素数さん：05/02/05 20:08:43

Classのうちで集合論の公理からSetであることを証明できるものがSetなんでしょ？
俺に質問の趣旨が分かってないのかな？

591 ：１３２人目の素数さん：05/02/05 20:10:23

ゲーデルの公理系では、何らかのClassの要素になってるのがSetだったっけ？

592 ：１３２人目の素数さん：05/02/06 04:02:22

>>587
dがどんな数か分からんと答えようが無いじゃん
別に一般的な方法はないと思いますよ

>>589
何らかの集合、或いは類の要素になれるのが
集合、なれないのが類。要するに、
Set(s) ⇔ ∃x s∈x
です。 x は集合全体の上を走ると考えても
類全体の上を走ると考えても好きな方で構いません。
何故要素になれないのか、という疑問は
数学では、Russelのパラドックスが起きてしまうから、
以上のことはあまり突っ込んで考えませんが、
一応類が"大きすぎる"から、ということで
大方の意見は一致していると思います。

593 ：１３２人目の素数さん：05/02/07 10:31:06

集合論は間違っています
http://hp.vector.co.jp/authors/VA011700/math/welc.htm

594 ：BlackLightOfStar ◆ifsBJ/KedU ：05/02/07 12:38:23

Re:>593 とりあえず2-3まで読んだ。さて、区体論では位相空間をどのように定義するのだろう？可測空間をどのように定義するのだろう？

595 ：１３２人目の素数さん：05/02/07 13:06:28

おいKing、そこまで読まなくても
A∪φ=A、φ＠A∪φより任意の区体はφを含むから
＠はφにしか使えない
という致命的な欠陥があるぞ。

596 ：１３２人目の素数さん：05/02/07 13:06:54

ああ、例の区体論ですかｗｗｗ
何というのか、公理論がどういう背景の下生まれたのか、
勉強してきましょうとしか言いようが無いですね
しかも、素朴集合論と公理論的集合論は違う⇒2つは相矛盾する、
とか論理がつながってないしｗｗｗ
どちらでも定式化できる問題には、どちらでも同じ答えが出てくるのが
分からないんですかねｗ

ちなみに、592の なれないのが類 の類は、
正しくは固有類 proper class ですね

597 ：１３２人目の素数さん：05/02/07 13:08:31

不正確だった
どちらでも証明できる問題には、どちらでも同じ答えが出てくる
片方でφ、もう片方で¬φが出てくるような事は無い

598 ：１３２人目の素数さん：05/02/15 15:51:10

例えば、算術の理論の公理系、というやつは、目的のようなものが見え易いのですが、
公理的集合論ＺＦの公理系ってのは、つまるところ、あれ、なんの目的すか？

自然数とか、を捉える、っつー、目的ですか？（数論というやつの一環ですか？）

ちらっと、公理を見てみたのですが、
別に、論理式の形式的な体系というわけでもないみたいだし、
何が展開されるのか、よくわかんないぽ・

599 ：１３２人目の素数さん：05/02/15 15:58:24

>>598
何やってる人ですか? なんでそんなことを知ろうとしてるんですか?
なんかいろんなことを誤解されてるようで、
完全に分かってもらえるようには説明できなさそうなんですが。

600 ：１３２人目の素数さん：05/02/15 16:37:22

ま、集合論というやつも、ちょっとかじっておくか、みたいなことをいうと、叩かれそうなので、少し興味ｱﾘﾏｽ、くらいなかんじで


ぐぐるしか、今、材料が手元にないのですが、集合論的論理式という形で、公理をあらわすこともできるみたいすね。

にしても、そっから展開される内容が、なんなのかが、俺には、まだ、よくわからんとですが・

601 ：１３２人目の素数さん：05/02/15 16:51:06

∈というやつを、述語記号として採用した、論理式の形式的体系みたいですな、ZFてのは

違ってたらｶｺﾜﾙｲけど

602 ：１３２人目の素数さん：05/02/15 17:00:56

>>600
今は公理論的方法が当り前になりすぎて、かえって意義が掴みづらいのかもね。
ちょっとかじっておきたいだけなら、歴史的経緯を調べた方が分かりやすいと思うよ。
キーワードとしては、公理主義、数学の危機、ラッセルのパラドクス、等々。

603 ：１３２人目の素数さん：05/02/15 17:41:27

ぐぐってたら、
ペアノ算術を、ZF集合論の内部で展開することができる、
というのを見たんですが、

これどういうことですか、
ZFの公理を置いたら、そこで、自然数の算術の理論が展開できる（ペアノ算術と同じ内容のことが）、ということですか

604 ：１３２人目の素数さん：05/02/16 08:57:15

そうです。
ZFは、自然数の体系を含みますからね。

605 ：１３２人目の素数さん：05/02/22 13:29:30

>>603
ペアの算術の公理を適当な読み替えでZFに再構築でき、かつ
それらがZFの定理になる。暇つぶしになるからやってごらん。

606 ：１３２人目の素数さん：05/02/22 21:43:07

選択公理は独立性証明以前にはおそらく正しいだろうと思われていたのですか？
普通の数学の探求に選択公理を採用する理由は現代においては何ですか？
実数を整列集合にするような順序の入れ方が存在するけど、具体的には構成できない
などの奇妙な事実を現代の数学者は当然のことと受け入れているんですか？

607 ：１３２人目の素数さん：05/02/22 22:02:49

>>606
奇妙だとなんで思う？

608 ：１３２人目の素数さん：05/02/22 22:07:28

>>607
Banach-Tarski の定理、これが奇妙でなくてなんだっていうんだ!

609 ：１３２人目の素数さん：05/02/23 10:35:55

>>607
論理学的には∃xA(x)が証明可能でもA(a)が証明可能とは確かに限りませんが、
なんか奇妙じゃないですか？自分の存在のイメージからすると奇妙です。
そんなものを数学に押し付けた所で仕方ないですが・・。
あと、実数を整列〜の証明を実は見たことが無いので、何か掲載されている本を教えてもらえるとありがたいです。

610 ：１３２人目の素数さん：05/02/23 11:53:13

>>606
言い方は詭弁ぽくなるけど、
選択公理を認めるってのは排中率を認めるというのと状況がよく似ていると思う。

認めないと今までの多くの定理や数学的な考察が無に帰されてしまうからだ。
たとえば選択公理を認めなけば、とくにジェネラルトポロジーは先にすすめない
ことが多いし、ルベーグ積分論もかなりのところでつまづく。

多くの数学者は、「無矛盾生徒と独立性が」証明されている限り、便利な命題な
らそれをくみいれてとして新たな数学を構築していく。
いうなら選択公理は数学公理のデファクトスタンダード。

ただ連続対仮説だけはちょっと毛色は違ってきますけど。
（連続対仮説は認める場合も、逆に認めない場合も結構興味深い定理がでてい
る）

611 ：１３２人目の素数さん：05/02/23 19:03:23

>>610
ありがとうございます。
選択公理を採用したほうが面白いという点では意見が一致しているということでしょうか。
そういえば、ＮＦという選択公理の否定が定理になる体系もあるそうですが、
あまり耳にしないことを考えると、やっぱり面白くなかったということなんですかね。

普段、数学というと固定された一つの体系というイメージがなぜかありますが、
たとえば連続体仮説のそういう結果によって、対等な二つの数学ができると面白いですね。
連続体仮説の採用不採用がそこまで広範な分野に影響を与えることはなさそうな気もしますが。

612 ：１３２人目の素数さん：05/03/05 03:28:15

選択公理のスレッドがあるはず

613 ：１３２人目の素数さん：05/03/05 10:06:22

633

614 ：１３２人目の素数さん：05/03/05 10:18:33

>>610
選択公理が気に入らないという人は、選択公理が間違ってる
というより、選択公理を使うと具体的な構成を一切無視する
から詰まらないと感じるのでしょう。

それからトポロジーや測度論が展開できないからといって
面白くないとは思わない。宗教の信徒の「興味」は、信徒
以外には理解されないものだ。

615 ：１３２人目の素数さん：05/03/07 01:45:08

ADもおもしろいよ。

616 ：１３２人目の素数さん：05/03/08 16:19:27

>>615
詳細ｷｳﾞｫﾝﾇ

617 ：１３２人目の素数さん：05/03/18 20:34:13

815

618 ：１３２人目の素数さん：05/03/18 22:11:45

選択公理自体は非構成的でない。
ε量化記号を導入すると選択公理は導出できるから。
選択公理と排中律を両方仮定すると激しく非構成的になる。

619 ：１３２人目の素数さん：05/03/19 15:43:05

ε記号を使えば構成的だって？
ご冗談をｗｗｗ

620 ：１３２人目の素数さん：05/03/19 18:22:34

　しからば、ε記号を使い、かつ排中律を使わない（外延性公理も排中律を導出するから仮定しない）
で非構成的な結果が出る例を挙げてみよ。

621 ：１３２人目の素数さん：05/03/19 18:50:11

　あ、それからいわゆるε公理：
∀x(Ｐ⇔Ｑ) ⇒ (εxＰ)=(εxＱ)
も仮定しない。このε公理は非構成的である（事実、これを仮定しても排中律が導かれる）。
ε記号に関連する推論規則・公理で仮定していいのは
“ある項に対して Ｐ(Ｔ) が証明できたら Ｐ(εxＰ) は証明可能”
という推論規則だけだからね。よろしく。

622 ：１３２人目の素数さん：2005/03/29(火) 15:55:51

ながれぶった切って申し訳ないが、集合族について解説きぼんぬ。

623 ：１３２人目の素数さん：2005/03/29(火) 22:30:43

age

624 ：１３２人目の素数さん：2005/04/14(木) 04:31:01

978

625 ：１３２人目の素数さん：2005/04/14(木) 07:37:28

>>587
>例えば数列S={s_1, s_2, ・・・, s_n,・・・}に対して
>任意の自然数n<∞に対して有限集合S_n={s_1, s_2, ・・・, s_n}を考え
>この有限集合S_nに対してある量d(S_n)を設定します
>このとき任意の自然数n<∞に対してd(S_n)=0となることがわかっています
>主張はd(S)=0となることです

もうすでに答えられているかもしれないが..

一般論としてはこれは証明できないことで(例:"S_n は各nについて有限集合である、
S も有限集合である"は間違い）、個別のdについて無限集合の場合は別個の議論
がいる。

626 ：１３２人目の素数さん：2005/04/26(火) 03:30:42

>>http://science3.2ch.net/test/read.cgi/math/1097659610/333
>有限の次が有限なのはわかるけどね、それを常に
>適用させると有限である自然数を
>並べ終わったあとに余る実数なり部分集合なりから、
>一対一の矛盾を導く対角線論法がおかしくなるべ。
有限でない自然数はないですよ。
「有限な自然数」の個数は無限個。

それに最後、つまり最大の自然数nは存在しない。
なんとなればnが自然数ならn+1＞nも自然数。
しかるにnは最大の自然数であったからn+1≦n
∴不合理。

627 ：１３２人目の素数さん：2005/04/30(土) 11:00:51

age

628 ：１３２人目の素数さん：2005/05/01(日) 22:17:45

区体論そのものには興味ないんですが、>>593 のページの
Part2で、
『われわれの世界には、有限も、第一無限も、第二無限
（←連続体濃度のことね）も存在するが、』と前置きして、
連続体よりさらに大きい集合はわれわれの世界に無縁のもの
として退けられてます。
個人的な感覚なんですが、僕の比較的弱いｗ信念として
『人間に想像できる程度の概念は自然界にもともと対応物が
存在している』というのがあって、この物理世界は連続体
程度で終わりどころか、どんな巨大基数だろうと隠されている
のではないかという気がします。
そのへん、皆さんの感覚ではどうですか？

629 ：１３２人目の素数さん：2005/05/01(日) 22:46:10

あまり関係ないんじゃない？

630 ：１３２人目の素数さん：2005/05/03(火) 00:18:35

age

631 ：１３２人目の素数さん：2005/05/19(木) 13:40:12

730

632 ：１３２人目の素数さん：2005/05/19(木) 23:33:42

>>628
ではこの物理世界では連続体仮説は成り立っているのか？

633 ：628：2005/05/19(木) 23:44:30

>>632
巨大奇数はこの宇宙を外側に広げて得られるんじゃなくて
たとえば一つ一つの素粒子とかの内側にぎゅっとつまってるんですよ。
「濃度」という言い方がピッタリくるでしょ？

だから「この物理世界ではどうか？」というマクロな問題ではなく、
極端に言うと個々の素粒子ごとに連続体仮説が成立してたり
成立してなかったり。

634 ：１３２人目の素数さん：2005/05/19(木) 23:46:10

×巨大奇数→○巨大基数

635 ：１３２人目の素数さん：2005/05/21(土) 08:46:49

じゃ物質は連続体仮説が成立する方で反物質は成立しない方？

636 ：１３２人目の素数さん：2005/05/24(火) 06:30:34

公理論的集合論て使い方がよくわかりません。

・推論規則は使わないの？
使わないとすると、述語論理とだいぶ考え方が違いますね。

・新しい構造はどうやって定義するの？
たとえば写像という概念は、この枠組みの中でどう定義されているのですか？

637 ：１３２人目の素数さん：2005/05/24(火) 08:47:49

>>636
公理論的集合論って述語論理の上で展開されるものだと思うのだが…。
あと写像は直積で表現出来るし直積の表現方法も幾つか知られているよ。

638 ：１３２人目の素数さん：2005/05/24(火) 09:40:02

あぁなるほど、写像は順序対を作って直積ですか。それ以外にはないのですか？
同値関係・同値類・商集合を定義するのはどうするのでしょう？

639 ：１３２人目の素数さん：2005/05/24(火) 11:05:14

自分で考えるか文献調べるか少しはしろよ

640 ：１３２人目の素数さん：2005/05/24(火) 22:33:36

もちろん自分で調べていますよ。今日も３冊図書館で見てきました。
公理論的集合論の本では公理の解説が最初にありますね。公理の当たり前さは
わかるのですが、その適用の仕方についてほとんど触れられていないと思います。

述語論理の本では、推論規則を使え等と口を酸っぱく書いてあって分かり易いのに
公理論的集合論の本では、公理のみを有り難そうにして、実際の使い方がよくわからない。
その辺、片手落ちな気がします。

普通の集合論では、集合のイメージを著者と読者で共有して話を進めていきますよね。
一方、公理論的集合論の趣旨は、集合のイメージを使う部分をも形式化して、
定まったパターンのみを使うようにしよう、というものだと思います。

だから普通の証明を、公理論的集合論の方法を使って扱う実例と実感を得られれば、
ああそういう使い方するのか、と納得できると思うのです。

写像は直積を使えばいいということで比較的自明で、あまり良くない例でした。

だから今知りたいのは同値類・商集合ですね。これをどのように処理するか理解したいです。

641 ：１３２人目の素数さん：2005/05/24(火) 22:47:56

関数作って、分出でよくない？

642 ：１３２人目の素数さん：2005/05/24(火) 22:49:15

そんなの本の最初のほうに書いてあるだろ？

643 ：１３２人目の素数さん：2005/05/24(火) 23:02:59

>>640
> 今日も３冊図書館で見てきました。
> 公理論的集合論の本では公理の解説が最初にありますね。公理の当たり前さは
> わかるのですが、その適用の仕方についてほとんど触れられていないと思います。

何を見たのかは知りませんが、公理論的集合論の本で、写像に関する概念をどのように
扱うかを書いていない本はありません。

素朴集合論における諸概念の構成方法を知った上でこういうことを書いているならば、
欠陥があるのは書籍の方ではないと思います。

644 ：１３２人目の素数さん：2005/05/24(火) 23:06:47

Z/〜 = {a : (a ⊂ Z) & ∃x∈A(∀y(y∈a ⇔ x〜y) )}

645 ：１３２人目の素数さん：2005/05/24(火) 23:21:19

↑
これでいいのかな？

646 ：１３２人目の素数さん：2005/05/24(火) 23:25:54

冗長

647 ：１３２人目の素数さん：2005/05/25(水) 05:41:14

>>640
同値関係から同値類へ
同値関係の順序対を関数にするために値域となるものを一意化する
つまり、べき集合への関数にする。その値域が同値類。
同値類から同値関係へ
直積集合を両方とも同値類のある要素に含まれていることでふるい分ける。
そのふるい分けられた順序対の集合が同値関係になる。

それぞれ、チェックしてね。

648 ：１３２人目の素数さん：2005/06/01(水) 12:26:14

公理的集合論て相当複雑な公理使うけど、このままの形で
使わなきゃいけないの？
例えば和集合の公理とか、うまく名前をつけて定義の本体を隠蔽することとかできないの？

649 ：１３２人目の素数さん：2005/06/01(水) 18:48:03

両側剰余類 Ｓ＼ＳＧＳ／Ｓの意味を教えてください。

650 ：１３２人目の素数さん：2005/06/02(木) 01:37:57

>>648
普通、定義による言語の拡張とか書いてあると思う。

651 ：１３２人目の素数さん：2005/06/03(金) 18:54:45

Mendelsonとかは多分書いてあるんじゃないかな
哲学の人がよく読む本で大分丁寧に書いてあるらしいから

しかしZFCの公理がそれほど複雑だとは思わないけどな

652 ：１３２人目の素数さん：2005/06/04(土) 05:42:10

もうちょっとくわしく教えてくれますか？
どんな導入をするのか、だけでも。
〇〇をみたす××を△△と定義する、
的なのだと、せっかくの形式論がそこで終了しちゃうでしょ？
推論規則まで作ってがんばって、自然言語を排除してきたのに。
ずっと疑問だったのです。

653 ：１３２人目の素数さん：2005/06/04(土) 20:38:42

>>652
述語論理で束縛変数の書き換えとかやってませんか？
アルファ同値とか、エルブランの定理とか。

654 ：１３２人目の素数さん：2005/06/05(日) 06:56:59

なんか変な電波ばっかり送受信してないで
焦らずに一生かけて考えれば？

655 ：１３２人目の素数さん：2005/06/05(日) 14:28:35

アルファ同値とか、エルブランの定理って何？
推論規則とは違うん？
λ論理の系譜に属するものかな？

656 ：１３２人目の素数さん：2005/06/05(日) 15:07:46

＞推論規則まで作ってがんばって、自然言語を排除してきたのに。

こういう態度って自分の影を嫌って走り回るようなもので
滑稽で馬鹿馬鹿しいが、なんかもの哀しいな。
自分の精神の中にパラドックスができちゃってるというか。

657 ：１３２人目の素数さん：2005/06/06(月) 00:33:35

せっかく、集合論の本を読んでくれるんだから親切にしようよ。
イイ疑問の持ち方なんだから。
とりあえず、林晋『数理論理学』（コロナ社）でも読んでくれるといい。

＞〇〇をみたす××を△△と定義する、
＞的なのだと、せっかくの形式論がそこで終了しちゃうでしょ？

定義の本体を隠蔽しても、
この「定義」が必ず本来の形式的な公理と推論規則に帰着できればいいわけだ。
プログラム組むときでも同じだが、
内部で働くけれどその名前は外部からはどうでもいい変数があるよね。
集合論の場合でも同じだ。
たとえば、空集合だと∃x∀y(¬y∈x)と∃z∀x(¬x∈z)は意味を表す、
これと同様のことが出来るというわけ。

658 ：１３２人目の素数さん：2005/06/06(月) 01:19:17

>たとえば、空集合だと∃x∀y(¬y∈x)と∃z∀x(¬x∈z)は意味を表す、
たとえば、空集合だと∃x∀y(¬y∈x)と∃z∀x(¬x∈z)は同じ意味を表す、

書き落としすまん。

659 ：１３２人目の素数さん：2005/06/06(月) 04:42:13

>>656
そんなこたあない。そういう態度は非常に重要だし、実際に歴史的にも
そうやって進歩している部分もあるじゃね？

ラッセルのPMには、もともと推論規則がなかったとか、そういう話は
割に有名だろう。

660 ：１３２人目の素数さん：2005/06/14(火) 01:26:08

ところで、公理的集合論において、今現在知られている中で基数濃度が最も大きい集合って何なの？
最小の濃度が「自然数全体」だとすると、最大は「？？？」？

661 ：１３２人目の素数さん：2005/06/14(火) 02:46:07

>>660 冪で基数自体はいくらでもおおきいものがあるが。

意味のある基数で存在すれば大きさが最も大きいもの
という質問と解釈すればどうなる？

662 ：１３２人目の素数さん：2005/06/14(火) 02:55:57

「意味のある」という言葉の解釈によるな。

663 ：１３２人目の素数さん：2005/06/15(水) 16:05:09

age

664 ：１３２人目の素数さん：2005/06/15(水) 17:22:46

よく聞く到達不可能な基数っていうのは大きいの？大きくないの？
全然理解してないけど・・・

665 ：１３２人目の素数さん：2005/06/15(水) 18:27:15

>>664
大きいよ。なんたって巨大基数と呼ばれるものの一種だし。
どれくらい巨大かと言うと、存在する事が公理から証明できないくらい。

666 ：１３２人目の素数さん：2005/06/15(水) 21:58:43

>>664
大きいよ。どれくらい巨大かと言うと、定義自体が卑劣にならざるを
えないくらい。

667 ：１３２人目の素数さん：2005/06/16(木) 01:10:27

到達不能基数を「巨大」基数と呼ぶ人はあまり多くないと思う。
可測基数の付近から巨大という雰囲気が出てくるのかな。

668 ：１３２人目の素数さん：2005/07/02(土) 07:53:03

858

669 ：１３２人目の素数さん：2005/07/02(土) 11:39:17

渕野先生の長髪がｶｺｲｲ(･∀･)!!

670 ：１３２人目の素数さん：2005/07/02(土) 20:36:31

数学の世界には髪がかっこいい人が割と多いですね．

671 ：１３２人目の素数さん：2005/07/02(土) 20:36:59

訂正
【誤】 かっこいい
【正】 "かっこいい"

672 ：672：2005/07/02(土) 21:34:15

672 年　壬申の乱

673 ：１３２人目の素数さん：2005/07/03(日) 15:51:27

壬申の乱は681年

674 ：１３２人目の素数さん：2005/07/03(日) 22:37:43

（１）|-¬A∨A
（２）|-((A⇒B)⇒(¬A∨B))∧((¬A∨B)⇒(A⇒B))
この論理式の形式的証明がさっぱりわかりません。
形式的規則はヒルベルト流を用いてます。
どなたかわかる方がいればお願いします。

675 ：１３２人目の素数さん：2005/07/03(日) 23:14:57

微妙にスレ違い

676 ：１３２人目の素数さん：2005/07/04(月) 10:52:32

数学基礎論の質問スレッドできけよ。

一応ヒント。あまりに当然だが、背理法を使え。

677 ：１３２人目の素数さん：2005/07/04(月) 11:56:05

いやまあ背理法を使うといっても
その前にまず背理法を"証明"しないといけない訳で．

678 ：１３２人目の素数さん：2005/07/04(月) 12:50:59

定義にもどれ

679 ：１３２人目の素数さん：2005/07/04(月) 14:09:51

675=677ね．

680 ：１３２人目の素数さん：2005/07/04(月) 15:49:17

>>678
(2) が問題になるということは、たぶん「∨」は定義による導入で
はないんだろう。

ヒルベルト流とかいわれても公理が分からないとなんとも言えないな。
ヒルベルト流でも、¬A∨Aを公理にする体系もあるんだぞ（w

まず公理を示せよ。

681 ：１３２人目の素数さん：2005/07/06(水) 18:43:46

age

682 ：１３２人目の素数さん：2005/07/13(水) 19:40:05

１から100までの整数で、100と1以外の公約数をもたない数の個数を求めよ

という問題の答えが40で、かいせつが「100＝2の二乗×5の二乗より、2の倍数でも5の倍数でもないのを求めるとよい」
となってるのですが納得できません。誰か教えてください。

683 ：１３２人目の素数さん：2005/07/13(水) 19:45:59

スレ違

684 ：１３２人目の素数さん：2005/07/13(水) 19:53:04

これ集合の問題らしいんですが。

685 ：１３２人目の素数さん：2005/07/13(水) 21:10:43

>>682
> １から100までの整数で、100と1以外の公約数をもたない数の個数を求めよ
>
> という問題の答えが40で、かいせつが「100＝2の二乗×5の二乗より、2の倍数でも5の倍数でもないのを求めるとよい」
> となってるのですが納得できません。誰か教えてください。
>
中学受験レベルかな

100＝2の二乗×5の二乗

だから、１から100までの整数の集合から2の倍数と5の倍数の和集合を引けばいい。

１から100までの中に2の倍数は100÷2=50個
１から100までの中に5の倍数は100÷5=20個
１から100までの中に2の倍数かつ5の倍数であるような数、つまり2と5の公倍数10の倍数は100÷10=10個
したがって2の倍数と5の倍数の和集合の個数は50+20-10=60個

100ー60=40個が答え

686 ：１３２人目の素数さん：2005/07/13(水) 21:19:16

では区体論はどおよ。

687 ：１３２人目の素数さん：2005/07/14(木) 01:25:37

>>686
まずは自分の考えを話してみろよ。

688 ：１３２人目の素数さん：2005/07/14(木) 08:10:38

本人降臨きぼんぬ

689 ：１３２人目の素数さん：2005/07/14(木) 19:56:16

ご本人は神戸院生に泣きついてまつ。みっとも藁。

「トンデモレポート(May,2005)」
h ttp://kurt.scitec.kobe-u.ac.jp/~sato/essays/shorts.html#tondemo_report

690 ：１３２人目の素数さん：2005/07/20(水) 04:38:14

おれはロジックちょっと勉強しただけだけど、
区体論ちらっとみて、なぜこんなでたらめが書けるのかと寒くなった。

691 ：sage：2005/07/20(水) 04:38:45

sageすまん

692 ：１３２人目の素数さん：2005/07/20(水) 12:41:36

6/(√9)=2

693 ：１３２人目の素数さん：2005/07/20(水) 23:15:08

6-(√9)=3

694 ：１３２人目の素数さん：2005/07/21(木) 00:42:11

　この人、「小泉の波立ち」のような主義主張の文章はまともなのに、学術系
（それも理系）の内容となると途端に、区体論だけでなく、シュレーディンガ
ーの猫（物理）、クラス進化論（生物）も全部とんでもになっちゃってるって
いうのは一体どういうわけだ？

695 ：１３２人目の素数さん：2005/07/21(木) 08:10:12

区体論ってちょっと読んだだけで破綻してるかどうかなんて分かる？
まあ、普通の公理系と単なる同値ってのはありそうだけど・・・
詳しく読んでないけど、連続体濃度以上の濃度がないってのと
連続体公理の否定をつけた公理系との関係はどうなんだろうかと思ったり･･･

696 ：１３２人目の素数さん：2005/07/21(木) 13:32:35

破綻できないことがわかるほど不毛という可能性大。

697 ：１３２人目の素数さん：2005/07/21(木) 23:14:30

>>695
　別に区体論は「破綻」しているはけではない。
著者が「通常の集合論はココが不合理だ」と主張している箇所が誤解に基づいて
いて、何も不合理でないという事実と、区体論が現代数学を展開するのに全く役
不足で使い物にならない、ということ。
　この二点をもって区体論はトンデモだと言っているわけ。この二点に気付くだ
けなら、数学科一年生程度の知識があれば、ちょっと読んだだけですぐわかる。

698 ：１３２人目の素数さん：2005/07/22(金) 00:44:00

まぁまぁ、これでも読んで落ち着いて。
ttp://jiten.www.infoseek.co.jp/Kokugo?qt=%CC%F2%C9%D4%C2%AD&sm=1&pg=result_k.html&col=KO&sv=DC

699 ：１３２人目の素数さん：2005/07/22(金) 04:38:08

>>695
そこまで難しく考えなくても分かるはず。

700 ：１３２人目の素数さん：2005/07/24(日) 17:48:47

age

701 ：sage：2005/07/28(木) 03:33:30

7^0=1

702 ：１３２人目の素数さん：2005/08/02(火) 22:22:59

これはどおよ。Quine が開祖らしい。

h ttp://math.boisestate.edu/~holmes/holmes/nf.html

703 ：１３２人目の素数さん：2005/08/03(水) 00:06:08

http://www005.upp.so-net.ne.jp/greentree/koizumi/

お！ご本人は２ちゃんねるを覗いてるようだ（８月02日の項参照）

704 ：１３２人目の素数さん：2005/08/03(水) 02:58:02

AFAで幸福になればいいのに。

705 ：１３２人目の素数さん：2005/08/03(水) 11:03:25

おい、専門家ども。おれの楽しみを奪うな。おれは東大卒だからとんでもでもいいんだ。だから区体論もあれでいいんだ。病院なんかぜったいいかんぞ

706 ：１３２人目の素数さん：2005/08/03(水) 21:56:56

Rの濃度＝R^2の濃度っておかしくね？
http://science3.2ch.net/test/read.cgi/math/1122625618/

707 ：１３２人目の素数さん：2005/08/04(木) 02:05:54

>>705
　あんまりおちょくってばかりいると、あの人かえって自説に自信を持つと思うよ。
　だれかまじめに内容の誤りを解説しない？（といってもそんな暇人はいないか・・・）。

708 ：１３２人目の素数さん：2005/08/05(金) 01:36:20

>>707
だからといって、帰納法は大丈夫ですかとたずねてもモナー

709 ：１３２人目の素数さん：2005/08/06(土) 22:08:55

半順序集合の component って、日本語でなんて呼ぶ？

710 ：１３２人目の素数さん：2005/08/07(日) 00:11:30

区体論でちょっと考えてみようと思ったけど、関数という言葉が
意味不明の概念に使われてしまっているので不便すぎてやめた

711 ：１３２人目の素数さん：2005/08/08(月) 00:00:00

＞ 関数という言葉が意味不明の概念に使われてしまっているので

　こんなことを書くから区体論の人から勝ち誇ったように言われるんだな。
　彼の関数という概念は全然意味不明じゃないよ。
　それより、区体論の人が「公理的集合論では元もすべて集合なので、素朴
集合論のような『カラスの集合』のような概念が扱えない。これでは公理的
集合論が素朴集合論の修正版であるとはとても言えない」と主張していると
ころにこそ間違いがある。
　ＺＦＣにちょこっと自明な手直しをすれば、『カラスの集合』でも何でも
扱える公理的集合論は簡単に作れる。それなのにわざと集合論より不便な、
実数論とか積分論が（今のところ？）扱えない区体論などというものを新た
に作ったって意味が無い、ということ。
　これは記号法だけユニークにした複ベクトルを考案した○井数学より価値
が低い。

712 ：１３２人目の素数さん：2005/08/08(月) 02:26:08

>>711
BGだったらいいのかというと納得しないだろうし、
高階述語論理や２階算術でもなあ。
それはともかく少なくとも、区体論の人が言ってる
超準解析に関して集合論でまともに扱えないというのは明白な間違いだな。

区体論の人がやりたかったことって、
FefermanやAczelの理論みたいなことなんじゃないかな。

713 ：１３２人目の素数さん：2005/08/08(月) 21:12:59

Fefermanってこれか↓

http://www-personal.ksu.edu/~aarana/papers/FefermanReviewMathIntelligencer.pdf

そんな大層なもんじゃないだろ

714 ：１３２人目の素数さん：2005/08/08(月) 21:14:35

age

715 ：１３２人目の素数さん：2005/08/11(木) 13:35:30

てめーらアフォか

716 ：１３２人目の素数さん：2005/08/11(木) 19:35:27

トンデモ南堂の逆襲（激藁）

h ttp://hp.vector.co.jp/authors/VA011700/math/partps.htm

717 ：１３２人目の素数さん：2005/08/11(木) 21:12:34

↑その話題は隔離しました。

トンデモバトル＠数学版
http://science3.2ch.net/test/read.cgi/math/1123762243/l50

718 ：数学初学者：2005/08/16(火) 00:50:58

集合演算の集合と、複素平面上の集合（点集合）と、意味が異なる気がするのだが・・・
数学において、両者を明確に区切っているのだろうか？

719 ：１３２人目の素数さん：2005/08/16(火) 15:33:32

後者は前者の一般的な場合
一般の集合について成り立つ事は
点集合についても成り立つ
逆はそうではない

720 ：数学初学者：2005/08/18(木) 18:36:10

集合が、集合演算の集合と、複素平面上の集合（点集合）と、
群の定義である実数の集合に大別できることに気がついた。

721 ：１３２人目の素数さん：2005/08/18(木) 21:43:06

意味が分からない

722 ：１３２人目の素数さん：2005/08/18(木) 21:46:02

群の定義である実数って何？

723 ：１３２人目の素数さん：2005/08/18(木) 22:53:54

>>720
それは間違っていると思う

724 ：数学初学者：2005/08/18(木) 23:29:21

集合が３つに分けることが出来ることをいっている。
１）　論理的集合
２）　幾何学的集合
３）　代数的集合
これらは数学の範疇で有りすべてである。

725 ：１３２人目の素数さん：2005/08/18(木) 23:37:15

>>724
それぞれ厳密な定義を明確に述べよ

726 ：数学初学者：2005/08/18(木) 23:48:30

>>725
厳密な定義は数学（物理数学を含めて）のすべてに渡ることです。

727 ：１３２人目の素数さん：2005/08/18(木) 23:51:09

>>726
解説は良いから定義を書け。
Aが論理的集合であるとは? 幾何学的集合であるとは? 代数的集合であるとは?

728 ：数学初学者：2005/08/18(木) 23:56:43

>>727
数学とか集合とか範疇の概念についてもう一度一考してください。

729 ：１３２人目の素数さん：2005/08/18(木) 23:58:20

また奇怪なことをいい始める奴がでてきたな(笑)
ところで誰か知っていたら教えてください、群の全体は集合なんでしょうか？

730 ：１３２人目の素数さん：2005/08/19(金) 00:02:31

>>729
群の全体は集合になりません

731 ：１３２人目の素数さん：2005/08/19(金) 00:04:49

>>730
どうもです、もし参考になる書籍とかあったら教えてください。

732 ：１３２人目の素数さん：2005/08/19(金) 00:06:20

>>728
解説は良いから定義を書け。
Aが論理的集合であるとは? 幾何学的集合であるとは? 代数的集合であるとは?

数学における用語には全て定義がある。
数学では定義を明確に書けない用語は単なるバカの戯言だ。
論理的集合・幾何学的集合・代数的集合なる用語がバカの戯言でないというなら、
その定義を明確に書け。

733 ：１３２人目の素数さん：2005/08/19(金) 00:15:11

対象と構造をきっちりコードすりゃなんであれ同一視できるべ。
集合を論理的とか幾何学的とか代数的とか区別するのは非本質的。

734 ：730：2005/08/19(金) 00:28:54

>>731
ごめん今ぱっとは思いつかない。

735 ：１３２人目の素数さん：2005/08/19(金) 00:37:32

>>734
どもです、集合にならない例(順序数を使って群を作ってその全体を考えたら出来た)を今作れたのでとりあえず納得しました、ていうかちょっとは考えて書けって感じでした、すんません。

736 ：数学初学者：2005/08/19(金) 00:57:24

自分が数学初学者いうことで数理的定義については勘弁してください。
例えば代数的集合という意味合いにおいては、
数列と行列の収束に関する線形同一性に関しては、
群論と代数的集合の考えで説明がつくのではと、
思ったりもしています。

737 ：１３２人目の素数さん：2005/08/19(金) 01:06:42

>>736
集合抜きにしてもいよいよ意味不明だな

738 ：１３２人目の素数さん：2005/08/19(金) 01:21:01

確かに初学者は無知だが、こいつは勉強してもバカのままだろうな。

739 ：１３２人目の素数さん：2005/08/19(金) 02:10:21

そういう決め付けは良くないと思う。

740 ：１３２人目の素数さん：2005/08/19(金) 02:17:10

まず数学初学者に対して疑いたくなることは、
集合の公理からの、自然数の構成
自然数からの、整数の構成
整数からの、有理数の構成
有理数からの、実数の構成
実数からの、複素数の構成
という一連の流れ自体を知っているのかどうかを確認したい。
知っているのであればこれら基本的な集合たち
のどこに貴方のいう線引きが入り込んできて、
何故それが意味のある考え方なのかを説明してもらいたい。

741 ：１３２人目の素数さん：2005/08/19(金) 02:55:07

阿呆に説明出来るわけないやんｗ

基地外に説法といても無駄ｗ

742 ：１３２人目の素数さん：2005/08/19(金) 10:58:02

>>740

初学者君は、単に要素の集まりでしかない
下部構造としての集合と、その上部構造である
位相構造や代数構造という、レイヤーの発想が
欠如していると思われ。

743 ：１３２人目の素数さん：2005/08/19(金) 11:02:48

ちなみにブルバキは基本的な上部構造として
順序、位相、代数の３つの構造を考えた。

744 ：１３２人目の素数さん：2005/08/19(金) 11:12:21

＞群の全体は集合になりません

ところで多様体の全体は集合になるのかな？

745 ：１３２人目の素数さん：2005/08/19(金) 16:32:53

>>720は、主張の前に
（自分が今までの数学の学習で触れた事の在る）
と補わないと真にならないな

>>744
群全体とか多様体全体とかが集合になるわけないじゃん
群構造全体も多分集合にならないと思う
多様体の微分構造の全体（同型なものは互いに同じとみなす）
なら集合だろうけど、、

746 ：１３２人目の素数さん：2005/08/19(金) 16:36:10

>>745
位相多様体の構造を入れ得る集合全体の成す類が集合でない事の証明きぼん

747 ：１３２人目の素数さん：2005/08/19(金) 17:47:19

だって濃度さえ同じだったら構造を入れうるでしょ？
連続濃度の集合全体の成すclassが集合でない事示せばいいんでしょ
簡単に示せる「と思う」けど

748 ：１３２人目の素数さん：2005/08/19(金) 18:07:27

任意の濃度κについてκ次元の多様体がある、じゃ駄目なの？

749 ：１３２人目の素数さん：2005/08/19(金) 18:11:14

非可算次元の多様体かあ、、
α≠βとしたときに
R^αとR^βの間に位相同型写像がないことは簡単に証明できるんだっけか

750 ：１３２人目の素数さん：2005/08/19(金) 18:18:52

Universeってどういう意味だっけ？
全体集合って意味だったりclassって意味だったり
述語論理では議論領域とかいう意味だったり
Grothendieckとかはまた違う意味に使ってたり
色々と定義の一定しない述語だけど

751 ：746：2005/08/19(金) 18:46:04

>>747
もし連続濃度の集合全体の成す類cが集合なら、Rを実数全体として、
R∪{c}も集合で、c∈R∪{c}∈cが成り立つ。
これから…∈R∪{c}∈c∈R∪{c}∈cなる集合の無限降下列の存在で正則性公理に矛盾。
詳しくは、類を変数として含まない述語Pを
P(x)⇔∃z(c∈z∈x)∨c∈xと定めて、正則性公理の否定:
∃xP(x)∧∀x(P(x)⇒∃y(P(y)∧y∈x))
が証明されて、矛盾。

証明できた。
調べもしないで証明きぼんしてすまんかった。

752 ：１３２人目の素数さん：2005/08/19(金) 19:55:00

正則性公理をそういう風に使うのか、、
微妙、、

753 ：順子：2005/08/19(金) 20:52:06

自然数の集合と偶数の集合では、
含まれる数は、
どちらが多いのですか？

自然数が答えなら・・・
∞＝∞で矛盾？

同じが答えなら・・・
自然数の集合の中の奇数は偶数に含まれないので矛盾？

754 ：１３２人目の素数さん：2005/08/19(金) 21:08:49

>>752
なんか変だった?

755 ：１３２人目の素数さん：2005/08/19(金) 21:14:22

>>754
いや単に正則性公理使わないと証明できないのかなと思っただけ

756 ：１３２人目の素数さん：2005/08/19(金) 21:21:34

この種のは証明してみるとなると、どう手をつけて見るか一瞬アタマが真っ白になりますね。
単に不慣れなだけだという話もありますが・・・

757 ：１３２人目の素数さん：2005/08/19(金) 21:23:37

proper class（固有類？）からの単写があれば
集合にはなりそうもないけどね

758 ：１３２人目の素数さん：2005/08/19(金) 22:36:53

正則性公理を使わない方法。
>>751と同じ記号を使う事として、A∈2^c (←べき集合)に対し
R×{A}∈cを対応させる単射の存在は矛盾。
べき集合からの単射が存在しない事の証明には選択公理は要らない。

>>757
それは置換公理(一意写像の像は集合)を使ったり
濃度のややこしい考察が必要なんじゃない?

759 ：１３２人目の素数さん：2005/08/19(金) 23:10:42

たしかproper class⇔ORとの全単写が存在、
は簡単に言えた気がする
もちろん全単写ってのはclass函数ね

760 ：１３２人目の素数さん：2005/08/20(土) 00:16:45

>>759
「V と OR との間に全単射が存在する」から global choice が導かれることに注意。

761 ：≠757：2005/08/20(土) 01:31:06

>>758
そこまでややこしくはないんじゃないかな。
問題のクラス単射 R : P >-> X の逆の関係R~を考えれば
Rの「値域 ran(R)」を「定義域」に、Pを「値域」にする
クラス単射 R~ : ran(R) >-> P になるから、
置換公理より、述語ran(R)が集合を定めるならPも集合。
Pはproper classなのでran(R)は集合にならない。
分出公理の対偶によりXも集合にならない。

762 ：１３２人目の素数さん：2005/08/20(土) 09:07:10

>>745
>多様体の微分構造の全体（同型なものは互いに同じとみなす）
>なら集合だろうけど、、

そう思う理由は？

763 ：１３２人目の素数さん：2005/08/20(土) 10:58:39

群の同型類の全体は、任意濃度の群が存在するから集合じゃないのは分かるけど、
微分可能多様体の微分同相類の全体は良く分からないな。
任意濃度の微分可能多様体を作るのは厳しそうだし、

パラコンパクトな位相多様体の同相類なら、
高々可算個の座標近傍系で被覆できるから連続濃度なので、
結局Rに入れ得る位相の全体を考えればいいので集合になるけど。

764 ：１３２人目の素数さん：2005/08/20(土) 11:16:12

あ、連結でなくて良いなら、Rの任意個の非交和という
互いに同相でない位相多様体が存在するか。
残るは連結でありかつパラコンパクトでないものか…

765 ：１３２人目の素数さん：2005/08/20(土) 11:38:08

あ〜(0, 1)+[0, 1)+[0, 1)+…ていう風に任意個の[0, 1)の端点を繋げる和空間を
超限帰納法で構成すれば、互いに濃度の異なる連結位相多様体が作れそうだ。
細かいチェックは嫌だけど。

766 ：１３２人目の素数さん：2005/08/20(土) 11:41:50

微分構造も入るでしょ多分。連続書き込み申し訳ない。

767 ：１３２人目の素数さん：2005/08/20(土) 11:54:59

あああ後から後から申し訳ないが、多分実解析的構造が入るし、
2n次元でやれば任意濃度の複素多様体が作れた事になる気がする。

768 ：１３２人目の素数さん：2005/08/20(土) 12:05:20

>>765
ω_1 未満で止まる．

769 ：768：2005/08/20(土) 12:07:14

未満という意味は，ω_1 まで続くが，ω_1 は入れられないという意味．

770 ：１３２人目の素数さん：2005/08/20(土) 12:16:43

やっぱ無理か。
http://miyako.math.metro-u.ac.jp/~masanori/Lecture/03kikagaku_A_enshuu.pdf
の24番の問題のΩを任意の順序数にしたものだけど駄目なのかな。
まるでチェックしてないけど。

771 ：１３２人目の素数さん：2005/08/20(土) 12:24:42

ω_1 の近傍が separable でなくなる．

772 ：１３２人目の素数さん：2005/08/20(土) 13:05:25

>>771
確かに。やっぱり連結位相多様体は連続濃度に限るのかな。

773 ：１３２人目の素数さん：2005/08/20(土) 19:26:10

>>760
global choiceってのはBGの選択公理だっけ？
ですなあ、、

774 ：１３２人目の素数さん：2005/08/20(土) 20:16:02

>>759-
＞たしかproper class⇔ORとの全単写が存在、
＞は簡単に言えた気がする
＞もちろん全単写ってのはclass函数ね
　
ORってなんすか？Ord全体のなすクラスのことすか？
だとしたら全単射の存在ってどうやって証明するんすか？

775 ：１３２人目の素数さん：2005/08/21(日) 06:22:48

>>772
そのようですね。
証明はつぎのようでよいようです。
次元が決まるので、R^n と同相な開集合 O で被覆をつくる。このうち ω_1
個で被覆できることをいえばよい。O の境界がこの被覆の内、可算個のもので
被覆できることに注意する。
すると開集合 U_i (i < ω_1) で
(1) U_i はもとの被覆の可算和である、
(2) i<j ならば U_i の閉包が U_j に含まれる。
というものがつくれる。
この U_i の和の境界点をとると、この点が可算近傍基をもたない。つまり、
この取り方で ω_1 個で被覆される。

776 ：１３２人目の素数さん：2005/08/21(日) 13:48:52

>>775
「可算近傍基を持たない」の証明が分かんねぇす。
一般位相の話題を引きずってｽﾏｿ

777 ：１３２人目の素数さん：2005/08/21(日) 15:35:33

>>776
この U_i の和の境界点 p の可算近傍基を O_n とする。

p は U_i の閉包に入らないから、U_i と交わらない O_n がある。i < ω_1
だから、ある O_n は非可算個の i についてU_i と交わらない。U_i は単調増
加だから、p は U_i の和の境界点でなくなり矛盾する。

778 ：１３２人目の素数さん：2005/08/21(日) 16:18:54

>>777
俺も>>775の証明わかりません。orz。もうすこし詳しく。たとえば
多様体をRとしてUi=(-2+1/i,2-1/i)として条件をみたすけど∪Ui=(-2,2)の境界である
2や-2は可算近傍をもつような。

779 ：776：2005/08/21(日) 16:52:02

>>777
なるほど。どうもです。
って事は結局、連結位相多様体の同相類とか
微分構造の微分同相類とかは集合になると。

>>778
iは高々可算順序数であって(一般に)自然数ではないので、
-2+1/iとかは無理。

780 ：778：2005/08/21(日) 19:50:42

すまない･･･わからない･･･
集合論スレで幾何の問題で粘着して申し訳ない･･･orz
もうすこしバカにもわかるように書いてくださりませんか･･･
U_iとは開集合の族ではないの？
すいません･･･よろしくおねがいします。

781 ：776：2005/08/21(日) 22:17:05

Oの境界の可算被覆を作る時、どこの相対位相での境界を考えているのかとか、
(無限個の和集合の境界)∩(境界の無限個の和集合)=φの場合とか細かく考えてたら
なんか分かんなくなってきたけど、俺はもーいーや。

782 ：数学初学者　 ◆2Vw5gMMnJ. ：2005/08/21(日) 23:04:58

脈絡なくてすみません。
ZFCのCは、選択公理（axiom of choice）の頭文字Cなのか、
哲学者Cohenの頭文字なのかどちらでしょうか？

783 ：１３２人目の素数さん：2005/08/22(月) 00:08:43

>>782
前者

784 ：１３２人目の素数さん：2005/08/22(月) 04:28:58

初学者勘違い野郎確定

785 ：１３２人目の素数さん：2005/08/22(月) 06:21:32

確定遅すぎ

786 ：１３２人目の素数さん：2005/08/23(火) 18:16:29

>>781
すぐ対応しませんで失礼。さっきもう一度かんがえたら、>>775 は具合悪いと
ころがあります。訂正します。

次元が決まるので、R^n と同相な開集合 O で被覆 o をつくる。c で連続体
の濃度を表す。

すると開集合 U_i (i < ω_1) で
(1) U_i の濃度は c 、
(2) i<j ならば U_i の閉包が U_j に含まれる、
というものがつくれる。

U_0 は o から１つえらぶ。
∂U_i の要素は U_i の要素の可算列の極限だから∂U_i の濃度は c 以下。
各々の点 x∈∂U_i について、x ∈ O_x ∈ o をとり、O_x すべてと U_i
の和を U_{i+1} とする。また i が極限のときは、U_j (j<i) の和とする。
これで i < ω_1 について上の(1)(2)を満たす U_i が構成された。

U_i (i < ω_1 ) の和が閉集合となることは >>777 のとおり。
つまり、これが開かつ閉だから全体に一致する。濃度は c× ω_1 = c 。

787 ：１３２人目の素数さん：2005/08/23(火) 23:08:08

>>786
やっぱり最後のステップが変じゃないすか？
だって空間がRで開集合族Ui=(-2+1/i,2-1/i)は(1)、(2)の条件をみたす
開集合族だけど∪UiはRの閉集合にならないすよ？

788 ：１３２人目の素数さん：2005/08/23(火) 23:51:08

779 に別の人が答えてあるとおりです。あなたは順序数というものを
知らないのでしょう。たぶん、濃度の計算もわかっていないはずです。
もう、答えませんので、悪しからず。

789 ：１３２人目の素数さん：2005/08/24(水) 18:26:55

>>788
そうっすか･･･残念です。お察しの通り順序数というのは定義しかしりません。
集合でx≦y⇔x=y or x∈yで定義される関係によってwell orderd setになる集合
でしたっけ？私がいいたかったのはかりにUiのiがi<ω_1 (←これ最小の無限順序数
=加算無限という意味でつまりiは自然数の集合をはしってるんすよね？
実際>>786の帰納的構成にかんしても極限数iにたいしてのUiの定義がないから
Uiのiはこの構成では自然数までしか定義できていないと思います。)
だから>>786の議論は>>786の構成で帰納的にUiを構成していけば
自然数iによってラベル付された開集合の族(Ui)_{i<ω_1}は
(1)、(2)をみたしその事を利用して∪Uiが自動的に閉集合になるという記述にしか
私にはよめないのです。なにか事情通の間ならかかなくても通じ合える
暗黙の了解みたいなものがあるのかもしれないけどもしそうなら
それは何か知りたかったのです。もし>>786の証明が成立してるなら単に
連結な位相多様体は連続体無限であるというのみに限らず
かならず可分ということになります。それが正しいのかまちがってるのか
門外漢なのでわかりませんが、実際に役にたつかどうかはともかくとして
数学を学ぶものにとっては興味深いはなしなので証明ができた人がいるなら
詳しくきいておきたかったのです。まあもう少し自分でも考えてみます。
失礼しました。

790 ：１３２人目の素数さん：2005/08/24(水) 19:02:56

>>789
最小の無限順序数はω_0と書き、ω_1 は最小の非可算順序数とする、
っていう暗黙の(しかし順序数の話では周知の)了解は確かにあるな。
極限数iに対してのU_iの定義はそのまんま書いてあるような気がするけど。

791 ：１３２人目の素数さん：2005/08/24(水) 21:59:04

>>790
あ、ほんとだ。見落としてた。ｽﾏｿ。
ω_1は最小の非加算無限か･･･最小の無限と勘違いしてた。吊って来る。
つまり>>777の証明では可分まではいえないね。なるほど。おさわがせしますた。

792 ：１３２人目の素数さん：2005/08/24(水) 23:43:17

＞∂U_i の要素は U_i の要素の可算列の極限
ここが正しくない気がする。U_i自身はR^nと同相で簡単な形をしていても、
その境界はぐちゃぐちゃになってる可能性が。

位相空間XとA⊂B⊂XについてAのBに関する相対位相での内部、閉包、境界を
それぞれA^i(B), A^a(B), A^b(B)と書いて、問題の多様体をMとし、
i=0の時、U_0=O、半径1のn次元開球をD(1)、f:D(1)→Oを同相写像、gをその逆写像する。
この時O^b(M)がD(1)^b(R^n)と同相になる保証はないと思う。
ただ、O':=f(D(1/2))はMの開集合なので、U_0:=O'とすればうまくいくのかなとも思う。
けど、fの制限写像でD(1/2)^b(R^n)と同相なのはf(D(1/2)^b(R^n))=f(D(1/2))^b(O)=O'^b(O)であって、
O'^b(M)(⊃O'^b(O))じゃないので、やっぱりO'^b(M)の濃度がc以下かどうか分からない。

相対位相絡みでかなり面倒な事になる気がする。

793 ：１３２人目の素数さん：2005/08/25(木) 00:23:31

境界がぐちゃぐちゃになる例ってのは、D(1)を含む集合Xに、
D(1)の通常の開集合系及びX自身を開集合系として位相を与えたものとか。
この時D(1)のXでの境界はX-D(1)で、一般に非可算。
ただ、この例だとX≠D(1)の時XはHausdorff空間じゃないので位相多様体じゃない。
けど、どうにかして連結位相多様体でこういう反例が作れそうな気がする。

794 ：１３２人目の素数さん：2005/08/25(木) 00:39:58

>>793
そんなにうまく行くかな。
問題の非正規超フィルタ U : Con(U)→Con(U') の逆の単項フィルタU~を考える
Uのマーロ基数 Mar(U)を飽和イデアルに、Vを非再帰的関数にする
群スキーム R~ : ran(R) >-> D(1) になるから、
被覆補題より、ストリームSt(R)が集合を定めるならXも相対平衡。
Uはカルテシアン閉圏なのでran(R)は層化できない。
被覆補題の対偶によりXは位相多様体にならない。

795 ：１３２人目の素数さん：2005/08/25(木) 01:00:00

ｐがＵの触点でＯがｐの近傍で
ｆがＲ＾ｎ−＞Ｏの同相写像でｆ（０）＝ｐのとき
ａ（ｋ）∈Ｕ∩ｆ（｛ｘ｜ｘ∈Ｒ＾ｎ，｜ｘ｜＜１／ｋ｝）ととればｌｉｍ（ａ（ｋ））＝ｐ。

796 ：１３２人目の素数さん：2005/08/25(木) 11:05:12

>>795
なるほど。>>786は完全に理解できました。

>>794
何の指摘をされてるのかも分からないくらい分からないす。ｽﾏｿ

馬鹿二人(俺=>>776=>>792と>>778)がお騒がせしました。

797 ：１３２人目の素数さん：2005/08/25(木) 13:59:10

>>794
ﾜﾛﾀ

798 ：１３２人目の素数さん：2005/08/25(木) 21:55:52

>>796
おわかりになったようで、786を書いたかいがありました。
なお 790、795は私ではありません、他の方です。

799 ：数学初学者　 ◆2Vw5gMMnJ. ：2005/08/27(土) 23:17:04

４次以上のベクトル空間ってベクトル集合ちゃいます？
４次以上の各次元は巾集合になってるから、当然位相が絡んでくる。　

800 ：１３２人目の素数さん：2005/08/27(土) 23:19:27

>>799　ﾊｹﾞｼｸﾜﾛﾀ

801 ：１３２人目の素数さん：2005/08/27(土) 23:26:47

>>799
何を質問してるのか全く分からない
もう少し普通の人間が読んで分かる文を書け

802 ：１３２人目の素数さん：2005/08/27(土) 23:28:44

>>799は漢詩なんだよ。なかなかの名作だ。俺にはわかる。

803 ：１３２人目の素数さん：2005/08/27(土) 23:29:46

799 は超光速位相ワープ航法の理論でも作ろうとしているものと思われ

804 ：１３２人目の素数さん：2005/08/27(土) 23:52:05

>>802
七言絶句で作ってみた。押韻してないけど

苟空間多於四次
位相空間如集合
多於四則巾集合
是以明位相絡也

805 ：１３２人目の素数さん：2005/08/28(日) 00:03:06

数学初学者の過去レスちょっと読み返してみたﾖ、衝撃的発想の連続でつねw

806 ：１３２人目の素数さん：2005/08/28(日) 11:53:40

>>804
感動しまつた

807 ：１３２人目の素数さん：2005/08/28(日) 13:31:12

いや、韻がバラバラ

808 ：１３２人目の素数さん：2005/08/28(日) 13:33:38

それにしても７９９は何度読んでも解読不能だなぁ・・・申し訳ないけど、・・
３次と４次の間になんか線引きがあったら面白いけど・・・ｗ

809 ：１３２人目の素数さん：2005/08/28(日) 14:15:59

>>805
やっぱり、今度のがとくにすごい。
論理的集合、幾何学的集合、代数的集合 の話はわかるような気がする。
要素のない対象を空集合だけでなく、論理元、幾何元、代数元という風に
分けておいて、群や体では、そちらを使い、平面や立体は幾何元を使う。
実数体はどっちを使うかは、その人の専門によって違ってくる、、、など。

そこいくと「４次以上の各次元は巾集合になってるから」ってどうなって
るんだ!

810 ：１３２人目の素数さん：2005/08/28(日) 14:39:18

だれか数学初学者に過剰な偏執エネルギーを供給してやってくれ。
http://science3.2ch.net/test/read.cgi/math/1123762243/108
人類の進化の過程をこの目でつぶさに観察したい。

■ このスレッドは過去ログ倉庫に格納されています