[過去ﾛｸﾞ] IUTを読むための用語集資料集スレ (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
825: 2020/11/09(月)06:16 ID:SmS9RLVD(1/8) AAS
>>820
>簡単に素朴集合論に戻るよ、
>例えば、下記 集合論 (人名略）で
>…とあるよね
>だから、{x|P(x)} とすれば良い。
>要は、P(x)を作れば良いでしょ
>（P(x)で、「xはこうだ」と文を書けば良い）
省1
826: 2020/11/09(月)06:26 ID:SmS9RLVD(2/8) AAS
>>820
>あるいは別法として、
>空集合Φを使ってシングルトンを作るとき、
>{Φ}の次に、{(Φ)}みたく内側にカッコを作る。
>()→{}の置き換えで、{{Φ}}となる
>有限の範囲では、内側にカッコを作るか外側かは、違いがないけど、
>無限になると違う
省14
827: 2020/11/09(月)06:33 ID:SmS9RLVD(3/8) AAS
>>820
>一番外側の円を半径3/4として、
>そこから内側に半径1/2,1/3,…,1/n,…の円を描く
>円の中心は原点０がある。この原点０を空集合Φと見なせば良い
そもそも見なせないじゃん
Φを原点０としたとき、｛Φ｝となる円はどれ？
任意のε＞０について、1/n＜εとなる1/nがあるよね？
省4
828: 2020/11/09(月)06:36 ID:SmS9RLVD(4/8) AAS
>>821
>正則性公理を絶対視する必要ないと思うけど
なんか、0.999…=1を絶対視する必要ない、とかいって否定したがる
安達弘志氏とまったく同じ言い訳をするね
その言い訳、却下ね 二度と口にしないで 見苦しいから
829: 2020/11/09(月)06:52 ID:SmS9RLVD(5/8) AAS
>821
>シングルトンだから、集合を構成する要素は一つ。それ自身が、極小ですよ
それ、著者の坪井明人氏に確認した？ 聞いてみ？ 間違ってるっていわれるから
そもそも1.1.10の注意８ 読んだ？
ちゃんと読んで！
>注意 8. a ∈ a を満たす集合 a は存在しない：
>そのような a があったとする．
省8
830: 2020/11/09(月)06:57 ID:SmS9RLVD(6/8) AAS
>>823
>(>>820は)まったく明後日のことを述べておりナンセンス。
◆yH25M02vWFhPは、集合＝{}を用いた”図形”、と思ってるみたい（誤解だけど）
図形が具体的に書けさえすれば、
即、集合として存在する、と思ってるみたい（誤解だけど）
集合の公理とか一つも知らないし、そもそも知る気もないみたい
自分の直感こそが公理だ、と思ってるみたい（実に傲岸不遜な態度だけど）
831: 2020/11/09(月)07:02 ID:SmS9RLVD(7/8) AAS
>>821
>例えば１から始まる自然数の集合N＝{1，2，3・・n・・}で、
>この要素は可算無限ある ∵Nは可算無限濃度の集合
0から始めなよ
>カッコを外して、並べると、
>1∈2∈3∈・・∈n∈・・
>となる可算無限上昇列ができる
省7
832: 2020/11/09(月)07:05 ID:SmS9RLVD(8/8) AAS
そもそも
0∈1∈2∈3∈・・∈n∈・・
を実現したいだけなら、N、要らないし
0={}
1={0}={{}}
2={1}={{{}}}
…
省3
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.041s